Safe Haskell	Safe-Inferred
Language	Haskell2010

Numeric.GMP.Types

Description

GMP types.

Synopsis

data MPZ = MPZ {
- mpzAlloc :: !CInt
- mpzSize :: !CInt
- mpzD :: !(Ptr MPLimb)
}
data MPQ = MPQ {
- mpqNum :: !MPZ
- mpqDen :: !MPZ
}
mpq_numref :: Ptr MPQ -> Ptr MPZ
mpq_denref :: Ptr MPQ -> Ptr MPZ
data MPF = MPF {
- mpfPrec :: !CInt
- mpfSize :: !CInt
- mpfExp :: !MPExp
- mpfD :: !(Ptr MPLimb)
}
data GMPRandState = GMPRandState {
- gmprsSeed :: !MPZ
- gmprsAlg :: !GMPRandAlg
- gmprsAlgData :: !(Ptr ())
}
newtype MPLimb = MPLimb Word64
newtype MPLimbSigned = MPLimbSigned Int64
newtype MPSize = MPSize Int64
newtype MPExp = MPExp Int64
newtype MPBitCnt = MPBitCnt Word64
newtype GMPRandAlg = GMPRandAlg Word32

Documentation

data MPZ Source #

mpz_t

Constructors

MPZ
Fields mpzAlloc :: !CInt mpzSize :: !CInt mpzD :: !(Ptr MPLimb)

Instances

Instances details

Storable MPZ Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPZ -> Int # alignment :: MPZ -> Int # peekElemOff :: Ptr MPZ -> Int -> IO MPZ # pokeElemOff :: Ptr MPZ -> Int -> MPZ -> IO () # peekByteOff :: Ptr b -> Int -> IO MPZ # pokeByteOff :: Ptr b -> Int -> MPZ -> IO () # peek :: Ptr MPZ -> IO MPZ # poke :: Ptr MPZ -> MPZ -> IO () #

data MPQ Source #

mpq_t

Constructors

MPQ
Fields mpqNum :: !MPZ mpqDen :: !MPZ

Instances

Instances details

Storable MPQ Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPQ -> Int # alignment :: MPQ -> Int # peekElemOff :: Ptr MPQ -> Int -> IO MPQ # pokeElemOff :: Ptr MPQ -> Int -> MPQ -> IO () # peekByteOff :: Ptr b -> Int -> IO MPQ # pokeByteOff :: Ptr b -> Int -> MPQ -> IO () # peek :: Ptr MPQ -> IO MPQ # poke :: Ptr MPQ -> MPQ -> IO () #

mpq_numref :: Ptr MPQ -> Ptr MPZ Source #

Get pointers to numerator and denominator (these are macros in the C API).

mpq_denref :: Ptr MPQ -> Ptr MPZ Source #

Get pointers to numerator and denominator (these are macros in the C API).

data MPF Source #

mpf_t

Constructors

MPF
Fields mpfPrec :: !CInt mpfSize :: !CInt mpfExp :: !MPExp mpfD :: !(Ptr MPLimb)

Instances

Instances details

Storable MPF Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPF -> Int # alignment :: MPF -> Int # peekElemOff :: Ptr MPF -> Int -> IO MPF # pokeElemOff :: Ptr MPF -> Int -> MPF -> IO () # peekByteOff :: Ptr b -> Int -> IO MPF # pokeByteOff :: Ptr b -> Int -> MPF -> IO () # peek :: Ptr MPF -> IO MPF # poke :: Ptr MPF -> MPF -> IO () #

data GMPRandState Source #

gmp_randstate_t

Constructors

GMPRandState
Fields gmprsSeed :: !MPZ gmprsAlg :: !GMPRandAlg gmprsAlgData :: !(Ptr ())

Instances

Instances details

Storable GMPRandState Source #

Instance details

Defined in Numeric.GMP.Types

Methods

sizeOf :: GMPRandState -> Int #

alignment :: GMPRandState -> Int #

peekElemOff :: Ptr GMPRandState -> Int -> IO GMPRandState #

pokeElemOff :: Ptr GMPRandState -> Int -> GMPRandState -> IO () #

peekByteOff :: Ptr b -> Int -> IO GMPRandState #

pokeByteOff :: Ptr b -> Int -> GMPRandState -> IO () #

peek :: Ptr GMPRandState -> IO GMPRandState #

poke :: Ptr GMPRandState -> GMPRandState -> IO () #

newtype MPLimb Source #

mp_limb_t

Constructors

MPLimb Word64

Instances

Instances details

