Module zero_detection 

Advanced zero detection and algebraic simplification Handles complex expressions that should simplify to zero

Traits

ZeroDetection

Trait for zero detection in expressions