QEtaAlgebraBasis(C, F)

qetasamba.spad line 150 [edit on github]

• C: EuclideanDomain

• F: QEtaGradedAlgebra C

QEtaAlgebraBasis(C, F) is a domain holding the special structure of an algebra basis with elements that can be used during a reduction.

basis: % -> List F

from QEtaAlgebraBasisCategory(C, F)

basis: (%, Integer) -> List F

from QEtaAlgebraBasisCategory(C, F)

basisElements: % -> XHashTable(Integer, List F)

basisElements(x) returns the basis elements of all grades.

coerce: % -> OutputForm

from CoercibleTo OutputForm

initialize: F -> %

initialize(t) creates an empty basis that contains only the multiplier t.

multiplier: % -> F

from QEtaAlgebraBasisCategory(C, F)

numberOfGaps: % -> NonNegativeInteger

from QEtaAlgebraBasisCategory(C, F)

CoercibleTo OutputForm

QEtaAlgebraBasisCategory(C, F)