Data MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPLimb -> c MPLimb # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPLimb # toConstr :: MPLimb -> Constr # dataTypeOf :: MPLimb -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPLimb) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPLimb) # gmapT :: (forall b. Data b => b -> b) -> MPLimb -> MPLimb # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPLimb -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPLimb -> r # gmapQ :: (forall d. Data d => d -> u) -> MPLimb -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPLimb -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPLimb -> m MPLimb # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPLimb -> m MPLimb # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPLimb -> m MPLimb #
Storable MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPLimb -> Int # alignment :: MPLimb -> Int # peekElemOff :: Ptr MPLimb -> Int -> IO MPLimb # pokeElemOff :: Ptr MPLimb -> Int -> MPLimb -> IO () # peekByteOff :: Ptr b -> Int -> IO MPLimb # pokeByteOff :: Ptr b -> Int -> MPLimb -> IO () # peek :: Ptr MPLimb -> IO MPLimb # poke :: Ptr MPLimb -> MPLimb -> IO () #
Bits MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: MPLimb -> MPLimb -> MPLimb # (.\|.) :: MPLimb -> MPLimb -> MPLimb # xor :: MPLimb -> MPLimb -> MPLimb # complement :: MPLimb -> MPLimb # shift :: MPLimb -> Int -> MPLimb # rotate :: MPLimb -> Int -> MPLimb # zeroBits :: MPLimb # bit :: Int -> MPLimb # setBit :: MPLimb -> Int -> MPLimb # clearBit :: MPLimb -> Int -> MPLimb # complementBit :: MPLimb -> Int -> MPLimb # testBit :: MPLimb -> Int -> Bool # bitSizeMaybe :: MPLimb -> Maybe Int # bitSize :: MPLimb -> Int # isSigned :: MPLimb -> Bool # shiftL :: MPLimb -> Int -> MPLimb # unsafeShiftL :: MPLimb -> Int -> MPLimb # shiftR :: MPLimb -> Int -> MPLimb # unsafeShiftR :: MPLimb -> Int -> MPLimb # rotateL :: MPLimb -> Int -> MPLimb # rotateR :: MPLimb -> Int -> MPLimb # popCount :: MPLimb -> Int #
FiniteBits MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: MPLimb -> Int # countLeadingZeros :: MPLimb -> Int # countTrailingZeros :: MPLimb -> Int #
Bounded MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: MPLimb # maxBound :: MPLimb #
Enum MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: MPLimb -> MPLimb # pred :: MPLimb -> MPLimb # toEnum :: Int -> MPLimb # fromEnum :: MPLimb -> Int # enumFrom :: MPLimb -> [MPLimb] # enumFromThen :: MPLimb -> MPLimb -> [MPLimb] # enumFromTo :: MPLimb -> MPLimb -> [MPLimb] # enumFromThenTo :: MPLimb -> MPLimb -> MPLimb -> [MPLimb] #
Ix MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (MPLimb, MPLimb) -> [MPLimb] # index :: (MPLimb, MPLimb) -> MPLimb -> Int # unsafeIndex :: (MPLimb, MPLimb) -> MPLimb -> Int # inRange :: (MPLimb, MPLimb) -> MPLimb -> Bool # rangeSize :: (MPLimb, MPLimb) -> Int # unsafeRangeSize :: (MPLimb, MPLimb) -> Int #
Num MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: MPLimb -> MPLimb -> MPLimb # (-) :: MPLimb -> MPLimb -> MPLimb # (*) :: MPLimb -> MPLimb -> MPLimb # negate :: MPLimb -> MPLimb # abs :: MPLimb -> MPLimb # signum :: MPLimb -> MPLimb # fromInteger :: Integer -> MPLimb #
Read MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS MPLimb # readList :: ReadS [MPLimb] # readPrec :: ReadPrec MPLimb # readListPrec :: ReadPrec [MPLimb] #
Integral MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: MPLimb -> MPLimb -> MPLimb # rem :: MPLimb -> MPLimb -> MPLimb # div :: MPLimb -> MPLimb -> MPLimb # mod :: MPLimb -> MPLimb -> MPLimb # quotRem :: MPLimb -> MPLimb -> (MPLimb, MPLimb) # divMod :: MPLimb -> MPLimb -> (MPLimb, MPLimb) # toInteger :: MPLimb -> Integer #
Real MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: MPLimb -> Rational #
Show MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> MPLimb -> ShowS # show :: MPLimb -> String # showList :: [MPLimb] -> ShowS #
Eq MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: MPLimb -> MPLimb -> Bool # (/=) :: MPLimb -> MPLimb -> Bool #
Ord MPLimb Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: MPLimb -> MPLimb -> Ordering # (<) :: MPLimb -> MPLimb -> Bool # (<=) :: MPLimb -> MPLimb -> Bool # (>) :: MPLimb -> MPLimb -> Bool # (>=) :: MPLimb -> MPLimb -> Bool # max :: MPLimb -> MPLimb -> MPLimb # min :: MPLimb -> MPLimb -> MPLimb #

