brew

使用 Homebrew, apt, MacPorts, Nix, pacman, scoop 安装 fricas

查看 fricas 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install fricas

local Homebrew formula metadata

MacPorts已验证 · 94%

sudo port install fricas

MacPorts ports tree · math/fricas/Portfile · 来源: api.github.com

Linux

Debian apt已验证 · 92%

sudo apt install fricas

Debian stable package indexes · fricas · 来源: deb.debian.org

Nix已验证 · 92%

nix profile install nixpkgs#fricas

nixpkgs package indexes · pkgs/by-name/fr/fricas/package.nix · 来源: api.github.com

Arch Linux pacman已验证 · 92%

sudo pacman -S fricas

Arch Linux sync databases · fricas · 来源: geo.mirror.pkgbuild.com

Windows

Scoop已验证 · 92%

scoop install extras/fricas

Scoop official bucket manifest trees · bucket/fricas.json · 来源: api.github.com

概览

软件包摘要

Advanced computer algebra system

项目链接

命令和别名

efricas
fricas

历史

项目历史与用法

FriCAS is an advanced computer algebra system and a 2007 fork of Axiom. It continues the Scratchpad/Axiom line of symbolic mathematics systems, pairing a large mathematical library with the SPAD language and interactive command-line use.

项目历史

The official FriCAS history traces the system to IBM laboratories around 1965, when J. Griesmer began work on a computer algebra system. The project was named Scratchpad in 1970, and a new Scratchpad II architecture began in 1976. Around 1982, the SPAD language took shape in a form close to the current one.

In 1992 IBM sold the system to NAG, which renamed it Axiom and marketed it. NAG later stopped development, withdrew Axiom from the market in 2001, and released the sources under an open source license. Tim Daly received the sources in 2002 and started the open-source Axiom project.

FriCAS was created in 2007 when Waldek Hebisch forked Axiom after a disagreement about development strategy. The official history records that FriCAS then made several releases with incremental improvements, while Axiom and OpenAxiom continued as related branches of the same lineage.

采用历史

FriCAS adoption is rooted in the long-running Axiom/Scratchpad user base rather than a single modern launch. The current official site provides the homepage, GitHub repository, mailing list, API documentation, book, examples, installation guide, and citation information, indicating a research and mathematical-computing community workflow.

The project continues to publish releases from the GitHub repository, with visible release tags in the 1.3 series from 2021 through 2026.

使用方式

The package exposes command-line entry points such as `fricas` and `efricas`. Users run interactive algebra sessions, use FriCAS domains and packages, write or inspect SPAD code, consult the FriCAS book, and use the generated API documentation for mathematical functionality.

为什么软件包爱好者会关心

FriCAS is package-nerd significant because it is a living descendant of a major historical computer algebra system, with roots before most modern package ecosystems. Packaging it means preserving a large Lisp/SPAD mathematical environment whose source history crosses IBM research, commercial Axiom, open-source Axiom, and later forks.

It is also a useful contrast to newer CAS packages: instead of a small CLI wrapper, it carries a deep algebra library, language runtime assumptions, documentation corpus, and compatibility concerns from decades of symbolic-computation work.

时间线

1965: IBM work begins on a computer algebra system that becomes the Scratchpad line.
1970: The project is named Scratchpad.
1976: Scratchpad II begins with a new architecture.
1982: The SPAD language takes shape close to its current form.
1992: IBM sells the system to NAG, which renames it Axiom.
2001: Axiom is withdrawn from the market and released publicly under an open source license.
2002: Tim Daly starts the open-source Axiom project from NAG's sources.
2007: Waldek Hebisch forks Axiom to create FriCAS.
2021-2026: FriCAS publishes 1.3.x releases from the GitHub project.

Related projects

Closely related projects include Scratchpad, Scratchpad II, Axiom, and OpenAxiom.
Related technical surfaces include the SPAD language, Codemist Common Lisp in the Axiom history, the FriCAS book, generated API documentation, and the FriCAS mailing list.

来源

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色风险 · 低置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
安装时包含 10 个运行时依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围	备注
`efricas`	cli	全局可执行文件
`fricas`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-10

管理器版本1.3.13

管理器更新时间2026-06-05

本地数据OK

上游当前

检测到的最新版本1.3.13

https://github.com/fricas/fricas

OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键	brew:fricas
版本	1.3.13
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/fricas
主页	https://fricas.github.io
仓库	https://github.com/fricas/fricas
上游文档	https://fricas.github.io/
许可证	BSD-3-Clause
源码归档	https://github.com/fricas/fricas/archive/refs/tags/1.3.13.tar.gz
最后更新	2026-06-05T01:32:56Z
Pulse	updated
依赖	gmp, libice, libsm, libx11, libxau, libxdmcp, libxpm, libxt, sbcl, zstd
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	fricas
Version Scheme	0
Revision	4
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Debian apt95%

elpa-fricas 1.3.11-3

General purpose computer algebra system: emacs support