refined type aliasing

chakravala · Dec 22, 2024 · 0495845 · 0495845 · chakravala · Dec 22, 2024
1 parent cf497b7
commit 0495845
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 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.26"
+version = "0.8.27"
 
 [deps]
 AbstractTensors = "a8e43f4a-99b7-5565-8bf1-0165161caaea"

diff --git a/src/algebra.jl b/src/algebra.jl
@@ -113,6 +113,7 @@ Exterior product as defined by the anti-symmetric quotient Λ≡⊗/~
 ∧(::Values{0,<:Chain{V}}) where V = One(V) # ∧() = 1
 ∧(::FixedVector{0,<:Chain{V}}) where V = One(V)
 ∧(t::Chain{V,1,<:Chain} where V) = ∧(value(t))
+∧(t::Chain{V,1,<:Single} where V) = ∧(value(t))
 ∧(a::X,b::Y,c::Z...) where {X<:TensorAlgebra,Y<:TensorAlgebra,Z<:TensorAlgebra} = ∧(a∧b,c...)
 
 wedges(x,i=length(x)-1) = i ≠ 0 ? Expr(:call,:∧,wedges(x,i-1),x[1+i]) : x[1+i]

diff --git a/src/multivectors.jl b/src/multivectors.jl
@@ -82,8 +82,8 @@ Chain(v::Chain{V,G,𝕂}) where {V,G,𝕂} = v
 #Chain{𝕂}(v::Chain{V,G}) where {V,G,𝕂} = Chain{V,G}(Values{binomial(mdims(V),G),𝕂}(v.v))
 @inline (::Type{T})(x...) where {T<:Chain} = T(x)
 
-#Simplex{V,W,T<:GradedVector{W},N} = Chain{V,1,T,N}
-Simplex{V,T<:GradedVector,N} = Chain{V,1,T,N}
+#const Simplex{V,W,T<:GradedVector{W},N} = Chain{V,1,T,N}
+const Simplex{V,T<:GradedVector,N} = Chain{V,1,T,N}
 
 getindex(m::Chain,i::Int) = m.v[i]
 getindex(m::Chain,i::UnitRange{Int}) = m.v[i]
@@ -156,6 +156,9 @@ getindex(m::Chain{V,G,T},i::Submanifold{V}) where {V,G,T} = zero(T)
 function (m::Chain{V,G,T})(i::Integer) where {V,G,T}
     Single{V,G,DirectSum.getbasis(V,indexbasis(mdims(V),G)[i]),T}(m[i])
 end
+function (m::Chain{V,G,T})(::Val{i}) where {V,G,T,i}
+    Single{V,G,DirectSum.getbasis(V,indexbasis(mdims(V),G)[i]),T}(m[i])
+end
 
 @pure function Base.getproperty(a::Chain{V,G,T},v::Symbol) where {V,G,T}
     return if v == :v
@@ -308,6 +311,9 @@ Multivector(val::NTuple{N,T}) where {N,T} = Multivector{log2sub(N)}(Values{N,T}(
 Multivector(val::NTuple{N,Any}) where N = Multivector{log2sub(N)}(Values{N}(val))
 @inline (::Type{T})(x...) where {T<:Multivector} = T(x)
 
+const Multiplex{V,T<:Multivector,N} = Multivector{V,T,N}
+export Multiplex
+
 function grade_src_chain(N,G,r=binomsum(N,G),is=isempty,T=Int)
     :(Chain{V,$G,T}($(grade_src(N,G,r,is,T))))
 end