Module advanced_simplify

mathhook_core::algebra

Module advanced_simplify 

Source
Expand description

Advanced simplification operations including special functions Handles factorial, trigonometric functions, logarithms, and complex simplifications

§Noncommutative Simplification Rules

All simplification rules respect noncommutativity:

  • log(AB) = log(A) + log(B) is ONLY valid when A and B commute
  • For matrices: log(AB) ≠ log(A) + log(B) in general
  • This implementation checks commutativity before applying simplification rules

Traits§

AdvancedSimplify
Trait for advanced simplification operations