Automic VaultAutomic Vault

brew

msolve mit Homebrew, apt, dnf, Nix, pacman installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für msolve in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install msolve

local Homebrew formula metadata

Linux

Debian aptverifiziert · 92%
sudo apt install msolve

Debian stable package indexes · msolve · Quelle: deb.debian.org

Fedora dnfverifiziert · 92%
sudo dnf install msolve

Fedora Rawhide package metadata · msolve · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%
nix profile install nixpkgs#msolve

nixpkgs package indexes · pkgs/by-name/ms/msolve/package.nix · Quelle: api.github.com

Arch Linux pacmanverifiziert · 92%
sudo pacman -S msolve

Arch Linux sync databases · msolve · Quelle: geo.mirror.pkgbuild.com

Überblick

Paketzusammenfassung

Library for Polynomial System Solving through Algebraic Methods

Befehle und Aliase

  • msolve

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Wie es verwendet wird

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

Risikostufe: grün

library-like package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • library-like package without higher-risk signals

Signale

  • metadata:library-like

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Installiert mit 4 Laufzeitabhängigkeiten.
  • Build-Metadaten listen 3 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
msolvecliglobales Executable

Aktualität

Version und 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.

Seite generiert2026-07-25
Manager-Version0.10.1
Manager aktualisiert2026-07-08
lokale DatenOK
Upstreamaktuell
neueste erkannte Versionv0.10.1

https://github.com/algebraic-solving/msolve

  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:msolve
Version0.10.1
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/msolve
Homepagehttps://msolve.lip6.fr
Repositoryhttps://github.com/algebraic-solving/msolve
Upstream-Dokumentationhttps://msolve.lip6.fr/
LizenzGPL-2.0-or-later
Quellarchivhttps://github.com/algebraic-solving/msolve/archive/refs/tags/v0.10.1.tar.gz
Zuletzt aktualisiert2026-07-08T13:36:05Z
Pulseupdated
Abhängigkeitenflint, gmp, libomp, mpfr
Build-Abhängigkeitenautoconf, automake, libtool
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namemsolve
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

libmsolve-dev 0.7.5-1

computer algebra algorithms for solving polynomial systems (development)

https://msolve.lip6.fr/

sudo apt install libmsolve-dev
  • Section: math
  • Architecture: amd64
  • Source Package: msolve
  • 1 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libmsolve-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libmsolve0 0.7.5-1

computer algebra algorithms for solving polynomial systems (shared library)

https://msolve.lip6.fr/

sudo apt install libmsolve0
  • Section: libs
  • Architecture: amd64
  • Source Package: msolve
  • 4 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libmsolve0 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

msolve 0.7.5-1

computer algebra algorithms for solving polynomial systems

https://msolve.lip6.fr/

sudo apt install msolve
  • Section: math
  • Architecture: amd64
  • 5 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Debian stable package indexes · deb.debian.org · Debian stable package indexes: msolve from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

msolve

nix profile install nixpkgs#msolve
  • normalized package name match
  • Abgeglichen nach: Msolve
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ms/msolve/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

libmsolve-0.6.5 0.6.5-1build2

computer algebra algorithms for solving polynomial systems (shared library)

https://msolve.lip6.fr/

sudo apt install libmsolve-0.6.5
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: msolve
  • 4 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libmsolve-0.6.5 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libmsolve-dev 0.6.5-1build2

computer algebra algorithms for solving polynomial systems (development)

https://msolve.lip6.fr/

sudo apt install libmsolve-dev
  • Section: universe/math
  • Architecture: amd64
  • Source Package: msolve
  • 1 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libmsolve-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

msolve 0.6.5-1build2

computer algebra algorithms for solving polynomial systems

https://msolve.lip6.fr/

sudo apt install msolve
  • Section: universe/math
  • Architecture: amd64
  • 5 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: msolve from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

msolve 0.9.5-2.fc45

Polynomial System Solving through Algebraic Methods

https://msolve.lip6.fr/

sudo dnf install msolve
  • License: GPL-2.0-or-later AND LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: msolve
  • 9 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Msolve
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: msolve from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

msolve-devel 0.9.5-2.fc45

Development files for msolve

https://msolve.lip6.fr/

sudo dnf install msolve-devel
  • License: GPL-2.0-or-later AND LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: msolve
  • 6 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Msolve
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: msolve-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

msolve-libs 0.9.5-2.fc45

Library for Polynomial System Solving through Algebraic Methods

https://msolve.lip6.fr/

sudo dnf install msolve-libs
  • License: GPL-2.0-or-later AND LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: msolve
  • 7 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Msolve
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: msolve-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
pacman95%

msolve 0.9.5-2

Library for polynomial system solving through algebraic methods

https://msolve.lip6.fr/

sudo pacman -S msolve
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • 5 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Msolve
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: msolve from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

  • autoconfBuild dependency declared by Homebrew.
  • automakeBuild dependency declared by Homebrew.
  • libtoolBuild dependency declared by Homebrew.

Gleicher Workflow

  • maximaShares av.db curated category or tags: cli, computer-algebra, mathematics, science.
  • singularShares av.db curated category or tags: cli, computer-algebra, mathematics, science.
  • cddlibShares av.db curated category or tags: c-library, cli, mathematics, science.
  • msieveShares av.db curated category or tags: c-library, cli, mathematics, science.
  • pariShares av.db curated category or tags: cli, computer-algebra, mathematics, science.
  • fricasShares av.db curated category or tags: cli, computer-algebra, mathematics, science, symbolic-computation.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment