macOS
brew install msolvelocal Homebrew formula metadata
brew / Rang 4118
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für msolve in AI-Agent-Workflows.
Installation
brew install msolvelocal Homebrew formula metadata
sudo apt install msolveDebian stable package indexes · msolve · Quelle: deb.debian.org
sudo dnf install msolveFedora Rawhide package metadata · msolve · Quelle: dl.fedoraproject.org
nix profile install nixpkgs#msolvenixpkgs package indexes · pkgs/by-name/ms/msolve/package.nix · Quelle: api.github.com
sudo pacman -S msolveArch Linux sync databases · msolve · Quelle: geo.mirror.pkgbuild.com
Überblick
Library for Polynomial System Solving through Algebraic Methods
Verlauf
msolve is an open-source C library and command-line tool for solving multivariate polynomial systems through exact computer-algebra methods. The 2021 ISSAC paper by Jérémy Berthomieu, Christian Eder, and Mohab Safey El Din presents it as a library for zero-dimensional polynomial systems, built around Gröbner bases, linear algebra, conversion to lexicographical order, and real solving of univariate polynomials.
The project website summarizes the implementation goals: plain C, exact polynomial-system solving, algebraic encodings of solutions, advanced Gröbner-basis algorithms such as F4 and change of orderings, and performance work through multithreading and vectorization. The LIP6 PolSys software page adds that it supports Gröbner-basis computations, rational parametrization, real-root isolation, signature-based algorithms, and modern change-of-order algorithms.
msolve's ecosystem role is as a high-performance engine underneath larger computer-algebra systems. The project README documents use from SageMath's `Variety` function for polynomial systems with real coefficients and an msolve package for Macaulay2; the LIP6 page also lists interfaces from Oscar, SageMath, and Macaulay2. In package managers it is therefore both a research library and a CLI for users who want direct polynomial-system solving without invoking a full CAS.
Sicherheitslage
library-like package without higher-risk signals.
grün Risiko · niedrig Konfidenz · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
msolve | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Installationsmetadaten
| Paketschlüssel | brew:msolve |
|---|---|
| Version | 0.10.1 |
| Paketmanager | Homebrew |
| Homepage | https://msolve.lip6.fr |
| Repository | https://github.com/algebraic-solving/msolve |
| Zuletzt aktualisiert | 2026-07-08T13:36:05Z |
| Pulse | updated |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
Source-Datenbank-Treffer
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
libmsolve-dev 0.7.5-1
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-devlibmsolve0 0.7.5-1
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve0msolve 0.7.5-1
computer algebra algorithms for solving polynomial systems
sudo apt install msolvemsolve
nix profile install nixpkgs#msolvelibmsolve-0.6.5 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve-0.6.5libmsolve-dev 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-devmsolve 0.6.5-1build2
computer algebra algorithms for solving polynomial systems
sudo apt install msolvemsolve 0.10.1-2.fc45
Polynomial System Solving through Algebraic Methods
sudo dnf install msolvemsolve-devel 0.10.1-2.fc45
Development files for msolve
sudo dnf install msolve-develmsolve-libs 0.10.1-2.fc45
Library for Polynomial System Solving through Algebraic Methods
sudo dnf install msolve-libsmsolve 0.10.1-1
Library for polynomial system solving through algebraic methods
sudo pacman -S msolveQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
View the package source record on GitHub.