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

Language | Haskell2010 |

\( \def\Z{\mathbb{Z}} \)

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.