Portability | non-portable (ScopedTypeVariables, BangPatterns, TemplateHaskell) |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Documentation
hensel :: forall p. Nat p => UPolynomial Integer -> [UPolynomial (PrimeField p)] -> Integer -> [UPolynomial Integer]Source