public final class UnivariateResultants extends Object
Modifier and Type | Class and Description |
---|---|
static class |
UnivariateResultants.APolynomialRemainderSequence<Poly extends IUnivariatePolynomial<Poly>>
Polynomial remainder sequence (PRS).
|
static class |
UnivariateResultants.PolynomialRemainderSequence<E>
Polynomial remainder sequence (PRS).
|
static class |
UnivariateResultants.PolynomialRemainderSequenceZp64
Classical division rule for polynomials over Zp
|
Modifier and Type | Method and Description |
---|---|
static <E> UnivariateResultants.PolynomialRemainderSequence<E> |
ClassicalPRS(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes polynomial remainder sequence using classical division algorithm
|
static UnivariateResultants.PolynomialRemainderSequenceZp64 |
ClassicalPRS(UnivariatePolynomialZp64 a,
UnivariatePolynomialZp64 b)
Computes polynomial remainder sequence using classical division algorithm
|
static <E> E |
Discriminant(UnivariatePolynomial<E> a)
Computes discriminant of polynomial
|
static long |
Discriminant(UnivariatePolynomialZp64 a)
Computes discriminant of polynomial
|
static <Poly extends IUnivariatePolynomial<Poly>> |
DiscriminantAsPoly(Poly a)
Computes discriminant of polynomial and returns the result as a constant poly
|
static BigInteger |
ModularResultant(UnivariatePolynomial<BigInteger> a,
UnivariatePolynomial<BigInteger> b)
Modular algorithm for computing resultants over Z
|
static UnivariatePolynomial<Rational<BigInteger>> |
ModularResultantInNumberField(UnivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> a,
UnivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> b)
Modular resultant in simple number field
|
static UnivariatePolynomial<BigInteger> |
ModularResultantInRingOfIntegersOfNumberField(UnivariatePolynomial<UnivariatePolynomial<BigInteger>> a,
UnivariatePolynomial<UnivariatePolynomial<BigInteger>> b)
Modular resultant in the ring of integers of number field
|
static BigInteger |
polyPowNumFieldCfBound(BigInteger maxCf,
BigInteger maxMinPolyCf,
int minPolyDeg,
int exponent) |
static <E> UnivariateResultants.PolynomialRemainderSequence<E> |
PrimitivePRS(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes polynomial remainder sequence using primitive division algorithm
|
static <E> UnivariateResultants.PolynomialRemainderSequence<E> |
PseudoPRS(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes polynomial remainder sequence using pseudo division algorithm
|
static <E> UnivariateResultants.PolynomialRemainderSequence<E> |
ReducedPRS(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes polynomial remainder sequence using reduced division algorithm
|
static <E> E |
Resultant(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes resultant of two polynomials
|
static long |
Resultant(UnivariatePolynomialZp64 a,
UnivariatePolynomialZp64 b)
Computes resultant of two polynomials
|
static <Poly extends IUnivariatePolynomial<Poly>> |
ResultantAsPoly(Poly a,
Poly b)
Computes resultant of two polynomials and returns the result as a constant poly
|
static <E> UnivariateResultants.PolynomialRemainderSequence<E> |
SubresultantPRS(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes subresultant polynomial remainder sequence
|
static <E> List<E> |
Subresultants(UnivariatePolynomial<E> a,
UnivariatePolynomial<E> b)
Computes sequence of scalar subresultants.
|
public static <Poly extends IUnivariatePolynomial<Poly>> Poly DiscriminantAsPoly(Poly a)
public static <E> E Discriminant(UnivariatePolynomial<E> a)
public static long Discriminant(UnivariatePolynomialZp64 a)
public static <Poly extends IUnivariatePolynomial<Poly>> Poly ResultantAsPoly(Poly a, Poly b)
public static <E> E Resultant(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static long Resultant(UnivariatePolynomialZp64 a, UnivariatePolynomialZp64 b)
public static <E> List<E> Subresultants(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static BigInteger ModularResultant(UnivariatePolynomial<BigInteger> a, UnivariatePolynomial<BigInteger> b)
public static UnivariatePolynomial<Rational<BigInteger>> ModularResultantInNumberField(UnivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> a, UnivariatePolynomial<UnivariatePolynomial<Rational<BigInteger>>> b)
public static BigInteger polyPowNumFieldCfBound(BigInteger maxCf, BigInteger maxMinPolyCf, int minPolyDeg, int exponent)
public static UnivariatePolynomial<BigInteger> ModularResultantInRingOfIntegersOfNumberField(UnivariatePolynomial<UnivariatePolynomial<BigInteger>> a, UnivariatePolynomial<UnivariatePolynomial<BigInteger>> b)
public static UnivariateResultants.PolynomialRemainderSequenceZp64 ClassicalPRS(UnivariatePolynomialZp64 a, UnivariatePolynomialZp64 b)
public static <E> UnivariateResultants.PolynomialRemainderSequence<E> ClassicalPRS(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static <E> UnivariateResultants.PolynomialRemainderSequence<E> PseudoPRS(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static <E> UnivariateResultants.PolynomialRemainderSequence<E> PrimitivePRS(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static <E> UnivariateResultants.PolynomialRemainderSequence<E> ReducedPRS(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
public static <E> UnivariateResultants.PolynomialRemainderSequence<E> SubresultantPRS(UnivariatePolynomial<E> a, UnivariatePolynomial<E> b)
Copyright © 2018. All rights reserved.