Package edu.jas.gbufd
Class PseudoReductionSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.ReductionAbstract<C>
edu.jas.gbufd.PseudoReductionSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Reduction<C>
,PseudoReduction<C>
,Serializable
public class PseudoReductionSeq<C extends RingElem<C>>
extends ReductionAbstract<C>
implements PseudoReduction<C>
Polynomial pseudo reduction sequential use algorithm. Coefficients of
polynomials must not be from a field, i.e. the fraction free reduction is
implemented. Implements normalform.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionnormalform
(List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform.normalform
(List<GenPolynomial<C>> row, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with recording.normalformFactor
(List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform.normalformRecursive
(List<GenPolynomial<GenPolynomial<C>>> Pp, GenPolynomial<GenPolynomial<C>> Ap) Normalform recursive.Methods inherited from class edu.jas.gb.ReductionAbstract
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, normalform, normalform, normalformMarked, SPolynomial, SPolynomial
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface edu.jas.gb.Reduction
criterion4, criterion4, criterion4, irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, moduleCriterion, moduleCriterion, normalform, SPolynomial, SPolynomial
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug
-
-
Constructor Details
-
PseudoReductionSeq
public PseudoReductionSeq()Constructor.
-
-
Method Details
-
normalform
Normalform.- Specified by:
normalform
in interfaceReduction<C extends RingElem<C>>
- Parameters:
Pp
- polynomial list.Ap
- polynomial.- Returns:
- nf(Ap) with respect to Pp.
-
normalformRecursive
public GenPolynomial<GenPolynomial<C>> normalformRecursive(List<GenPolynomial<GenPolynomial<C>>> Pp, GenPolynomial<GenPolynomial<C>> Ap) Normalform recursive.- Specified by:
normalformRecursive
in interfacePseudoReduction<C extends RingElem<C>>
- Parameters:
Pp
- recursive polynomial list.Ap
- recursive polynomial.- Returns:
- nf(Ap) with respect to Pp.
-
normalform
public GenPolynomial<C> normalform(List<GenPolynomial<C>> row, List<GenPolynomial<C>> Pp, GenPolynomial<C> Ap) Normalform with recording. Note: Only meaningful if all divisions are exact. Compute first the multiplication factorm
withnormalform(Pp,Ap,m)
, then call this method withnormalform(row,Pp,m*Ap)
.- Specified by:
normalform
in interfaceReduction<C extends RingElem<C>>
- Parameters:
row
- recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the normal form of Ap wrt. Pp.
-
normalformFactor
Normalform.- Specified by:
normalformFactor
in interfacePseudoReduction<C extends RingElem<C>>
- Parameters:
Pp
- polynomial list.Ap
- polynomial.- Returns:
- ( nf(Ap), mf ) with respect to Pp and mf as multiplication factor for Ap.
-