Domain.Math.Polynomial.BalanceUtils

Documentation

eqView :: View (WithBool (Equation Expr)) (WithBool (String, Rational))

minusView :: View Expr (Expr, Expr)

negView :: View Expr Expr

matchLin :: MonadPlus m => Expr -> m (Expr, Rational, Rational)

matchPlusCon :: MonadPlus m => Expr -> m (Expr, Rational)

cleaner :: WithBool (Equation Expr) -> WithBool (Equation Expr)

cleanerExpr :: Expr -> Expr

linbal :: Id

checkForChange :: (MonadPlus m, Eq a) => (a -> m a) -> a -> m a

termRef :: Ref Expr

factorRef :: Ref Expr

factor1Ref :: Ref Expr

factor2Ref :: Ref Expr

writeTerm :: (a -> Maybe (b, Expr)) -> Trans a b

writeWith :: Trans c () -> (a -> Maybe (b, c)) -> Trans a b

buggyBalanceRule :: IsId n => n -> (Equation Expr -> Maybe (Equation Expr)) -> Rule (Equation Expr)

buggyBalanceRuleArg :: IsId n => n -> Trans (Equation Expr) (Equation Expr) -> Rule (Equation Expr)

buggyBalanceExprRule :: IsId n => n -> (Expr -> Maybe Expr) -> Rule Expr

buggyBalanceRecognizer :: IsId n => n -> Trans (a, a) () -> Rule a

collectLocal :: Expr -> Expr

collectGlobal :: Expr -> Expr

distributeDiv :: Expr -> Expr

distributeTimes :: Expr -> Expr

isPlusT :: Equation Expr -> Equation Expr -> Bool

diffPlus :: Expr -> Expr -> Maybe Expr

isTimesT :: Equation Expr -> Equation Expr -> Bool

diffTimes :: MonadPlus m => Expr -> Expr -> m Expr