resolved chakravala/Grassmann.jl#60 base case

Author: chakravala

.appveyor.yml

@@ -7,6 +7,7 @@ environment:
   - julia_version: 1.4
   - julia_version: 1.5
   - julia_version: 1.6
+  - julia_version: 1.7
   - julia_version: nightly
 
 platform:

.travis.yml

@@ -12,6 +12,7 @@ julia:
   - 1.4
   - 1.5
   - 1.6
+  - 1.7
   - nightly
 matrix:
   allow_failures:

src/basis.jl

@@ -170,8 +170,8 @@ end
 
 Base.collect(s::M) where M<:Manifold = Basis{s}()
 function Basis{s}() where s
-    sym,n = labels(s),typeof(s)<:Int ? s : mdims(s)
-    @inbounds Basis{s}(generate(s),Dict{Symbol,Int}([sym[i]=>i for i ∈ 1:1<<n]))
+    sym = labels(s)
+    @inbounds Basis{s}(generate(s),Dict{Symbol,Int}([sym[i]=>i for i ∈ 1:1<<mdims(s)]))
 end
 
 @pure Basis(s::Manifold) = getalgebra(s)
@@ -208,15 +208,16 @@ end
 end
 
 # Allocating thread-safe $(2^n)×SubManifold{G,V}
-const Λ0 = Λ{V0}(Values{1,SubManifold{V0,0,UInt(0)}}(SubManifold{V0,0}(UInt(0))),Dict(:e=>1))
+const Λ0 = Λ{SubManifold(0)}()
+const Λ0S = Λ{ℝ0}()
 
 for V ∈ (:Int,:Signature,:DiagonalForm)
     @eval const $(Symbol(:algebra_cache_,V)) = Vector{Vector{Dict{UInt,Vector{Dict{UInt,Λ}}}}}[]
     @eval @pure getalgebra(V::$V) = getalgebra(SubManifold(V))
 end
 @eval begin
     @pure function getalgebra(n::Int,m::Int,s,S::UInt,vs::Type,f::Int=0,d::Int=0)
-        n==0 && (return Λ0)
+        n==0 && (return vs<:Int ? Λ0 : Λ0S)
         n > sparse_limit && (return $(Symbol(:getextended))(n,m,s,S,vs,f,d))
         n > algebra_limit && (return $(Symbol(:getsparse))(n,m,s,S,vs,f,d))
         f1,d1,m1 = f+1,d+1,m+1

src/generic.jl

@@ -50,7 +50,7 @@ for T ∈ (:T,:(Type{T}))
     @eval begin
         @pure valuetype(::$T) where T<:SubManifold = Int
         @pure valuetype(::$T) where T<:Simplex{V,G,B,𝕂} where {V,G,B} where 𝕂 = 𝕂
-        @pure isbasis(::$T) where T<:SubManifold{V} where V = typeof(V)<:SubManifold
+        @pure isbasis(::$T) where T<:SubManifold{V} where V = issubmanifold(V)
         @pure isbasis(::$T) where T<:TensorBundle = false
         @pure isbasis(::$T) where T<:Simplex = false
         @pure basis(m::$T) where T<:SubManifold = isbasis(m) ? m : SubManifold(m)