GenPolynomialRing

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.jas.poly
Class GenPolynomialRing<C extends RingElem<C>>

java.lang.Object
  edu.jas.poly.GenPolynomialRing<C>


Type Parameters:: C - coefficient type

All Implemented Interfaces:: AbelianGroupFactory<GenPolynomial<C>>, ElemFactory<GenPolynomial<C>>, MonoidFactory<GenPolynomial<C>>, RingFactory<GenPolynomial<C>>, java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<GenPolynomial<C>>

Direct Known Subclasses:: GenSolvablePolynomialRing

public class GenPolynomialRing<C extends RingElem<C>>
extends java.lang.Object
implements RingFactory<GenPolynomial<C>>, java.lang.Cloneable, java.lang.Iterable<GenPolynomial<C>>
extends java.lang.Object
implements RingFactory<GenPolynomial<C>>, java.lang.Cloneable, java.lang.Iterable<GenPolynomial<C>>

GenPolynomialRing generic polynomial factory implementing RingFactory; Factory for n-variate ordered polynomials over C. Almost immutable object, except variable names.

Author:: Heinz Kredel
See Also:: Serialized Form

Field Summary
`RingFactory<C>`	`coFac` The factory for the coefficients.
`ExpVector`	`evzero` The constant exponent vector 0 for this ring.
`protected int`	`isField` Indicator if this ring is a field.
`int`	`nvar` The number of variables.
`GenPolynomial<C>`	`ONE` The constant polynomial 1 for this ring.
`protected boolean`	`partial` True for partially reversed variables.
`protected static java.util.Random`	`random` A default random sequence generator.
`TermOrder`	`tord` The term order.
`protected java.lang.String[]`	`vars` The names of the variables.
`GenPolynomial<C>`	`ZERO` The constant polynomial 0 for this ring.

Constructor Summary
`GenPolynomialRing(RingFactory<C> cf, GenPolynomialRing o)` The constructor creates a 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.
`GenPolynomialRing(RingFactory<C> cf, int n)` The constructor creates a polynomial factory object with the default term order.
`GenPolynomialRing(RingFactory<C> cf, int n, java.lang.String[] v)` The constructor creates a polynomial factory object.
`GenPolynomialRing(RingFactory<C> cf, int n, TermOrder t)` The constructor creates a polynomial factory object.
`GenPolynomialRing(RingFactory<C> cf, int n, TermOrder t, java.lang.String[] v)` The constructor creates a polynomial factory object.
`GenPolynomialRing(RingFactory<C> cf, java.lang.String[] v)` The constructor creates a polynomial factory object.
`GenPolynomialRing(RingFactory<C> cf, TermOrder t, java.lang.String[] v)` The constructor creates a polynomial factory object.

