Package cc.redberry.rings.poly

Interface IPolynomialRing<Poly extends IPolynomial<Poly>>

All Superinterfaces:

Comparator<Poly>, IParser<Poly>, Iterable<Poly>, Ring<Poly>, Serializable, Stringifiable<Poly>

All Known Implementing Classes:

AlgebraicNumberField, FiniteField, MultipleFieldExtension, MultivariateRing, QuotientRing, SimpleFieldExtension, UnivariateRing

public interface IPolynomialRing<Poly extends IPolynomial<Poly>>
extends Ring<Poly>

Polynomial ring.

Since:

1.0

Method Summary

Modifier and Type	Method	Description
Poly	factory()	Factory polynomial
default Coder<Poly,?,?>	mkCoder(String... variables)	Simple coder for this ring
int	nVariables()	Number of polynomial variables
default Poly	parse(String string, String... variables)	Parse poly from string using specified variables representation
default int	signum(Poly element)	Returns -1 if element < 0, 0 if element == 0 and 1 if element > 0, where comparison is specified by Comparator.compare(Object, Object)
Poly	variable(int variable)	Creates poly representing a single specified variable

Methods inherited from interface java.util.Comparator

compare, equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface cc.redberry.rings.Ring

abs, add, add, addMutable, cardinality, characteristic, copy, createArray, createArray, createArray, createArray, createArray2d, createArray2d, createZeroesArray, createZeroesArray2d, decrement, divideAndRemainder, divideExact, divideExactMutable, divideOrNull, extendedGCD, factor, factorial, factorSquareFree, fillZeros, firstBezoutCoefficient, gcd, gcd, gcd, getNegativeOne, getOne, getZero, increment, isEuclideanRing, isField, isFinite, isFiniteField, isMinusOne, isOne, isPerfectPower, isUnit, isUnitOrZero, isZero, iterator, lcm, lcm, lcm, max, min, multiply, multiply, multiply, multiply, multiplyMutable, negate, negateMutable, parse, perfectPowerBase, perfectPowerExponent, pow, pow, pow, quotient, randomElement, randomElement, randomElementTree, randomElementTree, randomNonZeroElement, reciprocal, remainder, setToValueOf, subtract, subtractMutable, valueOf, valueOf, valueOf, valueOfBigInteger

Methods inherited from interface cc.redberry.rings.io.Stringifiable

toString

Method Details

nVariables

int nVariables()

Number of polynomial variables

factory

Poly factory()

Factory polynomial

variable

Poly variable(int variable)

Creates poly representing a single specified variable

signum

default int signum(Poly element)

Description copied from interface: Ring

Returns -1 if element < 0, 0 if element == 0 and 1 if element > 0, where comparison is specified by Comparator.compare(Object, Object)

Specified by:

signum in interface Ring<Poly extends IPolynomial<Poly>>

Parameters:

element - the element

Returns:

-1 if element < 0, 0 if element == 0 and 1 otherwise

parse

default Poly parse(String string,
String... variables)

Parse poly from string using specified variables representation

mkCoder

default Coder<Poly,?,?> mkCoder(String... variables)

Simple coder for this ring