Macaulay2
»
Documentation
Packages
»
PHCpack
::
Index
next | previous | forward | backward | up |
index
|
toc
PHCpack : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
cascade
-- runs a cascade of homotopies to get witness sets for the variety
cascade(...,StartDimension=>...)
-- Option to specify the dimension to begin searching for positive dimensional components
cascade(...,Verbose=>...)
-- option to specify whether additional output is wanted
cascade(List)
-- runs a cascade of homotopies to get witness sets for the variety
computingPrecision
-- flag to switch to double double or quad double precision
constructEmbedding
-- constructs an embedding of a polynomial system
constructEmbedding(...,Verbose=>...)
-- option to specify whether additional output is wanted
constructEmbedding(List,ZZ)
-- constructs an embedding of a polynomial system
factorWitnessSet
-- applies monodromy to factor a witness set into irreducible components
factorWitnessSet(...,Verbose=>...)
-- option to specify whether additional output is wanted
factorWitnessSet(WitnessSet)
-- applies monodromy to factor a witness set into irreducible components
gamma
-- the constant in the gamma trick, optional input for trackPaths
interactive
-- flag to run phc -p or phc -m in interactive mode
intermediateSolutions
-- option of trackPaths to get all intermediate solutions on a path
intersectSlice
-- intersects a witness set by a slice
intersectSlice(WitnessSet,List)
-- intersects a witness set by a slice
isCoordinateZero
-- checks if coordinate has absolute value less than a given tolerance
isCoordinateZero(AbstractPoint,ZZ,RR)
-- checks if coordinate has absolute value less than a given tolerance
isWitnessSetMember
-- tests whether a point belongs to a solution set
isWitnessSetMember(...,Verbose=>...)
-- option to specify whether additional output is wanted
isWitnessSetMember(WitnessSet,AbstractPoint)
-- tests whether a point belongs to a solution set
loadSettingsPath
-- option of trackPaths to load the settings for a reproducible rerun
mixedVolume
-- computes mixed volume of a polynomial system
mixedVolume(...,interactive=>...)
-- option to switch to the interactive mode of phc -m
mixedVolume(...,numThreads=>...)
-- option to set the number of threads when solving a start system
mixedVolume(...,StableMixedVolume=>...)
-- optional input for computation of the stable mixed volume
mixedVolume(...,StartSystem=>...)
-- optional input for computation of mixed volume by solving a random coefficient system
mixedVolume(...,Verbose=>...)
-- option to specify whether additional output is wanted
mixedVolume(List)
-- computes mixed volume of a polynomial system
nonZeroFilter
-- returns solutions with coordinate larger than given tolerance
nonZeroFilter(List,ZZ,RR)
-- returns solutions with coordinate larger than given tolerance
numericalIrreducibleDecomposition
-- finds the irreducible components of the zero set of a system of polynomials
numericalIrreducibleDecomposition(...,StartDimension=>...)
-- Option to specify the dimension to begin searching for positive dimensional components
numericalIrreducibleDecomposition(...,Verbose=>...)
-- option to specify whether additional output is wanted
numericalIrreducibleDecomposition(List)
-- finds the irreducible components of the zero set of a system of polynomials
numThreads
-- the number of threads in the path tracker
PHCpack
-- a package for Polynomial Homotopy Continuation
randomSeed
-- seed for the random number generators
realSlice1D
-- computes a real slice for a one dimensional witness set
realSlice1D(...,searchDelta=>...)
-- option of realSlice1D
realSlice1D(...,searchNpoints=>...)
-- option of realSlice1D
realSlice1D(...,searchTolerance=>...)
-- option of realSlice1D
realSlice1D(WitnessSet)
-- computes a real slice for a one dimensional witness set
realSlice2D
-- computes a real slice for a two dimensional witness set
realSlice2D(...,searchDelta=>...)
-- option of realSlice2D
realSlice2D(...,searchNpoints=>...)
-- option of realSlice2D
realSlice2D(...,searchTolerance=>...)
-- option of realSlice2D
realSlice2D(WitnessSet)
-- computes a real slice for a two dimensional witness set
refineSolutions
-- refines solutions of a system by increasing working precision
refineSolutions(...,Verbose=>...)
-- option to specify whether additional output is wanted
refineSolutions(List,List,ZZ)
-- refines solutions of a system by increasing working precision
saveSettingsPath
-- option of trackPaths to save the settings for a reproducible rerun
searchDelta
-- option of realSlice1D
searchNpoints
-- option of realSlice1D
searchTolerance
-- option of realSlice1D
seeProgress
-- flag to monitor the progress of the multithreaded path tracker
solveRationalSystem
-- approximates solutions to a rational system of equations
solveRationalSystem(...,Verbose=>...)
-- option to specify whether additional output is wanted
solveRationalSystem(List)
-- approximates solutions to a rational system of equations
solveSystem
-- a numerical blackbox solver
solveSystem(...,computingPrecision=>...)
-- option to specify the working precision
solveSystem(...,numThreads=>...)
-- option to set the number of threads
solveSystem(...,randomSeed=>...)
-- option to set the seed of the random number generators
solveSystem(...,Verbose=>...)
-- option to specify whether additional output is wanted
solveSystem(List)
-- a numerical blackbox solver
StableMixedVolume
-- optional input for computation of the stable mixed volume
StartDimension
-- optional input for cascade and numericalIrreducibleDecomposition
StartSystem
-- optional input to construct and solve a random coefficient system
tDegree
-- the degree of the continuation parameter
toLaurentPolynomial
-- converts a list of rational polynomials into Laurent polynomials
toLaurentPolynomial(List,Symbol)
-- converts a list of rational polynomials into Laurent polynomials
topWitnessSet
-- returns a witness set and nonsolutions for the top dimensional solution set
topWitnessSet(...,Verbose=>...)
-- option to specify whether additional output is wanted
topWitnessSet(List,ZZ)
-- returns a witness set and nonsolutions for the top dimensional solution set
trackPaths
-- tracks paths defined by a typical homotopy between start and end systems
trackPaths(...,gamma=>...)
-- Option to specify the value of the constant in the gamma trick
trackPaths(...,interactive=>...)
-- Option to run phc -p in interactive mode.
trackPaths(...,intermediateSolutions=>...)
-- option to get all intermediate solutions on a path
trackPaths(...,loadSettingsPath=>...)
-- option to load the settings of the path trackers for a reproducible rerun
trackPaths(...,numThreads=>...)
-- Option to define the number of threads in the path tracker.
trackPaths(...,saveSettingsPath=>...)
-- option to save the settings of the path trackers for a reproducible rerun
trackPaths(...,seeProgress=>...)
-- Option to follow the progress of the multithreaded path tracker.
trackPaths(...,tDegree=>...)
-- Option to specify the degree of the continuation parameter
trackPaths(...,Verbose=>...)
-- option to specify whether additional output is wanted
trackPaths(List,List,List)
-- tracks paths defined by a typical homotopy between start and end systems
versionNumber
-- returns the version number and release date of phc
versionNumber(...,Verbose=>...)
-- option to print the output of phc --version to screen
versionNumber(Nothing)
-- returns the version number and release date of phc
zeroFilter
-- returns solutions with k-th coordinate less than the given tolerance
zeroFilter(List,ZZ,RR)
-- returns solutions with k-th coordinate less than the given tolerance