macOS
Homebrew已验证 · 100%
brew install msolvelocal Homebrew formula metadata
安装
其他安装命令
Linux
Debian apt已验证 · 92%
sudo apt install msolveDebian stable package indexes · msolve · 来源: deb.debian.org
Fedora dnf已验证 · 92%
sudo dnf install msolveFedora Rawhide package metadata · msolve · 来源: dl.fedoraproject.org
Nix已验证 · 92%
nix profile install nixpkgs#msolvenixpkgs package indexes · pkgs/by-name/ms/msolve/package.nix · 来源: api.github.com
Arch Linux pacman已验证 · 92%
sudo pacman -S msolveArch Linux sync databases · msolve · 来源: geo.mirror.pkgbuild.com
概览
软件包摘要
Library for Polynomial System Solving through Algebraic Methods
历史
项目历史与用法
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.
风险分类器
绿色 风险 · 低 置信度 · appliance
原因
- library-like package without higher-risk signals
信号
- metadata:library-like
安装行为
- 未记录 Homebrew bottle 元数据。
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
msolve | 可执行文件 | 已索引可执行文件 | 从本地可执行文件索引发现。 |
新鲜度
版本和新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
页面生成时间2026-08-03
管理器版本0.10.1
管理器更新时间2026-07-08
本地数据未知
上游不可用
检测到的最新版本未检测到
- OK没有生成新鲜度警告。
安装元数据
软件包元数据
| 软件包键 | brew:msolve |
|---|---|
| 版本 | 0.10.1 |
| 软件包管理器 | Homebrew |
| 主页 | https://msolve.lip6.fr |
| 仓库 | https://github.com/algebraic-solving/msolve |
| 最后更新 | 2026-07-08T13:36:05Z |
| Pulse | updated |
| Bottle | 未记录 |
| 服务 | 未声明 |
源数据库匹配
其他软件包管理器记录
匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。
Debian apt95%
libmsolve-dev 0.7.5-1
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-dev- Section: math
- Architecture: amd64
- Source Package: msolve
- 1 依赖
- normalized package name match
- 匹配方式：Msolve
Debian apt95%
libmsolve0 0.7.5-1
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve0- Section: libs
- Architecture: amd64
- Source Package: msolve
- 4 依赖
- normalized package name match
- 匹配方式：Msolve
Debian apt95%
msolve 0.7.5-1
computer algebra algorithms for solving polynomial systems
sudo apt install msolve- Section: math
- Architecture: amd64
- 5 依赖
- normalized package name match
- 匹配方式：Msolve
Nix95%
msolve
nix profile install nixpkgs#msolve- normalized package name match
- 匹配方式：Msolve
Ubuntu apt95%
libmsolve-0.6.5 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve-0.6.5- Section: universe/libs
- Architecture: amd64
- Source Package: msolve
- 4 依赖
- normalized package name match
- 匹配方式：Msolve
Ubuntu apt95%
libmsolve-dev 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-dev- Section: universe/math
- Architecture: amd64
- Source Package: msolve
- 1 依赖
- normalized package name match
- 匹配方式：Msolve
Ubuntu apt95%
msolve 0.6.5-1build2
computer algebra algorithms for solving polynomial systems
sudo apt install msolve- Section: universe/math
- Architecture: amd64
- 5 依赖
- normalized package name match
- 匹配方式：Msolve
dnf95%
msolve 0.10.1-2.fc45
Polynomial System Solving through Algebraic Methods
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 依赖
- 1 提供
- normalized package name match
- 匹配方式：Msolve
dnf95%
msolve-devel 0.10.1-2.fc45
Development files for msolve
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 依赖
- 2 提供
- normalized package name match
- 匹配方式：Msolve
dnf95%
msolve-libs 0.10.1-2.fc45
Library for Polynomial System Solving through Algebraic Methods
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 依赖
- 3 提供
- normalized package name match
- 匹配方式：Msolve
pacman95%
msolve 0.10.1-1
Library for polynomial system solving through algebraic methods
sudo pacman -S msolve- License: GPL-2.0-or-later
- Architecture: x86_64
- 5 依赖
- normalized package name match
- 匹配方式：Msolve
来源线索
由仓库数据生成
此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。
Combined YAML source
View the package source record on GitHub.
使用的来源
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation