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
CNumeric.Data.Interval
checkModBoundAlgebraNumeric.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
modSafeAddAlgebraNumeric.Data.Internal.Utils
modSafeMultAlgebraNumeric.Data.Internal.Utils
modSafeSubAlgebraNumeric.Data.Internal.Utils
ModulusNumeric.Data.ModP.Internal.Primality
MultNumeric.Data.ModP.Internal.Primality
NNumeric.Data.Interval
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
ONumeric.Data.Interval
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
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
_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