brew

fricas を Homebrew, apt, MacPorts, Nix, pacman, scoop でインストール

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