enhanced type stability

chakravala · Oct 2, 2024 · 333c8d4 · 333c8d4
1 parent d79513c
commit 333c8d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Grassmann"
 uuid = "4df31cd9-4c27-5bea-88d0-e6a7146666d8"
 authors = ["Michael Reed"]
-version = "0.8.24"
+version = "0.8.25"
 
 [deps]
 AbstractTensors = "a8e43f4a-99b7-5565-8bf1-0165161caaea"

diff --git a/src/algebra.jl b/src/algebra.jl
@@ -40,7 +40,7 @@ Geometric algebraic product: ω⊖η = (-1)ᵖdet(ω∩η)⊗(Λ(ω⊖η)∪L(ω
 @pure function mul(a::Submanifold{V},b::Submanifold{V},der=derive_mul(V,UInt(a),UInt(b),1,true)) where V
     if isdiag(V)
         ba,bb = UInt(a),UInt(b)
-        (diffcheck(V,ba,bb) || iszero(der)) && (return Zero(V))
+        istangent(V) && (diffcheck(V,ba,bb) || iszero(der)) && (return Zero(V))
         A,B,Q,Z = symmetricmask(V,ba,bb)
         d = getbasis(V,(A⊻B)|Q)
         out = if typeof(V)<:Signature || count_ones(A&B)==0