XEtaAlgebraBasis(C, F)ΒΆ

qetapowersamba.spad line 481 [edit on github]

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)

CoercibleTo OutputForm

XEtaAlgebraBasisCategory(C, F)