public class SolvableLocalResidueRing<C extends GcdRingElem<C>> extends java.lang.Object implements RingFactory<SolvableLocalResidue<C>>, QuotPairFactory<GenPolynomial<C>,SolvableLocalResidue<C>>
Modifier and Type | Field and Description |
---|---|
protected SolvableGroebnerBaseAbstract<C> |
bb
Groebner base engine.
|
SolvableSyzygyAbstract<C> |
engine
Syzygy engine of the factory.
|
SolvableIdeal<C> |
ideal
Solvable polynomial ideal for the reduction.
|
protected int |
isField
Indicator if this ring is a field.
|
GenSolvablePolynomialRing<C> |
ring
Solvable polynomial ring of the factory.
|
Constructor and Description |
---|
SolvableLocalResidueRing(SolvableIdeal<C> i)
The constructor creates a SolvableLocalResidueRing object from a
SolvableIdeal.
|
Modifier and Type | Method and Description |
---|---|
java.math.BigInteger |
characteristic()
Characteristic of this ring.
|
SolvableLocalResidue<C> |
copy(SolvableLocalResidue<C> c)
Copy SolvableLocalResidue element c.
|
SolvableLocalResidue<C> |
create(GenPolynomial<C> n)
Create from numerator.
|
SolvableLocalResidue<C> |
create(GenPolynomial<C> n,
GenPolynomial<C> d)
Create from numerator, denominator pair.
|
boolean |
equals(java.lang.Object b)
Comparison with any other object.
|
SolvableLocalResidue<C> |
fromInteger(java.math.BigInteger a)
Get a SolvableLocalResidue element from a BigInteger value.
|
SolvableLocalResidue<C> |
fromInteger(long a)
Get a SolvableLocalResidue element from a long value.
|
java.util.List<SolvableLocalResidue<C>> |
generators()
Get a list of the generating elements.
|
SolvableLocalResidue<C> |
getONE()
Get the one element.
|
SolvableLocalResidue<C> |
getZERO()
Get the zero element.
|
int |
hashCode()
Hash code for this quotient ring.
|
boolean |
isAssociative()
Query if this ring is associative.
|
boolean |
isCommutative()
Query if this ring is commutative.
|
boolean |
isField()
Query if this ring is a field.
|
boolean |
isFinite()
Is this structure finite or infinite.
|
GenSolvablePolynomialRing<C> |
pairFactory()
Factory for base elements.
|
SolvableLocalResidue<C> |
parse(java.io.Reader r)
Parse SolvableLocalResidue from Reader.
|
SolvableLocalResidue<C> |
parse(java.lang.String s)
Parse SolvableLocalResidue from String.
|
SolvableLocalResidue<C> |
random(int n)
SolvableLocalResidue random.
|
SolvableLocalResidue<C> |
random(int k,
int l,
int d,
float q)
Generate a random quotient.
|
SolvableLocalResidue<C> |
random(int n,
java.util.Random rnd)
SolvableLocalResidue random.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toString()
Get the String representation as RingFactory.
|
public final GenSolvablePolynomialRing<C extends GcdRingElem<C>> ring
public final SolvableIdeal<C extends GcdRingElem<C>> ideal
public final SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine
protected final SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> bb
protected int isField
public SolvableLocalResidueRing(SolvableIdeal<C> i)
i
- ideal in solvable polynomial ring.public GenSolvablePolynomialRing<C> pairFactory()
pairFactory
in interface QuotPairFactory<GenPolynomial<C extends GcdRingElem<C>>,SolvableLocalResidue<C extends GcdRingElem<C>>>
public SolvableLocalResidue<C> create(GenPolynomial<C> n)
create
in interface QuotPairFactory<GenPolynomial<C extends GcdRingElem<C>>,SolvableLocalResidue<C extends GcdRingElem<C>>>
public SolvableLocalResidue<C> create(GenPolynomial<C> n, GenPolynomial<C> d)
create
in interface QuotPairFactory<GenPolynomial<C extends GcdRingElem<C>>,SolvableLocalResidue<C extends GcdRingElem<C>>>
public boolean isFinite()
isFinite
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public SolvableLocalResidue<C> copy(SolvableLocalResidue<C> c)
copy
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
c
- public SolvableLocalResidue<C> getZERO()
getZERO
in interface AbelianGroupFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public SolvableLocalResidue<C> getONE()
getONE
in interface MonoidFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public java.util.List<SolvableLocalResidue<C>> generators()
generators
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public boolean isCommutative()
isCommutative
in interface MonoidFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public boolean isAssociative()
isAssociative
in interface MonoidFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public boolean isField()
isField
in interface RingFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public java.math.BigInteger characteristic()
characteristic
in interface RingFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public SolvableLocalResidue<C> fromInteger(java.math.BigInteger a)
fromInteger
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
a
- BigInteger.public SolvableLocalResidue<C> fromInteger(long a)
fromInteger
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
a
- long.public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toScript()
toScript
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
public boolean equals(java.lang.Object b)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public SolvableLocalResidue<C> random(int n)
random
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
n
- such that 0 ≤ v ≤ (2n-1).public SolvableLocalResidue<C> random(int k, int l, int d, float q)
k
- bitsize of random coefficients.l
- number of terms.d
- maximal degree in each variable.q
- density of nozero exponents.public SolvableLocalResidue<C> random(int n, java.util.Random rnd)
random
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
n
- such that 0 ≤ v ≤ (2n-1).rnd
- is a source for random bits.public SolvableLocalResidue<C> parse(java.lang.String s)
parse
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
s
- String.public SolvableLocalResidue<C> parse(java.io.Reader r)
parse
in interface ElemFactory<SolvableLocalResidue<C extends GcdRingElem<C>>>
r
- Reader.