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- xis an algebra basis with extended elements and consider- xas 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