Paquet : fricas (1.3.11-2 et autres)

[ Paquet source : fricas  ]

système généraliste d'algèbre : programme principal et modules

Fricas est utile pour la recherche et le développement d’algorithmes mathématiques. Il définit une hiérarchie de types corrects mathématiquement et est fortement typé. Il possède un langage de programmation et un compilateur interne.

Fricas a été développé depuis 1973 et était vendu comme un produit commercial. Il a été depuis publié en tant que logiciel libre.

Des efforts ont été entrepris pour étendre ce logiciel pour développer son interface utilisateur, pour qu’il soit utile comme outil d’enseignement, pour développer un protocole de serveur d’algèbre, pour incorporer des mathématiques supplémentaires, pour reconstruire l’algèbre dans un style de programmation littéraire, pour intégrer la programmation de la logique et pour développer le Journal de Fricas avec des soumissions évaluées par des pairs.

Ce paquet fournit le programme principal et tous les modules pré-compilés d'algèbre qui peuvent être automatiquement chargés.

Autres paquets associés à fricas

• dep: fricas-databases (= 1.3.11-2) [non x32]

  système généraliste d'algèbre : bases de données texte générées

  dep: fricas-databases (= 1.3.8-8) [x32]

• dep: libc6 (>= 2.34) [x32]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.38) [non alpha, sh4, x32]

• dep: libc6.1 (>= 2.34) [alpha]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  bibliothèques BSD d'édition de ligne et d'historique

• dep: libgcc-s1 (>= 3.0) [arm64]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libgmp10 (>= 2:6.2.1+dfsg1) [x32]

  Bibliothèque arithmétique à multi-précision

  dep: libgmp10 (>= 2:6.3.0+dfsg) [non x32]

• dep: libtirpc3 (>= 1.0.2) [x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libtirpc3t64 (>= 1.0.2) [non x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libx11-6

  bibliothèque X11 partie client

• dep: libxpm4 [sparc64]

  bibliothèque pixmap X11

• dep: mawk

  langage de traitement de texte et de recherche de motifs

• rec: fricas-doc

  système généraliste d'algèbre – documentation

• rec: fricas-graphics

  General purpose computer algebra system: graphics subsystem

• rec: fricas-hypertex

  General purpose computer algebra system: hypertex subsystem

• rec: fricas-source

  système généraliste d'algèbre – fichiers source

• sug: fricas-test

  General purpose computer algebra system: regression test inputs

• sug: fricas-tex

  Paquet indisponible

• sug: nowebm

  Paquet indisponible

• sug: texmacs

  éditeur de texte scientifique WYSIWYG utilisant les fontes de TeX

Télécharger fricas

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.3.11-2	51 448,1 ko	328 952,0 ko	[liste des fichiers]
amd64	1.3.11-2	52 683,1 ko	309 281,0 ko	[liste des fichiers]
arm64	1.3.11-2	49 629,9 ko	311 216,0 ko	[liste des fichiers]
armel	1.3.11-2	47 573,5 ko	220 305,0 ko	[liste des fichiers]
armhf	1.3.11-2	49 747,7 ko	214 159,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.3.11-2	52 154,2 ko	257 785,0 ko	[liste des fichiers]
i386	1.3.11-2+b1	49 881,1 ko	225 261,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.3.11-2	52 412,5 ko	272 706,0 ko	[liste des fichiers]
mips64el	1.3.11-2	52 265,1 ko	329 932,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.3.11-2	48 652,7 ko	340 985,0 ko	[liste des fichiers]
ppc64el	1.3.11-2	49 929,3 ko	343 531,0 ko	[liste des fichiers]
riscv64	1.3.11-2	128 650,8 ko	1 643 303,0 ko	[liste des fichiers]
s390x	1.3.11-2	50 972,9 ko	308 818,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.3.11-2	50 789,8 ko	215 041,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.3.11-2	48 230,1 ko	331 438,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.3.8-8	56 474,4 ko	270 987,0 ko	[liste des fichiers]