Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

#### Instances

Functor Ideal Source # | |

Foldable Ideal Source # | |

Defined in Algebra.Ring.Ideal fold :: Monoid m => Ideal m -> m # foldMap :: Monoid m => (a -> m) -> Ideal a -> m # foldMap' :: Monoid m => (a -> m) -> Ideal a -> m # foldr :: (a -> b -> b) -> b -> Ideal a -> b # foldr' :: (a -> b -> b) -> b -> Ideal a -> b # foldl :: (b -> a -> b) -> b -> Ideal a -> b # foldl' :: (b -> a -> b) -> b -> Ideal a -> b # foldr1 :: (a -> a -> a) -> Ideal a -> a # foldl1 :: (a -> a -> a) -> Ideal a -> a # elem :: Eq a => a -> Ideal a -> Bool # maximum :: Ord a => Ideal a -> a # minimum :: Ord a => Ideal a -> a # | |

Traversable Ideal Source # | |

Show r => Show (Ideal r) Source # | |

NFData r => NFData (Ideal r) Source # | |

Defined in Algebra.Ring.Ideal |

addToIdeal :: (Monoidal r, DecidableZero r) => r -> Ideal r -> Ideal r infixr 9 Source #

generators :: Ideal r -> [r] Source #

principalIdeal :: r -> Ideal r Source #

isEmptyIdeal :: Ideal t -> Bool Source #

someSizedIdeal :: Ideal r -> SomeSized Vector r Source #