factory-0.0.0.2: Rational arithmetic in an irrational world.

Index

!/!Factory.Math.Implementations.Factorial
*=Factory.Data.Polynomial
<*>Factory.Data.Monomial
</>Factory.Data.Monomial
<=>Factory.Data.Monomial
<^Factory.Data.Exponential
=*=Factory.Data.Ring
=+=Factory.Data.Ring
=-=Factory.Data.Ring
=^Factory.Data.Ring
=~ 
1 (Function)Factory.Data.Monomial
2 (Function)Factory.Data.Exponential
>*<Factory.Data.PrimeFactors
>/<Factory.Data.PrimeFactors
>^Factory.Data.PrimeFactors
additiveIdentityFactory.Data.Ring
additiveInverseFactory.Data.Ring
AGM 
1 (Data Constructor)Factory.Math.Pi
2 (Type/Class)Factory.Math.ArithmeticGeometricMean
AKSFactory.Math.Implementations.Primality
Algorithm 
1 (Type/Class)Factory.Math.Factorial
2 (Type/Class)Factory.Math.Pi
3 (Type/Class)Factory.Math.Implementations.Pi.BBP.Algorithm
4 (Type/Class)Factory.Math.Implementations.Pi.Spigot.Algorithm
5 (Type/Class)Factory.Math.SquareRoot
6 (Type/Class)Factory.Math.Primality
7 (Type/Class)Factory.Math.Implementations.Pi.AGM.Algorithm
8 (Type/Class)Factory.Math.PrimeFactorisation
9 (Type/Class)Factory.Math.Implementations.Primality
10 (Type/Class)Factory.Math.Implementations.PrimeFactorisation
11 (Type/Class)Factory.Math.Implementations.Factorial
12 (Type/Class)Factory.Math.Implementations.SquareRoot
13 (Type/Class)Factory.Math.Implementations.Pi.Borwein.Algorithm
14 (Type/Class)Factory.Math.Implementations.Pi.Ramanujan.Algorithm
areCongruentModulo 
1 (Function)Factory.Data.QuotientRing
2 (Function)Factory.Data.Polynomial
areCoprimeFactory.Math.Primality
ArithmeticMeanFactory.Math.ArithmeticGeometricMean
BakhshaliApproximationFactory.Math.Implementations.SquareRoot
baseFactory.Math.Implementations.Pi.BBP.Series
Base65536Factory.Math.Implementations.Pi.BBP.Algorithm
baseDenominatorsFactory.Math.Implementations.Pi.Spigot.Series
baseNumeratorsFactory.Math.Implementations.Pi.Spigot.Series
basesFactory.Math.Implementations.Pi.Spigot.Series
BBPFactory.Math.Pi
BellardFactory.Math.Implementations.Pi.BBP.Algorithm
BisectionFactory.Math.Implementations.Factorial
BisectionRatioFactory.Math.DivideAndConquer
BorweinFactory.Math.Pi
Borwein1993Factory.Math.Implementations.Pi.Borwein.Algorithm
BoundsFactory.Data.Bounds
BrentSalaminFactory.Math.Implementations.Pi.AGM.Algorithm
carmichaelNumbersFactory.Math.Primality
CategoryFactory.Math.Pi
ChudnovskyFactory.Math.Implementations.Pi.Ramanujan.Algorithm
ClassicFactory.Math.Implementations.Pi.Ramanujan.Algorithm
coefficientsFactory.Math.Implementations.Pi.Spigot.Series
ContinuedFractionFactory.Math.Implementations.SquareRoot
ConvergenceOrderFactory.Math.Precision
convergenceOrderFactory.Math.SquareRoot
ConvergenceRateFactory.Math.Precision
convergenceRate 
1 (Function)Factory.Math.Implementations.Pi.Borwein.Series
2 (Function)Factory.Math.Implementations.Pi.Ramanujan.Series
convergeToAGMFactory.Math.ArithmeticGeometricMean
cubeFactory.Math.Power
cubeRootFactory.Math.Power
cubicConvergenceFactory.Math.Precision
decimalFactory.Math.Implementations.Pi.Spigot.Spigot
DecimalDigitsFactory.Math.Precision
digitalRootFactory.Math.Radix
digitSumFactory.Math.Radix
divideAndConquerFactory.Math.DivideAndConquer
doubleFactory.Data.Monomial
elem'Factory.Data.Bounds
EstimateFactory.Math.SquareRoot
eulersTotientFactory.Math.PrimeFactorisation
evaluate 
1 (Function)Factory.Data.Polynomial
2 (Function)Factory.Data.Exponential
ExponentialFactory.Data.Exponential
factorialFactory.Math.Factorial
FactorsFactory.Data.PrimeFactors
fallingFactorialFactory.Math.Implementations.Factorial
FermatsMethodFactory.Math.Implementations.PrimeFactorisation
fibonacciFactory.Math.Fibonacci
fromBaseFactory.Math.Radix
GeometricMeanFactory.Math.ArithmeticGeometricMean
getAccuracyFactory.Math.SquareRoot
getArithmeticMeanFactory.Math.ArithmeticGeometricMean
getBaseFactory.Data.Exponential
getCoefficientFactory.Data.Monomial
getDegreeFactory.Data.Polynomial
getDenominatorsFactory.Math.Implementations.Pi.BBP.Series
getDiscrepancyFactory.Math.SquareRoot
getEstimateFactory.Math.SquareRoot
getExponent 
1 (Function)Factory.Data.Monomial
2 (Function)Factory.Data.Exponential
getGeometricMeanFactory.Math.ArithmeticGeometricMean
getIterationsRequiredFactory.Math.Precision
getLeadingTermFactory.Data.Polynomial
getPolynomialFactory.Data.MonicPolynomial
getSeriesScalingFactorFactory.Math.Implementations.Pi.Ramanujan.Series
getTermsRequiredFactory.Math.Precision
GosperFactory.Math.Implementations.Pi.Spigot.Algorithm
HalleysMethodFactory.Math.Implementations.SquareRoot
inAscendingOrderFactory.Data.Polynomial
inDescendingOrderFactory.Data.Polynomial
insert'Factory.Data.PrimeFactors
invertFactory.Data.Exponential
isCarmichaelNumberFactory.Math.Primality
isDivisibleByFactory.Data.QuotientRing
isFermatWitnessFactory.Math.Primality
isMonicFactory.Data.Polynomial
isMonomial 
1 (Function)Factory.Data.Monomial
2 (Function)Factory.Data.Polynomial
isNormalisedFactory.Data.Polynomial
isPerfectPowerFactory.Math.Power
isPolynomialFactory.Data.Polynomial
isPreciseFactory.Math.SquareRoot
isPrimeFactory.Math.Primality
isValidFactory.Math.ArithmeticGeometricMean
isZeroFactory.Data.Polynomial
IteratorFactory.Math.SquareRoot
length'Factory.Data.Bounds
liftFactory.Data.Polynomial
linearConvergenceFactory.Math.Precision
maxBound'Factory.Data.Bounds
maxBoundPrimeFactorFactory.Math.PrimeFactorisation
maybeSquareNumberFactory.Math.Power
meanFactory.Math.Statistics
MillerRabinFactory.Math.Implementations.Primality
minBound'Factory.Data.Bounds
MinLengthFactory.Math.DivideAndConquer
mkConstantFactory.Data.Polynomial
mkLinearFactory.Data.Polynomial
mkMonicPolynomialFactory.Data.MonicPolynomial
mkPolynomialFactory.Data.Polynomial
MkSeries 
1 (Data Constructor)Factory.Math.Implementations.Pi.BBP.Series
2 (Data Constructor)Factory.Math.Implementations.Pi.Borwein.Series
3 (Data Constructor)Factory.Math.Implementations.Pi.Ramanujan.Series
4 (Data Constructor)Factory.Math.Implementations.Pi.Spigot.Series
mod' 
1 (Function)Factory.Data.Monomial
2 (Function)Factory.Data.Polynomial
MonicPolynomialFactory.Data.MonicPolynomial
MonomialFactory.Data.Monomial
multiplicativeIdentityFactory.Data.Ring
multiplicativeOrderFactory.Math.MultiplicativeOrder
nCrFactory.Math.Statistics
negateCoefficientFactory.Data.Monomial
NewtonRaphsonIterationFactory.Math.Implementations.SquareRoot
normalise 
1 (Function)Factory.Data.Polynomial
2 (Function)Factory.Data.Bounds
nPrFactory.Math.Statistics
nTermsFactory.Math.Implementations.Pi.Spigot.Series
numeratorsFactory.Math.Implementations.Pi.BBP.Series
omegaFactory.Math.PrimeFactorisation
oneFactory.Data.Polynomial
openI 
1 (Function)Factory.Math.Pi
2 (Function)Factory.Math.Implementations.Pi.Spigot.Spigot
openR 
1 (Function)Factory.Math.Pi
2 (Function)Factory.Math.Implementations.Pi.BBP.Implementation
3 (Function)Factory.Math.Implementations.Pi.Borwein.Implementation
4 (Function)Factory.Math.Implementations.Pi.Ramanujan.Implementation
5 (Function)Factory.Math.Implementations.Pi.AGM.BrentSalamin
openSFactory.Math.Pi
PolynomialFactory.Data.Polynomial
powerSmoothnessFactory.Math.PrimeFactorisation
PrimeFactorisationFactory.Math.Implementations.Factorial
primeFactors 
1 (Function)Factory.Math.PrimeFactorisation
2 (Function)Factory.Math.Implementations.Factorial
primeIndexedFibonacciFactory.Math.Fibonacci
primePowerTotientFactory.Math.PrimeFactorisation
product' 
1 (Function)Factory.Math.DivideAndConquer
2 (Function)Factory.Data.Ring
3 (Function)Factory.Data.PrimeFactors
4 (Function)Factory.Data.Bounds
promoteFactory.Math.Precision
quadraticConvergenceFactory.Math.Precision
quarticConvergenceFactory.Math.Precision
quot'Factory.Data.QuotientRing
QuotientRingFactory.Data.QuotientRing
quotRem'Factory.Data.QuotientRing
RabinowitzWagonFactory.Math.Implementations.Pi.Spigot.Algorithm
raiseModulo 
1 (Function)Factory.Math.Power
2 (Function)Factory.Data.Polynomial
RamanujanFactory.Math.Pi
realCoefficientsToFracFactory.Data.Polynomial
realCoefficientToFracFactory.Data.Monomial
reduceFactory.Data.PrimeFactors
regularNumbersFactory.Math.PrimeFactorisation
rem'Factory.Data.QuotientRing
ResultFactory.Math.SquareRoot
rightIdentityFactory.Data.Exponential
RingFactory.Data.Ring
risingFactorialFactory.Math.Implementations.Factorial
Series 
1 (Type/Class)Factory.Math.Implementations.Pi.BBP.Series
2 (Type/Class)Factory.Math.Implementations.Pi.Borwein.Series
3 (Type/Class)Factory.Math.Implementations.Pi.Ramanujan.Series
4 (Type/Class)Factory.Math.Implementations.Pi.Spigot.Series
series 
1 (Function)Factory.Math.Implementations.Pi.BBP.Bellard
2 (Function)Factory.Math.Implementations.Pi.BBP.Base65536
3 (Function)Factory.Math.Implementations.Pi.Spigot.Gosper
4 (Function)Factory.Math.Implementations.Pi.Spigot.RabinowitzWagon
5 (Function)Factory.Math.Implementations.Pi.Borwein.Borwein1993
6 (Function)Factory.Math.Implementations.Pi.Ramanujan.Chudnovsky
7 (Function)Factory.Math.Implementations.Pi.Ramanujan.Classic
seriesScalingFactorFactory.Math.Implementations.Pi.BBP.Series
shiftCoefficientFactory.Data.Monomial
shiftExponentFactory.Data.Monomial
simplifyFactory.Math.Precision
smoothnessFactory.Math.PrimeFactorisation
SpigotFactory.Math.Pi
splitAt'Factory.Data.Bounds
spreadFactory.Math.ArithmeticGeometricMean
square 
1 (Function)Factory.Math.Power
2 (Function)Factory.Data.Ring
3 (Function)Factory.Data.Monomial
squareRootFactory.Math.SquareRoot
squareRootFromFactory.Math.SquareRoot
squaresFromFactory.Math.Power
stepFactory.Math.SquareRoot
sum' 
1 (Function)Factory.Math.Summation
2 (Function)Factory.Math.DivideAndConquer
3 (Function)Factory.Data.Ring
sumRFactory.Math.Summation
sumR'Factory.Math.Summation
TaylorSeriesFactory.Math.Implementations.SquareRoot
TermsFactory.Math.Implementations.SquareRoot
terms 
1 (Function)Factory.Math.Implementations.Pi.Borwein.Series
2 (Function)Factory.Math.Implementations.Pi.Ramanujan.Series
3 (Function)Factory.Data.Polynomial
toBaseFactory.Math.Radix
toListFactory.Data.Bounds
TrialDivisionFactory.Math.Implementations.PrimeFactorisation
zeroFactory.Data.Polynomial