QEtaMultiReductionCategory(C, F, AB)¶
qetamultisamba.spad line 244 [edit on github]
AB: QEtaAlgebraBasisCategory F
undocumented
- estimatedWeightAfterReduction: (List Integer, List Integer, List Integer, Integer, Integer) -> List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger)
estimatedWeightAfterReduction(grdsu,grdsb,grdst,k,e)
computes from the grades of the reduction elements, the componentk
ande
-multiple ofgrdst
(i.e. thee
-th power oft
) the weight of the element after the reduction. This is, of course, only an estimate of the weight.
- noTrace: F -> Void
from QEtaComputationReductionCategory(F, AB)
- noTraceEnter: (F, AB) -> Void
from QEtaComputationReductionCategory(F, AB)
- reduce: (F, AB) -> F
from QEtaComputationReductionCategory(F, AB)
- reducer: (F, AB) -> Union(Record(freducer: F, fcomponent: NonNegativeInteger, fexpo: Integer, fquot: List Fraction Integer, fu: F, fwghtu: List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger), fwghtv: List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger)), failed)
reducer(u, ab)
returns a triple [b
,k
,e
] such thatb
is from the basis ab orb=1
and reducible?(u
,b
,t
) where t=multiplier(ab), i.e. qetaGrade(u
,k
)>qetaGrade(u
-c*b*t^e,k
) for somec
fromC
or returns “failed” if no suchb
,k
,e
,c
exist.
- reducers3: (F, F, F) -> List Record(freducer: F, fcomponent: NonNegativeInteger, fexpo: Integer, fquot: List Fraction Integer, fu: F, fwghtu: List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger), fwghtv: List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger))
reducers3(u,b,t)
returns a list possible options to reduceu
withb
. The function returns the empty list, ifb
cannot be used to reduceu
. for the reduction ofu
. Potentially, this function figures out in which componentu
can be reduced. The function makes sure that the result of a reduction will have a snaller weight given by QEtaMultiWeightSorting.
- topReducible?: (F, F, F) -> Boolean
from QEtaComputationReductionCategory(F, AB)
- tracedReduce: ((F, AB) -> Void, F -> Void, F -> Void) -> (F, AB) -> F
from QEtaComputationReductionCategory(F, AB)
- traceEnter: NonNegativeInteger -> (F, AB) -> Void
from QEtaComputationReductionCategory(F, AB)
- traceLoop: NonNegativeInteger -> F -> Void
from QEtaComputationReductionCategory(F, AB)
- traceReturn: NonNegativeInteger -> F -> Void
from QEtaComputationReductionCategory(F, AB)