abbrevList | Factor.Util |
aCurve | Factor.Ec |
add | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Prime |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
5 (Function) | Factor.Value |
6 (Function) | Factor.Ec |
addEnd | Factor.Ec |
addF | Factor.Ec |
addLambdaEnd | Factor.Ec |
addLambdaF | Factor.Ec |
addMultiply | Factor.Ec |
addMultiplyEnd | Factor.Ec |
addMultiplyF | Factor.Ec |
addNegate2Rewrite | Factor.Term |
AddTerm | Factor.Term |
algebraicFactorBaseConfig | Factor.Nfs |
algebraicNorm | Factor.Nfs |
algebraicRow | Factor.Nfs |
algebraicSquareRoot | Factor.Nfs |
align | Factor.Value |
alignLeftTable | Factor.Util |
applyRewrite | Factor.Term |
applyRewriteUnsafe | Factor.Term |
atomicToDoc | Factor.Term |
bCurve | Factor.Ec |
bitsInteger | Factor.Util |
borderTable | Factor.Util |
bottomUpRewrite | Factor.Term |
chineseRemainder | |
1 (Function) | Factor.Util |
2 (Function) | Factor.Gfpx |
classIndexParser | Factor.Term |
classWidthParser | Factor.Term |
ClosestPolynomialBase | Factor.Nfs |
coeffMap | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
coeffMonomial | Factor.Zx |
combineContext | Factor.Value |
comment | Factor.Util |
CommentVerbose | Factor.Util |
compose | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
composeEnd | Factor.Ec |
composePlusMinusSqrt | Factor.Zx |
composeRemainder | Factor.Gfpx |
compositeWidthParser | Factor.Term |
CompositeWidthTerm | Factor.Term |
Config | |
1 (Type/Class) | Factor.Ec |
2 (Data Constructor) | Factor.Ec |
3 (Type/Class) | Factor.Nfs |
4 (Data Constructor) | Factor.Nfs |
5 (Type/Class) | Factor |
6 (Data Constructor) | Factor |
constant | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
constantCoeff | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
constantMonomial | Factor.Zx |
constMonic | Factor.Gfpx |
content | Factor.Zx |
contentPrimitive | Factor.Zx |
Context | Factor.Value |
context | Factor.Value |
coprime | Factor.Util |
cube | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Gfpx |
Curve | |
1 (Type/Class) | Factor.Ec |
2 (Data Constructor) | Factor.Ec |
CurvePointTargetConfig | Factor.Ec |
defaultConfig | |
1 (Function) | Factor.Ec |
2 (Function) | Factor.Nfs |
3 (Function) | Factor |
defaultFactorBaseConfig | Factor.Nfs |
defaultPolynomialConfig | Factor.Nfs |
defaultQuadraticCharacterConfig | Factor.Nfs |
degree | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
degreeMonomial | Factor.Zx |
derivative | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
destNthPower | Factor.Util |
destSmoothInteger | Factor.Nfs |
destSquare | Factor.Util |
discriminant | Factor.Ec |
divide | Factor.Prime |
divideF | Factor.Prime |
divideRemainder | Factor.Gfpx |
divideRemainderF | Factor.Gfpx |
divides | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Util |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
division | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Util |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
divisionClosest | Factor.Util |
DivisionPolynomial | |
1 (Type/Class) | Factor.Ec |
2 (Data Constructor) | Factor.Ec |
divisionPolynomials | Factor.Ec |
divPower | Factor.Util |
double | Factor.Ec |
doubleEnd | Factor.Ec |
doubleF | Factor.Ec |
doubleton | Factor.Util |
ecmConfig | Factor |
ecmFactorInteger | Factor |
egcd | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Util |
3 (Function) | Factor.Gfpx |
elements | Factor.Prime |
emptyEnv | Factor.Value |
End | |
1 (Type/Class) | Factor.Ec |
2 (Data Constructor) | Factor.Ec |
Env | Factor.Value |
ErrorResult | Factor.Term |
errorRewrite | Factor.Term |
evaluate | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
evaluateEnd | Factor.Ec |
exactQuotient | Factor.Util |
exactQuotientConstant | Factor.Zx |
exp | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
4 (Function) | Factor.Value |
exp2 | Factor.Prime |
exp2Integer | Factor.Util |
expandLetRewrite | Factor.Term |
expandLetsRewrite | Factor.Term |
expOneRewrite | Factor.Term |
expRemainder | Factor.Gfpx |
ExpTerm | Factor.Term |
expToDoc | Factor.Term |
expZeroRewrite | Factor.Term |
extendEnv | Factor.Value |
extraRankConfig | Factor.Nfs |
Factor | Factor.Util |
factor | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Nfzw |
3 (Function) | Factor.Ec |
4 (Function) | Factor.Bz |
5 (Function) | Factor.Nfs |
FactorBase | Factor.Nfs |
FactorBaseConfig | Factor.Nfs |
factorCoeffBound | Factor.Bz |
factorDistinctDegree | Factor.Gfpx |
factorEqualDegree | Factor.Gfpx |
factorEqualDegreeBerlekamp | Factor.Gfpx |
factorGfpx | Factor |
factorial | Factor.Util |
factorInteger | Factor |
factorMonic | Factor.Gfpx |
factorMonicBerlekamp | Factor.Gfpx |
factorPrime | Factor.Ec |
factorPrimes | Factor.Ec |
factorPrimitive | Factor.Bz |
factorProduct | Factor.Prime |
factorSquareFree | |
1 (Function) | Factor.Gfpx |
2 (Function) | Factor.Bz |
factorSquareFreeBerlekamp | Factor.Gfpx |
factorSquareRoots | Factor.Nfs |
factorTargets | Factor.Ec |
factorValue | Factor |
factorWithPolynomial | Factor.Nfs |
factorZx | Factor |
filterMonomials | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
filterValid | Factor.Nfzw |
filterValidLine | Factor.Nfzw |
firstRewrite | Factor.Term |
FixedFactorBase | Factor.Nfs |
FixedPolynomialBase | Factor.Nfs |
FixedPolynomialCoeff | Factor.Nfs |
fixedPolynomialConfig | Factor.Nfs |
FixedPolynomialDegree | Factor.Nfs |
FixedQuadraticCharacterConfig | Factor.Nfs |
FloorPolynomialBase | Factor.Nfs |
fmtTable | Factor.Util |
formRow | Factor.Nfs |
free | Factor.Value |
frobenius | Factor.Gfpx |
frobeniusEnd | Factor.Ec |
frobeniusInverse | Factor.Gfpx |
frobeniusRange | Factor.Gfpx |
fromCoeff | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
fromCoeffMap | Factor.Gfpx |
fromGfp | Factor.Term |
fromInt | Factor.Prime |
fromInteger | Factor.Prime |
fromMonomial | Factor.Zx |
fromMonomials | Factor.Zx |
fromNormCoeffMap | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
fromPrimePower | Factor.Term |
fromPrimePowers | Factor.Term |
fromString | Factor.Term |
fromTerm | Factor.Value |
fromZx | Factor.Gfpx |
Gaussian | |
1 (Type/Class) | Factor.Gaussian |
2 (Data Constructor) | Factor.Gaussian |
gaussianElimination | Factor.Nfs |
gcd | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
gcdPrimitive | Factor.Zx |
Gfp | Factor.Prime |
GfpContext | Factor.Value |
GfpValue | Factor.Value |
Gfpx | |
1 (Type/Class) | Factor.Gfpx |
2 (Data Constructor) | Factor.Gfpx |
GfpxValue | Factor.Value |
henselLiftFactors | Factor.Bz |
henselLiftModulus | Factor.Bz |
henselLiftQuadratic | Factor.Bz |
Ideal | Factor.Nfzw |
ideals | Factor.Nfzw |
identityEnd | Factor.Ec |
idRewrite | Factor.Term |
imaginary | Factor.Gaussian |
importIntoContext | Factor.Value |
Index | Factor.Term |
indexParser | Factor.Term |
indexToDoc | Factor.Term |
Infinity | Factor.Ec |
inIdeal | Factor.Nfzw |
instVarRewrite | Factor.Term |
IntegerFactorer | Factor |
integerParser | Factor.Term |
IntegerTerm | Factor.Term |
interpret | Factor.Value |
invert | Factor.Prime |
invertF | Factor.Prime |
invertRemainder | Factor.Gfpx |
invertRemainderF | Factor.Gfpx |
irreducible | |
1 (Function) | Factor.Gfpx |
2 (Function) | Factor.Bz |
isConstant | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
isLinear | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
isMonic | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
isNthPower | Factor.Util |
isOne | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
isPrime | Factor.Prime |
isPrimitive | Factor.Zx |
isQuadraticCharacter | Factor.Nfs |
isQuadraticResidue | Factor.Nfs |
isReservedWord | Factor.Term |
isResidue | Factor.Prime |
isSmoothInteger | Factor.Nfs |
isSmoothNfzw | Factor.Nfs |
isSquare | Factor.Util |
isUnit | Factor.Util |
isZero | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
3 (Function) | Factor.Nfzw |
isZeroMonomial | Factor.Zx |
jacobiSymbol | Factor.Util |
kCurve | Factor.Ec |
leadingCoeff | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
lengthMonomials | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
LetTerm | Factor.Term |
liftRoot | Factor.Gfpx |
limitPrimesConfig | Factor.Ec |
linearCoeff | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
LinearQuadraticCharacterConfig | Factor.Nfs |
log2 | Factor.Util |
log2e | Factor.Util |
Log2Integer | Factor.Util |
log2Integer | Factor.Util |
Log2Probability | Factor.Util |
logInteger | Factor.Util |
lookupEnv | Factor.Value |
matrixBerlekamp | Factor.Gfpx |
maxFactorBase | Factor.Nfs |
mergeFactorInteger | Factor |
millerRabinTrials | Factor.Prime |
mkProduct | Factor.Term |
mkSum | Factor.Term |
modContext | Factor.Value |
ModTerm | Factor.Term |
modToDoc | Factor.Term |
modulo | Factor.Term |
monicGfpx | Factor.Bz |
Monomial | |
1 (Type/Class) | Factor.Zx |
2 (Data Constructor) | Factor.Zx |
monomial | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
monomials | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
multiply | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Prime |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
5 (Function) | Factor.Value |
6 (Function) | Factor.Ec |
multiplyConstant | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
multiplyEnd | Factor.Ec |
multiplyExp | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
multiplyExpRemainder | Factor.Gfpx |
multiplyF | Factor.Ec |
multiplyNegateRewrite | Factor.Term |
multiplyOneRewrite | Factor.Term |
multiplyPower | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
multiplyPrimePowers | Factor.Prime |
multiplyRemainder | Factor.Gfpx |
multiplyResidue | Factor.Util |
MultiplyTerm | Factor.Term |
negate | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Prime |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
5 (Function) | Factor.Value |
6 (Function) | Factor.Nfzw |
7 (Function) | Factor.Ec |
negateEnd | Factor.Ec |
negateMonomial | Factor.Zx |
negateNegateRewrite | Factor.Term |
NegateTerm | Factor.Term |
negateToDoc | Factor.Term |
negativeIntegerRewrite | Factor.Term |
nextNonResidue | Factor.Prime |
nextPrime | Factor.Prime |
nextQuadraticCharacter | Factor.Nfs |
nextResidue | Factor.Prime |
nfsConfig | Factor |
nfsFactorInteger | Factor |
Nfzw | |
1 (Type/Class) | Factor.Nfzw |
2 (Data Constructor) | Factor.Nfzw |
nnf | Factor.Term |
nnfInteger | Factor.Term |
NonResidue | Factor.Util |
nonResidue | Factor.Prime |
norm | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Nfzw |
normalize | Factor.Value |
notQuadraticResidue | Factor.Nfs |
notSmoothInteger | Factor.Nfs |
nthPrime | Factor.Prime |
nthPrimeEstimate | Factor.Prime |
nthRoot | Factor.Util |
nthRootClosest | Factor.Util |
nullBerlekamp | Factor.Gfpx |
numberWidthParser | Factor.Term |
NumberWidthTerm | Factor.Term |
oddPower | Factor.Nfs |
omegaDivisionPolynomial | Factor.Ec |
onCurve | Factor.Ec |
one | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
OptimalFactorBase | Factor.Nfs |
OptimalPolynomialDegree | Factor.Nfs |
order | Factor.Ec |
orelseRewrite | Factor.Term |
paddingTable | Factor.Util |
parse | Factor.Term |
phiDivisionPolynomial | Factor.Ec |
Point | |
1 (Type/Class) | Factor.Ec |
2 (Data Constructor) | Factor.Ec |
points | Factor.Ec |
PolynomialBase | Factor.Nfs |
polynomialBase | Factor.Nfs |
PolynomialCoeff | Factor.Nfs |
polynomialCoeff | Factor.Nfs |
PolynomialConfig | |
1 (Type/Class) | Factor.Nfs |
2 (Data Constructor) | Factor.Nfs |
polynomialConfig | Factor.Nfs |
PolynomialDegree | Factor.Nfs |
polynomialDegree | Factor.Nfs |
polyToTerm | Factor.Gfpx |
PositivePolynomialCoeff | Factor.Nfs |
powerCoeff | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
powerFactorInteger | Factor |
powerInteger | Factor |
ppTable | Factor.Util |
previousPrime | Factor.Prime |
Prime | Factor.Prime |
primeFactorInteger | Factor |
primeIndexParser | Factor.Term |
PrimeIndexTerm | Factor.Term |
PrimePower | Factor.Prime |
primes | Factor.Prime |
primesUnder | Factor.Prime |
primesUnderEstimate | Factor.Prime |
PrimeTargetConfig | Factor.Ec |
primeWidthParser | Factor.Term |
PrimeWidthTerm | Factor.Term |
primitive | Factor.Zx |
prodToDoc | Factor.Term |
product | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
productIsQuadraticResidue | Factor.Nfs |
productPrimePowers | Factor.Prime |
properDivisor | |
1 (Function) | Factor.Util |
2 (Function) | Factor.Gfpx |
psiDivisionPolynomial | Factor.Ec |
psiDivisionPolynomials | Factor.Ec |
QuadraticCharacterConfig | Factor.Nfs |
quadraticCharacterConfig | Factor.Nfs |
quadraticCharacters | Factor.Nfs |
quotient | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
rationalFactorBaseConfig | Factor.Nfs |
rationalNorm | Factor.Nfs |
rationalRow | Factor.Nfs |
rationalSquareRoot | Factor.Nfs |
real | Factor.Gaussian |
recombineFactors | Factor.Bz |
reduceInContext | Factor.Value |
remainder | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
Residue | |
1 (Type/Class) | Factor.Util |
2 (Data Constructor) | Factor.Util |
Result | Factor.Term |
ResultVerbose | Factor.Util |
Rewrite | |
1 (Type/Class) | Factor.Term |
2 (Data Constructor) | Factor.Term |
RewriteResult | Factor.Term |
rhs | Factor.Ec |
rhsEvaluate | Factor.Ec |
roots | Factor.Gfpx |
Row | Factor.Nfs |
runFactor | Factor.Util |
runQuiet | Factor.Util |
runTimestampVerbose | Factor.Util |
runVerbose | Factor.Util |
selectPolynomial | Factor.Nfs |
selectPolynomialBase | Factor.Nfs |
selectPolynomialCoeff | Factor.Nfs |
selectPolynomialDegree | Factor.Nfs |
setQuadraticCharacterConfig | Factor.Nfs |
setVerboseConfig | Factor.Nfs |
simpleRoot | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
simplify | Factor.Term |
singleton | Factor.Util |
singular | Factor.Ec |
SmallestPolynomialCoeff | Factor.Nfs |
smoothNfzw | Factor.Nfs |
smoothProb | Factor.Prime |
smoothProbTrials | Factor.Prime |
smoothUnder | Factor.Prime |
smoothUnderLowerBound | Factor.Prime |
spaceParser | Factor.Term |
spaces1Parser | Factor.Term |
spacesParser | Factor.Term |
splitBerlekamp | Factor.Gfpx |
sqrt | Factor.Prime |
square | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
squareFree | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
squareFreeDecomposition | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
squareFreeRecomposition | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
squareRemainder | Factor.Gfpx |
subtermRewrite | Factor.Term |
subterms | Factor.Term |
subtract | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Prime |
3 (Function) | Factor.Zx |
4 (Function) | Factor.Gfpx |
5 (Function) | Factor.Value |
subtractNegate2Rewrite | Factor.Term |
SubtractTerm | Factor.Term |
suitablePrime | Factor.Bz |
sum | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
sumToDoc | Factor.Term |
supersingular | Factor.Ec |
swinnertonDyer | Factor.Zx |
Table | |
1 (Type/Class) | Factor.Util |
2 (Data Constructor) | Factor.Util |
takeQuadraticCharacters | Factor.Nfs |
TargetConfig | Factor.Ec |
targetConfig | Factor.Ec |
Term | Factor.Term |
termParser | Factor.Term |
thenRewrite | Factor.Term |
timestampFormat | Factor.Util |
toCoeff | Factor.Zx |
toDoc | Factor.Term |
toInteger | Factor.Nfzw |
toMonomials | Factor.Zx |
toSmallestInteger | Factor.Prime |
toSmallestZx | Factor.Gfpx |
toString | |
1 (Function) | Factor.Term |
2 (Function) | Factor.Value |
totallySplits | Factor.Gfpx |
toTerm | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
3 (Function) | Factor.Value |
toTermMonomial | Factor.Zx |
toZx | Factor.Gfpx |
traceOfFrobenius | Factor.Ec |
traceOfFrobeniusMod2 | Factor.Ec |
traceOfFrobeniusModOddPrime | Factor.Ec |
trailingCoeff | Factor.Zx |
trialDivision | Factor.Prime |
trialDivisionConfig | Factor |
tripleton | Factor.Util |
tryRewrite | Factor.Term |
unabbrevList | Factor.Util |
UnchangedResult | Factor.Term |
underline | Factor.Util |
unfoldlN | Factor.Util |
unfoldrN | Factor.Util |
uniform | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Term |
3 (Function) | Factor.Gfpx |
uniformComposite | Factor.Prime |
uniformCurve | Factor.Ec |
uniformInteger | Factor.Util |
uniformNonZero | Factor.Prime |
uniformOddInteger | Factor.Util |
uniformPoint | Factor.Ec |
uniformPrime | Factor.Prime |
unRewrite | Factor.Term |
valid | |
1 (Function) | Factor.Prime |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
4 (Function) | Factor.Nfzw |
Value | Factor.Value |
Var | Factor.Term |
variable | |
1 (Function) | Factor.Zx |
2 (Function) | Factor.Gfpx |
varParser | Factor.Term |
VarTerm | Factor.Term |
Verbose | Factor.Util |
verboseConfig | Factor.Nfs |
verboseList | Factor.Nfs |
Width | Factor.Util |
widthInteger | Factor.Util |
widthIntegerToString | Factor.Util |
widthParser | Factor.Term |
widthToDoc | Factor.Term |
xPoint | Factor.Ec |
xPoints | Factor.Ec |
yPoint | Factor.Ec |
ZContext | Factor.Value |
zero | |
1 (Function) | Factor.Gaussian |
2 (Function) | Factor.Zx |
3 (Function) | Factor.Gfpx |
4 (Function) | Factor.Nfzw |
ZeroResidue | Factor.Util |
ZValue | Factor.Value |
Zx | |
1 (Type/Class) | Factor.Zx |
2 (Data Constructor) | Factor.Zx |
ZxValue | Factor.Value |