All Methods Instance Methods Abstract Methods
Modifier and Type |
Method and Description |
boolean |
isLeftReductionNF(java.util.List<GenSolvablePolynomial<C>> row,
java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap,
GenSolvablePolynomial<C> Np)
Is reduction of normal form.
|
boolean |
isNormalform(java.util.List<GenSolvablePolynomial<C>> P,
GenSolvablePolynomial<C> A)
Is in normalform.
|
boolean |
isReducible(java.util.List<GenSolvablePolynomial<C>> P,
GenSolvablePolynomial<C> A)
Is reducible.
|
boolean |
isTopReducible(java.util.List<GenSolvablePolynomial<C>> P,
GenSolvablePolynomial<C> A)
Is top reducible.
|
java.util.List<GenSolvablePolynomial<C>> |
leftIrreducibleSet(java.util.List<GenSolvablePolynomial<C>> Pp)
Left irreducible set.
|
GenSolvablePolynomial<C> |
leftNormalform(java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap)
Left Normalform.
|
java.util.List<GenSolvablePolynomial<C>> |
leftNormalform(java.util.List<GenSolvablePolynomial<C>> Pp,
java.util.List<GenSolvablePolynomial<C>> Ap)
Left Normalform Set.
|
GenSolvablePolynomial<C> |
leftNormalform(java.util.List<GenSolvablePolynomial<C>> row,
java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap)
LeftNormalform with recording.
|
GenSolvablePolynomial<C> |
leftSPolynomial(GenSolvablePolynomial<C> Ap,
GenSolvablePolynomial<C> Bp)
Left S-Polynomial.
|
GenSolvablePolynomial<C> |
leftSPolynomial(java.util.List<GenSolvablePolynomial<C>> S,
int i,
GenSolvablePolynomial<C> Ap,
int j,
GenSolvablePolynomial<C> Bp)
S-Polynomial with recording.
|
GenSolvablePolynomial<C> |
normalform(java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap)
Two-sided Normalform.
|
GenSolvablePolynomial<C> |
rightNormalform(java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap)
Right Normalform.
|
GenSolvablePolynomial<C> |
rightNormalform(java.util.List<GenSolvablePolynomial<C>> row,
java.util.List<GenSolvablePolynomial<C>> Pp,
GenSolvablePolynomial<C> Ap)
RightNormalform with recording.
|
GenSolvablePolynomial<C> |
rightSPolynomial(GenSolvablePolynomial<C> Ap,
GenSolvablePolynomial<C> Bp)
Right S-Polynomial.
|