Package 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	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	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 Details

alphas

public final List<E> alphas

alpha coefficients

betas

public final List<E> betas

beta coefficients

Method Details

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