Method Summary
`static void`	`addVars(java.lang.String[] vars)` Add variable names.
`java.math.BigInteger`	`characteristic()` Characteristic of this ring.
`GenPolynomialRing<C>`	`clone()` Clone this factory.
`GenPolynomialRing<C>`	`contract(int i)` Contract variables.
`GenPolynomial<C>`	`copy(GenPolynomial<C> c)` Copy polynomial c.
`boolean`	`equals(java.lang.Object other)` Comparison with any other object.
`GenPolynomialRing<C>`	`extend(int i)` Extend variables.
`GenPolynomialRing<C>`	`extend(java.lang.String[] vn)` Extend variables.
`GenPolynomialRing<C>`	`extendLower(int i)` Extend lower variables.
`GenPolynomialRing<C>`	`extendLower(java.lang.String[] vn)` Extend lower variables.
`GenPolynomial<C>`	`fromInteger(java.math.BigInteger a)` Get a (constant) GenPolynomial<C> element from a BigInteger value.
`GenPolynomial<C>`	`fromInteger(long a)` Get a (constant) GenPolynomial<C> element from a long value.
`java.util.List<GenPolynomial<C>>`	`generators()` Get a list of the generating elements.
`PolynomialComparator<C>`	`getComparator()` Get PolynomialComparator.
`PolynomialComparator<C>`	`getComparator(boolean rev)` Get PolynomialComparator.
`java.util.List<GenPolynomial<C>>`	`getGenerators()` Get the generating elements excluding the generators for the coefficient ring.
`GenPolynomial<C>`	`getONE()` Get the one element.
`C`	`getONECoefficient()` Get the one element from the coefficients.
`java.lang.String[]`	`getVars()` Get the variable names.
`GenPolynomial<C>`	`getZERO()` Get the zero element.
`C`	`getZEROCoefficient()` Get the zero element from the coefficients.
`int`	`hashCode()` Hash code for this polynomial 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.
`java.util.Iterator<GenPolynomial<C>>`	`iterator()` Get a GenPolynomial iterator.
`java.lang.String[]`	`newVars()` New variable names.
`static java.lang.String[]`	`newVars(int n)` New variable names.
`java.lang.String[]`	`newVars(java.lang.String prefix)` New variable names.
`static java.lang.String[]`	`newVars(java.lang.String prefix, int n)` New variable names.
`GenPolynomial<C>`	`parse(java.io.Reader r)` Parse a polynomial with the use of GenPolynomialTokenizer.
`GenPolynomial<C>`	`parse(java.lang.String s)` Parse a polynomial with the use of GenPolynomialTokenizer.
`GenPolynomial<C>`	`random(int n)` Random polynomial.
`GenPolynomial<C>`	`random(int k, int l, int d, float q)` Generate a random polynomial.
`GenPolynomial<C>`	`random(int k, int l, int d, float q, java.util.Random rnd)` Generate a random polynomial.
`GenPolynomial<C>`	`random(int n, java.util.Random rnd)` Random polynomial.
`GenPolynomialRing<GenPolynomial<C>>`	`recursive(int i)` Recursive representation as polynomial with i main variables.
`GenPolynomialRing<C>`	`reverse()` Reverse variables.
`GenPolynomialRing<C>`	`reverse(boolean partial)` Reverse variables.
`java.lang.String[]`	`setVars(java.lang.String[] v)` Set the variable names.
`java.lang.String`	`toScript()` Get a scripting compatible string representation.
`java.lang.String`	`toString()` Get the String representation.
`GenPolynomial<C>`	`univariate(int i)` Generate univariate polynomial in a given variable.
`GenPolynomial<C>`	`univariate(int modv, int i, long e)` Generate univariate polynomial in a given variable with given exponent.
`GenPolynomial<C>`	`univariate(int i, long e)` Generate univariate polynomial in a given variable with given exponent.
`java.util.List<? extends GenPolynomial<C>>`	`univariateList()` Generate list of univariate polynomials in all variables.
`java.util.List<? extends GenPolynomial<C>>`	`univariateList(int modv)` Generate list of univariate polynomials in all variables.
`java.util.List<? extends GenPolynomial<C>>`	`univariateList(int modv, long e)` Generate list of univariate polynomials in all variables with given exponent.
`java.lang.String`	`varsToString()` Get a String representation of the variable names.

Methods inherited from class java.lang.Object
`finalize, getClass, notify, notifyAll, wait, wait, wait`

Field Detail

coFac

public final RingFactory<C extends RingElem<C>> coFac

The factory for the coefficients.

nvar

public final int nvar

The number of variables.

tord

public final TermOrder tord

The term order.

partial

protected boolean partial

True for partially reversed variables.

vars

protected java.lang.String[] vars

The names of the variables. This value can be modified.

ZERO

public final GenPolynomial<C extends RingElem<C>> ZERO

The constant polynomial 0 for this ring.

ONE

public final GenPolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring.

evzero

public final ExpVector evzero

The constant exponent vector 0 for this ring.

random

protected static final java.util.Random random

A default random sequence generator.

isField

protected int isField

Indicator if this ring is a field.

Constructor Detail

GenPolynomialRing

public GenPolynomialRing(RingFactory<C> cf,
                         int n)

The constructor creates a polynomial factory object with the default term order.

Parameters:: cf - factory for coefficients of type C.; n - number of variables.