FriCAS - FriCAS

FriCAS
VývojářWaldek Hebisch + nezávislá skupina lidí
Stabilní uvolnění
1.3.6 / 8. března 2020; Před 8 měsíci (2020-03-08)
Jazyk implementaceSPAD, Aldor, Boot, Společný Lisp
OSCross-platform
LicenceUpravená licence BSD
Přípony názvu souboru.pad, .vstup, .tak jako
webová stránkafricas.github.io

FriCAS je obecný účel počítačový algebraický systém se silným zaměřením na matematický výzkum a vývoj nových algoritmy. Zahrnuje tlumočník, a překladač a stále rostoucí knihovna[1]více než 1 000 domén a kategorií.

FriCAS poskytuje a silně napsaný programovací jazyk na vysoké úrovni s názvem SPAD a podobné interaktivní jazyky, které používají odvozování typů pro pohodlí. Aldor byl záměrně vyvinut jako kompilátor nové generace pro Axiom a vidličky. FriCAS (volitelně) umožňuje spouštět programy Aldor. Oba jazyky sdílejí podobnou syntaxi a sofistikované (závislý ) typový systém.[2][3][4]

FriCAS je komplexně zdokumentován a je k dispozici jako zdrojový kód a jako binární rozdělení pro nejběžnější platformy. Kompilace zdrojů vyžaduje kromě dalších předpokladů a Společný Lisp prostředí (přičemž řada hlavních implementací je podporována a volně dostupná jako otevřený zdroj ).

FriCAS běží na mnoha POSIX platformy jako Linux, Operační Systém Mac, Unix,BSD stejně jako pod Cygwin aMicrosoft Windows (omezený).

Dějiny

FriCAS je potomkem Axiom[5]který sám o sobě má původ ve Scratchpadu, projektu, který zahájil v roce 1965 James Griesmer [6]na Laboratoře IBM.[7]Více podrobností viz Axiom / Historie.

Příklady

FriCAS má poměrně úplnou implementaci Algoritmus Risch – Bronstein – Trager (Zkráceně Rischův algoritmus).

Další užitečnou funkcí je proud:

) set stream spočítat 5exp_series: = série (exp x, x = 0)

Typ: UnivariatePuiseuxSeries (Expression (Integer), x, 0)

Lze například získat jakýkoli koeficient :

koeficient (exp_series, 40)

Typ: Výraz (celé číslo)

Viz také

Reference

  1. ^ FriCAS API
  2. ^ Anketa, Erik; Thompson, Simon. „Přidání axiomů k Axiomu: Směrem k systému automatizovaného uvažování v Aldoru“ (Monografie). Citováno 2017-01-27.
  3. ^ Anketa, Erik; Thompson, Simon. „Typový systém Aldora“ (Monografie). Citováno 2017-01-27.
  4. ^ Anketa, Erik; Thompson, Simon. „Integrace počítačové algebry a uvažování prostřednictvím systému typu Aldor“. V Hélène Kirchner; Christophe Ringeissen (eds.). Hranice kombinujících systémů. 3. mezinárodní seminář o hranicích kombinovaných systémů (FroCoS 2000). 1794. Nancy, Francie: Springer-Verlag Berlin. 136–150. ISBN  978-3-540-67281-4. Citováno 2017-01-27.
  5. ^ Historie (externí odkaz)
  6. ^ Fitch, John (2012). „James Griesmer 1929–2011“. ACM Commun. Comput. Algebra. 46 (1/2): 10–11. doi:10.1145/2338496.2338499. ISSN  1932-2240.
  7. ^ Historie axiomu

externí odkazy

Příbuzný: