XEtaReduction(C, F, AB)ΒΆ
qetapowersamba.spad line 684 [edit on github]
F: XEtaGradedAlgebra C
AB: XEtaAlgebraBasisCategory(C, F)
undocumented
- greaterGrade?: PositiveInteger -> (F, F) -> Boolean
from XEtaReductionCategory(C, F, AB)
- noTrace: F -> Void
from XEtaReductionCategory(C, F, AB)
- noTraceEnter: (F, AB) -> Void
from XEtaReductionCategory(C, F, AB)
- reduce: (F, AB) -> F
from XEtaReductionCategory(C, F, AB)
- reducer: (F, XHashTable(Integer, List F), Integer, PositiveInteger) -> Union(F, failed)
from XEtaReductionCategory(C, F, AB)
- topReducible?: (F, F, PositiveInteger) -> Boolean
from XEtaReductionCategory(C, F, AB)
- tracedReduce: ((F, AB) -> Void, F -> Void, F -> Void) -> (F, AB) -> F
from XEtaReductionCategory(C, F, AB)
- traceEnter: NonNegativeInteger -> (F, AB) -> Void
from XEtaReductionCategory(C, F, AB)
- traceLoop: NonNegativeInteger -> F -> Void
from XEtaReductionCategory(C, F, AB)
- traceReturn: NonNegativeInteger -> F -> Void
from XEtaReductionCategory(C, F, AB)
XEtaReductionCategory(C, F, AB)