PHCpack : Index
- cascade -- runs a cascade of homotopies to get witness sets for each component of the variety (invokes "phc -c")
- cascade(Ideal) -- runs a cascade of homotopies to get witness sets for each component of the variety (invokes "phc -c")
- convertToPoly -- converts a rational system into a Laurent polynomial system
- convertToPoly(List) -- converts a rational system into a Laurent polynomial system
- gamma -- the constant in the gamma trick, optional input for trackPaths
- mixedVolume -- mixed volume of a polynomial system (invokes "phc -m")
- mixedVolume(..., stableMV => ...) -- mixed volume of a polynomial system (invokes "phc -m")
- mixedVolume(..., startSystem => ...) -- mixed volume of a polynomial system (invokes "phc -m")
- mixedVolume(List) -- mixed volume of a polynomial system (invokes "phc -m")
- nonZeroFilter -- returns solutions with coordinate larger than given tolerance
- nonZeroFilter(List,ZZ,RR) -- returns solutions with coordinate larger than given tolerance
- phcEmbed -- calls phc -c to construct an embedding of a polynomial system
- phcEmbed(List,ZZ) -- calls phc -c to construct an embedding of a polynomial system
- phcFactor -- applies monodromy to factor a witness set into irreducible components
- phcFactor(WitnessSet) -- applies monodromy to factor a witness set into irreducible components
- PHCpack -- a package for Polynomial Homotopy Continuation
- phcSolve -- a blackbox solver to approximate all complex isolated solutions (invokes "phc -b")
- phcSolve(List) -- a blackbox solver to approximate all complex isolated solutions (invokes "phc -b")
- realFilter -- returns real solutions with respect to a given tolerance
- realFilter(List,RR) -- returns real solutions with respect to a given tolerance
- refineSolutions -- refines solutions of a system by increasing working precision (invokes "phc -v")
- refineSolutions(List,List,ZZ) -- refines solutions of a system by increasing working precision (invokes "phc -v")
- stableMV -- optional input for computation of the stable mixed volume
- startSystem -- optional input for computation of mixed volume by solving a random coefficient system
- tDegree -- the degree of the continuation parameter
- topWitnessSet -- returns a witness set and nonsolutions for the top dimensional solution set
- topWitnessSet(List,ZZ) -- returns a witness set and nonsolutions for the top dimensional solution set
- trackPaths -- tracking paths defined by a typical homotopy between start and end systems (invokes "phc -p")
- trackPaths(..., gamma => ...) -- tracking paths defined by a typical homotopy between start and end systems (invokes "phc -p")
- trackPaths(..., tDegree => ...) -- tracking paths defined by a typical homotopy between start and end systems (invokes "phc -p")
- trackPaths(List,List,List) -- tracking paths defined by a typical homotopy between start and end systems (invokes "phc -p")
- 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