Uses of Class
edu.jas.fd.SolvableQuotient

Packages that use SolvableQuotient

Package	Description
edu.jas.fd	Factorization domain package for solvable polynomial rings.

Uses of SolvableQuotient in edu.jas.fd

Subclasses with type arguments of type SolvableQuotient in edu.jas.fd

Modifier and Type	Class	Description
class	QuotSolvablePolynomial<C extends GcdRingElem<C>>	QuotSolvablePolynomial generic recursive solvable polynomials implementing RingElem.
class	QuotSolvablePolynomialRing<C extends GcdRingElem<C>>	QuotSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.

Classes in edu.jas.fd that implement interfaces with type arguments of type SolvableQuotient

Modifier and Type	Class	Description
class	SolvableQuotient<C extends GcdRingElem<C>>	SolvableQuotient, that is a (left) rational function, based on GenSolvablePolynomial with RingElem interface.
class	SolvableQuotientRing<C extends GcdRingElem<C>>	SolvableQuotient ring factory based on GenPolynomial with RingElem interface.
class	SolvableQuotientRing<C extends GcdRingElem<C>>	SolvableQuotient ring factory based on GenPolynomial with RingElem interface.

Methods in edu.jas.fd that return SolvableQuotient

Modifier and Type	Method	Description
SolvableQuotient<C>	SolvableQuotient.abs()	SolvableQuotient absolute value.
SolvableQuotient<C>	SolvableQuotient.copy()	Clone this.
SolvableQuotient<C>	SolvableQuotientRing.copy(SolvableQuotient<C> c)	Copy SolvableQuotient element c.
SolvableQuotient<C>	SolvableQuotientRing.create(GenPolynomial<C> n)	Create from numerator.
SolvableQuotient<C>	SolvableQuotientRing.create(GenPolynomial<C> n, GenPolynomial<C> d)	Create from numerator, denominator pair.
SolvableQuotient<C>	SolvableQuotient.divide(SolvableQuotient<C> S)	SolvableQuotient division.
SolvableQuotient<C>[]	SolvableQuotient.egcd(SolvableQuotient<C> b)	Extended greatest common divisor.
SolvableQuotient<C>	SolvableQuotientRing.fromInteger(long a)	Get a SolvableQuotient element from a long value.
SolvableQuotient<C>	SolvableQuotientRing.fromInteger(BigInteger a)	Get a SolvableQuotient element from a BigInteger value.
SolvableQuotient<C>	SolvableQuotient.gcd(SolvableQuotient<C> b)	Greatest common divisor.
SolvableQuotient<C>	SolvableQuotientRing.getONE()	Get the one element.
SolvableQuotient<C>	SolvableQuotientRing.getZERO()	Get the zero element.
SolvableQuotient<C>	SolvableQuotient.inverse()	SolvableQuotient inverse.
SolvableQuotient<C>	SolvableQuotient.monic()	SolvableQuotient monic.
SolvableQuotient<C>	SolvableQuotient.multiply(C b)	SolvableQuotient multiplication by coefficient.
SolvableQuotient<C>	SolvableQuotient.multiply(SolvableQuotient<C> S)	SolvableQuotient multiplication.
SolvableQuotient<C>	SolvableQuotient.multiply(ExpVector e)	SolvableQuotient multiplication by exponent.
SolvableQuotient<C>	SolvableQuotient.multiply(GenSolvablePolynomial<C> b)	SolvableQuotient multiplication by GenSolvablePolynomial.
SolvableQuotient<C>	SolvableQuotient.negate()	SolvableQuotient negate.
SolvableQuotient<C>	SolvableQuotientRing.parse(Reader r)	Parse SolvableQuotient from Reader.
SolvableQuotient<C>	SolvableQuotientRing.parse(String s)	Parse SolvableQuotient from String.
SolvableQuotient<C>[]	SolvableQuotient.quotientRemainder(SolvableQuotient<C> S)	Quotient and remainder by division of this by S.
SolvableQuotient<C>	SolvableQuotientRing.random(int n)	SolvableQuotient random.
SolvableQuotient<C>	SolvableQuotientRing.random(int k, int l, int d, float q)	Generate a random quotient.
SolvableQuotient<C>	SolvableQuotientRing.random(int n, Random rnd)	SolvableQuotient random.
SolvableQuotient<C>	SolvableQuotient.remainder(SolvableQuotient<C> S)	SolvableQuotient remainder.
SolvableQuotient<C>	SolvableQuotient.rightFraction()	SolvableQuotient right fraction.
SolvableQuotient<C>	SolvableQuotient.subtract(SolvableQuotient<C> S)	SolvableQuotient subtraction.
SolvableQuotient<C>	SolvableQuotient.sum(SolvableQuotient<C> S)	SolvableQuotient summation.

Methods in edu.jas.fd that return types with arguments of type SolvableQuotient

Modifier and Type	Method	Description
List<SolvableQuotient<C>>	SolvableQuotientRing.generators()	Get a list of the generating elements.
static <C extends GcdRingElem<C>> GenSolvablePolynomial<SolvableQuotient<C>>	FDUtil.quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, GenSolvablePolynomial<GenPolynomial<C>> A)	Solvable rational function from integral solvable polynomial coefficients.
static <C extends GcdRingElem<C>> List<GenSolvablePolynomial<SolvableQuotient<C>>>	FDUtil.quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, Collection<GenSolvablePolynomial<GenPolynomial<C>>> L)	Solvable rational function from integral solvable polynomial coefficients.

Methods in edu.jas.fd with parameters of type SolvableQuotient

