Struct RealClosureAdvanced 

pub struct RealClosureAdvanced { /* private fields */ }

Advanced real closure engine.

Implementations

impl RealClosureAdvanced

pub fn new(config: RealClosureAdvancedConfig) -> Self

Create a new advanced real closure engine.

pub fn default_config() -> Self

Create with default configuration.

pub fn sign(&mut self, num: &AlgebraicNumber) -> i8

Determine the sign of an algebraic number.

pub fn compare(&mut self, a: &AlgebraicNumber, b: &AlgebraicNumber) -> Ordering

Compare two algebraic numbers.

pub fn thom_encoding(&mut self, _num: &AlgebraicNumber) -> ThomEncoding

Compute Thom encoding for an algebraic number.

pub fn refine_interval(&mut self, num: &mut AlgebraicNumber)

Refine the isolating interval of an algebraic number.

pub fn stats(&self) -> &RealClosureAdvancedStats

Get statistics.

pub fn reset_stats(&mut self)

Reset statistics.

Trait Implementations

impl Debug for RealClosureAdvanced

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

Formats the value using the given formatter.

impl Default for RealClosureAdvanced

fn default() -> Self

Returns the “default value” for a type.