QEtaExtendedAlgebraBasis(C, L, F, AB)

qetasamba.spad line 184 [edit on github]

• C: EuclideanDomain

• L: QEtaGradedAlgebra C

• F: QEtaGradedAlgebra C with

  first: % -> L

• AB: QEtaAlgebraBasisCategory(C, F)

QEtaExtendedAlgebraBasis(C, 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(C, F) such that it looks like QEtaAlgebraBasis(C, L) by always taking first(x) of any element of F.

basis: % -> List L

from QEtaAlgebraBasisCategory(C, L)

basis: (%, Integer) -> List L

from QEtaAlgebraBasisCategory(C, L)

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: AB -> %

coerce(x) assumes that x is and algebra basis with extended elements. Consider x as an element of QEtaAlgebra(C, L).

multiplier: % -> L

from QEtaAlgebraBasisCategory(C, L)

numberOfGaps: % -> NonNegativeInteger

from QEtaAlgebraBasisCategory(C, L)

CoercibleTo OutputForm

QEtaAlgebraBasisCategory(C, L)