C
- coefficient type.public class GenSolvablePolynomialRing<C extends RingElem<C>> extends GenPolynomialRing<C>
Modifier and Type | Field and Description |
---|---|
GenSolvablePolynomial<C> |
ONE
The constant polynomial 1 for this ring.
|
RelationTable<C> |
table
The solvable multiplication relations.
|
GenSolvablePolynomial<C> |
ZERO
The constant polynomial 0 for this ring.
|
Constructor and Description |
---|
GenSolvablePolynomialRing(RingFactory<C> cf,
GenSolvablePolynomialRing o)
The constructor creates a solvable polynomial factory object with the the
same term order, number of variables and variable names as the given
polynomial factory, only the coefficient factories differ and the
solvable multiplication relations are empty.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n)
The constructor creates a solvable polynomial factory object with the
default term order and commutative relations.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n,
RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the
default term order.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n,
TermOrder t)
The constructor creates a solvable polynomial factory object with the
given term order and commutative relations.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n,
TermOrder t,
RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the
given term order.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n,
TermOrder t,
java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the
given term order and commutative relations.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
int n,
TermOrder t,
java.lang.String[] v,
RelationTable<C> rt)
The constructor creates a solvable polynomial factory object with the
given term order.
|
GenSolvablePolynomialRing(RingFactory<C> cf,
java.lang.String[] v)
The constructor creates a solvable polynomial factory object with the
default term order.
|
Modifier and Type | Method and Description |
---|---|
GenSolvablePolynomialRing<C> |
contract(int i)
Contract variables.
|
GenSolvablePolynomial<C> |
copy(GenSolvablePolynomial<C> c)
Copy polynomial c.
|
boolean |
equals(java.lang.Object other)
Comparison with any other object.
|
GenSolvablePolynomialRing<C> |
extend(int i)
Extend variables.
|
GenSolvablePolynomial<C> |
fromInteger(java.math.BigInteger a)
Get a (constant) GenSolvablePolynomial<C> element from a BigInteger
value.
|
GenSolvablePolynomial<C> |
fromInteger(long a)
Get a (constant) GenSolvablePolynomial<C> element from a long
value.
|
GenSolvablePolynomial<C> |
getONE()
Get the one element.
|
GenSolvablePolynomial<C> |
getZERO()
Get the zero element.
|
int |
hashCode()
Hash code for this polynomial ring.
|
boolean |
isAssociative()
Query if this ring is associative.
|
boolean |
isCommutative()
Query if this ring is commutative.
|
GenSolvablePolynomial<C> |
parse(java.io.Reader r)
Parse a solvable polynomial with the use of GenPolynomialTokenizer
|
GenSolvablePolynomial<C> |
parse(java.lang.String s)
Parse a solvable polynomial with the use of GenPolynomialTokenizer
|
GenSolvablePolynomial<C> |
random(int n)
Random solvable polynomial.
|
GenSolvablePolynomial<C> |
random(int k,
int l,
int d,
float q)
Generate a random solvable polynomial.
|
GenSolvablePolynomial<C> |
random(int k,
int l,
int d,
float q,
java.util.Random rnd)
Random solvable polynomial.
|
GenSolvablePolynomial<C> |
random(int n,
java.util.Random rnd)
Random solvable polynomial.
|
GenSolvablePolynomialRing<C> |
reverse()
Reverse variables.
|
GenSolvablePolynomialRing<C> |
reverse(boolean partial)
Reverse variables.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toString()
Get the String representation.
|
GenSolvablePolynomial<C> |
univariate(int i)
Generate univariate solvable polynomial in a given variable.
|
GenSolvablePolynomial<C> |
univariate(int modv,
int i,
long e)
Generate univariate solvable polynomial in a given variable with given
exponent.
|
GenSolvablePolynomial<C> |
univariate(int i,
long e)
Generate univariate solvable polynomial in a given variable with given
exponent.
|
java.util.List<GenSolvablePolynomial<C>> |
univariateList()
Generate list of univariate polynomials in all variables.
|
java.util.List<GenSolvablePolynomial<C>> |
univariateList(int modv)
Generate list of univariate polynomials in all variables.
|
java.util.List<GenSolvablePolynomial<C>> |
univariateList(int modv,
long e)
Generate list of univariate polynomials in all variables with given
exponent.
|
addVars, characteristic, copy, copy, extend, extendLower, extendLower, generators, getComparator, getComparator, getGenerators, getONECoefficient, getVars, getZEROCoefficient, isField, isFinite, iterator, newVars, newVars, newVars, newVars, recursive, setVars, valueOf, valueOf, valueOf, varsToString
public final RelationTable<C extends RingElem<C>> table
public final GenSolvablePolynomial<C extends RingElem<C>> ZERO
public final GenSolvablePolynomial<C extends RingElem<C>> ONE
public GenSolvablePolynomialRing(RingFactory<C> cf, int n)
cf
- factory for coefficients of type C.n
- number of variables.public GenSolvablePolynomialRing(RingFactory<C> cf, int n, RelationTable<C> rt)
cf
- factory for coefficients of type C.n
- number of variables.rt
- solvable multiplication relations.public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t)
cf
- factory for coefficients of type C.n
- number of variables.t
- a term order.public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, RelationTable<C> rt)
cf
- factory for coefficients of type C.n
- number of variables.t
- a term order.rt
- solvable multiplication relations.public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v)
cf
- factory for coefficients of type C.n
- number of variables.t
- a term order.v
- names for the variables.public GenSolvablePolynomialRing(RingFactory<C> cf, java.lang.String[] v)
cf
- factory for coefficients of type C.v
- names for the variables.public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v, RelationTable<C> rt)
cf
- factory for coefficients of type C.n
- number of variables.t
- a term order.v
- names for the variables.rt
- solvable multiplication relations.public GenSolvablePolynomialRing(RingFactory<C> cf, GenSolvablePolynomialRing o)
cf
- factory for coefficients of type C.o
- other solvable polynomial ring.public java.lang.String toString()
toString
in class GenPolynomialRing<C extends RingElem<C>>
Object.toString()
public java.lang.String toScript()
toScript
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
toScript
in class GenPolynomialRing<C extends RingElem<C>>
Element.toScript()
public boolean equals(java.lang.Object other)
equals
in class GenPolynomialRing<C extends RingElem<C>>
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class GenPolynomialRing<C extends RingElem<C>>
Object.hashCode()
public GenSolvablePolynomial<C> getZERO()
getZERO
in interface AbelianGroupFactory<GenPolynomial<C extends RingElem<C>>>
getZERO
in class GenPolynomialRing<C extends RingElem<C>>
public GenSolvablePolynomial<C> getONE()
getONE
in interface MonoidFactory<GenPolynomial<C extends RingElem<C>>>
getONE
in class GenPolynomialRing<C extends RingElem<C>>
public boolean isCommutative()
isCommutative
in interface MonoidFactory<GenPolynomial<C extends RingElem<C>>>
isCommutative
in class GenPolynomialRing<C extends RingElem<C>>
public boolean isAssociative()
isAssociative
in interface MonoidFactory<GenPolynomial<C extends RingElem<C>>>
isAssociative
in class GenPolynomialRing<C extends RingElem<C>>
public GenSolvablePolynomial<C> fromInteger(long a)
fromInteger
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
fromInteger
in class GenPolynomialRing<C extends RingElem<C>>
a
- long.public GenSolvablePolynomial<C> fromInteger(java.math.BigInteger a)
fromInteger
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
fromInteger
in class GenPolynomialRing<C extends RingElem<C>>
a
- BigInteger.public GenSolvablePolynomial<C> random(int n)
random
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
random
in class GenPolynomialRing<C extends RingElem<C>>
n
- number of terms.public GenSolvablePolynomial<C> random(int n, java.util.Random rnd)
random
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
random
in class GenPolynomialRing<C extends RingElem<C>>
n
- number of terms.rnd
- is a source for random bits.public GenSolvablePolynomial<C> random(int k, int l, int d, float q)
random
in class GenPolynomialRing<C extends RingElem<C>>
k
- bitsize of random coefficients.l
- number of terms.d
- maximal degree in each variable.q
- density of nozero exponents.public GenSolvablePolynomial<C> random(int k, int l, int d, float q, java.util.Random rnd)
random
in class GenPolynomialRing<C extends RingElem<C>>
k
- size of random coefficients.l
- number of terms.d
- maximal degree in each variable.q
- density of nozero exponents.rnd
- is a source for random bits.public GenSolvablePolynomial<C> copy(GenSolvablePolynomial<C> c)
c
- public GenSolvablePolynomial<C> parse(java.lang.String s)
parse
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
parse
in class GenPolynomialRing<C extends RingElem<C>>
s
- String.public GenSolvablePolynomial<C> parse(java.io.Reader r)
parse
in interface ElemFactory<GenPolynomial<C extends RingElem<C>>>
parse
in class GenPolynomialRing<C extends RingElem<C>>
r
- Reader.public GenSolvablePolynomial<C> univariate(int i)
univariate
in class GenPolynomialRing<C extends RingElem<C>>
i
- the index of the variable.public GenSolvablePolynomial<C> univariate(int i, long e)
univariate
in class GenPolynomialRing<C extends RingElem<C>>
i
- the index of the variable.e
- the exponent of the variable.public GenSolvablePolynomial<C> univariate(int modv, int i, long e)
univariate
in class GenPolynomialRing<C extends RingElem<C>>
modv
- number of module variables.i
- the index of the variable.e
- the exponent of the variable.public java.util.List<GenSolvablePolynomial<C>> univariateList()
univariateList
in class GenPolynomialRing<C extends RingElem<C>>
public java.util.List<GenSolvablePolynomial<C>> univariateList(int modv)
univariateList
in class GenPolynomialRing<C extends RingElem<C>>
modv
- number of module variables.public java.util.List<GenSolvablePolynomial<C>> univariateList(int modv, long e)
univariateList
in class GenPolynomialRing<C extends RingElem<C>>
modv
- number of module variables.e
- the exponent of the variables.public GenSolvablePolynomialRing<C> extend(int i)
extend
in class GenPolynomialRing<C extends RingElem<C>>
i
- number of variables to extend.public GenSolvablePolynomialRing<C> contract(int i)
contract
in class GenPolynomialRing<C extends RingElem<C>>
i
- number of variables to remove.public GenSolvablePolynomialRing<C> reverse()
reverse
in class GenPolynomialRing<C extends RingElem<C>>
public GenSolvablePolynomialRing<C> reverse(boolean partial)
reverse
in class GenPolynomialRing<C extends RingElem<C>>
partial
- true for partialy reversed term orders.