arithmetic-1.0: Natural number arithmetic

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
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

data Montgomery Source

Constructors

Montgomery
Fields pMontgomery :: Parameters nMontgomery :: Natural

Instances

Show Montgomery

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