brew

Installer fricas avec Homebrew, apt, MacPorts, Nix, pacman, scoop

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de fricas pour les workflows d'agents IA.

Commande d'installation Notes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install fricas

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install fricas

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

Linux

Debian aptvérifié · 92%

sudo apt install fricas

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

Nixvérifié · 92%

nix profile install nixpkgs#fricas

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

Arch Linux pacmanvérifié · 92%

sudo pacman -S fricas

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

Windows

Scoopvérifié · 92%

scoop install extras/fricas

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

aperçu

Résumé du paquet

Advanced computer algebra system

Liens du projet

Commandes et alias

efricas
fricas

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 10 dépendances d’exécution.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`efricas`	cli	exécutable global
`fricas`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-10

version du gestionnaire1.3.13

gestionnaire mis à jour2026-06-05

données localesOK

amontà jour

dernière version détectée1.3.13

https://github.com/fricas/fricas

OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:fricas
Version	1.3.13
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/fricas
Page d'accueil	https://fricas.github.io
Dépôt	https://github.com/fricas/fricas
Docs amont	https://fricas.github.io/
Licence	BSD-3-Clause
Archive source	https://github.com/fricas/fricas/archive/refs/tags/1.3.13.tar.gz
Dernière mise à jour	2026-06-05T01:32:56Z
Pulse	updated
Dépendances	gmp, libice, libsm, libx11, libxau, libxdmcp, libxpm, libxt, sbcl, zstd
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Debian apt95%

elpa-fricas 1.3.11-3

General purpose computer algebra system: emacs support