Domain.Math.Polynomial.Views

Documentation

polyView :: View Expr (String, Polynomial Expr)

polyViewWith :: Fractional a => View Expr a -> View Expr (String, Polynomial a)

quadraticView :: View Expr (String, Expr, Expr, Expr)

quadraticViewWith :: (Eq a, Fractional a) => View Expr a -> View Expr (String, a, a, a)

linearView :: View Expr (String, Expr, Expr)

linearViewWith :: (Eq a, Fractional a) => View Expr a -> View Expr (String, a, a)

constantPolyView :: (Eq a, Num a) => View (Polynomial a) a

linearPolyView :: (Eq a, Num a) => View (Polynomial a) (a, a)

quadraticPolyView :: (Eq a, Num a) => View (Polynomial a) (a, a, a)

cubicPolyView :: (Eq a, Num a) => View (Polynomial a) (a, a, a, a)

monomialPolyView :: (Eq a, Num a) => View (Polynomial a) (a, Int)

binomialPolyView :: (Eq a, Num a) => View (Polynomial a) ((a, Int), (a, Int))

trinomialPolyView :: (Eq a, Num a) => View (Polynomial a) ((a, Int), (a, Int), (a, Int))

polyNormalForm :: (Eq a, Num a) => View Expr a -> View Expr (String, Polynomial a)

polyRelaxedForm :: (Eq a, Num a) => View Expr a -> View Expr (String, Polynomial a)

linearEquationView :: View (Equation Expr) (String, Rational)

quadraticEquationView :: View (Equation Expr) (OrList (String, SquareRoot Rational))

quadraticEquationsView :: View (OrList (Equation Expr)) (OrList (String, SquareRoot Rational))

higherDegreeEquationsView :: View (OrList (Equation Expr)) (OrList Expr)

listOfPowerFactors :: Num a => String -> View Expr a -> View Expr [(a, Int)]