newtype MPLimbSigned Source #

mp_limb_signed_t

Constructors

MPLimbSigned Int64

Instances

Instances details

Data MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPLimbSigned -> c MPLimbSigned # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPLimbSigned # toConstr :: MPLimbSigned -> Constr # dataTypeOf :: MPLimbSigned -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPLimbSigned) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPLimbSigned) # gmapT :: (forall b. Data b => b -> b) -> MPLimbSigned -> MPLimbSigned # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPLimbSigned -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPLimbSigned -> r # gmapQ :: (forall d. Data d => d -> u) -> MPLimbSigned -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPLimbSigned -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPLimbSigned -> m MPLimbSigned # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPLimbSigned -> m MPLimbSigned # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPLimbSigned -> m MPLimbSigned #
Storable MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPLimbSigned -> Int # alignment :: MPLimbSigned -> Int # peekElemOff :: Ptr MPLimbSigned -> Int -> IO MPLimbSigned # pokeElemOff :: Ptr MPLimbSigned -> Int -> MPLimbSigned -> IO () # peekByteOff :: Ptr b -> Int -> IO MPLimbSigned # pokeByteOff :: Ptr b -> Int -> MPLimbSigned -> IO () # peek :: Ptr MPLimbSigned -> IO MPLimbSigned # poke :: Ptr MPLimbSigned -> MPLimbSigned -> IO () #
Bits MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # (.\|.) :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # xor :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # complement :: MPLimbSigned -> MPLimbSigned # shift :: MPLimbSigned -> Int -> MPLimbSigned # rotate :: MPLimbSigned -> Int -> MPLimbSigned # zeroBits :: MPLimbSigned # bit :: Int -> MPLimbSigned # setBit :: MPLimbSigned -> Int -> MPLimbSigned # clearBit :: MPLimbSigned -> Int -> MPLimbSigned # complementBit :: MPLimbSigned -> Int -> MPLimbSigned # testBit :: MPLimbSigned -> Int -> Bool # bitSizeMaybe :: MPLimbSigned -> Maybe Int # bitSize :: MPLimbSigned -> Int # isSigned :: MPLimbSigned -> Bool # shiftL :: MPLimbSigned -> Int -> MPLimbSigned # unsafeShiftL :: MPLimbSigned -> Int -> MPLimbSigned # shiftR :: MPLimbSigned -> Int -> MPLimbSigned # unsafeShiftR :: MPLimbSigned -> Int -> MPLimbSigned # rotateL :: MPLimbSigned -> Int -> MPLimbSigned # rotateR :: MPLimbSigned -> Int -> MPLimbSigned # popCount :: MPLimbSigned -> Int #
FiniteBits MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: MPLimbSigned -> Int # countLeadingZeros :: MPLimbSigned -> Int # countTrailingZeros :: MPLimbSigned -> Int #
Bounded MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: MPLimbSigned # maxBound :: MPLimbSigned #
Enum MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: MPLimbSigned -> MPLimbSigned # pred :: MPLimbSigned -> MPLimbSigned # toEnum :: Int -> MPLimbSigned # fromEnum :: MPLimbSigned -> Int # enumFrom :: MPLimbSigned -> [MPLimbSigned] # enumFromThen :: MPLimbSigned -> MPLimbSigned -> [MPLimbSigned] # enumFromTo :: MPLimbSigned -> MPLimbSigned -> [MPLimbSigned] # enumFromThenTo :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned -> [MPLimbSigned] #
Ix MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (MPLimbSigned, MPLimbSigned) -> [MPLimbSigned] # index :: (MPLimbSigned, MPLimbSigned) -> MPLimbSigned -> Int # unsafeIndex :: (MPLimbSigned, MPLimbSigned) -> MPLimbSigned -> Int # inRange :: (MPLimbSigned, MPLimbSigned) -> MPLimbSigned -> Bool # rangeSize :: (MPLimbSigned, MPLimbSigned) -> Int # unsafeRangeSize :: (MPLimbSigned, MPLimbSigned) -> Int #
Num MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # (-) :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # (*) :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # negate :: MPLimbSigned -> MPLimbSigned # abs :: MPLimbSigned -> MPLimbSigned # signum :: MPLimbSigned -> MPLimbSigned # fromInteger :: Integer -> MPLimbSigned #
Read MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS MPLimbSigned # readList :: ReadS [MPLimbSigned] # readPrec :: ReadPrec MPLimbSigned # readListPrec :: ReadPrec [MPLimbSigned] #
Integral MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # rem :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # div :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # mod :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # quotRem :: MPLimbSigned -> MPLimbSigned -> (MPLimbSigned, MPLimbSigned) # divMod :: MPLimbSigned -> MPLimbSigned -> (MPLimbSigned, MPLimbSigned) # toInteger :: MPLimbSigned -> Integer #
Real MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: MPLimbSigned -> Rational #
Show MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> MPLimbSigned -> ShowS # show :: MPLimbSigned -> String # showList :: [MPLimbSigned] -> ShowS #
Eq MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: MPLimbSigned -> MPLimbSigned -> Bool # (/=) :: MPLimbSigned -> MPLimbSigned -> Bool #
Ord MPLimbSigned Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: MPLimbSigned -> MPLimbSigned -> Ordering # (<) :: MPLimbSigned -> MPLimbSigned -> Bool # (<=) :: MPLimbSigned -> MPLimbSigned -> Bool # (>) :: MPLimbSigned -> MPLimbSigned -> Bool # (>=) :: MPLimbSigned -> MPLimbSigned -> Bool # max :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned # min :: MPLimbSigned -> MPLimbSigned -> MPLimbSigned #

