revised tensor dispatch

Author: chakravala

Project.toml

@@ -7,16 +7,15 @@ version = "0.6.3"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 AbstractLattices = "398f06c4-4d28-53ec-89ca-5b2656b7603d"
-StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 
 [compat]
 julia = "1"
 AbstractLattices = "v0.2"
-StaticArrays = "0"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 DirectSum = "22fd7b30-a8c0-5bf2-aabe-97783860d07c"
+StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 
 [targets]
 test = ["Test","DirectSum"]

src/AbstractTensors.jl

@@ -197,11 +197,16 @@ const ⊖ = *
 @inline Base.:\(a::A,b::B) where {A<:TensorAlgebra,B<:TensorAlgebra} = Base.inv(a)*b
 @inline Base.:\(a::UniformScaling,b::B) where B<:TensorAlgebra = Base.inv(Manifold(b)(a))*b
 @inline Base.:\(a::A,b::UniformScaling) where A<:TensorAlgebra = Base.inv(a)*Manifold(a)(b)
+@inline ⊗(a::A,b::B) where {A<:TensorAlgebra,B<:Real} = a*b
+@inline ⊗(a::A,b::B) where {A<:TensorAlgebra,B<:Complex} = a*b
+@inline ⊗(a::A,b::B) where {A<:Real,B<:TensorAlgebra} = a*b
+@inline ⊗(a::A,b::B) where {A<:Complex,B<:TensorAlgebra} = a*b
+Base.:∘(a::A,b::B) where {A<:TensorAlgebra,B<:TensorAlgebra} = contraction(a,b)
 
 for op ∈ (:(Base.:+),:(Base.:*))
     @eval $op(t::T) where T<:TensorAlgebra = t
 end
-for op ∈ (:⊗,:⊙,:⊠,:¬,:⋆,:clifford,:basis,:complementleft,:complementlefthodge)
+for op ∈ (:⊙,:⊠,:¬,:⋆,:clifford,:basis,:complementleft,:complementlefthodge)
     @eval function $op end
 end
 for op ∈ (:scalar,:involute,:even)
@@ -293,6 +298,7 @@ signbit(x::Symbol) = false
 signbit(x::Expr) = x.head == :call && x.args[1] == :-
 -(x) = Base.:-(x)
 -(x::Symbol) = :(-$x)
+@inline dot(x,y) = LinearAlgebra.dot(x,y)
 
 for op ∈ (:conj,:inv,:sqrt,:abs,:exp,:expm1,:log,:log1p,:sin,:cos,:sinh,:cosh,:signbit)
     @eval @inline $op(z) = Base.$op(z)