Struct Puiseux 

pub struct Puiseux { /* private fields */ }

A real algebraic Puiseux series in dt: a root of poly (squarefree, over K_s, s^q = dt), picked by its branch. See the module documentation.

Implementations

impl Puiseux

pub fn ramification(&self) -> u32

The q whose root of dt the expansion is a series in: every exponent is a multiple of 1/q. The root of y − h follows h’s own root of dt; a fractional slope of Newton’s polygon refines it only for a polynomial of higher degree.

pub fn coefficient(&self, k: i64) -> Algebraic

The coefficient of dt^(k/q), q the Puiseux::ramification.

pub fn rational_function(&self) -> Option<(Hyperreal, u32)>

The rational function of dt^(1/q) the value is, with that q, when it is one: a value in its one form (Closed) that is one is held as the root of y − h.

pub fn order(&self) -> i64

The exponent of the leading term in units of dt^(1/q), q the Puiseux::ramification.

Trait Implementations

impl Clone for Puiseux

fn clone(&self) -> Puiseux

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Puiseux

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

Formats the value using the given formatter.

impl ExactCodec for Puiseux

fn write(&self, out: &mut Vec<u8>)

q, the polynomial’s coefficients lowest power first, and the root’s terms through the order that tells the polynomial’s roots apart, from which a reader picks the same root.

fn read(buf: &[u8], pos: &mut usize) -> Option<Self>

fn to_bytes(&self) -> Vec<u8>

fn from_bytes(buf: &[u8]) -> Option<Self>

The value buf canonically encodes, with nothing left over.