cc.redberry.rings.poly.univar.UnivariatePolynomialZ64

All Implemented Interfaces:: Stringifiable<UnivariatePolynomialZ64>, IPolynomial<UnivariatePolynomialZ64>, IUnivariatePolynomial<UnivariatePolynomialZ64>, Serializable, Comparable<UnivariatePolynomialZ64>

public final class UnivariatePolynomialZ64
extends Object

Univariate polynomial over machine integers in range [-2^63, 2^63]. NOTE: this class is used in internal routines for performance reasons, for usual polynomials over Z use UnivariatePolynomial over BigIntegers.

Arithmetic operations on instances of this type may cause long overflow in which case a proper ArithmeticException will be thrown.

Since:: 1.0
See Also:: Serialized Form

Method Summary

Modifier and Type	Method	Description
`UnivariatePolynomialZ64`	`add(long val)`	Add constant to this.
`UnivariatePolynomialZ64`	`add(UnivariatePolynomialZ64 oth)`	Adds `oth` to `this`.
`UnivariatePolynomialZ64`	`addMonomial(long coefficient, int exponent)`	Adds `coefficient*x^exponent` to `this`
`UnivariatePolynomialZ64`	`addMul(UnivariatePolynomialZ64 oth, long factor)`	Adds `oth * factor` to `this`
`AMultivariatePolynomial`	`asMultivariate(Comparator<DegreeVector> ordering)`	Convert to multivariate polynomial
`long`	`cc()`	Returns the constant coefficient of this poly
`UnivariatePolynomialZ64`	`ccAsPoly()`	Returns the constant coefficient as a constant poly
`UnivariatePolynomialZ64`	`clone()`	Deep copy of this
`BigInteger`	`coefficientRingCardinality()`	Returns cardinality of the coefficient ring of this poly
`BigInteger`	`coefficientRingCharacteristic()`	Returns characteristic of the coefficient ring of this poly
`BigInteger`	`coefficientRingPerfectPowerBase()`	Returns `base` so that `coefficientRingCardinality() == base^exponent` or null if cardinality is not finite
`BigInteger`	`coefficientRingPerfectPowerExponent()`	Returns `exponent` so that `coefficientRingCardinality() == base^exponent` or null if cardinality is not finite
`String`	`coefficientRingToString(IStringifier<UnivariatePolynomialZ64> stringifier)`	String representation of the coefficient ring of this
`int`	`compareTo(UnivariatePolynomialZ64 o)`
`AMultivariatePolynomial`	`composition(AMultivariatePolynomial value)`	Calculates the composition of this(oth)
`UnivariatePolynomialZ64`	`composition(UnivariatePolynomialZ64 value)`	Calculates the composition of this(oth) (new instance, so the content of this is not changed))
`static UnivariatePolynomialZ64`	`constant(long value)`	Returns constant with specified value
`long`	`content()`	Returns the content of this poly (gcd of its coefficients)
`UnivariatePolynomialZ64`	`contentAsPoly()`	Returns the content of this (gcd of coefficients) as a constant poly
`static UnivariatePolynomialZ64`	`create(long... data)`	Creates Z[x] polynomial from the specified coefficients
`UnivariatePolynomialZ64[]`	`createArray(int length)`	overcome Java generics...
`UnivariatePolynomialZ64[][]`	`createArray2d(int length)`	overcome Java generics...
`UnivariatePolynomialZ64[][]`	`createArray2d(int length1, int length2)`	overcome Java generics...
`UnivariatePolynomialZ64`	`createConstant(long val)`	Creates constant polynomial with specified value (with the same coefficient ring)
`UnivariatePolynomialZ64`	`createFromArray(long[] data)`	Creates new poly with the specified coefficients (over the same ring)
`UnivariatePolynomialZ64`	`createLinear(long cc, long lc)`	Creates linear polynomial of form `cc + x * lc` (with the same coefficient ring)
`UnivariatePolynomialZ64`	`createMonomial(int degree)`	Creates new monomial `x^degree` (with the same coefficient ring)
`UnivariatePolynomialZ64`	`createMonomial(long coefficient, int degree)`	Creates monomial `coefficient * x^degree` (with the same coefficient ring)
`UnivariatePolynomialZ64`	`createOne()`	Returns the new instance of unit polynomial (with the same coefficient ring)
`UnivariatePolynomialZ64`	`createZero()`	Returns the new instance of zero polynomial (with the same coefficient ring)
`UnivariatePolynomialZ64`	`decrement()`	Subtracts 1 from this
`int`	`degree()`	Returns the degree of this polynomial
`UnivariatePolynomialZ64`	`derivative()`	Returns the formal derivative of this poly (new instance, so the content of this is not changed)
`UnivariatePolynomialZ64`	`divideByLC(UnivariatePolynomialZ64 other)`	Divides this polynomial by the leading coefficient of `other` or returns `null` (causing loss of internal data) if some of the elements can't be exactly divided by the `other.lc()`.
`UnivariatePolynomialZ64`	`divideOrNull(long factor)`	Divides this polynomial by a `factor` or returns `null` (causing loss of internal data) if some of the elements can't be exactly divided by the `factor`.
`void`	`ensureInternalCapacity(int desiredCapacity)`	ensures that internal storage has enough size to store `desiredCapacity` elements
`boolean`	`equals(Object obj)`
`long`	`evaluate(long point)`	Evaluates this poly at a given `point` (via Horner method).
`long`	`evaluateAtRational(long num, long den)`	Evaluates this poly at a given rational point `num/den`
`int`	`firstNonZeroCoefficientPosition()`	Returns position of the first non-zero coefficient, that is common monomial exponent (e.g.
`long`	`get(int i)`	Returns the i-th coefficient of this poly (coefficient before x^i)
`UnivariatePolynomialZ64`	`getAsPoly(int i)`	Returns i-th coefficient of this as a constant polynomial
`long[]`	`getDataReferenceUnsafe()`	internal API >>> direct unsafe access to internal storage
`UnivariatePolynomialZ64`	`getRange(int from, int to)`	Creates polynomial formed from the coefficients of this starting from `from` (inclusive) to `to` (exclusive)
`int`	`hashCode()`
`UnivariatePolynomialZ64`	`increment()`	Adds 1 to this
`boolean`	`isConstant()`	Returns `true` if this polynomial has only constant term
`boolean`	`isMonic()`	Returns `true` if this polynomial is monic
`boolean`	`isMonomial()`	Returns `true` if this polynomial has only one monomial term
`boolean`	`isOne()`	Returns `true` if this is one
`boolean`	`isOverField()`	Returns whether the coefficient ring of this polynomial is a field
`boolean`	`isOverFiniteField()`	Returns whether the coefficient ring of this polynomial is a finite field
`boolean`	`isOverPerfectPower()`	Returns whether the `coefficientRingCardinality()` is a perfect power
`boolean`	`isOverZ()`	Returns whether the coefficient ring of this polynomial is Z
`boolean`	`isUnitCC()`	Returns true if constant term is equal to one
`boolean`	`isZero()`	Returns `true` if this is zero
`boolean`	`isZeroAt(int i)`	Returns whether i-th coefficient of this is zero
`long`	`lc()`	Returns the leading coefficient of this poly
`UnivariatePolynomialZ64`	`lcAsPoly()`	Returns the leading coefficient as a constant poly
`<T> UnivariatePolynomial<T>`	`mapCoefficients(Ring<T> ring, LongFunction<T> mapper)`	Applies transformation function to this and returns the result.
`long`	`maxAbsCoefficient()`	Returns max coefficient (by absolute value) of this poly
`double`	`mignotteBound()`	Returns Mignotte's bound (sqrt(n+1) * 2^n max \|this\|)
`UnivariatePolynomialZp64`	`modulus(long modulus)`	Reduces (copied) polynomial modulo `modulus` and returns the result.
`UnivariatePolynomialZp64`	`modulus(long modulus, boolean copy)`	Reduces this polynomial modulo `modulus` and returns the result.
`UnivariatePolynomialZp64`	`modulus(IntegersZp64 ring)`	Reduces (copied) polynomial modulo `modulus` and returns the result.
`UnivariatePolynomialZp64`	`modulus(IntegersZp64 ring, boolean copy)`	Reduces this polynomial modulo `modulus` and returns the result.
`UnivariatePolynomialZ64`	`monic()`	Sets `this` to its monic part (that is `this` divided by its leading coefficient), or returns `null` (causing loss of internal data) if some of the elements can't be exactly divided by the `lc()`.
`UnivariatePolynomialZ64`	`monic(long factor)`	Sets `this` to its monic part multiplied by the `factor`;
`UnivariatePolynomialZ64`	`monicWithLC(UnivariatePolynomialZ64 other)`	Sets `this` to its monic part multiplied by the leading coefficient of `other`;
`static UnivariatePolynomialZ64`	`monomial(long coefficient, int exponent)`	Creates monomial `coefficient * x^exponent`
`UnivariatePolynomialZ64`	`multiply(long factor)`	Multiplies this by `factor`
`UnivariatePolynomialZ64`	`multiply(UnivariatePolynomialZ64 oth)`	Multiplies this by `oth`
`UnivariatePolynomialZ64`	`multiplyByBigInteger(BigInteger factor)`	Multiplies this by `factor`
`UnivariatePolynomialZ64`	`multiplyByLC(UnivariatePolynomialZ64 other)`	Multiply this by the leading coefficient of `other`
`UnivariatePolynomialZ64`	`negate()`	Negates this and returns
`double`	`norm1()`	Returns L1 norm of this polynomial, i.e.
`double`	`norm2()`	Returns L2 norm of this polynomial, i.e.
`double`	`normMax()`	Returns max coefficient (by absolute value) of this poly
`static UnivariatePolynomialZ64`	`one()`	Creates unit polynomial
`static UnivariatePolynomialZ64`	`parse(String string)`	Parse string into polynomial
`UnivariatePolynomialZ64`	`parsePoly(String string)`
`UnivariatePolynomialZ64`	`primitivePart()`	Reduces poly to its primitive part (primitive part will always have positive l.c.)
`UnivariatePolynomialZ64`	`primitivePartSameSign()`	Reduces poly to its primitive part, so that primitive part will have the same signum as the initial poly
`UnivariatePolynomialZ64`	`reverse()`	Reverses the coefficients of this
`boolean`	`sameCoefficientRingWith(UnivariatePolynomialZ64 oth)`	Returns whether `oth` and `this` have the same coefficient ring
`UnivariatePolynomialZ64`	`set(int i, long el)`	Sets i-th element of this poly with the specified value
`UnivariatePolynomialZ64`	`set(UnivariatePolynomialZ64 oth)`	Sets the content of this to `oth`
`UnivariatePolynomialZ64`	`setAndDestroy(UnivariatePolynomialZ64 oth)`	Sets the content of this with `oth` and destroys oth
`UnivariatePolynomialZ64`	`setCoefficientRingFrom(UnivariatePolynomialZ64 univariatePolynomialZ64)`	Set the coefficient ring from specified poly
`UnivariatePolynomialZ64`	`setFrom(int indexInThis, UnivariatePolynomialZ64 poly, int indexInPoly)`	Sets i-th element of this by j-th element of other poly
`UnivariatePolynomialZ64`	`setLC(long lc)`	Sets hte leading coefficient of this poly with specified value
`UnivariatePolynomialZ64`	`setZero(int i)`	Fills i-th element with zero
`UnivariatePolynomialZ64`	`shift(long value)`	Shifts variable x -> x + value and returns the result (new instance)
`UnivariatePolynomialZ64`	`shiftLeft(int offset)`	Returns the quotient `this / x^offset`, it is polynomial with coefficient list formed by shifting coefficients of `this` to the left by `offset`.
`UnivariatePolynomialZ64`	`shiftRight(int offset)`	Multiplies `this` by the `x^offset`.
`int`	`signumOfLC()`	Gives signum of the leading coefficient
`UnivariatePolynomialZ64`	`square()`	Squares `this`
`LongStream`	`stream()`	Returns a sequential `Stream` with coefficients of this as its source.
`Stream<UnivariatePolynomialZ64>`	`streamAsPolys()`	Stream polynomial coefficients as constant polynomials
`UnivariatePolynomialZ64`	`subtract(long val)`	Subtract constant from this.
`UnivariatePolynomialZ64`	`subtract(UnivariatePolynomialZ64 oth)`	Subtracts `oth` from `this`.
`UnivariatePolynomialZ64`	`subtract(UnivariatePolynomialZ64 oth, long factor, int exponent)`	Subtracts `factor * x^exponent * oth` from `this`
`UnivariatePolynomial<BigInteger>`	`toBigPoly()`	Converts this to a polynomial over BigIntegers
`String`	`toString()`
`String`	`toString(IStringifier<UnivariatePolynomialZ64> stringifier)`	convert this to string with the use of stringifier
`String`	`toStringForCopy()`
`UnivariatePolynomialZ64`	`toZero()`	Sets this to zero
`UnivariatePolynomialZ64`	`truncate(int newDegree)`	Returns the remainder `this rem x^(newDegree + 1)`, it is polynomial formed by coefficients of this from zero to `newDegree` (both inclusive)
`static UnivariatePolynomialZ64`	`zero()`	Creates zero polynomial

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface cc.redberry.rings.poly.IPolynomial

add, assertSameCoefficientRingWith, canonical, coefficientRingToString, copy, createArray, createArray, createArray, monicExact, multiply, multiply, setCoefficientRingFromOptional, subtract, toPositiveLC, toString

Methods inherited from interface cc.redberry.rings.poly.univar.IUnivariatePolynomial

asMultivariate, composition, exponents, isLinearExactly, isLinearOrConstant, isZeroCC, mapCoefficientsAsPolys, nNonZeroTerms, size

Method Details
- parse
  
  public static UnivariatePolynomialZ64 parse(String string)
  
  Parse string into polynomial
- create
  
  public static UnivariatePolynomialZ64 create(long... data)
  
  Creates Z[x] polynomial from the specified coefficients
  
  Parameters:
  
  data - coefficients
  
  Returns:
  
  Z[x] polynomial
- monomial
  
  public static UnivariatePolynomialZ64 monomial(long coefficient, int exponent)
  
  Creates monomial coefficient * x^exponent
  
  Parameters:
  
  coefficient - monomial coefficient
  
  exponent - monomial exponent
  
  Returns:
  
  coefficient * x^exponent
- zero
  
  public static UnivariatePolynomialZ64 zero()
  
  Creates zero polynomial
  
  Returns:
  
  zero polynomial
- one
  
  public static UnivariatePolynomialZ64 one()
  
  Creates unit polynomial
  
  Returns:
  
  unit polynomial
- constant
  
  public static UnivariatePolynomialZ64 constant(long value)
  
  Returns constant with specified value
  
  Returns:
  
  constant with specified value
- setCoefficientRingFrom
  
  public UnivariatePolynomialZ64 setCoefficientRingFrom(UnivariatePolynomialZ64 univariatePolynomialZ64)
  
  Description copied from interface: IPolynomial
  
  Set the coefficient ring from specified poly
  
  Parameters:
  
  univariatePolynomialZ64 - the polynomial
  
  Returns:
  
  a copy of this with the coefficient ring taken from poly
- modulus
  
  public UnivariatePolynomialZp64 modulus(long modulus, boolean copy)
  
  Reduces this polynomial modulo modulus and returns the result.
  
  Parameters:
  
  modulus - the modulus
  
  copy - whether to copy the internal data or reduce inplace (in which case the data of this will be lost)
  
  Returns:
  
  this modulo modulus
- modulus
  
  public UnivariatePolynomialZp64 modulus(long modulus)
  
  Reduces (copied) polynomial modulo modulus and returns the result.
  
  Parameters:
  
  modulus - the modulus
  
  Returns:
  
  a copy of this modulo modulus
- modulus
  
  public UnivariatePolynomialZp64 modulus(IntegersZp64 ring, boolean copy)
  
  Reduces this polynomial modulo modulus and returns the result.
  
  Parameters:
  
  ring - the modulus
  
  copy - whether to copy the internal data or reduce inplace (in which case the data of this will be lost)
  
  Returns:
  
  this modulo modulus
- modulus
  
  public UnivariatePolynomialZp64 modulus(IntegersZp64 ring)
  
  Reduces (copied) polynomial modulo modulus and returns the result.
  
  Parameters:
  
  ring - the modulus
  
  Returns:
  
  a copy of this modulo modulus
- toBigPoly
  
  public UnivariatePolynomial<BigInteger> toBigPoly()
  
  Converts this to a polynomial over BigIntegers. The ring of the result is Rings.Z
  
  Returns:
  
  polynomial over BigIntegers
- mignotteBound
  
  public double mignotteBound()
  
  Returns Mignotte's bound (sqrt(n+1) * 2^n max |this|)
  
  Returns:
  
  Mignotte's bound
- evaluateAtRational
  
  public long evaluateAtRational(long num, long den)
  
  Evaluates this poly at a given rational point num/den
  
  Parameters:
  
  num - point numerator
  
  den - point denominator
  
  Returns:
  
  value at num/den
  
  Throws:
  
  ArithmeticException - if the result is not integer
- getRange
  
  public UnivariatePolynomialZ64 getRange(int from, int to)
  
  Description copied from interface: IUnivariatePolynomial
  
  Creates polynomial formed from the coefficients of this starting from from (inclusive) to to (exclusive)
  
  Parameters:
  
  from - the initial index of the range to be copied, inclusive
  
  to - the final index of the range to be copied, exclusive.
  
  Returns:
  
  polynomial formed from the range of coefficients of this
- createArray
  
  public UnivariatePolynomialZ64[] createArray(int length)
  
  Description copied from interface: IPolynomial
  
  overcome Java generics...
- createArray2d
  
  public UnivariatePolynomialZ64[][] createArray2d(int length)
  
  Description copied from interface: IPolynomial
  
  overcome Java generics...
- createArray2d
  
  public UnivariatePolynomialZ64[][] createArray2d(int length1, int length2)
  
  Description copied from interface: IPolynomial
  
  overcome Java generics...
- sameCoefficientRingWith
  
  public boolean sameCoefficientRingWith(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IPolynomial
  
  Returns whether oth and this have the same coefficient ring
  
  Parameters:
  
  oth - other polynomial
  
  Returns:
  
  whether this and oth are over the same coefficient ring
- createFromArray
  
  public UnivariatePolynomialZ64 createFromArray(long[] data)
  
  Creates new poly with the specified coefficients (over the same ring)
  
  Parameters:
  
  data - the data
  
  Returns:
  
  polynomial
- createMonomial
  
  public UnivariatePolynomialZ64 createMonomial(long coefficient, int degree)
  
  Creates monomial coefficient * x^degree (with the same coefficient ring)
  
  Parameters:
  
  coefficient - monomial coefficient
  
  degree - monomial degree
  
  Returns:
  
  coefficient * x^degree
- isOverField
  
  public boolean isOverField()
  
  Description copied from interface: IPolynomial
  
  Returns whether the coefficient ring of this polynomial is a field
  
  Returns:
  
  whether the coefficient ring of this polynomial is a field
- isOverFiniteField
  
  public boolean isOverFiniteField()
  
  Description copied from interface: IPolynomial
  
  Returns whether the coefficient ring of this polynomial is a finite field
  
  Returns:
  
  whether the coefficient ring of this polynomial is a finite field
- isOverZ
  
  public boolean isOverZ()
  
  Description copied from interface: IPolynomial
  
  Returns whether the coefficient ring of this polynomial is Z
  
  Returns:
  
  whether the coefficient ring of this polynomial is Z
- coefficientRingCardinality
  
  public BigInteger coefficientRingCardinality()
  
  Description copied from interface: IPolynomial
  
  Returns cardinality of the coefficient ring of this poly
  
  Returns:
  
  cardinality of the coefficient ring
- coefficientRingCharacteristic
  
  public BigInteger coefficientRingCharacteristic()
  
  Description copied from interface: IPolynomial
  
  Returns characteristic of the coefficient ring of this poly
  
  Returns:
  
  characteristic of the coefficient ring
- isOverPerfectPower
  
  public boolean isOverPerfectPower()
  
  Description copied from interface: IPolynomial
  
  Returns whether the coefficientRingCardinality() is a perfect power
  
  Returns:
  
  whether the coefficientRingCardinality() is a perfect power
- coefficientRingPerfectPowerBase
  
  public BigInteger coefficientRingPerfectPowerBase()
  
  Description copied from interface: IPolynomial
  
  Returns base so that coefficientRingCardinality() == base^exponent or null if cardinality is not finite
  
  Returns:
  
  base so that coefficientRingCardinality() == base^exponent or null if cardinality is not finite
- coefficientRingPerfectPowerExponent
  
  public BigInteger coefficientRingPerfectPowerExponent()
  
  Description copied from interface: IPolynomial
  
  Returns exponent so that coefficientRingCardinality() == base^exponent or null if cardinality is not finite
  
  Returns:
  
  exponent so that coefficientRingCardinality() == base^exponent or null if cardinality is not finite
- content
  
  public long content()
  
  Returns the content of this poly (gcd of its coefficients)
  
  Returns:
  
  polynomial content
- monic
  
  public UnivariatePolynomialZ64 monic()
  
  Description copied from interface: IPolynomial
  
  Sets this to its monic part (that is this divided by its leading coefficient), or returns null (causing loss of internal data) if some of the elements can't be exactly divided by the lc(). NOTE: if null is returned, the content of this is destroyed.
  
  Returns:
  
  monic this or null
- monic
  
  public UnivariatePolynomialZ64 monic(long factor)
  
  Sets this to its monic part multiplied by the factor;
  
  Parameters:
  
  factor - the factor
  
  Returns:
  
  this
- divideOrNull
  
  public UnivariatePolynomialZ64 divideOrNull(long factor)
  
  Divides this polynomial by a factor or returns null (causing loss of internal data) if some of the elements can't be exactly divided by the factor. NOTE: is null is returned, the content of this is destroyed.
  
  Parameters:
  
  factor - the factor
  
  Returns:
  
  this divided by the factor or null
- divideByLC
  
  public UnivariatePolynomialZ64 divideByLC(UnivariatePolynomialZ64 other)
  
  Description copied from interface: IPolynomial
  
  Divides this polynomial by the leading coefficient of other or returns null (causing loss of internal data) if some of the elements can't be exactly divided by the other.lc(). NOTE: if null is returned, the content of this is destroyed.
  
  Parameters:
  
  other - the polynomial
  
  Returns:
  
  this divided by the other.lc() or null if exact division is not possible
- multiplyByBigInteger
  
  public UnivariatePolynomialZ64 multiplyByBigInteger(BigInteger factor)
  
  Description copied from interface: IPolynomial
  
  Multiplies this by factor
  
  Parameters:
  
  factor - the factor
  
  Returns:
  
  this * factor
- multiply
  
  public UnivariatePolynomialZ64 multiply(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IPolynomial
  
  Multiplies this by oth
  
  Parameters:
  
  oth - the polynomial
  
  Returns:
  
  this * oth
- square
  
  public UnivariatePolynomialZ64 square()
  
  Description copied from interface: IPolynomial
  
  Squares this
  
  Returns:
  
  this * this
- derivative
  
  public UnivariatePolynomialZ64 derivative()
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns the formal derivative of this poly (new instance, so the content of this is not changed)
  
  Returns:
  
  the formal derivative
- clone
  
  public UnivariatePolynomialZ64 clone()
  
  Description copied from interface: IPolynomial
  
  Deep copy of this
  
  Specified by:
  
  clone in interface IPolynomial<UnivariatePolynomialZ64>
  
  Specified by:
  
  clone in interface IUnivariatePolynomial<UnivariatePolynomialZ64>
  
  Returns:
  
  deep copy of this
- parsePoly
  
  public UnivariatePolynomialZ64 parsePoly(String string)
- coefficientRingToString
  
  public String coefficientRingToString(IStringifier<UnivariatePolynomialZ64> stringifier)
  
  Description copied from interface: IPolynomial
  
  String representation of the coefficient ring of this
- composition
  
  public AMultivariatePolynomial composition(AMultivariatePolynomial value)
  
  Description copied from interface: IUnivariatePolynomial
  
  Calculates the composition of this(oth)
  
  Parameters:
  
  value - polynomial
  
  Returns:
  
  composition this(oth)
- asMultivariate
  
  public AMultivariatePolynomial asMultivariate(Comparator<DegreeVector> ordering)
  
  Description copied from interface: IUnivariatePolynomial
  
  Convert to multivariate polynomial
- degree
  
  public final int degree()
  
  Description copied from interface: IPolynomial
  
  Returns the degree of this polynomial
  
  Specified by:
  
  degree in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  the degree
- get
  
  public final long get(int i)
  
  Returns the i-th coefficient of this poly (coefficient before x^i)
- set
  
  public final UnivariatePolynomialZ64 set(int i, long el)
  
  Sets i-th element of this poly with the specified value
- setLC
  
  public final UnivariatePolynomialZ64 setLC(long lc)
  
  Sets hte leading coefficient of this poly with specified value
- firstNonZeroCoefficientPosition
  
  public final int firstNonZeroCoefficientPosition()
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns position of the first non-zero coefficient, that is common monomial exponent (e.g. 2 for x^2 + x^3 + ...). In the case of zero polynomial, -1 returned
  
  Specified by:
  
  firstNonZeroCoefficientPosition in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  position of the first non-zero coefficient or -1 if this is zero
- lc
  
  public final long lc()
  
  Returns the leading coefficient of this poly
  
  Returns:
  
  leading coefficient
- lcAsPoly
  
  public final UnivariatePolynomialZ64 lcAsPoly()
  
  Description copied from interface: IPolynomial
  
  Returns the leading coefficient as a constant poly
  
  Specified by:
  
  lcAsPoly in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- ccAsPoly
  
  public final UnivariatePolynomialZ64 ccAsPoly()
  
  Description copied from interface: IPolynomial
  
  Returns the constant coefficient as a constant poly
  
  Specified by:
  
  ccAsPoly in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- getAsPoly
  
  public UnivariatePolynomialZ64 getAsPoly(int i)
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns i-th coefficient of this as a constant polynomial
  
  Specified by:
  
  getAsPoly in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  i - index in this
  
  Returns:
  
  i-th coefficient of this as a constant polynomial
- cc
  
  public final long cc()
  
  Returns the constant coefficient of this poly
  
  Returns:
  
  constant coefficient
- ensureInternalCapacity
  
  public final void ensureInternalCapacity(int desiredCapacity)
  
  Description copied from interface: IUnivariatePolynomial
  
  ensures that internal storage has enough size to store desiredCapacity elements
  
  Specified by:
  
  ensureInternalCapacity in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- createMonomial
  
  public final UnivariatePolynomialZ64 createMonomial(int degree)
  
  Description copied from interface: IUnivariatePolynomial
  
  Creates new monomial x^degree (with the same coefficient ring)
  
  Specified by:
  
  createMonomial in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  degree - monomial degree
  
  Returns:
  
  new monomial coefficient * x^degree
- createLinear
  
  public final UnivariatePolynomialZ64 createLinear(long cc, long lc)
  
  Creates linear polynomial of form cc + x * lc (with the same coefficient ring)
  
  Parameters:
  
  cc - the constant coefficient
  
  lc - the leading coefficient
  
  Returns:
  
  cc + x * lc
- createConstant
  
  public final UnivariatePolynomialZ64 createConstant(long val)
  
  Creates constant polynomial with specified value (with the same coefficient ring)
  
  Specified by:
  
  createConstant in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  val - the value
  
  Returns:
  
  constant polynomial with specified value
- createZero
  
  public final UnivariatePolynomialZ64 createZero()
  
  Description copied from interface: IPolynomial
  
  Returns the new instance of zero polynomial (with the same coefficient ring)
  
  Specified by:
  
  createZero in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  new instance of 0
- createOne
  
  public final UnivariatePolynomialZ64 createOne()
  
  Description copied from interface: IPolynomial
  
  Returns the new instance of unit polynomial (with the same coefficient ring)
  
  Specified by:
  
  createOne in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  new instance of 1
- isZeroAt
  
  public final boolean isZeroAt(int i)
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns whether i-th coefficient of this is zero
  
  Specified by:
  
  isZeroAt in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  i - the position
  
  Returns:
  
  whether i-th coefficient of this is zero
- setZero
  
  public final UnivariatePolynomialZ64 setZero(int i)
  
  Description copied from interface: IUnivariatePolynomial
  
  Fills i-th element with zero
  
  Specified by:
  
  setZero in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  i - position
  
  Returns:
  
  self
- setFrom
  
  public final UnivariatePolynomialZ64 setFrom(int indexInThis, UnivariatePolynomialZ64 poly, int indexInPoly)
  
  Description copied from interface: IUnivariatePolynomial
  
  Sets i-th element of this by j-th element of other poly
  
  Specified by:
  
  setFrom in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  indexInThis - index in self
  
  poly - other polynomial
  
  indexInPoly - index in other polynomial
  
  Returns:
  
  self
- isZero
  
  public final boolean isZero()
  
  Description copied from interface: IPolynomial
  
  Returns true if this is zero
  
  Specified by:
  
  isZero in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether this is zero
- isOne
  
  public final boolean isOne()
  
  Description copied from interface: IPolynomial
  
  Returns true if this is one
  
  Specified by:
  
  isOne in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether this is one
- isMonic
  
  public final boolean isMonic()
  
  Description copied from interface: IPolynomial
  
  Returns true if this polynomial is monic
  
  Specified by:
  
  isMonic in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether this is monic
- isUnitCC
  
  public final boolean isUnitCC()
  
  Description copied from interface: IPolynomial
  
  Returns true if constant term is equal to one
  
  Specified by:
  
  isUnitCC in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether constant term is 1
- isConstant
  
  public final boolean isConstant()
  
  Description copied from interface: IPolynomial
  
  Returns true if this polynomial has only constant term
  
  Specified by:
  
  isConstant in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether this is constant
- isMonomial
  
  public final boolean isMonomial()
  
  Description copied from interface: IPolynomial
  
  Returns true if this polynomial has only one monomial term
  
  Specified by:
  
  isMonomial in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  whether this has only one monomial term
- signumOfLC
  
  public final int signumOfLC()
  
  Description copied from interface: IPolynomial
  
  Gives signum of the leading coefficient
  
  Specified by:
  
  signumOfLC in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  signum of the leading coefficient
- norm1
  
  public final double norm1()
  
  Returns L1 norm of this polynomial, i.e. sum of abs coefficients
  
  Returns:
  
  L1 norm of this
- norm2
  
  public final double norm2()
  
  Returns L2 norm of this polynomial, i.e. a square root of a sum of coefficient squares.
  
  Returns:
  
  L2 norm of this
- normMax
  
  public final double normMax()
  
  Returns max coefficient (by absolute value) of this poly
  
  Returns:
  
  max coefficient (by absolute value)
- maxAbsCoefficient
  
  public final long maxAbsCoefficient()
  
  Returns max coefficient (by absolute value) of this poly
  
  Returns:
  
  max coefficient (by absolute value)
- toZero
  
  public final UnivariatePolynomialZ64 toZero()
  
  Description copied from interface: IPolynomial
  
  Sets this to zero
  
  Specified by:
  
  toZero in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  this := zero
- set
  
  public final UnivariatePolynomialZ64 set(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IPolynomial
  
  Sets the content of this to oth
  
  Specified by:
  
  set in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  oth - the polynomial
  
  Returns:
  
  this := oth
- setAndDestroy
  
  public final UnivariatePolynomialZ64 setAndDestroy(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IUnivariatePolynomial
  
  Sets the content of this with oth and destroys oth
  
  Specified by:
  
  setAndDestroy in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  oth - the polynomial (will be destroyed)
  
  Returns:
  
  this := oth
- shiftLeft
  
  public final UnivariatePolynomialZ64 shiftLeft(int offset)
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns the quotient this / x^offset, it is polynomial with coefficient list formed by shifting coefficients of this to the left by offset.
  
  Specified by:
  
  shiftLeft in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  offset - shift amount
  
  Returns:
  
  the quotient this / x^offset
- shiftRight
  
  public final UnivariatePolynomialZ64 shiftRight(int offset)
  
  Description copied from interface: IUnivariatePolynomial
  
  Multiplies this by the x^offset.
  
  Specified by:
  
  shiftRight in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  offset - monomial exponent
  
  Returns:
  
  this * x^offset
- truncate
  
  public final UnivariatePolynomialZ64 truncate(int newDegree)
  
  Description copied from interface: IUnivariatePolynomial
  
  Returns the remainder this rem x^(newDegree + 1), it is polynomial formed by coefficients of this from zero to newDegree (both inclusive)
  
  Specified by:
  
  truncate in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  newDegree - new degree
  
  Returns:
  
  remainder this rem x^(newDegree + 1)
- reverse
  
  public final UnivariatePolynomialZ64 reverse()
  
  Description copied from interface: IUnivariatePolynomial
  
  Reverses the coefficients of this
  
  Specified by:
  
  reverse in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  reversed polynomial
- contentAsPoly
  
  public final UnivariatePolynomialZ64 contentAsPoly()
  
  Description copied from interface: IPolynomial
  
  Returns the content of this (gcd of coefficients) as a constant poly
  
  Specified by:
  
  contentAsPoly in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- primitivePart
  
  public final UnivariatePolynomialZ64 primitivePart()
  
  Description copied from interface: IPolynomial
  
  Reduces poly to its primitive part (primitive part will always have positive l.c.)
  
  Specified by:
  
  primitivePart in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  primitive part (poly will be modified)
- primitivePartSameSign
  
  public final UnivariatePolynomialZ64 primitivePartSameSign()
  
  Description copied from interface: IPolynomial
  
  Reduces poly to its primitive part, so that primitive part will have the same signum as the initial poly
  
  Specified by:
  
  primitivePartSameSign in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  primitive part (poly will be modified)
- evaluate
  
  public final long evaluate(long point)
  
  Evaluates this poly at a given point (via Horner method).
  
  Parameters:
  
  point - point
  
  Returns:
  
  value at point
- composition
  
  public final UnivariatePolynomialZ64 composition(UnivariatePolynomialZ64 value)
  
  Description copied from interface: IUnivariatePolynomial
  
  Calculates the composition of this(oth) (new instance, so the content of this is not changed))
  
  Specified by:
  
  composition in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  value - polynomial
  
  Returns:
  
  composition this(oth)
- shift
  
  public final UnivariatePolynomialZ64 shift(long value)
  
  Shifts variable x -> x + value and returns the result (new instance)
  
  Parameters:
  
  value - shift amount
  
  Returns:
  
  a copy of this with x -> x + value
- monicWithLC
  
  public UnivariatePolynomialZ64 monicWithLC(UnivariatePolynomialZ64 other)
  
  Description copied from interface: IPolynomial
  
  Sets this to its monic part multiplied by the leading coefficient of other;
  
  Specified by:
  
  monicWithLC in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  other - other polynomial
  
  Returns:
  
  monic part multiplied by the leading coefficient of other or null if exact division by the reduced leading coefficient is not possible
- add
  
  public final UnivariatePolynomialZ64 add(long val)
  
  Add constant to this.
  
  Parameters:
  
  val - some number
  
  Returns:
  
  this + val
- subtract
  
  public final UnivariatePolynomialZ64 subtract(long val)
  
  Subtract constant from this.
  
  Parameters:
  
  val - some number
  
  Returns:
  
  this + val
- decrement
  
  public final UnivariatePolynomialZ64 decrement()
  
  Description copied from interface: IPolynomial
  
  Subtracts 1 from this
  
  Specified by:
  
  decrement in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  this - 1
- increment
  
  public final UnivariatePolynomialZ64 increment()
  
  Description copied from interface: IPolynomial
  
  Adds 1 to this
  
  Specified by:
  
  increment in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  this + 1
- add
  
  public final UnivariatePolynomialZ64 add(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IPolynomial
  
  Adds oth to this.
  
  Specified by:
  
  add in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  oth - the polynomial
  
  Returns:
  
  this + oth
- addMonomial
  
  public final UnivariatePolynomialZ64 addMonomial(long coefficient, int exponent)
  
  Adds coefficient*x^exponent to this
  
  Parameters:
  
  coefficient - monomial coefficient
  
  exponent - monomial exponent
  
  Returns:
  
  this + coefficient*x^exponent
- addMul
  
  public final UnivariatePolynomialZ64 addMul(UnivariatePolynomialZ64 oth, long factor)
  
  Adds oth * factor to this
  
  Parameters:
  
  oth - the polynomial
  
  factor - the factor
  
  Returns:
  
  this + oth * factor modulo modulus
- subtract
  
  public final UnivariatePolynomialZ64 subtract(UnivariatePolynomialZ64 oth)
  
  Description copied from interface: IPolynomial
  
  Subtracts oth from this.
  
  Specified by:
  
  subtract in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  oth - the polynomial
  
  Returns:
  
  this - oth
- subtract
  
  public final UnivariatePolynomialZ64 subtract(UnivariatePolynomialZ64 oth, long factor, int exponent)
  
  Subtracts factor * x^exponent * oth from this
  
  Parameters:
  
  oth - the polynomial
  
  factor - the factor
  
  exponent - the exponent
  
  Returns:
  
  this - factor * x^exponent * oth
- negate
  
  public final UnivariatePolynomialZ64 negate()
  
  Description copied from interface: IPolynomial
  
  Negates this and returns
  
  Specified by:
  
  negate in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Returns:
  
  this negated
- multiplyByLC
  
  public UnivariatePolynomialZ64 multiplyByLC(UnivariatePolynomialZ64 other)
  
  Description copied from interface: IPolynomial
  
  Multiply this by the leading coefficient of other
  
  Specified by:
  
  multiplyByLC in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  other - polynomial
  
  Returns:
  
  this * lc(other)
- multiply
  
  public final UnivariatePolynomialZ64 multiply(long factor)
  
  Description copied from interface: IPolynomial
  
  Multiplies this by factor
  
  Specified by:
  
  multiply in interface IPolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
  
  Parameters:
  
  factor - the factor
  
  Returns:
  
  this * factor
- getDataReferenceUnsafe
  
  public final long[] getDataReferenceUnsafe()
  
  internal API >>> direct unsafe access to internal storage
- compareTo
  
  public final int compareTo(UnivariatePolynomialZ64 o)
  
  Specified by:
  
  compareTo in interface Comparable<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- toString
  
  public String toString(IStringifier<UnivariatePolynomialZ64> stringifier)
  
  Description copied from interface: Stringifiable
  
  convert this to string with the use of stringifier
  
  Specified by:
  
  toString in interface Stringifiable<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- toStringForCopy
  
  public String toStringForCopy()
- streamAsPolys
  
  public Stream<UnivariatePolynomialZ64> streamAsPolys()
  
  Description copied from interface: IUnivariatePolynomial
  
  Stream polynomial coefficients as constant polynomials
  
  Specified by:
  
  streamAsPolys in interface IUnivariatePolynomial<lPoly extends cc.redberry.rings.poly.univar.AUnivariatePolynomial64<lPoly>>
- stream
  
  public final LongStream stream()
  
  Returns a sequential Stream with coefficients of this as its source.
  
  Returns:
  
  a sequential Stream over the coefficients in this polynomial
- mapCoefficients
  
  public final <T> UnivariatePolynomial<T> mapCoefficients(Ring<T> ring, LongFunction<T> mapper)
  
  Applies transformation function to this and returns the result. This method is equivalent of stream().mapToObj(mapper).collect(new PolynomialCollector<>(ring)).
  
  Type Parameters:
  
  T - result elements type
  
  Parameters:
  
  ring - ring of the new polynomial
  
  mapper - function that maps coefficients of this to coefficients of the result
  
  Returns:
  
  a new polynomial with the coefficients obtained from this by applying mapper
- equals
  
  public final boolean equals(Object obj)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public final int hashCode()
  
  Overrides:
  
  hashCode in class Object

Class UnivariatePolynomialZ64

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface cc.redberry.rings.poly.IPolynomial

Methods inherited from interface cc.redberry.rings.poly.univar.IUnivariatePolynomial

Method Details

parse

create

monomial

zero

one

constant

setCoefficientRingFrom

modulus

modulus

modulus

modulus

toBigPoly

mignotteBound

evaluateAtRational

getRange

createArray

createArray2d

createArray2d

sameCoefficientRingWith

createFromArray

createMonomial

isOverField

isOverFiniteField

isOverZ

coefficientRingCardinality

coefficientRingCharacteristic

isOverPerfectPower

coefficientRingPerfectPowerBase

coefficientRingPerfectPowerExponent

content

monic

monic

divideOrNull

divideByLC

multiplyByBigInteger

multiply

square

derivative

clone

parsePoly

coefficientRingToString

composition

asMultivariate

degree

get

set

setLC

firstNonZeroCoefficientPosition

lc

lcAsPoly

ccAsPoly

getAsPoly

cc

ensureInternalCapacity

createMonomial

createLinear

createConstant

createZero

createOne

isZeroAt

setZero

setFrom

isZero

isOne

isMonic

isUnitCC

isConstant

isMonomial

signumOfLC

norm1

norm2

normMax

maxAbsCoefficient

toZero