pub fn standard_part_relative<V: TowerValue>(v: &V, at: &V) -> Result<V, String>Expand description
The standard part relative to the infinitesimal at: what v is infinitely close to among the
values of at and the infinitesimals larger than it, every smaller infinitesimal read at zero — the
inner limit with at held fixed. the standard part of dt + dx relative to dt is dt.