Merge pull request #106 from tkoolen/tk/fix-static-vecdot

 Add zero for Variable, LinearTerm, QuadraticTerm

src/functions.jl

@@ -637,6 +637,9 @@ LinearAlgebra.dot(x::ParametronFunctions, y::ParametronFunctions) = x * y
 LinearAlgebra.dot(x::ParametronFunctions, y::Number) = x * y
 LinearAlgebra.dot(x::Number, y::ParametronFunctions) = x * y
 Base.to_power_type(x::ParametronFunctions) = x # TODO: remove once https://github.com/JuliaLang/julia/issues/24151 is fixed
+Base.zero(x::Variable) = 0 * x
+Base.zero(x::LinearTerm) = zero(x.coeff) * x.var
+Base.zero(x::QuadraticTerm) = zero(x.coeff) * x.rowvar * x.colvar
 Base.zero(::T) where {T<:ParametronFunctions} = zero(T)
 Base.one(::T) where {T<:ParametronFunctions} = one(T)
 Base.adjoint(x::ParametronFunctions) = x

test/functions.jl

@@ -261,4 +261,17 @@ end
     @test x^2 * SVector(1, 2) === SVector(1, 2) * x^2 === SVector(x^2, 2 * x^2)
 end
 
+@testset "zero" begin
+    x = Variable(1)
+    @test zero(x) === LinearTerm(0, x)
+    @test zero(3.0 * x) === LinearTerm(0.0, x)
+    @test zero(4 * x * x) === QuadraticTerm(0, x, x)
+end
+
+@testset "SVector dot" begin
+    x = Variable(1)
+    y = Variable(2)
+    @test canonicalize(dot(SVector(x, y), SVector(x, y))) == x^2 + y^2
+end
+
 end # module