Math.Algebra.Hspray

Documentation

fromList :: (C a, Eq a) => [([Int], a)] -> Spray a

Create a spray

type Spray a = HashMap Powers a

lone :: C a => Int -> Spray a

Spray corresponding to polynomial x_n

unitSpray :: C a => Spray a

Unit spray

constantSpray :: (C a, Eq a) => a -> Spray a

(*^) :: (C a, Eq a) => a -> Spray a -> Spray a infixr 7

Scale spray by a scalar

(^+^) :: (C a, Eq a) => Spray a -> Spray a -> Spray a infixl 6

Addition of two sprays

(^-^) :: (C a, Eq a) => Spray a -> Spray a -> Spray a infixl 6

Substraction of two sprays

(^*^) :: (C a, Eq a) => Spray a -> Spray a -> Spray a infixl 7

Multiply two sprays

(^**^) :: (C a, Eq a) => Spray a -> Int -> Spray a infixr 8

Power of a spray

evalSpray :: C a => Spray a -> [a] -> a

Evaluate a spray

composeSpray :: (C a, Eq a) => Spray a -> [Spray a] -> Spray a

Compose a spray with a change of variables

prettySpray :: (a -> String) -> String -> Spray a -> String

Pretty form of a spray