C
- coefficient typepublic interface WordReduction<C extends RingElem<C>> extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
java.util.List<GenWordPolynomial<C>> |
irreducibleSet(java.util.List<GenWordPolynomial<C>> Pp)
Irreducible set.
|
boolean |
isNormalform(java.util.List<GenWordPolynomial<C>> Pp)
Is in Normalform.
|
boolean |
isNormalform(java.util.List<GenWordPolynomial<C>> P,
GenWordPolynomial<C> A)
Is in Normalform.
|
boolean |
isReducible(java.util.List<GenWordPolynomial<C>> P,
GenWordPolynomial<C> A)
Is reducible.
|
boolean |
isReductionNF(java.util.List<GenWordPolynomial<C>> lrow,
java.util.List<GenWordPolynomial<C>> rrow,
java.util.List<GenWordPolynomial<C>> Pp,
GenWordPolynomial<C> Ap,
GenWordPolynomial<C> Np)
Is reduction of normal form.
|
boolean |
isTopReducible(java.util.List<GenWordPolynomial<C>> P,
GenWordPolynomial<C> A)
Is top reducible.
|
GenWordPolynomial<C> |
normalform(java.util.List<GenWordPolynomial<C>> P,
GenWordPolynomial<C> A)
Normalform.
|
java.util.List<GenWordPolynomial<C>> |
normalform(java.util.List<GenWordPolynomial<C>> Pp,
java.util.List<GenWordPolynomial<C>> Ap)
Normalform Set.
|
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.
|
GenWordPolynomial<C> |
SPolynomial(C a,
Word l1,
GenWordPolynomial<C> A,
Word r1,
C b,
Word l2,
GenWordPolynomial<C> B,
Word r2)
S-Polynomials of non-commutative polynomials.
|
java.util.List<GenWordPolynomial<C>> |
SPolynomials(GenWordPolynomial<C> Ap,
GenWordPolynomial<C> Bp)
S-Polynomials of non-commutative polynomials.
|
java.util.List<GenWordPolynomial<C>> SPolynomials(GenWordPolynomial<C> Ap, GenWordPolynomial<C> Bp)
Ap
- word polynomial.Bp
- word polynomial.GenWordPolynomial<C> SPolynomial(C a, Word l1, GenWordPolynomial<C> A, Word r1, C b, Word l2, GenWordPolynomial<C> B, Word r2)
a
- leading base coefficient of B.l1
- word.A
- word polynomial.r1
- word.b
- leading base coefficient of A.l2
- word.B
- word polynomial.r2
- word.boolean isTopReducible(java.util.List<GenWordPolynomial<C>> P, GenWordPolynomial<C> A)
A
- polynomial.P
- polynomial list.boolean isReducible(java.util.List<GenWordPolynomial<C>> P, GenWordPolynomial<C> A)
A
- polynomial.P
- polynomial list.boolean isNormalform(java.util.List<GenWordPolynomial<C>> P, GenWordPolynomial<C> A)
A
- polynomial.P
- polynomial list.boolean isNormalform(java.util.List<GenWordPolynomial<C>> Pp)
Pp
- polynomial list.GenWordPolynomial<C> normalform(java.util.List<GenWordPolynomial<C>> P, GenWordPolynomial<C> A)
A
- polynomial.P
- polynomial list.java.util.List<GenWordPolynomial<C>> normalform(java.util.List<GenWordPolynomial<C>> Pp, java.util.List<GenWordPolynomial<C>> Ap)
Ap
- polynomial list.Pp
- polynomial list.GenWordPolynomial<C> normalform(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap)
lrow
- left recording matrix, is modified.rrow
- right recording matrix, is modified.Pp
- a polynomial list for reduction.Ap
- a polynomial.java.util.List<GenWordPolynomial<C>> irreducibleSet(java.util.List<GenWordPolynomial<C>> Pp)
Pp
- polynomial list.boolean isReductionNF(java.util.List<GenWordPolynomial<C>> lrow, java.util.List<GenWordPolynomial<C>> rrow, java.util.List<GenWordPolynomial<C>> Pp, GenWordPolynomial<C> Ap, GenWordPolynomial<C> Np)
lrow
- left recording matrix.rrow
- right recording matrix.Pp
- a polynomial list for reduction.Ap
- a polynomial.Np
- nf(Pp,Ap), a normal form of Ap wrt. Pp.