Navigation

  • index
  • next |
  • previous |
  • QEta »
  • QEta API »
  • Packages »
  • QEtaPowerReduction(C, F, AB)

QEtaPowerReduction(C, F, AB)ΒΆ

qetapowersamba.spad line 638 [edit on github]

  • C: EuclideanDomain

  • F: QEtaPowerGradedAlgebra C

  • AB: QEtaPowerAlgebraBasisCategory F

undocumented

greaterGrade?: PositiveInteger -> (F, F) -> Boolean

from QEtaPowerReductionCategory(C, F, AB)

noTrace: F -> Void

from QEtaPowerReductionCategory(C, F, AB)

noTraceEnter: (F, AB) -> Void

from QEtaPowerReductionCategory(C, F, AB)

reduce: (F, AB) -> F

from QEtaPowerReductionCategory(C, F, AB)

reducer: (F, XHashTable(Integer, List F), Integer, PositiveInteger) -> Union(F, failed)

from QEtaPowerReductionCategory(C, F, AB)

topReducible?: (F, F, PositiveInteger) -> Boolean

from QEtaPowerReductionCategory(C, F, AB)

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

from QEtaPowerReductionCategory(C, F, AB)

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

from QEtaPowerReductionCategory(C, F, AB)

traceLoop: NonNegativeInteger -> F -> Void

from QEtaPowerReductionCategory(C, F, AB)

traceReturn: NonNegativeInteger -> F -> Void

from QEtaPowerReductionCategory(C, F, AB)

QEtaPowerReductionCategory(C, F, AB)

Table of Contents

  • QEta Installation
  • QEta API
    • Categories
    • Domains
    • Packages
  • Tutorials

Quick search

Navigation

  • index
  • next |
  • previous |
  • QEta »
  • QEta API »
  • Packages »
  • QEtaPowerReduction(C, F, AB)
© Copyright 2015-2025, Ralf Hemmecke.