XEtaAlgebraBasis(C, F)ΒΆ
qetapowersamba.spad line 481 [edit on github]
F: XEtaGradedAlgebra C
XEtaAlgebraBasis(C, F) is a domain holding the special structure of an algebra basis with elements that can be used during a reduction in arbitrary positive power (the multipliers), the linear basis elements and an order on the component given by an index permutation idx if i<j then component idx.i should be counted as smaller than component idx.j.
- basisElements: % -> Vector XHashTable(Integer, List F)
from XEtaAlgebraBasisCategory(C, F)
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- component: (F, XHashTable(PositiveInteger, PositiveInteger)) -> Integer
from XEtaAlgebraBasisCategory(C, F)
- empty: () -> %
empty()returns an empty structure with no multipliers and no basisElements.
- indexPermutation: % -> XHashTable(PositiveInteger, PositiveInteger)
from XEtaAlgebraBasisCategory(C, F)
- multipliers: % -> XHashTable(PositiveInteger, F)
from XEtaAlgebraBasisCategory(C, F)
XEtaAlgebraBasisCategory(C, F)