Struct QuotientKernel 

pub struct QuotientKernel { /* private fields */ }

Kernel-level record for quotient operations.

Implementations

impl QuotientKernel

pub fn new() -> Self

Create a new empty quotient kernel.

pub fn register(&mut self, qt: QuotientType)

Register a quotient type.

pub fn find_by_base(&self, base: &Expr) -> Option<&QuotientType>

Find by base type.

pub fn is_quot_type(&self, expr: &Expr) -> bool

Check if an expression is a quotient type.

Returns true if expr is either:

1. Registered in this kernel (exact match against qt.quot_type), or
2. Structurally a Quot α r application (App(App(Quot, _), _)).

pub fn reduce(&self, head: &Expr, args: &[Expr]) -> Option<Expr>

Attempt to reduce a quotient expression.

pub fn count(&self) -> usize

Count registered quotient types.

Trait Implementations

impl Clone for QuotientKernel

fn clone(&self) -> QuotientKernel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuotientKernel

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

Formats the value using the given formatter.

impl Default for QuotientKernel

fn default() -> Self

Returns the “default value” for a type.