smart-math-0.1: Mathematical smart constructors

Index

%!Numeric.Data.Fraction.Internal, Numeric.Data.Fraction
%%Numeric.Data.Fraction
*!Numeric.Data.NonNegative
+!Numeric.Data.Positive
:%!Numeric.Data.Fraction.Internal, Numeric.Data.Fraction
:%:Numeric.Data.Fraction.Internal, Numeric.Data.Fraction
BezoutNumeric.Data.ModP.Internal.Primality
bzGcdNumeric.Data.ModP.Internal.Primality
bzSNumeric.Data.ModP.Internal.Primality
bzTNumeric.Data.ModP.Internal.Primality
checkModBoundNumeric.Data.Internal.Utils
ClosedNumeric.Data.Interval.Internal, Numeric.Data.Interval
CompositeNumeric.Data.ModP.Internal.Primality
denominatorNumeric.Data.Fraction.Internal, Numeric.Data.Fraction
divideNumeric.Class.Division
DivisionNumeric.Class.Division
errMsg 
1 (Function)Numeric.Data.Fraction.Internal
2 (Function)Numeric.Data.Interval.Internal
3 (Function)Numeric.Data.ModN.Internal
4 (Function)Numeric.Data.ModP.Internal.Primality, Numeric.Data.ModP.Internal
5 (Function)Numeric.Data.NonNegative.Internal
6 (Function)Numeric.Data.NonZero.Internal
7 (Function)Numeric.Data.Positive.Internal
factor2Numeric.Data.ModP.Internal.Primality
findBezoutNumeric.Data.ModP.Internal.Primality
findInverseNumeric.Data.ModP.Internal.Primality
FractionNumeric.Data.Fraction.Internal, Numeric.Data.Fraction
IntervalNumeric.Data.Interval.Internal, Numeric.Data.Interval
IntervalBoundNumeric.Data.Interval.Internal, Numeric.Data.Interval
invert 
1 (Function)Numeric.Data.ModP.Internal.Primality
2 (Function)Numeric.Data.ModP.Internal, Numeric.Data.ModP
invertArithmoiNumeric.Data.ModP.Internal.Primality
invertDefaultNumeric.Data.ModP.Internal.Primality
isPrimeNumeric.Data.ModP.Internal.Primality
isPrimeArithmoiNumeric.Data.ModP.Internal.Primality
isPrimeDefaultNumeric.Data.ModP.Internal.Primality
isPrimeTrialsNumeric.Data.ModP.Internal.Primality
isWitnessNumeric.Data.ModP.Internal.Primality
MaybePrimeNumeric.Data.ModP.Internal.Primality
millerRabinNumeric.Data.ModP.Internal.Primality
MkBezoutNumeric.Data.ModP.Internal.Primality
mkFractionNumeric.Data.Fraction
mkFractionTHNumeric.Data.Fraction
MkIntervalNumeric.Data.Interval.Internal, Numeric.Data.Interval
mkIntervalNumeric.Data.Interval.Internal, Numeric.Data.Interval
mkIntervalTHNumeric.Data.Interval
MkModNNumeric.Data.ModN.Internal, Numeric.Data.ModN
mkModNNumeric.Data.ModN.Internal, Numeric.Data.ModN
mkModNTHNumeric.Data.ModN
MkModPNumeric.Data.ModP.Internal, Numeric.Data.ModP
mkModPNumeric.Data.ModP.Internal, Numeric.Data.ModP
mkModPTHNumeric.Data.ModP
MkModulusNumeric.Data.ModP.Internal.Primality
MkMultNumeric.Data.ModP.Internal.Primality
MkNonNegativeNumeric.Data.NonNegative.Internal, Numeric.Data.NonNegative
mkNonNegativeNumeric.Data.NonNegative
mkNonNegativeTHNumeric.Data.NonNegative
MkNonZeroNumeric.Data.NonZero.Internal, Numeric.Data.NonZero
mkNonZeroNumeric.Data.NonZero
mkNonZeroTHNumeric.Data.NonZero
MkPositiveNumeric.Data.Positive.Internal, Numeric.Data.Positive
mkPositiveNumeric.Data.Positive
mkPositiveTHNumeric.Data.Positive
MkPowNumeric.Data.ModP.Internal.Primality
MkRandNumeric.Data.ModP.Internal.Primality
ModNNumeric.Data.ModN.Internal, Numeric.Data.ModN
ModPNumeric.Data.ModP.Internal, Numeric.Data.ModP
modSafeAddNumeric.Data.Internal.Utils
modSafeMultNumeric.Data.Internal.Utils
modSafeSubNumeric.Data.Internal.Utils
ModulusNumeric.Data.ModP.Internal.Primality
MultNumeric.Data.ModP.Internal.Primality
NoneNumeric.Data.Interval.Internal, Numeric.Data.Interval
NonNegativeNumeric.Data.NonNegative.Internal, Numeric.Data.NonNegative
NonZeroNumeric.Data.NonZero.Internal, Numeric.Data.NonZero
numeratorNumeric.Data.Fraction.Internal, Numeric.Data.Fraction
OpenNumeric.Data.Interval.Internal, Numeric.Data.Interval
PositiveNumeric.Data.Positive.Internal, Numeric.Data.Positive
positiveToNonZeroNumeric.Data.Positive
PowNumeric.Data.ModP.Internal.Primality
ProbablyPrimeNumeric.Data.ModP.Internal.Primality
RNumeric.Data.ModP.Internal.Primality
R'Numeric.Data.ModP.Internal.Primality
RandNumeric.Data.ModP.Internal.Primality
reallyUnsafeIntervalNumeric.Data.Interval
reallyUnsafeModNNumeric.Data.ModN.Internal, Numeric.Data.ModN
reallyUnsafeModPNumeric.Data.ModP.Internal, Numeric.Data.ModP
reallyUnsafeNonNegativeNumeric.Data.NonNegative
reallyUnsafeNonZeroNumeric.Data.NonZero
reallyUnsafePositiveNumeric.Data.Positive
reduceNumeric.Data.Fraction.Internal, Numeric.Data.Fraction
rmatchingNumeric.Data.Internal.Utils, Numeric.Data.Fraction, Numeric.Data.Interval, Numeric.Data.ModN, Numeric.Data.ModP, Numeric.Data.NonNegative, Numeric.Data.NonZero, Numeric.Data.Positive
SNumeric.Data.ModP.Internal.Primality
S'Numeric.Data.ModP.Internal.Primality
SClosedNumeric.Data.Interval.Internal
SingIntervalBoundNumeric.Data.Interval.Internal
singIntervalBoundNumeric.Data.Interval.Internal
SIntervalBoundNumeric.Data.Interval.Internal
SNoneNumeric.Data.Interval.Internal
SOpenNumeric.Data.Interval.Internal
sqProgressionNumeric.Data.ModP.Internal.Primality
TNumeric.Data.ModP.Internal.Primality
T'Numeric.Data.ModP.Internal.Primality
trialNumeric.Data.ModP.Internal.Primality
unIntervalNumeric.Data.Interval
unModNNumeric.Data.ModN
unModPNumeric.Data.ModP
unNonNegativeNumeric.Data.NonNegative
unNonZeroNumeric.Data.NonZero
unPositiveNumeric.Data.Positive
UnsafeFractionNumeric.Data.Fraction.Internal
unsafeFractionNumeric.Data.Fraction.Internal, Numeric.Data.Fraction
UnsafeIntervalNumeric.Data.Interval.Internal
unsafeIntervalNumeric.Data.Interval.Internal, Numeric.Data.Interval
UnsafeModNNumeric.Data.ModN.Internal
unsafeModNNumeric.Data.ModN.Internal, Numeric.Data.ModN
UnsafeModPNumeric.Data.ModP.Internal
unsafeModPNumeric.Data.ModP.Internal, Numeric.Data.ModP
UnsafeNonNegativeNumeric.Data.NonNegative.Internal
unsafeNonNegativeNumeric.Data.NonNegative.Internal, Numeric.Data.NonNegative
UnsafeNonZeroNumeric.Data.NonZero.Internal
unsafeNonZeroNumeric.Data.NonZero.Internal, Numeric.Data.NonZero
UnsafePositiveNumeric.Data.Positive.Internal
unsafePositiveNumeric.Data.Positive.Internal, Numeric.Data.Positive
withSingIntervalBoundNumeric.Data.Interval.Internal
_ClosedNumeric.Data.Interval
_MkFractionNumeric.Data.Fraction
_MkIntervalNumeric.Data.Interval
_MkModNNumeric.Data.ModN
_MkModPNumeric.Data.ModP
_MkNonNegativeNumeric.Data.NonNegative
_MkNonZeroNumeric.Data.NonZero
_MkPositiveNumeric.Data.Positive
_NoneNumeric.Data.Interval
_OpenNumeric.Data.Interval