Polynomsysteme sind unerlässlich, um numerische Approximationen in Anwendungen zu verstehen. Dieser Artikel beschreibt das Design und die Struktur des PHC-Softwarepakets, einem robusten Werkzeug zur Berechnung numerischer Approximationen für alle isolierten komplexen Lösungen. Die Vielseitigkeit des Pakets beruht auf seiner Fähigkeit, in mehreren Modi zu arbeiten, die von Menüs gesteuert und auf Dateien ausgerichtet werden. Die Nutzung der Struktur in einem Polynomsystem ermöglicht es der Software, Root-Counting-Methoden unter ihren Werkzeugen zu verwenden. Das Paket bietet einen Black-Box-Solver und berichtet über seine Leistung in einer Testproblemdatenbank. Die Software wurde auf vier verschiedenen Maschinenarchitekturen entwickelt und gewährleistet die Portabilität durch den gnu-ada-Compiler. Forscher können das Tool verwenden, um Wurzeln zu zählen und verschiedene Black-Box-Probleme zu lösen.
Dieser Artikel, der in ACM Transactions on Mathematical Software erscheint, passt zum Fokus der Zeitschrift auf bedeutende Algorithmen und Softwarepakete in mathematischer Software. Durch die detaillierte Beschreibung der Struktur und des Designs des PHC-Pakets zur Lösung von Polynomsystemen trägt die Arbeit zum Ziel der Zeitschrift bei, qualitativ hochwertige mathematische Software und verwandte Forschung zu fördern.