Package edu.jas.gbufd
Class WordPseudoReductionSeq<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.WordReductionAbstract<C>
-
- edu.jas.gbufd.WordPseudoReductionSeq<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
WordReduction<C>
,WordPseudoReduction<C>
,java.io.Serializable
public class WordPseudoReductionSeq<C extends RingElem<C>> extends WordReductionAbstract<C> implements WordPseudoReduction<C>
Polynomial word reduction sequential use algorithm. Implements normalform.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description WordPseudoReductionSeq()
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description GenWordPolynomial<C>
leftNormalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with left recording.GenWordPolynomial<C>
leftNormalform(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with left recording.GenWordPolynomial<C>
normalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform.GenWordPolynomial<C>
normalform(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with left and right recording.WordPseudoReductionEntry<C>
normalformFactor(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with multiplication factor.GenWordPolynomial<GenPolynomial<C>>
normalformRecursive(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Pp, GenWordPolynomial<GenPolynomial<C>> Ap)
Normalform with polynomial coefficients.GenWordPolynomial<C>
rightNormalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Right normalform with recording.GenWordPolynomial<C>
rightNormalform(java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Right normalform with recording.-
Methods inherited from class edu.jas.gb.WordReductionAbstract
irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, normalform, SPolynomial, SPolynomial, SPolynomials
-
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.WordReduction
irreducibleSet, isNormalform, isNormalform, isReducible, isReductionNF, isTopReducible, normalform, SPolynomial, SPolynomials
-
-
-
-
Constructor Detail
-
WordPseudoReductionSeq
public WordPseudoReductionSeq()
Constructor.
-
-
Method Detail
-
normalform
public GenWordPolynomial<C> normalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform.- Specified by:
normalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
Ap
- polynomial.Pp
- polynomial list.- Returns:
- nf(Ap) with respect to Pp.
-
normalform
public GenWordPolynomial<C> normalform(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with left and right recording.- Specified by:
normalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
lrow
- left recording matrix, is modified.rrow
- right 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
public WordPseudoReductionEntry<C> normalformFactor(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Normalform with multiplication factor.- Specified by:
normalformFactor
in interfaceWordPseudoReduction<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.
-
normalformRecursive
public GenWordPolynomial<GenPolynomial<C>> normalformRecursive(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Pp, GenWordPolynomial<GenPolynomial<C>> Ap)
Normalform with polynomial coefficients.- Specified by:
normalformRecursive
in interfaceWordPseudoReduction<C extends RingElem<C>>
- Parameters:
Ap
- polynomial.Pp
- polynomial list.- Returns:
- nf(Ap) with respect to Pp.
-
leftNormalform
public GenWordPolynomial<C> leftNormalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Description copied from interface:WordReduction
Normalform with left recording.- Specified by:
leftNormalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the left normal form of Ap wrt. Pp.
-
leftNormalform
public GenWordPolynomial<C> leftNormalform(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Description copied from interface:WordReduction
Normalform with left recording.- Specified by:
leftNormalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
lrow
- left recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the left normal form of Ap wrt. Pp.
-
rightNormalform
public GenWordPolynomial<C> rightNormalform(java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Description copied from interface:WordReduction
Right normalform with recording.- Specified by:
rightNormalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the right normal form of Ap wrt. Pp.
-
rightNormalform
public GenWordPolynomial<C> rightNormalform(java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
Description copied from interface:WordReduction
Right normalform with recording.- Specified by:
rightNormalform
in interfaceWordReduction<C extends RingElem<C>>
- Parameters:
rrow
- right recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.- Returns:
- nf(Pp,Ap), the right normal form of Ap wrt. Pp.
-
-