QEtaExtendedAlgebraBasis(L, F, AB)

qetasamba.spad line 192 [edit on github]

• L: Type

• F: with

  first: % -> L

• AB: QEtaAlgebraBasisCategory F

QEtaExtendedAlgebraBasis(L, F, AB) is a domain holding the special structure of an algebra basis with elements that can be used during a reduction. This structure is useful to access basis elements as if they were from the domain L. The structure is just another view on an element of QEtaAlgebraBasis(F) such that it looks like QEtaAlgebraBasis(L) by always taking first(x) of any element of F.

basis: % -> List L

from QEtaAlgebraBasisCategory L

basis: (%, Integer) -> List L

from QEtaAlgebraBasisCategory L

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: AB -> %

coerce(x) assumes that x is an algebra basis with extended elements and consider x as an element of QEtaAlgebraBasis(L).

initialize: List L -> %

from QEtaAlgebraBasisCategory L

multiplier: % -> L

from QEtaAlgebraBasisCategory L

multiplierPower!: (%, NonNegativeInteger) -> L

from QEtaAlgebraBasisCategory L

numberOfGaps: % -> NonNegativeInteger

from QEtaAlgebraBasisCategory L

CoercibleTo OutputForm

QEtaAlgebraBasisCategory L