XEtaComputation(C, F, AB, R)

qetapowersamba.spad line 794 [edit on github]

• C: EuclideanDomain

• F: XEtaGradedAlgebra C

• AB: XEtaAlgebraBasisCategory(C, F) with

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

  empty: () -> %

• R: XEtaReductionCategory(C, F, AB)

undocumented

algebraBasis: % -> AB

from QEtaComputationCategory(F, AB)

coerce: % -> OutputForm

from CoercibleTo OutputForm

criticalElements?: % -> Boolean

from QEtaComputationCategory(F, AB)

extractNext!: % -> F

from QEtaComputationCategory(F, AB)

initialize: List F -> %

from QEtaComputationCategory(F, AB)

noTrace: % -> Void

from QEtaComputationCategory(F, AB)

oneStep!: % -> %

from QEtaComputationCategory(F, AB)

oneStepComputation!: (%, % -> F) -> %

from QEtaComputationCategory(F, AB)

oneTracedStep!: (% -> Void, (F, AB) -> Void, F -> Void, F -> Void) -> % -> %

from QEtaComputationCategory(F, AB)

oneTracedStepComputation!: (% -> Void, (F, AB) -> Void, F -> Void, F -> Void) -> (%, % -> F) -> %

from QEtaComputationCategory(F, AB)

oneVerboseStep!: (NonNegativeInteger, NonNegativeInteger, NonNegativeInteger, NonNegativeInteger) -> % -> %

oneVerboseStep!(ny, n0, nl, nr) is equivalent with oneTracedStep!(trace ny, traceEnter(n0)$R, traceLoop(nl)$R, traceReturn(nr)$R).

postProcess!: % -> %

from QEtaComputationCategory(F, AB)

trace: NonNegativeInteger -> % -> Void

from QEtaComputationCategory(F, AB)

CoercibleTo OutputForm

QEtaComputationCategory(F, AB)