newtype MPSize Source #

mp_size_t

Constructors

MPSize Int64

Instances

Instances details

Data MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPSize -> c MPSize # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPSize # toConstr :: MPSize -> Constr # dataTypeOf :: MPSize -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPSize) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPSize) # gmapT :: (forall b. Data b => b -> b) -> MPSize -> MPSize # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPSize -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPSize -> r # gmapQ :: (forall d. Data d => d -> u) -> MPSize -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPSize -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPSize -> m MPSize # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPSize -> m MPSize # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPSize -> m MPSize #
Storable MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPSize -> Int # alignment :: MPSize -> Int # peekElemOff :: Ptr MPSize -> Int -> IO MPSize # pokeElemOff :: Ptr MPSize -> Int -> MPSize -> IO () # peekByteOff :: Ptr b -> Int -> IO MPSize # pokeByteOff :: Ptr b -> Int -> MPSize -> IO () # peek :: Ptr MPSize -> IO MPSize # poke :: Ptr MPSize -> MPSize -> IO () #
Bits MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: MPSize -> MPSize -> MPSize # (.\|.) :: MPSize -> MPSize -> MPSize # xor :: MPSize -> MPSize -> MPSize # complement :: MPSize -> MPSize # shift :: MPSize -> Int -> MPSize # rotate :: MPSize -> Int -> MPSize # zeroBits :: MPSize # bit :: Int -> MPSize # setBit :: MPSize -> Int -> MPSize # clearBit :: MPSize -> Int -> MPSize # complementBit :: MPSize -> Int -> MPSize # testBit :: MPSize -> Int -> Bool # bitSizeMaybe :: MPSize -> Maybe Int # bitSize :: MPSize -> Int # isSigned :: MPSize -> Bool # shiftL :: MPSize -> Int -> MPSize # unsafeShiftL :: MPSize -> Int -> MPSize # shiftR :: MPSize -> Int -> MPSize # unsafeShiftR :: MPSize -> Int -> MPSize # rotateL :: MPSize -> Int -> MPSize # rotateR :: MPSize -> Int -> MPSize # popCount :: MPSize -> Int #
FiniteBits MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: MPSize -> Int # countLeadingZeros :: MPSize -> Int # countTrailingZeros :: MPSize -> Int #
Bounded MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: MPSize # maxBound :: MPSize #
Enum MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: MPSize -> MPSize # pred :: MPSize -> MPSize # toEnum :: Int -> MPSize # fromEnum :: MPSize -> Int # enumFrom :: MPSize -> [MPSize] # enumFromThen :: MPSize -> MPSize -> [MPSize] # enumFromTo :: MPSize -> MPSize -> [MPSize] # enumFromThenTo :: MPSize -> MPSize -> MPSize -> [MPSize] #
Ix MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (MPSize, MPSize) -> [MPSize] # index :: (MPSize, MPSize) -> MPSize -> Int # unsafeIndex :: (MPSize, MPSize) -> MPSize -> Int # inRange :: (MPSize, MPSize) -> MPSize -> Bool # rangeSize :: (MPSize, MPSize) -> Int # unsafeRangeSize :: (MPSize, MPSize) -> Int #
Num MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: MPSize -> MPSize -> MPSize # (-) :: MPSize -> MPSize -> MPSize # (*) :: MPSize -> MPSize -> MPSize # negate :: MPSize -> MPSize # abs :: MPSize -> MPSize # signum :: MPSize -> MPSize # fromInteger :: Integer -> MPSize #
Read MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS MPSize # readList :: ReadS [MPSize] # readPrec :: ReadPrec MPSize # readListPrec :: ReadPrec [MPSize] #
Integral MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: MPSize -> MPSize -> MPSize # rem :: MPSize -> MPSize -> MPSize # div :: MPSize -> MPSize -> MPSize # mod :: MPSize -> MPSize -> MPSize # quotRem :: MPSize -> MPSize -> (MPSize, MPSize) # divMod :: MPSize -> MPSize -> (MPSize, MPSize) # toInteger :: MPSize -> Integer #
Real MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: MPSize -> Rational #
Show MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> MPSize -> ShowS # show :: MPSize -> String # showList :: [MPSize] -> ShowS #
Eq MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: MPSize -> MPSize -> Bool # (/=) :: MPSize -> MPSize -> Bool #
Ord MPSize Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: MPSize -> MPSize -> Ordering # (<) :: MPSize -> MPSize -> Bool # (<=) :: MPSize -> MPSize -> Bool # (>) :: MPSize -> MPSize -> Bool # (>=) :: MPSize -> MPSize -> Bool # max :: MPSize -> MPSize -> MPSize # min :: MPSize -> MPSize -> MPSize #

