Package edu.jas.gbufd
Class PseudoReductionPar<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.ReductionAbstract<C>
edu.jas.gbufd.PseudoReductionPar<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
Reduction<C>
,PseudoReduction<C>
,Serializable
public class PseudoReductionPar<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
-
PseudoReductionPar
public PseudoReductionPar()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.
-
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.
-
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.
-
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.
-