Struct SimplificationRegistry 

pub struct SimplificationRegistry { /* private fields */ }

Simplification registry for all functions

Stores and provides access to function-specific simplification strategies. Separate from FunctionProperties (which stores declarative mathematical data).

Implementations

impl SimplificationRegistry

pub fn new() -> Self

Create new simplification registry

Initializes with all built-in simplification strategies.

pub fn register( &mut self, name: &str, strategy: Box<dyn SimplificationStrategy>, )

Register simplification strategy for function

Arguments

• name - Function name (e.g., “log”, “sin”)
• strategy - Simplification strategy implementation

pub fn get_strategy(&self, name: &str) -> Option<&dyn SimplificationStrategy>

Get simplification strategy for function

Arguments

• name - Function name to look up

Returns

Strategy if registered, None otherwise

pub fn simplify_function(&self, name: &str, args: &[Expression]) -> Expression

Simplify function call using registered strategy

Arguments

• name - Function name
• args - Function arguments

Returns

Simplified expression (unchanged if no strategy registered)

Examples

use mathhook_core::algebra::simplification::registry::SIMPLIFICATION_REGISTRY;
use mathhook_core::expr;

let result = SIMPLIFICATION_REGISTRY.simplify_function("log", &[expr!(1)]);
assert_eq!(result, expr!(0));  // log(1) = 0

pub fn has_strategy(&self, name: &str) -> bool

Check if function has simplification strategy registered

pub fn strategy_count(&self) -> usize

Get count of registered strategies (for debugging)

pub fn list_functions(&self) -> Vec<String>

List all registered function names (for debugging)

Trait Implementations

impl Default for SimplificationRegistry

fn default() -> Self

Returns the “default value” for a type.