Domain.Math.Polynomial.Balance

Documentation

balanceExercise :: Exercise (WithBool (Equation Expr))

balanceOrder :: [Id]

balanceStrategy :: LabeledStrategy (Context (WithBool (Equation Expr)))

calculate :: Rule (WithBool (Equation Expr))

removeDivision :: Rule (Equation Expr)

divisionToFraction :: Rule Expr

divideCommonFactor :: Rule (Equation Expr)

negateBothSides :: Rule (Equation Expr)

varLeftMinus :: Rule (Equation Expr)

varLeftPlus :: Rule (Equation Expr)

varLeft :: IsId a => Bool -> a -> Rule (Equation Expr)

conRightMinus :: Rule (Equation Expr)

conRightPlus :: Rule (Equation Expr)

conRight :: IsId a => Bool -> a -> Rule (Equation Expr)

varRightMinus :: Rule (Equation Expr)

varRightPlus :: Rule (Equation Expr)

conLeftMinus :: Rule (Equation Expr)

conLeftPlus :: Rule (Equation Expr)

flipped :: IsId a => a -> Rule (Equation b) -> Rule (Equation b)

scaleToOne :: Rule (Equation Expr)

collect :: Rule (Equation Expr)

distribute :: Rule (Equation Expr)

introTrue :: Rule (WithBool (Equation Expr))

introFalse :: Rule (WithBool (Equation Expr))