# 使用 Homebrew, apt, MacPorts, Nix, pacman, scoop 安装 fricas 查看 fricas 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。 ## 安装 ```sh sudo av install brew:fricas ``` 其他安装命令: ### macOS - Homebrew (100%): ```sh brew install fricas ``` 证据: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install fricas ``` 证据: MacPorts ports tree: math/fricas/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Debian apt (92%): ```sh sudo apt install fricas ``` 证据: Debian stable package indexes: fricas from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - Nix (92%): ```sh nix profile install nixpkgs#fricas ``` 证据: nixpkgs package indexes: pkgs/by-name/fr/fricas/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S fricas ``` 证据: Arch Linux sync databases: fricas from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ### Windows - Scoop (92%): ```sh scoop install extras/fricas ``` 证据: Scoop official bucket manifest trees: bucket/fricas.json from https://api.github.com/repos/ScoopInstaller/Extras/git/trees/master?recursive=1 ## 软件包事实 - **软件包键:** brew:fricas - **软件包管理器:** Homebrew - **版本:** 1.3.13 - **来源摘要:** Advanced computer algebra system - **主页:** - **仓库:** - **最后更新:** 2026-07-30T04:00:33Z - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - efricas (别名) - fricas (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 1.3.13 ## 项目历史与用法 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. - **Geiger 风险:** 绿色 / 低 - narrow executable package without higher-risk signals ## 其他软件包管理器记录 - Debian apt - elpa-fricas - 1.3.11-3: normalized package name match | Debian stable package indexes: elpa-fricas from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: emacs support | http://fricas.sourceforge.net/ - Debian apt - fricas - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: main binary and modules | http://fricas.sourceforge.net/ - Debian apt - fricas-databases - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-databases from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: generated text databases | http://fricas.sourceforge.net/ - Debian apt - fricas-doc - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: documentation | http://fricas.sourceforge.net/ - Debian apt - fricas-graphics - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-graphics from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: graphics subsystem | http://fricas.sourceforge.net/ - Debian apt - fricas-graphics-data - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-graphics-data from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: graphics data | http://fricas.sourceforge.net/ - Debian apt - fricas-hypertex - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-hypertex from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: hypertex subsystem | http://fricas.sourceforge.net/ - Debian apt - fricas-hypertex-data - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-hypertex-data from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: hypertex data | http://fricas.sourceforge.net/ - Debian apt - fricas-source - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-source from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: source files | http://fricas.sourceforge.net/ - Debian apt - fricas-test - 1.3.11-3: normalized package name match | Debian stable package indexes: fricas-test from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | General purpose computer algebra system: regression test inputs | http://fricas.sourceforge.net/ - Nix - fricas: normalized package name match | nixpkgs package indexes: pkgs/by-name/fr/fricas/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - elpa-fricas - 1.3.10-1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: elpa-fricas from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | General purpose computer algebra system: emacs support | http://fricas.sourceforge.net/ - Ubuntu apt - fricas - 1.3.10-1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: fricas from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | General purpose computer algebra system: main binary and modules | http://fricas.sourceforge.net/ - Ubuntu apt - fricas-databases - 1.3.10-1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: fricas-databases from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | General purpose computer algebra system: generated text databases | http://fricas.sourceforge.net/ - Ubuntu apt - fricas-doc - 1.3.10-1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: fricas-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | General purpose computer algebra system: documentation | http://fricas.sourceforge.net/ - Ubuntu apt - fricas-graphics - 1.3.10-1build3: normalized package name match | Ubuntu 24.04 LTS package indexes: fricas-graphics from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | General purpose computer algebra system: graphics subsystem | http://fricas.sourceforge.net/ ## Combined YAML source View the package source record on GitHub. [combined/fricas.yml](https://github.com/mxcl/pkgdb/blob/main/combined/fricas.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