MathObj.Algebra

The generic case of a k-algebra generated by a monoid.

Documentation

newtype T a b

Constructors

Cons (Map a b)

Instances

Functor (T a)

Defined in MathObj.Algebra

Methods

fmap :: (a0 -> b) -> T a a0 -> T a b

(<$) :: a0 -> T a b -> T a a0

Ord a => C (T a)

Defined in MathObj.Algebra

Methods

zero :: C a0 => T a a0

(<+>) :: C a0 => T a a0 -> T a a0 -> T a a0

(*>) :: C a0 => a0 -> T a a0 -> T a a0

(Eq a, Eq b) => Eq (T a b)

Defined in MathObj.Algebra

Methods

(==) :: T a b -> T a b -> Bool

(/=) :: T a b -> T a b -> Bool

(Show a, Show b) => Show (T a b)

Defined in MathObj.Algebra

Methods

showsPrec :: Int -> T a b -> ShowS

show :: T a b -> String

showList :: [T a b] -> ShowS

(Ord a, C b) => C (T a b)

Defined in MathObj.Algebra

Methods

zero :: T a b

(+) :: T a b -> T a b -> T a b

(-) :: T a b -> T a b -> T a b

negate :: T a b -> T a b

(Ord a, C a, C b) => C (T a b)

Defined in MathObj.Algebra

Methods

(*) :: T a b -> T a b -> T a b

one :: T a b

fromInteger :: Integer -> T a b

(^) :: T a b -> Integer -> T a b

zipWith :: Ord a => (b -> b -> b) -> T a b -> T a b -> T a b

mulMonomial :: (C a, C b) => (a, b) -> (a, b) -> (a, b)

monomial :: a -> b -> T a b