Polybori C ++ - Bibliothek, die Polynome über booleschen Ringe bietet
Jetzt downloaden

Polybori Ranking & Zusammenfassung

Polybori Stichworte

Boolesche Polynome. Boolesche Monomie Exponent Vector. boolean. Polynom Monom

Polybori Beschreibung

C ++ - Bibliothek, die Polynome über booleschen Ringe anbietet Der Kern von Polybori ist eine C ++ - Bibliothek, die hochrangige Datentypen für boolesche Polynome und Monomen, Exponentenvektoren sowie für die zugrunde liegenden Polynomringe und der Teilmengen des Powerset der booleschen Variablen bereitstellt. Als eindeueller Ansatz werden binäre Entscheidungsdiagramme als internen Speichertyp für Polynomstrukturen verwendet. Darüber hinaus stellt C ++ - Bibliothek Polybori eine Python-Schnittstelle bereit, die das Analysieren komplexer Polynomsysteme sowie anspruchsvolle und ausziehbare Strategien für GR-BNER-Base-Berechnung ermöglicht. Polybori verfügt über eine leistungsstarke Referenzimplementierung für Gröbner Basis-Berechnung. Anforderungen: · Python Was ist neu in dieser Version: · Einführung von Parameter modifiziert_linear_algebra für groöebner_basis, · Ändert, wenn lineare Algebra modifiziert ist oder nicht, · Nicht, dass diese Option nicht beeinflusst, wenn überhaupt lineare Algebra verwendet wird. · Ringe haben jetzt SetvariaBlame und GetVariaBlename · Ringe haben Hash () -Methode, um eine eindeutige Kennung zu erhalten · Standardkonstruktor des Boolepolyrers aktiviert nicht · (Unerwünschter Nebenwirkung entfernt)

Polybori Zugehörige Software