FriCAS es un sistema de álgebra computacional de propósito general con un fuerte enfoque en la investigación matemática y el desarrollo de nuevos algoritmos . Consta de un intérprete , un compilador y una biblioteca [1] en crecimiento de más de 1.000 dominios y categorías.
Desarrollador | Waldek Hebisch + grupo independiente de personas |
---|---|
Lanzamiento estable | 1.3.6 / 8 de marzo de 2020 |
Lenguaje de implementación | SPAD, Aldor , arranque, Common Lisp |
SO | Multiplataforma |
Licencia | Licencia BSD modificada |
Extensiones de nombre de archivo | .spad , .input ,.as |
Sitio web | fricas |
FriCAS proporciona un lenguaje de programación de alto nivel fuertemente tipado llamado SPAD y un lenguaje interactivo similar que utiliza la inferencia de tipos para mayor comodidad. Aldor fue desarrollado intencionalmente para ser el compilador de próxima generación para Axiom y bifurcaciones . FriCAS (opcionalmente) permite ejecutar programas Aldor. Ambos lenguajes comparten una sintaxis similar y un sistema de tipos sofisticado ( dependiente ) . [2] [3] [4]
FriCAS está ampliamente documentado y disponible como código fuente y como distribución binaria para las plataformas más comunes. La compilación de las fuentes requiere, además de otros requisitos previos, un entorno Common Lisp (mediante el cual muchas de las principales implementaciones son compatibles y están disponibles gratuitamente como fuente abierta ).
FriCAS se ejecuta en muchas plataformas POSIX como Linux , macOS , Unix , BSD , así como en Cygwin y Microsoft Windows ( WSL ).
Historia
FriCAS es un descendiente de Axiom [5] que a su vez tiene su origen en Scratchpad, un proyecto iniciado en 1965 por James Griesmer [6] en los laboratorios de IBM . [7] Para obtener más detalles, consulte Axiom / History .
Ejemplos de
FriCAS tiene una implementación bastante completa del algoritmo de Risch-Bronstein-Trager (algoritmo de Risch para abreviar).
Otra característica útil es la transmisión :
) establecer flujo calcular 5exp_series: = serie (exp x, x = 0)
Tipo: UnivariatePuiseuxSeries (Expresión (Entero), x, 0)
Entonces, cualquier coeficiente puede recuperarse, por ejemplo :
coeficiente (exp_series, 40)
Tipo: expresión (entero)
Ver también
Referencias
- ^ API FriCAS
- ^ Encuesta, Erik; Thompson, Simon. "Añadiendo los axiomas a Axiom: Hacia un sistema de razonamiento automatizado en Aldor" (Monografía) . Consultado el 27 de enero de 2017 .
- ^ Encuesta, Erik; Thompson, Simon. "El Sistema Tipográfico de Aldor" (Monografía) . Consultado el 27 de enero de 2017 .
- ^ Encuesta, Erik; Thompson, Simon. "Integración de álgebra y razonamiento informático a través del sistema de tipos de Aldor" . En Hélène Kirchner; Christophe Ringeissen (eds.). Fronteras de los sistemas combinados . 3er Taller Internacional sobre Fronteras de Sistemas Combinadores (FroCoS 2000). 1794 . Nancy, Francia: Springer-Verlag Berlín. págs. 136–150. ISBN 978-3-540-67281-4. Consultado el 27 de enero de 2017 .
- ^ Historia (enlace externo)
- ^ Fitch, John (2012). "James Griesmer 1929-2011" . ACM Commun. Computación. Álgebra . 46 (1/2): 10-11. doi : 10.1145 / 2338496.2338499 . ISSN 1932-2240 .
- ^ Historia del axioma
enlaces externos
- Página de inicio de FriCAS
- Wiki FriCAS
- SandBox: Pruebe FriCAS en línea
- Documentación en fricas.github.io
- API de FriCAS (esfinge)
- Repositorios de código fuente: SourceForge , espejo de GitHub
- Piedra de Rosetta (pdf)
- Piedra de Rosetta (algunos otros formatos)
- Piedra de Rosetta (html)
- rosettacode.org, Categoría: SPAD
- Foro: fricas-devel
- FriCAS Jupyter Kernel (jfricas / src)
- FriCAS Jupyter (pypi)
Relacionados:
- Axioma
- OpenAxiom
- Un # lenguaje de programación
- Lenguaje de programación Aldor