MathObj.RootSet

Contents

• Conversions
• Show
• Additive
• Ring
• Field.C
• Algebra

Description

Synopsis

• newtype T a = Cons {
  • coeffs :: [a]
  }
• lift0 :: [a] -> T a
• lift1 :: ([a] -> [a]) -> T a -> T a
• lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T a
• const :: C a => a -> T a
• toPolynomial :: T a -> T a
• fromPolynomial :: T a -> T a
• toPowerSums :: (C a, C a) => [a] -> [a]
• fromPowerSums :: (C a, C a) => [a] -> [a]
• addRoot :: C a => a -> [a] -> [a]
• fromRoots :: C a => [a] -> [a]
• liftPowerSum1Gen :: ([a] -> [a]) -> ([a] -> [a]) -> ([a] -> [a]) -> [a] -> [a]
• liftPowerSum2Gen :: ([a] -> [a]) -> ([a] -> [a]) -> ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
• liftPowerSum1 :: (C a, C a) => ([a] -> [a]) -> [a] -> [a]
• liftPowerSum2 :: (C a, C a) => ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
• liftPowerSumInt1 :: (C a, Eq a, C a) => ([a] -> [a]) -> [a] -> [a]
• liftPowerSumInt2 :: (C a, Eq a, C a) => ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
• appPrec :: Int
• add :: (C a, C a) => [a] -> [a] -> [a]
• addInt :: (C a, Eq a, C a) => [a] -> [a] -> [a]
• mul :: (C a, C a) => [a] -> [a] -> [a]
• mulInt :: (C a, Eq a, C a) => [a] -> [a] -> [a]
• pow :: (C a, C a) => Integer -> [a] -> [a]
• powInt :: (C a, Eq a, C a) => Integer -> [a] -> [a]
• approxPolynomial :: C a => Int -> Integer -> a -> (a, T a)

Documentation

Conversions

Show

Additive

Ring

Field.C

Algebra