Skip to main content

is_constructible_number

qualia_core_db::specialized_libs::constructibility

Function is_constructible_number 

Source 
pub fn is_constructible_number(expr: &Expr) -> ConstructibilityVerdict
Expand description

Decide constructibility of the number denoted by a CAS expression. Within Expr (rationals + field ops + integer powers + square roots) every well-formed real number is constructible; this confirms real-validity and reports the degree bound, failing closed on √(negative) or ÷0.