newtype MPExp Source #

mp_exp_t

Constructors

MPExp Int64

Instances

Instances details

Data MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPExp -> c MPExp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPExp # toConstr :: MPExp -> Constr # dataTypeOf :: MPExp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPExp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPExp) # gmapT :: (forall b. Data b => b -> b) -> MPExp -> MPExp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPExp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPExp -> r # gmapQ :: (forall d. Data d => d -> u) -> MPExp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPExp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPExp -> m MPExp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPExp -> m MPExp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPExp -> m MPExp #
Storable MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPExp -> Int # alignment :: MPExp -> Int # peekElemOff :: Ptr MPExp -> Int -> IO MPExp # pokeElemOff :: Ptr MPExp -> Int -> MPExp -> IO () # peekByteOff :: Ptr b -> Int -> IO MPExp # pokeByteOff :: Ptr b -> Int -> MPExp -> IO () # peek :: Ptr MPExp -> IO MPExp # poke :: Ptr MPExp -> MPExp -> IO () #
Bits MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: MPExp -> MPExp -> MPExp # (.\|.) :: MPExp -> MPExp -> MPExp # xor :: MPExp -> MPExp -> MPExp # complement :: MPExp -> MPExp # shift :: MPExp -> Int -> MPExp # rotate :: MPExp -> Int -> MPExp # zeroBits :: MPExp # bit :: Int -> MPExp # setBit :: MPExp -> Int -> MPExp # clearBit :: MPExp -> Int -> MPExp # complementBit :: MPExp -> Int -> MPExp # testBit :: MPExp -> Int -> Bool # bitSizeMaybe :: MPExp -> Maybe Int # bitSize :: MPExp -> Int # isSigned :: MPExp -> Bool # shiftL :: MPExp -> Int -> MPExp # unsafeShiftL :: MPExp -> Int -> MPExp # shiftR :: MPExp -> Int -> MPExp # unsafeShiftR :: MPExp -> Int -> MPExp # rotateL :: MPExp -> Int -> MPExp # rotateR :: MPExp -> Int -> MPExp # popCount :: MPExp -> Int #
FiniteBits MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: MPExp -> Int # countLeadingZeros :: MPExp -> Int # countTrailingZeros :: MPExp -> Int #
Bounded MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: MPExp # maxBound :: MPExp #
Enum MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: MPExp -> MPExp # pred :: MPExp -> MPExp # toEnum :: Int -> MPExp # fromEnum :: MPExp -> Int # enumFrom :: MPExp -> [MPExp] # enumFromThen :: MPExp -> MPExp -> [MPExp] # enumFromTo :: MPExp -> MPExp -> [MPExp] # enumFromThenTo :: MPExp -> MPExp -> MPExp -> [MPExp] #
Ix MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (MPExp, MPExp) -> [MPExp] # index :: (MPExp, MPExp) -> MPExp -> Int # unsafeIndex :: (MPExp, MPExp) -> MPExp -> Int # inRange :: (MPExp, MPExp) -> MPExp -> Bool # rangeSize :: (MPExp, MPExp) -> Int # unsafeRangeSize :: (MPExp, MPExp) -> Int #
Num MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: MPExp -> MPExp -> MPExp # (-) :: MPExp -> MPExp -> MPExp # (*) :: MPExp -> MPExp -> MPExp # negate :: MPExp -> MPExp # abs :: MPExp -> MPExp # signum :: MPExp -> MPExp # fromInteger :: Integer -> MPExp #
Read MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS MPExp # readList :: ReadS [MPExp] # readPrec :: ReadPrec MPExp # readListPrec :: ReadPrec [MPExp] #
Integral MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: MPExp -> MPExp -> MPExp # rem :: MPExp -> MPExp -> MPExp # div :: MPExp -> MPExp -> MPExp # mod :: MPExp -> MPExp -> MPExp # quotRem :: MPExp -> MPExp -> (MPExp, MPExp) # divMod :: MPExp -> MPExp -> (MPExp, MPExp) # toInteger :: MPExp -> Integer #
Real MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: MPExp -> Rational #
Show MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> MPExp -> ShowS # show :: MPExp -> String # showList :: [MPExp] -> ShowS #
Eq MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: MPExp -> MPExp -> Bool # (/=) :: MPExp -> MPExp -> Bool #
Ord MPExp Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: MPExp -> MPExp -> Ordering # (<) :: MPExp -> MPExp -> Bool # (<=) :: MPExp -> MPExp -> Bool # (>) :: MPExp -> MPExp -> Bool # (>=) :: MPExp -> MPExp -> Bool # max :: MPExp -> MPExp -> MPExp # min :: MPExp -> MPExp -> MPExp #

