brew

fricas mit Homebrew, apt, MacPorts, Nix, pacman, scoop installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für fricas in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install fricas

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install fricas

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

Linux

Debian aptverifiziert · 92%

sudo apt install fricas

Debian stable package indexes · fricas · Quelle: deb.debian.org

Nixverifiziert · 92%

nix profile install nixpkgs#fricas

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

Arch Linux pacmanverifiziert · 92%

sudo pacman -S fricas

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

Windows

Scoopverifiziert · 92%

scoop install extras/fricas

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

Überblick

Paketzusammenfassung

Advanced computer algebra system

Projektlinks

Befehle und Aliase

efricas
fricas

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 10 Laufzeitabhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`efricas`	cli	globales Executable
`fricas`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10

Manager-Version1.3.13

Manager aktualisiert2026-06-05

lokale DatenOK

Upstreamaktuell

neueste erkannte Version1.3.13

https://github.com/fricas/fricas

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:fricas
Version	1.3.13
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/fricas
Homepage	https://fricas.github.io
Repository	https://github.com/fricas/fricas
Upstream-Dokumentation	https://fricas.github.io/
Lizenz	BSD-3-Clause
Quellarchiv	https://github.com/fricas/fricas/archive/refs/tags/1.3.13.tar.gz
Zuletzt aktualisiert	2026-06-05T01:32:56Z
Pulse	updated
Abhängigkeiten	gmp, libice, libsm, libx11, libxau, libxdmcp, libxpm, libxt, sbcl, zstd
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

elpa-fricas 1.3.11-3

General purpose computer algebra system: emacs support