# 使用 Homebrew, apt, dnf, Nix, pacman 安装 msolve 查看 msolve 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。 ## 安装 ```sh sudo av install brew:msolve ``` 其他安装命令: ### macOS - Homebrew (100%): ```sh brew install msolve ``` 证据: local Homebrew formula metadata ### Linux - Debian apt (92%): ```sh sudo apt install msolve ``` 证据: Debian stable package indexes: msolve from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install msolve ``` 证据: Fedora Rawhide package metadata: msolve from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#msolve ``` 证据: nixpkgs package indexes: pkgs/by-name/ms/msolve/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S msolve ``` 证据: Arch Linux sync databases: msolve from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ## 软件包事实 - **软件包键:** brew:msolve - **软件包管理器:** Homebrew - **版本:** 0.10.1 - **来源摘要:** Library for Polynomial System Solving through Algebraic Methods - **主页:** - **仓库:** - **最后更新:** 2026-07-08T13:36:05Z - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - msolve (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 0.10.1 ## 项目历史与用法 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. ### 来源 - - - - - - ## 安全说明 library-like package without higher-risk signals. - **Geiger 风险:** 绿色 / 低 - library-like package without higher-risk signals ## 其他软件包管理器记录 - Debian apt - libmsolve-dev - 0.7.5-1: normalized package name match | Debian stable package indexes: libmsolve-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems (development) | https://msolve.lip6.fr/ - Debian apt - libmsolve0 - 0.7.5-1: normalized package name match | Debian stable package indexes: libmsolve0 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems (shared library) | https://msolve.lip6.fr/ - Debian apt - msolve - 0.7.5-1: normalized package name match | Debian stable package indexes: msolve from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems | https://msolve.lip6.fr/ - Nix - msolve: normalized package name match | nixpkgs package indexes: pkgs/by-name/ms/msolve/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - libmsolve-0.6.5 - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libmsolve-0.6.5 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems (shared library) | https://msolve.lip6.fr/ - Ubuntu apt - libmsolve-dev - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libmsolve-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems (development) | https://msolve.lip6.fr/ - Ubuntu apt - msolve - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: msolve from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems | https://msolve.lip6.fr/ - dnf - msolve - 0.10.1-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Polynomial System Solving through Algebraic Methods | https://msolve.lip6.fr/ - dnf - msolve-devel - 0.10.1-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Development files for msolve | https://msolve.lip6.fr/ - dnf - msolve-libs - 0.10.1-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Library for Polynomial System Solving through Algebraic Methods | https://msolve.lip6.fr/ - pacman - msolve - 0.10.1-1: normalized package name match | Arch Linux sync databases: msolve from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Library for polynomial system solving through algebraic methods | https://msolve.lip6.fr/ ## Combined YAML source View the package source record on GitHub. [combined/msolve.yml](https://github.com/mxcl/pkgdb/blob/main/combined/msolve.yml) ## 来源 - pkg.so package database - Geiger risk classifier - curated package history - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph