2011/05/24 by Elizabeth Gross, Gross, Elizabeth, Sonja Petrović +3 · 1 citation
Computer Science · Mathematics · #65H10 (Primary) 14Q99 (Secondary) 68W30 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Mathematical Software (cs.MS) #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #cs.MS #cs.SC #math.AC #math.AG #msc:14Q99 #msc:65H10 #msc:68W30
paper · pdf · doi:10.48550/arxiv.1105.4881
5 pages, exposition and examples improved
openalex publication_date 2011/05/24 · arxiv created 2012/10/10 · arxiv updated 2012/10/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The Macaulay2 package PHCpack.m2 provides an interface to PHCpack, a general-purpose polynomial system solver that uses homotopy continuation. The main method is a numerical blackbox solver which is implemented for all Laurent systems. The package also provides a fast mixed volume computation, the ability to filter solutions, homotopy path tracking, and a numerical irreducible decomposition method. As the size of many problems in applied algebraic geometry often surpasses the capabilities of symbolic software, this package will be of interest to those working on problems involving large polynomial systems.