QEtaAlgebraBasisCategory(C, F)

qetasamba.spad line 113 [edit on github]

• C: EuclideanDomain

• F: QEtaGradedAlgebra C

QEtaAlgebraBasisCategory(C, F) is a category for a data structure that can be used for reduction modulo an algebra basis (samba basis).

basis: % -> List F

basis(x) returns all basis elements.

basis: (%, Integer) -> List F

basis(x, d) returns the basis elements of grade d.

coerce: % -> OutputForm

from CoercibleTo OutputForm

multiplier: % -> F

multiplier(x) returns multiplier element.

numberOfGaps: % -> NonNegativeInteger

numberOfGaps(x) computes reduce(+, [floor(x/n) for x in bas], 0) where t=multiplier(x), n=qetaGrade(t) and bas=basis(x). If #(basis(x,i)=1 for all i from 1 to n-1 then numberOfGaps(x) is equal to the number of gaps (see Weierstrass Gap Theorem) of the module generated by bas over C[t].

CoercibleTo OutputForm