QEtaExtendedTopReduction(C, L, F, AB)

qetasamba.spad line 644 [edit on github]

QEtaExtendedTopReduction implements the restricted top-reduction as described in “Dancing Samba with Ramanujan Partition Congruences” (Journal of Symbolic Computation). doi:10.1016/j.jsc.2017.02.001 http://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf It differs from QEtaReduction in that the reduction is first performed on an element of L and only if non-zero repeated also on the extended part.

greaterGrade?: (F, F) -> Boolean

from QEtaReductionCategory(C, F, AB)

noTrace: F -> Void

from QEtaReductionCategory(C, F, AB)

noTraceEnter: (F, AB) -> Void

from QEtaReductionCategory(C, F, AB)

reduce: (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

reducer: (F, AB) -> Union(F, failed)

from QEtaReductionCategory(C, F, AB)

tailReduce: (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

tailReducible?: (F, Integer, F) -> Boolean

from QEtaReductionCategory(C, F, AB)

topReduce: (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

topReducible?: (F, F) -> Boolean

from QEtaReductionCategory(C, F, AB)

tracedReduce: ((F, AB) -> Void, F -> Void, F -> Void) -> (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

tracedTailReduce: ((F, AB) -> Void, F -> Void, F -> Void) -> (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

tracedTopReduce: ((F, AB) -> Void, F -> Void, F -> Void) -> (F, AB) -> F

from QEtaReductionCategory(C, F, AB)

traceEnter: NonNegativeInteger -> (F, AB) -> Void

from QEtaReductionCategory(C, F, AB)

traceLoop: NonNegativeInteger -> F -> Void

from QEtaReductionCategory(C, F, AB)

traceReturn: NonNegativeInteger -> F -> Void

from QEtaReductionCategory(C, F, AB)

QEtaReductionCategory(C, F, AB)