newtype MPBitCnt Source #

mp_bitcnt_t

Constructors

MPBitCnt Word64

Instances

Instances details

Data MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPBitCnt -> c MPBitCnt # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPBitCnt # toConstr :: MPBitCnt -> Constr # dataTypeOf :: MPBitCnt -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPBitCnt) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPBitCnt) # gmapT :: (forall b. Data b => b -> b) -> MPBitCnt -> MPBitCnt # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPBitCnt -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPBitCnt -> r # gmapQ :: (forall d. Data d => d -> u) -> MPBitCnt -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPBitCnt -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPBitCnt -> m MPBitCnt # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPBitCnt -> m MPBitCnt # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPBitCnt -> m MPBitCnt #
Storable MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: MPBitCnt -> Int # alignment :: MPBitCnt -> Int # peekElemOff :: Ptr MPBitCnt -> Int -> IO MPBitCnt # pokeElemOff :: Ptr MPBitCnt -> Int -> MPBitCnt -> IO () # peekByteOff :: Ptr b -> Int -> IO MPBitCnt # pokeByteOff :: Ptr b -> Int -> MPBitCnt -> IO () # peek :: Ptr MPBitCnt -> IO MPBitCnt # poke :: Ptr MPBitCnt -> MPBitCnt -> IO () #
Bits MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: MPBitCnt -> MPBitCnt -> MPBitCnt # (.\|.) :: MPBitCnt -> MPBitCnt -> MPBitCnt # xor :: MPBitCnt -> MPBitCnt -> MPBitCnt # complement :: MPBitCnt -> MPBitCnt # shift :: MPBitCnt -> Int -> MPBitCnt # rotate :: MPBitCnt -> Int -> MPBitCnt # zeroBits :: MPBitCnt # bit :: Int -> MPBitCnt # setBit :: MPBitCnt -> Int -> MPBitCnt # clearBit :: MPBitCnt -> Int -> MPBitCnt # complementBit :: MPBitCnt -> Int -> MPBitCnt # testBit :: MPBitCnt -> Int -> Bool # bitSizeMaybe :: MPBitCnt -> Maybe Int # bitSize :: MPBitCnt -> Int # isSigned :: MPBitCnt -> Bool # shiftL :: MPBitCnt -> Int -> MPBitCnt # unsafeShiftL :: MPBitCnt -> Int -> MPBitCnt # shiftR :: MPBitCnt -> Int -> MPBitCnt # unsafeShiftR :: MPBitCnt -> Int -> MPBitCnt # rotateL :: MPBitCnt -> Int -> MPBitCnt # rotateR :: MPBitCnt -> Int -> MPBitCnt # popCount :: MPBitCnt -> Int #
FiniteBits MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: MPBitCnt -> Int # countLeadingZeros :: MPBitCnt -> Int # countTrailingZeros :: MPBitCnt -> Int #
Bounded MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: MPBitCnt # maxBound :: MPBitCnt #
Enum MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: MPBitCnt -> MPBitCnt # pred :: MPBitCnt -> MPBitCnt # toEnum :: Int -> MPBitCnt # fromEnum :: MPBitCnt -> Int # enumFrom :: MPBitCnt -> [MPBitCnt] # enumFromThen :: MPBitCnt -> MPBitCnt -> [MPBitCnt] # enumFromTo :: MPBitCnt -> MPBitCnt -> [MPBitCnt] # enumFromThenTo :: MPBitCnt -> MPBitCnt -> MPBitCnt -> [MPBitCnt] #
Ix MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (MPBitCnt, MPBitCnt) -> [MPBitCnt] # index :: (MPBitCnt, MPBitCnt) -> MPBitCnt -> Int # unsafeIndex :: (MPBitCnt, MPBitCnt) -> MPBitCnt -> Int # inRange :: (MPBitCnt, MPBitCnt) -> MPBitCnt -> Bool # rangeSize :: (MPBitCnt, MPBitCnt) -> Int # unsafeRangeSize :: (MPBitCnt, MPBitCnt) -> Int #
Num MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: MPBitCnt -> MPBitCnt -> MPBitCnt # (-) :: MPBitCnt -> MPBitCnt -> MPBitCnt # (*) :: MPBitCnt -> MPBitCnt -> MPBitCnt # negate :: MPBitCnt -> MPBitCnt # abs :: MPBitCnt -> MPBitCnt # signum :: MPBitCnt -> MPBitCnt # fromInteger :: Integer -> MPBitCnt #
Read MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS MPBitCnt # readList :: ReadS [MPBitCnt] # readPrec :: ReadPrec MPBitCnt # readListPrec :: ReadPrec [MPBitCnt] #
Integral MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: MPBitCnt -> MPBitCnt -> MPBitCnt # rem :: MPBitCnt -> MPBitCnt -> MPBitCnt # div :: MPBitCnt -> MPBitCnt -> MPBitCnt # mod :: MPBitCnt -> MPBitCnt -> MPBitCnt # quotRem :: MPBitCnt -> MPBitCnt -> (MPBitCnt, MPBitCnt) # divMod :: MPBitCnt -> MPBitCnt -> (MPBitCnt, MPBitCnt) # toInteger :: MPBitCnt -> Integer #
Real MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: MPBitCnt -> Rational #
Show MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> MPBitCnt -> ShowS # show :: MPBitCnt -> String # showList :: [MPBitCnt] -> ShowS #
Eq MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: MPBitCnt -> MPBitCnt -> Bool # (/=) :: MPBitCnt -> MPBitCnt -> Bool #
Ord MPBitCnt Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: MPBitCnt -> MPBitCnt -> Ordering # (<) :: MPBitCnt -> MPBitCnt -> Bool # (<=) :: MPBitCnt -> MPBitCnt -> Bool # (>) :: MPBitCnt -> MPBitCnt -> Bool # (>=) :: MPBitCnt -> MPBitCnt -> Bool # max :: MPBitCnt -> MPBitCnt -> MPBitCnt # min :: MPBitCnt -> MPBitCnt -> MPBitCnt #

