Struct IntPoly 

pub struct IntPoly { /* private fields */ }

A polynomial with integer coefficients, lowest degree first, no trailing zeros (the zero polynomial is empty).

Implementations

impl IntPoly

pub fn new(coeffs: Vec<BigInt>) -> Self

From coefficients, lowest degree first. Trailing zeros are dropped.

pub fn from_dyadic(coeffs: &[Dyadic]) -> Self

From dyadic coefficients, lowest degree first, scaled by a power of two to integers. The roots are those of the dyadic polynomial.

pub fn coeffs(&self) -> &[BigInt]

Coefficients, lowest degree first.

pub fn degree(&self) -> Option<usize>

Degree, or None for the zero polynomial.

pub fn is_zero(&self) -> bool

Whether this is the zero polynomial.

pub fn eval(&self, x: &Dyadic) -> Dyadic

Exact value at a dyadic point.

pub fn sign_at(&self, x: &Dyadic) -> Sign

Exact sign at a dyadic point.

pub fn derivative(&self) -> Self

The derivative.

pub fn primitive(&self) -> Self

Divided by the gcd of its coefficients, leading coefficient positive. Keeps coefficient growth in Sturm chains in check.

pub fn square_free(&self) -> Self

The square-free part: same real roots, each with multiplicity one.

pub fn gcd(&self, other: &Self) -> Self

Greatest common divisor, primitive with positive leading coefficient.

pub fn real_roots(&self) -> Vec<RealRoot>

Isolate every real root of this polynomial.

Returns roots in increasing order, each as a RealRoot whose interval contains exactly that root. Multiple roots are reported once. The zero polynomial has no isolated roots (it vanishes everywhere); callers must handle it before asking.

Trait Implementations

impl Clone for IntPoly

fn clone(&self) -> IntPoly

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IntPoly

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for IntPoly

impl Hash for IntPoly

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for IntPoly

fn eq(&self, other: &IntPoly) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IntPoly