Contents
Index
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
additiveIdentity
Factory.Data.Ring
additiveInverse
Factory.Data.Ring
AGM
1 (Data Constructor)
Factory.Math.Pi
2 (Type/Class)
Factory.Math.ArithmeticGeometricMean
AKS
Factory.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
areCoprime
Factory.Math.Primality
ArithmeticMean
Factory.Math.ArithmeticGeometricMean
BakhshaliApproximation
Factory.Math.Implementations.SquareRoot
base
Factory.Math.Implementations.Pi.BBP.Series
Base65536
Factory.Math.Implementations.Pi.BBP.Algorithm
baseDenominators
Factory.Math.Implementations.Pi.Spigot.Series
baseNumerators
Factory.Math.Implementations.Pi.Spigot.Series
bases
Factory.Math.Implementations.Pi.Spigot.Series
BBP
Factory.Math.Pi
Bellard
Factory.Math.Implementations.Pi.BBP.Algorithm
Bisection
Factory.Math.Implementations.Factorial
BisectionRatio
Factory.Math.DivideAndConquer
Borwein
Factory.Math.Pi
Borwein1993
Factory.Math.Implementations.Pi.Borwein.Algorithm
Bounds
Factory.Data.Bounds
BrentSalamin
Factory.Math.Implementations.Pi.AGM.Algorithm
carmichaelNumbers
Factory.Math.Primality
Category
Factory.Math.Pi
Chudnovsky
Factory.Math.Implementations.Pi.Ramanujan.Algorithm
Classic
Factory.Math.Implementations.Pi.Ramanujan.Algorithm
coefficients
Factory.Math.Implementations.Pi.Spigot.Series
ContinuedFraction
Factory.Math.Implementations.SquareRoot
ConvergenceOrder
Factory.Math.Precision
convergenceOrder
Factory.Math.SquareRoot
ConvergenceRate
Factory.Math.Precision
convergenceRate
1 (Function)
Factory.Math.Implementations.Pi.Borwein.Series
2 (Function)
Factory.Math.Implementations.Pi.Ramanujan.Series
convergeToAGM
Factory.Math.ArithmeticGeometricMean
cube
Factory.Math.Power
cubeRoot
Factory.Math.Power
cubicConvergence
Factory.Math.Precision
decimal
Factory.Math.Implementations.Pi.Spigot.Spigot
DecimalDigits
Factory.Math.Precision
digitalRoot
Factory.Math.Radix
digitSum
Factory.Math.Radix
divideAndConquer
Factory.Math.DivideAndConquer
double
Factory.Data.Monomial
elem'
Factory.Data.Bounds
Estimate
Factory.Math.SquareRoot
eulersTotient
Factory.Math.PrimeFactorisation
evaluate
1 (Function)
Factory.Data.Polynomial
2 (Function)
Factory.Data.Exponential
Exponential
Factory.Data.Exponential
factorial
Factory.Math.Factorial
Factors
Factory.Data.PrimeFactors
fallingFactorial
Factory.Math.Implementations.Factorial
FermatsMethod
Factory.Math.Implementations.PrimeFactorisation
fibonacci
Factory.Math.Fibonacci
fromBase
Factory.Math.Radix
GeometricMean
Factory.Math.ArithmeticGeometricMean
getAccuracy
Factory.Math.SquareRoot
getArithmeticMean
Factory.Math.ArithmeticGeometricMean
getBase
Factory.Data.Exponential
getCoefficient
Factory.Data.Monomial
getDegree
Factory.Data.Polynomial
getDenominators
Factory.Math.Implementations.Pi.BBP.Series
getDiscrepancy
Factory.Math.SquareRoot
getEstimate
Factory.Math.SquareRoot
getExponent
1 (Function)
Factory.Data.Monomial
2 (Function)
Factory.Data.Exponential
getGeometricMean
Factory.Math.ArithmeticGeometricMean
getIterationsRequired
Factory.Math.Precision
getLeadingTerm
Factory.Data.Polynomial
getPolynomial
Factory.Data.MonicPolynomial
getSeriesScalingFactor
Factory.Math.Implementations.Pi.Ramanujan.Series
getTermsRequired
Factory.Math.Precision
Gosper
Factory.Math.Implementations.Pi.Spigot.Algorithm
HalleysMethod
Factory.Math.Implementations.SquareRoot
inAscendingOrder
Factory.Data.Polynomial
inDescendingOrder
Factory.Data.Polynomial
insert'
Factory.Data.PrimeFactors
invert
Factory.Data.Exponential
isCarmichaelNumber
Factory.Math.Primality
isDivisibleBy
Factory.Data.QuotientRing
isFermatWitness
Factory.Math.Primality
isMonic
Factory.Data.Polynomial
isMonomial
1 (Function)
Factory.Data.Monomial
2 (Function)
Factory.Data.Polynomial
isNormalised
Factory.Data.Polynomial
isPerfectPower
Factory.Math.Power
isPolynomial
Factory.Data.Polynomial
isPrecise
Factory.Math.SquareRoot
isPrime
Factory.Math.Primality
isValid
Factory.Math.ArithmeticGeometricMean
isZero
Factory.Data.Polynomial
Iterator
Factory.Math.SquareRoot
length'
Factory.Data.Bounds
lift
Factory.Data.Polynomial
linearConvergence
Factory.Math.Precision
maxBound'
Factory.Data.Bounds
maxBoundPrimeFactor
Factory.Math.PrimeFactorisation
maybeSquareNumber
Factory.Math.Power
mean
Factory.Math.Statistics
MillerRabin
Factory.Math.Implementations.Primality
minBound'
Factory.Data.Bounds
MinLength
Factory.Math.DivideAndConquer
mkConstant
Factory.Data.Polynomial
mkLinear
Factory.Data.Polynomial
mkMonicPolynomial
Factory.Data.MonicPolynomial
mkPolynomial
Factory.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
MonicPolynomial
Factory.Data.MonicPolynomial
Monomial
Factory.Data.Monomial
multiplicativeIdentity
Factory.Data.Ring
multiplicativeOrder
Factory.Math.MultiplicativeOrder
nCr
Factory.Math.Statistics
negateCoefficient
Factory.Data.Monomial
NewtonRaphsonIteration
Factory.Math.Implementations.SquareRoot
normalise
1 (Function)
Factory.Data.Polynomial
2 (Function)
Factory.Data.Bounds
nPr
Factory.Math.Statistics
nTerms
Factory.Math.Implementations.Pi.Spigot.Series
numerators
Factory.Math.Implementations.Pi.BBP.Series
omega
Factory.Math.PrimeFactorisation
one
Factory.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
openS
Factory.Math.Pi
Polynomial
Factory.Data.Polynomial
powerSmoothness
Factory.Math.PrimeFactorisation
PrimeFactorisation
Factory.Math.Implementations.Factorial
primeFactors
1 (Function)
Factory.Math.PrimeFactorisation
2 (Function)
Factory.Math.Implementations.Factorial
primeIndexedFibonacci
Factory.Math.Fibonacci
primePowerTotient
Factory.Math.PrimeFactorisation
product'
1 (Function)
Factory.Math.DivideAndConquer
2 (Function)
Factory.Data.Ring
3 (Function)
Factory.Data.PrimeFactors
4 (Function)
Factory.Data.Bounds
promote
Factory.Math.Precision
quadraticConvergence
Factory.Math.Precision
quarticConvergence
Factory.Math.Precision
quot'
Factory.Data.QuotientRing
QuotientRing
Factory.Data.QuotientRing
quotRem'
Factory.Data.QuotientRing
RabinowitzWagon
Factory.Math.Implementations.Pi.Spigot.Algorithm
raiseModulo
1 (Function)
Factory.Math.Power
2 (Function)
Factory.Data.Polynomial
Ramanujan
Factory.Math.Pi
realCoefficientsToFrac
Factory.Data.Polynomial
realCoefficientToFrac
Factory.Data.Monomial
reduce
Factory.Data.PrimeFactors
regularNumbers
Factory.Math.PrimeFactorisation
rem'
Factory.Data.QuotientRing
Result
Factory.Math.SquareRoot
rightIdentity
Factory.Data.Exponential
Ring
Factory.Data.Ring
risingFactorial
Factory.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
seriesScalingFactor
Factory.Math.Implementations.Pi.BBP.Series
shiftCoefficient
Factory.Data.Monomial
shiftExponent
Factory.Data.Monomial
simplify
Factory.Math.Precision
smoothness
Factory.Math.PrimeFactorisation
Spigot
Factory.Math.Pi
splitAt'
Factory.Data.Bounds
spread
Factory.Math.ArithmeticGeometricMean
square
1 (Function)
Factory.Math.Power
2 (Function)
Factory.Data.Ring
3 (Function)
Factory.Data.Monomial
squareRoot
Factory.Math.SquareRoot
squareRootFrom
Factory.Math.SquareRoot
squaresFrom
Factory.Math.Power
step
Factory.Math.SquareRoot
sum'
1 (Function)
Factory.Math.Summation
2 (Function)
Factory.Math.DivideAndConquer
3 (Function)
Factory.Data.Ring
sumR
Factory.Math.Summation
sumR'
Factory.Math.Summation
TaylorSeries
Factory.Math.Implementations.SquareRoot
Terms
Factory.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
toBase
Factory.Math.Radix
toList
Factory.Data.Bounds
TrialDivision
Factory.Math.Implementations.PrimeFactorisation
zero
Factory.Data.Polynomial