FriCAS

Two computer algebra systems named Scratchpad were developed by IBM. The first one was started in 1965 by James Griesmer{{Cite journal|title=James Griesmer 1929--2011|first=John|last=Fitch|date=July 23, 2012|journal=ACM Communications in Computer Algebra|volume=46|issue=1/2|pages=10–11|doi=10.1145/2338496.2338499|s2cid=36788754 |doi-access=free}} at the request of Ralph Gomory, and written in Fortran.{{Cite web|url=http://axiom-developer.org/|title=Axiom Computer Algebra System|website=axiom-developer.org}} The development of this software was stopped before any public release. The second Scratchpad, originally named Scratchpad II, was developed from 1977 on, at Thomas J. Watson Research Center, under the direction of Richard Dimick Jenks.{{Cite web|url=https://www.eecis.udel.edu/~caviness/jenks/jenksbio/|title=Richard D. Jenks Biographical Information|website=www.eecis.udel.edu}}

The design is principally due to Richard D. Jenks (IBM Research), James H. Davenport (University of Bath), Barry M. Trager (IBM Research), David Y.Y. Yun (Southern Methodist University) and Victor S. Miller (IBM Research). Early consultants on the project were David Barton (University of California, Berkeley) and James W. Thatcher (IBM Research). Implementation included Robert Sutor (IBM Research), Scott C. Morrison (University of California, Berkeley), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), Patrizia Gianni (University of Pisa), Albrecht Fortenbacher (Universitaet Karlsruhe), Stephen M. Watt (IBM Research and University of Waterloo), Josh Cohen (Yale University), Michael Rothstein (Kent State University), Manuel Bronstein (IBM Research), Michael Monagan (Simon Fraser University), Jonathan Steinbach (IBM Research), William Burge (IBM Research), Jim Wen (IBM Research), William Sit (City College of New York), and Clifton Williamson (IBM Research){{Cite journal|url=https://www.springer.com/gp/book/9783540159841|title=EUROCAL '85 | SpringerLink|website=www.springer.com}}

Scratchpad II was renamed Axiom when IBM decided, circa 1990, to make it a commercial product. A few years later, it was sold to NAG. In 2001, it was withdrawn from the market and re-released to Tim Daly under the Modified BSD License. In 2007, Axiom was forked as FriCAS by Waldek Hebisch following encouragement from Tim Daly{{Cite web|url=https://lists.nongnu.org/archive/html/axiom-developer/2007-06/msg00627.html|title=[Axiom-developer] A modest proposal|website=lists.nongnu.org}} to resolve disagreements about project goals.{{Cite web|url=https://fricas.github.io/history.html|title=History — FriCAS|website=fricas.github.io}}

FriCAS has a largely complete implementation of the

Risch–Bronstein–Trager algorithm.{{Cite web|title=MathAction RischImplementationStatus|url=http://wiki.fricas.org/RischImplementationStatus|access-date=2021-10-03|website=wiki.fricas.org}}

Another useful feature is stream:

)set stream calculate 5
exp_series := series(exp x, x=0)

\ \ \ \ 1+x+{{\frac{1}{2}} \ {{x}^{2}}}+{{\frac{1}{6}} \ {{x}^{3}}}+{{\frac{1}{24}} \

{{x}^{4}}}+{{\frac{1}{120}} \ {{x}^{5}}}+{O

\left(

{{{x}^{6}}}

\right)}

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

So any coefficient may be retrieved, for instance $n=40$:

coefficient(exp_series,40)

\ \ \ \ \frac{1}{81591528324789773434 56112695961158942720 00000000}

Type: Expression(Integer)

{{Portal|Free and open-source software}}

• List of computer algebra systems

{{reflist|

refs=

}}

• [https://fricas.github.io/ FriCAS Homepage]
• [https://wiki.fricas.org FriCAS Wiki]
• [https://wiki.fricas.org/SandBox SandBox: Try FriCAS online]
• [https://fricas.github.io/ Documentation at fricas.github.io]
• [https://fricas.github.io/api/index.html FriCAS API (sphinx)]
• Source code repositories: [https://sourceforge.net/p/fricas/code/HEAD/tree/ SourceForge], [https://github.com/fricas/fricas GitHub]
• [https://wiki.fricas.org/images/Rosetta.pdf Rosetta stone (pdf)]
• [https://wiki.fricas.org/Rosetta Rosetta stone (some other formats)]
• [https://wiki.fricas.org/RosettaStone Rosetta Stone (html)]
• [http://rosettacode.org/wiki/Category:SPAD rosettacode.org, Category:SPAD]
• [https://groups.google.com/forum/#!forum/fricas-devel Forum: fricas-devel]
• [https://github.com/fricas/jfricas FriCAS Jupyter Kernel (jfricas/src)]
• [https://pypi.org/project/jfricas/ FriCAS Jupyter (pypi)]

Related:

• [http://www.axiom-developer.org/ Axiom]
• [http://www.open-axiom.org OpenAxiom]
• A# programming language
• Aldor programming language

{{Computer algebra systems}}

{{DEFAULTSORT:FriCAS (Computer Algebra System)}}

Category:Common Lisp (programming language) software

Category:Computer algebra system software for Linux

Category:Free computer algebra systems

Category:Free software programmed in Lisp

Category:Software using the BSD license