|
1 | 1 |
|
2 |
| -# This file is part of DirectSum.jl. It is licensed under the AGPL license |
3 |
| -# Grassmann Copyright (C) 2019 Michael Reed |
| 2 | +# This file is part of DirectSum.jl |
| 3 | +# It is licensed under the AGPL license |
| 4 | +# DirectSum Copyright (C) 2019 Michael Reed |
| 5 | +# _ _ _ |
| 6 | +# | | | | | | |
| 7 | +# ___| |__ __ _| | ___ __ __ ___ ____ _| | __ _ |
| 8 | +# / __| '_ \ / _` | |/ / '__/ _` \ \ / / _` | |/ _` | |
| 9 | +# | (__| | | | (_| | <| | | (_| |\ V / (_| | | (_| | |
| 10 | +# \___|_| |_|\__,_|_|\_\_| \__,_| \_/ \__,_|_|\__,_| |
| 11 | +# |
| 12 | +# https://github.com/chakravala |
| 13 | +# https://crucialflow.com |
4 | 14 |
|
5 | 15 | import AbstractTensors: scalar, involute, unit, even, odd
|
6 | 16 |
|
@@ -373,7 +383,7 @@ for (ExtraBasis,extra) ∈ ((SparseBasis,:sparse),(ExtendedBasis,:extended))
|
373 | 383 | V≠:Int && (@eval @pure $getextra(V::$V) = $getextra(Submanifold(V)))
|
374 | 384 | end
|
375 | 385 | @eval begin
|
376 |
| - @pure function $getextra(n::Int,m::Int,s::UInt,S::UInt,vs,f::Int=0,d::Int=0) |
| 386 | + @pure function $getextra(n::Int,m::Int,s,S::UInt,vs,f::Int=0,d::Int=0) |
377 | 387 | n==0 && (return $ExtraBasis(V0))
|
378 | 388 | d1,f1,m1 = d+1,f+1,m+1
|
379 | 389 | exc = if vs <: Int
|
|
0 commit comments