arithmetic-1.6: Natural number arithmetic

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Arithmetic.Montgomery

Description

Documentation

data Parameters Source #

Constructors

Parameters
Fields nParameters :: Natural wParameters :: Natural sParameters :: Natural kParameters :: Natural rParameters :: Natural r2Parameters :: Natural zParameters :: Natural

Instances

Show Parameters Source #
Instance details Defined in Arithmetic.Montgomery Methods showsPrec :: Int -> Parameters -> ShowS # show :: Parameters -> String # showList :: [Parameters] -> ShowS #

data Montgomery Source #

Constructors

Montgomery
Fields pMontgomery :: Parameters nMontgomery :: Natural

Instances

Show Montgomery Source #
Instance details Defined in Arithmetic.Montgomery Methods showsPrec :: Int -> Montgomery -> ShowS # show :: Montgomery -> String # showList :: [Montgomery] -> ShowS #

align :: Natural -> Natural -> Natural Source #

customParameters :: Natural -> Natural -> Parameters Source #

alignedParameters :: Natural -> Natural -> Parameters Source #

standardParameters :: Natural -> Parameters Source #

normalize :: Parameters -> Natural -> Montgomery Source #

normalize1 :: Parameters -> Natural -> Montgomery Source #

reduce :: Parameters -> Natural -> Natural Source #

toNatural :: Montgomery -> Natural Source #

fromNatural :: Parameters -> Natural -> Montgomery Source #

zero :: Parameters -> Montgomery Source #

one :: Parameters -> Montgomery Source #

two :: Parameters -> Montgomery Source #

add :: Montgomery -> Montgomery -> Montgomery Source #

double :: Montgomery -> Montgomery Source #

negate :: Montgomery -> Montgomery Source #

subtract :: Montgomery -> Montgomery -> Montgomery Source #

multiply :: Montgomery -> Montgomery -> Montgomery Source #

square :: Montgomery -> Montgomery Source #

exp :: Montgomery -> Natural -> Montgomery Source #

exp2 :: Montgomery -> Natural -> Montgomery Source #

modexp :: Natural -> Natural -> Natural -> Natural Source #

modexp2 :: Natural -> Natural -> Natural -> Natural Source #