Modifier and Type	Method	Description
int	SolvableQuotient.compareTo(SolvableQuotient<C> b)	SolvableQuotient comparison.
SolvableQuotient<C>	SolvableQuotientRing.copy(SolvableQuotient<C> c)	Copy SolvableQuotient element c.
SolvableQuotient<C>	SolvableQuotient.divide(SolvableQuotient<C> S)	SolvableQuotient division.
SolvableQuotient<C>[]	SolvableQuotient.egcd(SolvableQuotient<C> b)	Extended greatest common divisor.
SolvableQuotient<C>	SolvableQuotient.gcd(SolvableQuotient<C> b)	Greatest common divisor.
boolean	SolvableQuotient.isRightFraction(SolvableQuotient<C> s)	Test if SolvableQuotient right fraction.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiply(SolvableQuotient<C> b)	QuotSolvablePolynomial multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiply(SolvableQuotient<C> b, SolvableQuotient<C> c)	QuotSolvablePolynomial left and right multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiply(SolvableQuotient<C> b, ExpVector e)	QuotSolvablePolynomial multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiply(SolvableQuotient<C> b, ExpVector e, SolvableQuotient<C> c, ExpVector f)	QuotSolvablePolynomial left and right multiplication.
SolvableQuotient<C>	SolvableQuotient.multiply(SolvableQuotient<C> S)	SolvableQuotient multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiplyLeft(SolvableQuotient<C> b)	QuotSolvablePolynomial multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiplyLeft(SolvableQuotient<C> b, ExpVector e)	QuotSolvablePolynomial multiplication.
SolvableQuotient<C>[]	SolvableQuotient.quotientRemainder(SolvableQuotient<C> S)	Quotient and remainder by division of this by S.
SolvableQuotient<C>	SolvableQuotient.remainder(SolvableQuotient<C> S)	SolvableQuotient remainder.
SolvableQuotient<C>	SolvableQuotient.subtract(SolvableQuotient<C> S)	SolvableQuotient subtraction.
SolvableQuotient<C>	SolvableQuotient.sum(SolvableQuotient<C> S)	SolvableQuotient summation.

Method parameters in edu.jas.fd with type arguments of type SolvableQuotient

Modifier and Type	Method	Description
static <C extends GcdRingElem<C>> GenSolvablePolynomial<GenPolynomial<C>>	FDUtil.integralFromQuotientCoefficients(GenSolvablePolynomialRing<GenPolynomial<C>> fac, GenSolvablePolynomial<SolvableQuotient<C>> A)	Integral solvable polynomial from solvable rational function coefficients.
static <C extends GcdRingElem<C>> List<GenSolvablePolynomial<GenPolynomial<C>>>	FDUtil.integralFromQuotientCoefficients(GenSolvablePolynomialRing<GenPolynomial<C>> fac, Collection<GenSolvablePolynomial<SolvableQuotient<C>>> L)	Integral solvable polynomial from solvable rational function coefficients.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiply(Map.Entry<ExpVector, SolvableQuotient<C>> m)	QuotSolvablePolynomial multiplication.
QuotSolvablePolynomial<C>	QuotSolvablePolynomial.multiplyLeft(Map.Entry<ExpVector, SolvableQuotient<C>> m)	QuotSolvablePolynomial multiplication.
static <C extends GcdRingElem<C>> GenSolvablePolynomial<SolvableQuotient<C>>	FDUtil.quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, GenSolvablePolynomial<GenPolynomial<C>> A)	Solvable rational function from integral solvable polynomial coefficients.
static <C extends GcdRingElem<C>> List<GenSolvablePolynomial<SolvableQuotient<C>>>	FDUtil.quotientFromIntegralCoefficients(GenSolvablePolynomialRing<SolvableQuotient<C>> fac, Collection<GenSolvablePolynomial<GenPolynomial<C>>> L)	Solvable rational function from integral solvable polynomial coefficients.
RecSolvablePolynomial<C>	QuotSolvablePolynomialRing.toPolyCoefficients(GenPolynomial<SolvableQuotient<C>> A)	Integral function from rational polynomial coefficients.

Constructors in edu.jas.fd with parameters of type SolvableQuotient

Modifier	Constructor	Description
	QuotSolvablePolynomial(QuotSolvablePolynomialRing<C> r, SolvableQuotient<C> c)	Constructor for QuotSolvablePolynomial.
	QuotSolvablePolynomial(QuotSolvablePolynomialRing<C> r, SolvableQuotient<C> c, ExpVector e)	Constructor for QuotSolvablePolynomial.

Constructor parameters in edu.jas.fd with type arguments of type SolvableQuotient

Modifier	Constructor	Description
	QuotSolvablePolynomial(QuotSolvablePolynomialRing<C> r, GenSolvablePolynomial<SolvableQuotient<C>> S)	Constructor for QuotSolvablePolynomial.
protected	QuotSolvablePolynomial(QuotSolvablePolynomialRing<C> r, SortedMap<ExpVector, SolvableQuotient<C>> v)	Constructor for QuotSolvablePolynomial.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n)	The constructor creates a solvable polynomial factory object with the default term order and commutative relations.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the default term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the default term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t)	The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the given term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the given term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, String[] v)	The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, String[] v, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the given term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, int n, TermOrder t, String[] v, RelationTable<SolvableQuotient<C>> rt)	The constructor creates a solvable polynomial factory object with the given term order.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, QuotSolvablePolynomialRing 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.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<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.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, TermOrder t, String[] v)	The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
	QuotSolvablePolynomialRing(RingFactory<SolvableQuotient<C>> cf, String[] v)	The constructor creates a solvable polynomial factory object with the default term order.