Enum ConstructibilityVerdict 

pub enum ConstructibilityVerdict {
    Constructible {
        degree_bound: u64,
    },
    NotRealNumber,
    Undefined,
    Transcendental,
}

The verdict for a CAS expression.

Variants

Constructible

Constructible; degree_bound is an upper bound on the field-extension degree (2^(number of square roots)), always a power of two.

Fields

degree_bound: u64

NotRealNumber

√(negative) — not a real number, so not a constructible real.

Undefined

Division by zero — undefined.

Transcendental

A transcendental function (exp/ln/sin/cos/tan) appears: by Lindemann–Weierstrass its value at a nonzero algebraic argument is transcendental, hence not constructible (no finite-degree minimal polynomial).

Trait Implementations

impl Clone for ConstructibilityVerdict

fn clone(&self) -> ConstructibilityVerdict

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConstructibilityVerdict

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ConstructibilityVerdict

fn eq(&self, other: &ConstructibilityVerdict) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ConstructibilityVerdict

impl Eq for ConstructibilityVerdict

impl StructuralPartialEq for ConstructibilityVerdict