cc.redberry.rings.poly.univar

Class UnivariateResultants.PolynomialRemainderSequence<E>

java.lang.Object

cc.redberry.rings.poly.univar.UnivariateResultants.APolynomialRemainderSequence<UnivariatePolynomial<E>>

cc.redberry.rings.poly.univar.UnivariateResultants.PolynomialRemainderSequence<E>

Enclosing class:

UnivariateResultants

public abstract static class UnivariateResultants.PolynomialRemainderSequence<E>
extends UnivariateResultants.APolynomialRemainderSequence<UnivariatePolynomial<E>>

Polynomial remainder sequence (PRS). It also implements abstract division rule, used to build PRS. At each step of Euclidean algorithm the polynomials qout, rem and coefficients alpha, beta are computed so that alpha_i r_(i - 2) = quot_(i - 1) * r_(i - 1) + beta_i * r_i where {r_i} is PRS.

Field Summary

Fields

Modifier and Type	Field and Description
List<E>	alphas alpha coefficients
List<E>	betas beta coefficients

Fields inherited from class cc.redberry.rings.poly.univar.UnivariateResultants.APolynomialRemainderSequence

a, b, quotients, remainders

Method Summary

Modifier and Type	Method and Description
List<E>	getSubresultants() Gives a list of scalar subresultant where i-th list element is i-th subresultant.
E	resultant() Resultant of initial polynomials

Methods inherited from class cc.redberry.rings.poly.univar.UnivariateResultants.APolynomialRemainderSequence

gcd, lastRemainder, size

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

alphas

public final List<E> alphas

alpha coefficients

betas

public final List<E> betas

beta coefficients

Method Detail

getSubresultants

public final List<E> getSubresultants()

Gives a list of scalar subresultant where i-th list element is i-th subresultant.

resultant

public final E resultant()

Resultant of initial polynomials