revised tangent map for mother space

chakravala · Sep 22, 2019 · 9df2073 · 9df2073
1 parent 60c0e27
commit 9df2073
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/DirectSum.jl b/src/DirectSum.jl
@@ -290,8 +290,8 @@ end
     (hi || ho) || (d≠0 && count_ones(A&v)+count_ones(B&v)>diffmode(V))
 end
 
-@pure tangent(s::Signature{N,M,S,F,D},d::Int=1,f::Int=F≠0 ? F : 1) where {N,M,S,F,D} = Signature{N+f,M,S,f,D+d}()
-@pure tangent(s::DiagonalForm{N,M,S,F,D},d::Int=1,f::Int=F≠0 ? F : 1) where {N,M,S,F,D} = DiagonalForm{N+f,M,S,f,D+d}()
+@pure tangent(s::Signature{N,M,S,F,D},d::Int=1,f::Int=F≠0 ? F : 1) where {N,M,S,F,D} = Signature{N+(mixedmode(s)<0 ? 2f : f),M,S,f,D+d}()
+@pure tangent(s::DiagonalForm{N,M,S,F,D},d::Int=1,f::Int=F≠0 ? F : 1) where {N,M,S,F,D} = DiagonalForm{N+(mixedmode(s)<0 ? 2f : f),M,S,f,D+d}()
 
 export metric