Paquet : fricas (1.3.10-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.10-1) [alpha]

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

  dep: fricas-databases (= 1.3.10-2) [non alpha, x32]

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

• dep: libc6 (>= 2.34) [non alpha, sh4]

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

  dep: libc6 (>= 2.37) [sh4]

• 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) [alpha, ppc64, sparc64, x32]

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

• dep: libtirpc3t64 (>= 1.0.2) [non alpha, ppc64, sparc64, 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

  Paquet indisponible

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.10-1	55 873,8 ko	353 000,0 ko	[liste des fichiers]
amd64	1.3.10-2	57 428,7 ko	333 427,0 ko	[liste des fichiers]
arm64	1.3.10-2	55 501,0 ko	341 941,0 ko	[liste des fichiers]
armel	1.3.10-2	52 489,8 ko	242 751,0 ko	[liste des fichiers]
armhf	1.3.10-2	54 595,4 ko	234 003,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.3.10-2	58 311,0 ko	282 836,0 ko	[liste des fichiers]
i386	1.3.10-2	55 153,6 ko	250 303,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.3.10-2	53 749,7 ko	279 472,0 ko	[liste des fichiers]
mips64el	1.3.10-2	57 525,9 ko	353 714,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.3.10-2	54 143,5 ko	369 296,0 ko	[liste des fichiers]
ppc64el	1.3.10-2	55 473,0 ko	372 027,0 ko	[liste des fichiers]
riscv64	1.3.10-2	141 814,0 ko	1 810 767,0 ko	[liste des fichiers]
s390x	1.3.10-2	57 182,2 ko	341 362,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.3.10-2	51 882,0 ko	220 273,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.3.10-2	54 700,4 ko	364 648,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.3.8-8	56 474,4 ko	270 987,0 ko	[liste des fichiers]