Struct PolynomialCache 

pub struct PolynomialCache { /* private fields */ }

Thread-local polynomial computation cache

Caches expensive computations like degree, classification, and content using expression pointer hash as key. Implements true LRU eviction by tracking access times for each entry.

Design

Uses pointer-based hashing since Expression doesn’t implement Hash. The cache is thread-local to avoid synchronization overhead.

Implementations

impl PolynomialCache

pub fn new() -> Self

Create a new cache with default capacity (1024 entries per cache type)

pub fn with_capacity(max_entries: usize) -> Self

Create a new cache with custom capacity

pub fn get_degree(&mut self, expr_hash: u64, var: &str) -> Option<i64>

Get cached degree for expression and variable

pub fn set_degree(&mut self, expr_hash: u64, var: &str, degree: i64)

Cache degree for expression and variable

pub fn get_classification( &mut self, expr_hash: u64, ) -> Option<CachedClassification>

Get cached classification for expression

pub fn set_classification( &mut self, expr_hash: u64, classification: CachedClassification, )

Cache classification for expression

pub fn get_leading_coeff(&mut self, expr_hash: u64, var: &str) -> Option<u64>

Get cached leading coefficient hash for expression and variable

pub fn set_leading_coeff(&mut self, expr_hash: u64, var: &str, coeff_hash: u64)

Cache leading coefficient hash for expression and variable

pub fn get_content(&mut self, expr_hash: u64, var: &str) -> Option<u64>

Get cached content hash for expression and variable

pub fn set_content(&mut self, expr_hash: u64, var: &str, content_hash: u64)

Cache content hash for expression and variable

pub fn get_intpoly(&mut self, expr_hash: u64) -> Option<(IntPoly, Symbol)>

Get cached IntPoly for expression

Returns the cached IntPoly and variable if available. This eliminates repeated Expression → IntPoly conversions.

pub fn set_intpoly(&mut self, expr_hash: u64, poly: IntPoly, var: Symbol)

Cache IntPoly for expression

Caches the IntPoly representation along with its variable.

pub fn clear(&mut self)

Clear all caches

pub fn stats(&self) -> CacheStats

Get cache statistics

Trait Implementations

impl Default for PolynomialCache

fn default() -> Self

Returns the “default value” for a type.