pub fn from_closed<V: TowerValue>(c: Closed, scale: &Arc<Scale>) -> VExpand description
The canonical value of a value of the real closure: a rational function of dt is that
hyperreal, in its own smallest form.
pub fn from_closed<V: TowerValue>(c: Closed, scale: &Arc<Scale>) -> VThe canonical value of a value of the real closure: a rational function of dt is that
hyperreal, in its own smallest form.