Copyright | (c) Masahiro Sakai 2013-2014 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable (ScopedTypeVariables, BangPatterns) |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
hensel :: forall p. Nat p => UPolynomial Integer -> [UPolynomial (PrimeField p)] -> Integer -> [UPolynomial Integer] Source
cabook_proposition_5_10 :: forall k. (Num k, Fractional k, Eq k) => [UPolynomial k] -> [UPolynomial k] Source
cabook_proposition_5_11 :: forall k. (Num k, Fractional k, Eq k, PrettyCoeff k, Ord k) => [UPolynomial k] -> UPolynomial k -> [UPolynomial k] Source