Enum HyperForm 

pub enum HyperForm {
    Rational(Hyperreal),
    Puiseux(Puiseux),
    Germ(Germ),
    Multi(Multi),
    Integer(Multi),
    Nested(Arc<NestedGerm>),
}

A hyperreal’s representations: an exact rational function of dt; a real algebraic Puiseux series that is none, a root of one (crate::puiseux); the germ a flow leaves, known by its series in dt; or a value of several ordered infinitesimals (Multi). A Puiseux series compares and hashes by its value, a germ by its canonical encoding.

Variants

Rational(Hyperreal)

Puiseux(Puiseux)

Germ(Germ)

Multi(Multi)

Integer(Multi)

An infinite integer of several infinitesimals — ⌊1/dt + 1/dx⌋, a step count of ⌈1/(dt·dx)⌉: a value of several that is a polynomial in their reciprocals with rational coefficients and an integer on every class the facts its scales carry admit (Multi::is_integral), as a polynomial in one infinitesimal’s reciprocal that is one is an infinite integer of it. It computes and compares as the value it is, and prints as an infinite integer does.

Nested(Arc<NestedGerm>)

Implementations

impl HyperForm

pub fn rational(&self) -> Option<&Hyperreal>

The rational function, when the value is one.

pub fn render(&self, name: &str) -> String

How the value prints, its infinitesimal written name; a value of several prints each by its own name.

Trait Implementations

impl Clone for HyperForm

fn clone(&self) -> HyperForm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HyperForm

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

Formats the value using the given formatter.

impl Hash for HyperForm

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

where H: Hasher,

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 HyperForm

fn eq(&self, o: &HyperForm) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for HyperForm