extract_division

Function extract_division 

Source
pub fn extract_division(expr: &Expression) -> Option<(Expression, Expression)>
Expand description

Extract division pattern from expression

Division can be represented as:

  1. Mul([numerator, Pow(denominator, -1)]) for general divisions like 3/x
  2. Pow(denominator, -1) for 1/x (the 1 is simplified away)

Returns Some((numerator, denominator)) if pattern matches.