QEtaPowerComputation(C, F, AB, R)

qetapowersamba.spad line 700 [edit on github]

• C: EuclideanDomain

• F: QEtaPowerGradedAlgebra C

• AB: QEtaPowerAlgebraBasisCategory F

• R: QEtaPowerReductionCategory(C, F, AB)

undocumented

algebraBasis: % -> AB

from QEtaComputationCategory(F, AB)

coerce: % -> OutputForm

from CoercibleTo OutputForm

continue?: % -> Boolean

from QEtaComputationCategory(F, AB)

criticalElements?: % -> Boolean

from QEtaComputationCategory(F, AB)

extractNext!: % -> F

from QEtaComputationCategory(F, AB)

initialize: (List F, Integer) -> %

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)