QEtaAlgebraBasis F

qetasamba.spad line 150 [edit on github]

• F: Monoid with

  zero?: F -> Boolean

QEtaAlgebraBasis(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 F

basis: (%, Integer) -> List F

from QEtaAlgebraBasisCategory F

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

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

coerce: % -> OutputForm

from CoercibleTo OutputForm

initialize: List F -> %

from QEtaAlgebraBasisCategory F

multiplier: % -> F

from QEtaAlgebraBasisCategory F

multiplierPower!: (%, NonNegativeInteger) -> F

from QEtaAlgebraBasisCategory F

numberOfGaps: % -> NonNegativeInteger

from QEtaAlgebraBasisCategory F

CoercibleTo OutputForm

QEtaAlgebraBasisCategory F