|
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