Merge branch 'master' into s/no-bindings

Author: shashi

Project.toml

@@ -33,14 +33,14 @@ Combinatorics = "1.0"
 ConstructionBase = "1.1"
 DataStructures = "0.18"
 DocStringExtensions = "0.8"
-DynamicPolynomials = "0.3"
+DynamicPolynomials = "0.3, 0.4"
 IfElse = "0.1"
 LabelledArrays = "1.5"
 Metatheory = "1.2"
-MultivariatePolynomials = "0.3"
+MultivariatePolynomials = "0.3, 0.4"
 NaNMath = "0.3"
 Setfield = "0.7, 0.8"
-SpecialFunctions = "0.10, 1.0"
+SpecialFunctions = "0.10, 1.0, 2"
 StaticArrays = "0.12, 1.0"
 TermInterface = "0.2.1"
 TimerOutputs = "0.5"

src/methods.jl

@@ -155,4 +155,6 @@ Base.literal_pow(::typeof(^), x::Symbolic{<:Number}, ::Val{p}) where {p} = Base.
 # Array-like operations
 Base.size(x::Symbolic{<:Number}) = ()
 Base.length(x::Symbolic{<:Number}) = 1
-Base.ndims(x::Symbolic{<:Number}) = 0
+Base.ndims(x::Symbolic{T}) where {T} = Base.ndims(T)
+Base.ndims(::Type{<:Symbolic{T}}) where {T} = Base.ndims(T)
+Base.broadcastable(x::Symbolic{T}) where {T<:Number} = Ref(x)

test/basics.jl

@@ -1,4 +1,4 @@
-using SymbolicUtils: Sym, FnType, Term, Add, Mul, Pow, symtype, operation, arguments
+using SymbolicUtils: Symbolic, Sym, FnType, Term, Add, Mul, Pow, symtype, operation, arguments
 using SymbolicUtils
 using IfElse: ifelse
 using Test
@@ -134,6 +134,16 @@ end
     @eqtest x // a == x / a
 end
 
+@testset "array-like operations" begin
+    abstract type SquareDummy end
+    Base.:*(a::Symbolic{SquareDummy}, b) = b^2
+    @syms s t a::SquareDummy A[1:2, 1:2]
+
+    @test isequal(ndims(A), 2)
+    @test_broken isequal(a.*[1 (s+t); t pi], [1 (s+t)^2; t^2 pi^2])
+    @test isequal(s.*[1 (s+t); t pi], [s s*(s+t); s*t s*pi])
+end
+
 @testset "err test" begin
     @syms t()
     @test_throws ErrorException t(2)