Algebra.Ring.Ideal.Test
Contents
Methods
coseries :: Series m b -> Series m (Ideal r -> b)
series :: Series m (Ideal r)
arbitrary :: Gen (Ideal r)
shrink :: Ideal r -> [Ideal r]