PHCpack : Index
- 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(Point,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,Point) -- 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