newtype GMPRandAlg Source #

gmp_randalg_t

Constructors

GMPRandAlg Word32

Instances

Instances details

Data GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GMPRandAlg -> c GMPRandAlg # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GMPRandAlg # toConstr :: GMPRandAlg -> Constr # dataTypeOf :: GMPRandAlg -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GMPRandAlg) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GMPRandAlg) # gmapT :: (forall b. Data b => b -> b) -> GMPRandAlg -> GMPRandAlg # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GMPRandAlg -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GMPRandAlg -> r # gmapQ :: (forall d. Data d => d -> u) -> GMPRandAlg -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GMPRandAlg -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GMPRandAlg -> m GMPRandAlg # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GMPRandAlg -> m GMPRandAlg # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GMPRandAlg -> m GMPRandAlg #
Storable GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods sizeOf :: GMPRandAlg -> Int # alignment :: GMPRandAlg -> Int # peekElemOff :: Ptr GMPRandAlg -> Int -> IO GMPRandAlg # pokeElemOff :: Ptr GMPRandAlg -> Int -> GMPRandAlg -> IO () # peekByteOff :: Ptr b -> Int -> IO GMPRandAlg # pokeByteOff :: Ptr b -> Int -> GMPRandAlg -> IO () # peek :: Ptr GMPRandAlg -> IO GMPRandAlg # poke :: Ptr GMPRandAlg -> GMPRandAlg -> IO () #
Bits GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods (.&.) :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # (.\|.) :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # xor :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # complement :: GMPRandAlg -> GMPRandAlg # shift :: GMPRandAlg -> Int -> GMPRandAlg # rotate :: GMPRandAlg -> Int -> GMPRandAlg # zeroBits :: GMPRandAlg # bit :: Int -> GMPRandAlg # setBit :: GMPRandAlg -> Int -> GMPRandAlg # clearBit :: GMPRandAlg -> Int -> GMPRandAlg # complementBit :: GMPRandAlg -> Int -> GMPRandAlg # testBit :: GMPRandAlg -> Int -> Bool # bitSizeMaybe :: GMPRandAlg -> Maybe Int # bitSize :: GMPRandAlg -> Int # isSigned :: GMPRandAlg -> Bool # shiftL :: GMPRandAlg -> Int -> GMPRandAlg # unsafeShiftL :: GMPRandAlg -> Int -> GMPRandAlg # shiftR :: GMPRandAlg -> Int -> GMPRandAlg # unsafeShiftR :: GMPRandAlg -> Int -> GMPRandAlg # rotateL :: GMPRandAlg -> Int -> GMPRandAlg # rotateR :: GMPRandAlg -> Int -> GMPRandAlg # popCount :: GMPRandAlg -> Int #
FiniteBits GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods finiteBitSize :: GMPRandAlg -> Int # countLeadingZeros :: GMPRandAlg -> Int # countTrailingZeros :: GMPRandAlg -> Int #
Bounded GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods minBound :: GMPRandAlg # maxBound :: GMPRandAlg #
Enum GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods succ :: GMPRandAlg -> GMPRandAlg # pred :: GMPRandAlg -> GMPRandAlg # toEnum :: Int -> GMPRandAlg # fromEnum :: GMPRandAlg -> Int # enumFrom :: GMPRandAlg -> [GMPRandAlg] # enumFromThen :: GMPRandAlg -> GMPRandAlg -> [GMPRandAlg] # enumFromTo :: GMPRandAlg -> GMPRandAlg -> [GMPRandAlg] # enumFromThenTo :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg -> [GMPRandAlg] #
Ix GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods range :: (GMPRandAlg, GMPRandAlg) -> [GMPRandAlg] # index :: (GMPRandAlg, GMPRandAlg) -> GMPRandAlg -> Int # unsafeIndex :: (GMPRandAlg, GMPRandAlg) -> GMPRandAlg -> Int # inRange :: (GMPRandAlg, GMPRandAlg) -> GMPRandAlg -> Bool # rangeSize :: (GMPRandAlg, GMPRandAlg) -> Int # unsafeRangeSize :: (GMPRandAlg, GMPRandAlg) -> Int #
Num GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods (+) :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # (-) :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # (*) :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # negate :: GMPRandAlg -> GMPRandAlg # abs :: GMPRandAlg -> GMPRandAlg # signum :: GMPRandAlg -> GMPRandAlg # fromInteger :: Integer -> GMPRandAlg #
Read GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods readsPrec :: Int -> ReadS GMPRandAlg # readList :: ReadS [GMPRandAlg] # readPrec :: ReadPrec GMPRandAlg # readListPrec :: ReadPrec [GMPRandAlg] #
Integral GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods quot :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # rem :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # div :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # mod :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # quotRem :: GMPRandAlg -> GMPRandAlg -> (GMPRandAlg, GMPRandAlg) # divMod :: GMPRandAlg -> GMPRandAlg -> (GMPRandAlg, GMPRandAlg) # toInteger :: GMPRandAlg -> Integer #
Real GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods toRational :: GMPRandAlg -> Rational #
Show GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods showsPrec :: Int -> GMPRandAlg -> ShowS # show :: GMPRandAlg -> String # showList :: [GMPRandAlg] -> ShowS #
Eq GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods (==) :: GMPRandAlg -> GMPRandAlg -> Bool # (/=) :: GMPRandAlg -> GMPRandAlg -> Bool #
Ord GMPRandAlg Source #
Instance details Defined in Numeric.GMP.Types Methods compare :: GMPRandAlg -> GMPRandAlg -> Ordering # (<) :: GMPRandAlg -> GMPRandAlg -> Bool # (<=) :: GMPRandAlg -> GMPRandAlg -> Bool # (>) :: GMPRandAlg -> GMPRandAlg -> Bool # (>=) :: GMPRandAlg -> GMPRandAlg -> Bool # max :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg # min :: GMPRandAlg -> GMPRandAlg -> GMPRandAlg #