pub fn standard_part<V: TowerValue>(v: &V) -> Result<V, String>Expand description
The standard part: a hyperreal’s standard value, branch by branch for a residue-dependent value; a standard value is its own. An infinite value has none.
pub fn standard_part<V: TowerValue>(v: &V) -> Result<V, String>The standard part: a hyperreal’s standard value, branch by branch for a residue-dependent value; a standard value is its own. An infinite value has none.