Class SolvableReductionPar<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.SolvableReductionAbstract<C>

edu.jas.gb.SolvableReductionPar<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

SolvableReduction<C>, Serializable

public class SolvableReductionPar<C extends RingElem<C>>
extends SolvableReductionAbstract<C>

Solvable polynomial Reduction parallel usable algorithm. Implements left normalform.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SolvableReductionPar()	Constructor.

Method Summary

Modifier and Type	Method	Description
GenSolvablePolynomial<C>	leftNormalform(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)	Left Normalform.
GenSolvablePolynomial<C>	leftNormalform(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)	LeftNormalform with recording.
GenSolvablePolynomial<C>	rightNormalform(List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)	Right Normalform.
GenSolvablePolynomial<C>	rightNormalform(List<GenSolvablePolynomial<C>> row, List<GenSolvablePolynomial<C>> Pp, GenSolvablePolynomial<C> Ap)	RightNormalform with recording.

Methods inherited from class SolvableReductionAbstract

isLeftReductionNF, isNormalform, isReducible, isRightReductionNF, isTopReducible, leftIrreducibleSet, leftNormalform, leftNormalform, leftNormalform, leftSPolynomial, leftSPolynomial, normalform, rightSPolynomial, rightSPolynomial

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SolvableReductionPar

public SolvableReductionPar()

Constructor.

Method Details

leftNormalform

public GenSolvablePolynomial<C> leftNormalform(List<GenSolvablePolynomial<C>> Pp,
 GenSolvablePolynomial<C> Ap)

Left Normalform.

Parameters:

Pp - solvable polynomial list.

Ap - solvable polynomial.

Returns:

left-nf(Ap) with respect to Pp.

leftNormalform

public GenSolvablePolynomial<C> leftNormalform(List<GenSolvablePolynomial<C>> row,
 List<GenSolvablePolynomial<C>> Pp,
 GenSolvablePolynomial<C> Ap)

LeftNormalform with recording.

Parameters:

row - 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 GenSolvablePolynomial<C> rightNormalform(List<GenSolvablePolynomial<C>> Pp,
 GenSolvablePolynomial<C> Ap)

Right Normalform.

Parameters:

Pp - solvable polynomial list.

Ap - solvable polynomial.

Returns:

right-nf(Ap) with respect to Pp.

rightNormalform

public GenSolvablePolynomial<C> rightNormalform(List<GenSolvablePolynomial<C>> row,
 List<GenSolvablePolynomial<C>> Pp,
 GenSolvablePolynomial<C> Ap)

RightNormalform with recording.

Parameters:

row - 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.