public final class Util extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Util.Tuple2<A,B> |
| Modifier and Type | Method and Description |
|---|---|
static <E> MultivariatePolynomial<Rational<E>> |
asOverRationals(Ring<Rational<E>> field,
MultivariatePolynomial<E> poly) |
static <E> UnivariatePolynomial<Rational<E>> |
asOverRationals(Ring<Rational<E>> field,
UnivariatePolynomial<E> poly) |
static boolean |
canConvertToZp64(IPolynomial poly)
Test whether poly is over Zp with modulus less then 2^63
|
static <E> E |
commonDenominator(MultivariatePolynomial<Rational<E>> poly)
Returns a common denominator of given poly
|
static <E> E |
commonDenominator(UnivariatePolynomial<Rational<E>> poly)
Returns a common denominator of given poly
|
static <E> MultivariatePolynomial<Rational<E>> |
divideOverRationals(Ring<Rational<E>> field,
MultivariatePolynomial<E> poly,
E denominator) |
static <E> UnivariatePolynomial<Rational<E>> |
divideOverRationals(Ring<Rational<E>> field,
UnivariatePolynomial<E> poly,
E denominator) |
static void |
ensureOverField(IPolynomial... polys) |
static void |
ensureOverFiniteField(IPolynomial... polys) |
static void |
ensureOverZ(IPolynomial... polys) |
static <T extends IPolynomial<T>> |
isOverMultipleFieldExtension(T poly)
Whether coefficient domain is F(alpha1, alpha2, ...)
|
static <T extends IPolynomial<T>> |
isOverQ(T poly)
Whether coefficient domain is Q
|
static <T extends IPolynomial<T>> |
isOverRationals(T poly)
Whether coefficient domain is rationals
|
static <T extends IPolynomial<T>> |
isOverRingOfIntegersOfSimpleNumberField(T poly)
Whether coefficient domain is Q(alpha)
|
static <T extends IPolynomial<T>> |
isOverSimpleFieldExtension(T poly)
Whether coefficient domain is F(alpha)
|
static <T extends IPolynomial<T>> |
isOverSimpleNumberField(T poly)
Whether coefficient domain is Q(alpha)
|
static <T extends IPolynomial<T>> |
isOverZ(T poly)
Whether coefficient domain is Z
|
static <E> Util.Tuple2<MultivariatePolynomial<E>,E> |
toCommonDenominator(MultivariatePolynomial<Rational<E>> poly)
Brings polynomial with rational coefficients to common denominator
|
static <E> Util.Tuple2<UnivariatePolynomial<E>,E> |
toCommonDenominator(UnivariatePolynomial<Rational<E>> poly)
Brings polynomial with rational coefficients to common denominator
|
public static void ensureOverFiniteField(IPolynomial... polys)
public static void ensureOverField(IPolynomial... polys)
public static void ensureOverZ(IPolynomial... polys)
public static boolean canConvertToZp64(IPolynomial poly)
public static <T extends IPolynomial<T>> boolean isOverRationals(T poly)
public static <T extends IPolynomial<T>> boolean isOverSimpleFieldExtension(T poly)
public static <T extends IPolynomial<T>> boolean isOverMultipleFieldExtension(T poly)
public static <T extends IPolynomial<T>> boolean isOverSimpleNumberField(T poly)
public static <T extends IPolynomial<T>> boolean isOverRingOfIntegersOfSimpleNumberField(T poly)
public static <T extends IPolynomial<T>> boolean isOverQ(T poly)
public static <T extends IPolynomial<T>> boolean isOverZ(T poly)
public static <E> Util.Tuple2<UnivariatePolynomial<E>,E> toCommonDenominator(UnivariatePolynomial<Rational<E>> poly)
poly - the polynomialpublic static <E> E commonDenominator(UnivariatePolynomial<Rational<E>> poly)
public static <E> E commonDenominator(MultivariatePolynomial<Rational<E>> poly)
public static <E> Util.Tuple2<MultivariatePolynomial<E>,E> toCommonDenominator(MultivariatePolynomial<Rational<E>> poly)
poly - the polynomialpublic static <E> UnivariatePolynomial<Rational<E>> asOverRationals(Ring<Rational<E>> field, UnivariatePolynomial<E> poly)
public static <E> MultivariatePolynomial<Rational<E>> asOverRationals(Ring<Rational<E>> field, MultivariatePolynomial<E> poly)
public static <E> UnivariatePolynomial<Rational<E>> divideOverRationals(Ring<Rational<E>> field, UnivariatePolynomial<E> poly, E denominator)
public static <E> MultivariatePolynomial<Rational<E>> divideOverRationals(Ring<Rational<E>> field, MultivariatePolynomial<E> poly, E denominator)
Copyright © 2022. All rights reserved.