Skip to main content

from_exact_real

logicaffeine_base::tower

Function from_exact_real 

Source 
pub fn from_exact_real<V: TowerValue>(x: ExactReal) -> V
Expand description

The canonical value of a computable real: an algebraic one is an algebraic number.