Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-2 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX \( \def\Z{\mathbb{Z}} \) |
Safe Haskell | None |
Language | Haskell2010 |
A class and helper functions for rescaling cycltomic ring elements.
- data Basis
- class RescaleCyc c a b where
- rescalePow :: (RescaleCyc c a b, Fact m) => c m a -> c m b
- rescaleDec :: (RescaleCyc c a b, Fact m) => c m a -> c m b
Documentation
class RescaleCyc c a b where Source #
Represents cyclotomic rings that are rescalable over their base rings. (This is a class because it allows for more efficient specialized implementations.)
rescaleCyc :: Fact m => Basis -> c m a -> c m b Source #
Rescale in the given basis.
rescalePow :: (RescaleCyc c a b, Fact m) => c m a -> c m b Source #
Specialized convenience functions.
rescaleDec :: (RescaleCyc c a b, Fact m) => c m a -> c m b Source #
Specialized convenience functions.