jlfricas.documentation

jlFriCAS documentation

https://github.com/gvanuxem/jlfricas.documentation

Last synced: 10 months ago · JSON representation ·

Repository

jlFriCAS documentation

Basic Info

Host: GitHub
Owner: gvanuxem
Language: HTML
Default Branch: main
Homepage: https://gvanuxem.github.io/jlfricas.documentation/
Size: 50.1 MB

Statistics

Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Releases: 0

Created over 1 year ago · Last pushed about 1 year ago

Metadata Files

Readme Changelog Citation

jlFriCAS

\ \ \

Capture

FriCAS is a general purpose computer algebra system (CAS).

In this work-in-progress repository, a C wrapper using libjulia is embedded in FriCAS to support some Julia specialized operations (for example, hardware architecture optimized BLAS and LAPACK libraries). The build process supports Clozure CL and SBCL, but only Julia 1.10.0 and Julia 1.11.* are supported with SBCL, see Caveats. It must not be considered production-ready.

Building and Installing

For general installation instructions see INSTALL. For general documentation consult https://fricas.github.io.

To build FriCAS with Julia support, the julia executable needs to be available in your PATH, and a simple ./configure --enable-julia should do the trick. We require Julia 1.7 or higher. Please see https://julialang.org/downloads/ for instructions on how to obtain Julia for your system. The required Julia packages are: - Suppressor - Nemo - SpecialFunctions - StyledStrings

And optionnally: - Plots - UnicodePlots (will be used by default) - Latexify - LaTeXStrings

As of now with Clozure CL queues and bordeaux-threads are also required. Use installed quicklisp with queues and bordeaux-threads, and at configure time use the --with-quicklisp option, see the quicklisp documentation for how to load it and install them. Another possibility, easier, is to use roswell with added ccl-bin and queues. GitHub actions for Clozure CL use them to build jlFriCAS.

If you want to visualize your data using Julia, small support is provided using Plots and eventually LaTeXStrings Julia packages.

If you want to use jFriCAS i.e. Jupyter support for FriCAS built with SBCL, make sure hunchentoot is installed. On a Debian like system you can add hunchentoot with sudo apt install cl-hunchentoot and issue, for example, ./configure --enable-gmp --enable-julia --enable-hunchentoot.

A source of information can be found in HTML format here. Take into account that this is absolutely not the official documentation even though it is highly based on the official FriCAS web site which can be built from the FriCAS source code (thanks to Ralf Hemmecke and Kurt Pagani for their amazing work).

If you want to build and install the HTML documentation, you need to install Sphinx. On a Debian like system, to add it, issue in a terminal sudo apt install python3 python3-sphinx. After building FriCAS, and before the installation, issue in your terminal make htmldoc.

Description

The basic goal of FriCAS is to create a free advanced world-class CAS. In 2007 FriCAS forked from Axiom. Currently the FriCAS algebra library is one of the largest and most advanced free general purpose computer algebra systems -- this gives a good foundation to build on. Additionally, the FriCAS algebra library is written in a high level strongly typed language (Spad), which allows natural expression of mathematical algorithms. This makes FriCAS easier to understand and extend.

FriCAS uses lightweight development methodology. Compared to Axiom, FriCAS is significantly restructured -- it is more portable and fixed several defects. FriCAS removed rather large unused parts (without removing functionality).

Goals

Current development goals:

continue structural improvements
add new mathematical algorithms
develop better user interface
develop improved Spad compiler
make it easier for external programs to interface with FriCAS
support for using external mathematical routines from Spad

Caveats

Julia support for FriCAS built with SBCL is/was erratic, depending on the Julia version used and the loaded libraries by Julia. The 1.10.0 version seems to have solved some issues related to memory management interactions with SBCL, but with Julia 1.10.1 and 1.10.2 some problems occur again. Note that with Julia 1.11.* and later, FriCAS seems to work fine again. More work needs to be done in this regard. So, if you use SBCL to build FriCAS, imperatively use a version of Julia that is known to be compatible.

Owner

Name: Greg
Login: gvanuxem
Kind: user
Location: France

Repositories: 2
Profile: https://github.com/gvanuxem

Citation (citation.html)

<!DOCTYPE html>

<html lang="en" data-content_root="./">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />

    <title>Citation &#8212; jlFriCAS</title>
    <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
    <link rel="stylesheet" type="text/css" href="_static/classic.css?v=2bf1fcf8" />
    <link rel="stylesheet" href="_static/style.css" type="text/css" />
    
    <script src="_static/documentation_options.js?v=f5fb567a"></script>
    <script src="_static/doctools.js?v=9bcbadda"></script>
    <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
    
    <link rel="index" title="Index" href="genindex.html" />
    <link rel="search" title="Search" href="search.html" />
    <link rel="next" title="History" href="history.html" />
    <link rel="prev" title="Contributors" href="contributors.html" /> 
  </head><body>
    <div class="related" role="navigation" aria-label="Related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             accesskey="I">index</a></li>
        <li class="right" >
          <a href="history.html" title="History"
             accesskey="N">next</a> |</li>
        <li class="right" >
          <a href="contributors.html" title="Contributors"
             accesskey="P">previous</a> |</li>
        <li class="nav-item nav-item-0"><a href="index.html">jlFriCAS</a> &#187;</li>
        <li class="nav-item nav-item-this"><a href="">Citation</a></li> 
      </ul>
    </div>  

    <div class="document">
      <div class="documentwrapper">
        <div class="bodywrapper">
          <div class="body" role="main">
            
  <section id="citation">
<h1>Citation<a class="headerlink" href="#citation" title="Link to this heading">¶</a></h1>
<section id="how-to-cite-fricas">
<h2>How to cite FriCAS<a class="headerlink" href="#how-to-cite-fricas" title="Link to this heading">¶</a></h2>
<p>If you use jlFriCAS in your research, you should use the
following BibTeX entry to refer to jlFriCAS in any publication.</p>
<div class="highlight-none notranslate"><div class="highlight"><pre><span></span>@Misc{FriCAS,
  key =          {FriCAS},
  author =       {{FriCAS team}},
  year =         {2025},
  title =        {{FriCAS} 1.3.12---an advanced computer algebra system},
  note =         {Available at \url{http://fricas.github.io}}
}
</pre></div>
</div>
</section>
<section id="citations-of-fricas-in-articles-talks-websites-etc">
<h2>Citations of FriCAS in articles, talks, websites, etc.<a class="headerlink" href="#citations-of-fricas-in-articles-talks-websites-etc" title="Link to this heading">¶</a></h2>
<p>In the following we list publications mentioning FriCAS.</p>
<ul class="simple">
<li><p><strong>Waldemar Hebisch</strong> and <strong>Martin Rubey</strong>
(2010):
<a class="reference external" href="https://arxiv.org/abs/math/0702086">Extended RATE, more GFUN</a></p></li>
<li><p><strong>Franz Lehner</strong> and <strong>Stephan Wagner</strong>
(2010):
<a class="reference external" href="https://arxiv.org/abs/1005.2347">Free Lamplighter Groups and a Question of Atiyah</a></p></li>
<li><p><strong>Waldek Hebisch</strong>
(2015):
<a class="reference external" href="https://dl.acm.org/citation.cfm?id=2850460">Integration in terms of exponential integrals and incomplete gamma
functions</a></p>
</li>
<li><p><strong>E. G. Eferina</strong>, <strong>A. V. Korolkova</strong>, <strong>M. N. Gevorkyan</strong>, <strong>D. S.
Kulyabov</strong>, and <strong>L. A. Sevastyanov</strong>
(2015):
<a class="reference external" href="https://arxiv.org/abs/1503.07342">One-Step Stochastic Processes Simulation Software Package</a></p></li>
<li><p><strong>Hans Babovsky</strong> and <strong>Johannes Grabmeier</strong>
(2016):
<a class="reference external" href="http://dx.doi.org/10.1063/1.4967672">Calculus and design of discrete velocity models using computer
algebra</a>
(DOI: <a class="reference external" href="http://dx.doi.org/10.1063/1.4967672">10.1063/1.4967672</a>)</p>
</li>
<li><p><strong>Paul-Olivier Dehaye</strong>, <strong>Michael Kohlhase</strong>, <strong>Alexander
Konovalov</strong>, <strong>Samuel Lelièvre</strong>, <strong>Markus Pfeiffer</strong>, <strong>Nicolas M.
Thiéry</strong>
(2016):
<a class="reference external" href="https://arxiv.org/abs/1603.06424">Interoperability in the OpenDreamKit Project: The Math-in-the-Middle
Approach</a>
(DOI:<a class="reference external" href="https://doi.org/10.1007/978-3-319-42547-4_9">10.1007/978-3-319-42547-4_9</a>)</p></li>
<li><p><strong>Waldek Hebisch</strong>
(2016):
<a class="reference external" href="http://www.math.uni.wroc.pl/~hebisch/other/icms.pdf">Integration in terms of exponential integrals and incomplete
gamma functions (slides)</a>
Talk at <a class="reference external" href="http://icms2016.zib.de/">ICMS</a></p></li>
<li><p><strong>Larry A. Lambe</strong>
(2016):
<a class="reference external" href="https://doi.org/10.1007/s40062-016-0156-9">An Algebraic Study of the Klein Bottle</a>
(DOI: <a class="reference external" href="https://doi.org/10.1007/s40062-016-0156-9">10.1007/s40062-016-0156-9</a>)</p>
</li>
<li><p><strong>Setsuo Takato</strong>, <strong>José A. Vallejo</strong>, <strong>Masataka Kaneko</strong>
(2016):
<a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf">Interfacing KetCindy and CASs, and its Applications to
Scientific Problems Modeling</a>
Talk at <a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/">ACA</a></p></li>
<li><p><strong>Setsuo Takato</strong>, <strong>Alasdair McAndrew</strong>, <strong>Masataka Kaneko</strong>
(2016):
<a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf">Collaborative Use of KeTCindy and Free CASs for
Making Materials</a>
Talk at <a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/">ACA</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2017):
<a class="reference external" href="https://arxiv.org/abs/1706.01806">On the Factorization of Non-Commutative Polynomials (in Free
Associative Algebras)</a></p></li>
<li><p><strong>Ralf Hemmecke</strong>
(2018):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf">Dancing Samba with Ramanujan Partition Congruences</a>
(DOI: <a class="reference external" href="https://doi.org/10.1016/j.jsc.2017.02.001">10.1016/j.jsc.2017.02.001</a>)</p></li>
<li><p><strong>Ralf Hemmecke</strong> and <strong>Silviu Radu</strong>
(2018):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf">Construction of all Polynomial Relations among Dedekind Eta Functions
of Level $N$.</a>
(DOI: <a class="reference external" href="https://doi.org/10.1016/j.jsc.2018.10.001">10.1016/j.jsc.2018.10.001</a>)</p></li>
<li><p><strong>Samuel Miner</strong> and <strong>Jay Pantone</strong>
(2018):
<a class="reference external" href="https://arxiv.org/abs/1802.00483">Completing the Structural Analysis of the 2x4 Permutation Classes</a></p></li>
<li><p><strong>Waldemar Hebisch</strong>
(2018): (does not actually mention FriCAS, but relates to the
integration algorithms in FriCAS)
<a class="reference external" href="https://arxiv.org/abs/1802.05544">Integration in terms of exponential integrals and incomplete gamma
functions I</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2018):
<a class="reference external" href="https://arxiv.org/abs/1809.05425">Free Fractions: An Invitation to (applied) Free Fields</a></p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Silviu Radu</strong>, and <strong>Liangjie Ye</strong>
(2019):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf">The Generators of all Polynomial Relations Among Jacobi Theta
Functions</a>
(DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-030-04480-0_11">10.1007/978-3-030-04480-0_11</a>)</p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Peter Paule</strong>, and  <strong>Silviu Radu</strong>
(2021):
<a class="reference external" href="https://doi.org/10.1080/10652469.2020.1806261">Construction of an Integral Basis for $M^infty(121)$</a>
(DOI: <a class="reference external" href="https://doi.org/10.1080/10652469.2020.1806261">10.1080/10652469.2020.1806261</a>)</p></li>
<li><p><strong>Konrad Schrempf</strong>
(2021):
<a class="reference external" href="https://arxiv.org/abs/1809.05425">Free (rational) derivations</a>
(DOI: <a class="reference external" href="https://doi.org/10.17398/2605-5686.36.1.25">10.17398/2605-5686.36.1.25</a>)</p></li>
<li><p><a class="reference external" href="http://www.sagemath.org">Sage</a> provides an
<a class="reference external" href="http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/fricas.html">interface to FriCAS</a>.</p></li>
<li><p><a class="reference external" href="http://swmath.org/software/5860">swMath</a>
lists FriCAS</p></li>
<li><p><a class="reference external" href="http://www.12000.org/my_notes/CAS_integration_tests/index.htm">Computer Algebra Independent Integration Tests</a></p></li>
<li><p><a class="reference external" href="http://wiki.fricas.org/public/refs/articles.html">Old collection of online articles connected to FriCAS and Axiom</a></p></li>
</ul>
<span class="target" id="jlfricas-mailing-list"></span></section>
</section>


            <div class="clearer"></div>
          </div>
        </div>
      </div>
      <div class="sphinxsidebar" role="navigation" aria-label="Main">
        <div class="sphinxsidebarwrapper">
<h3><a href="index.html">Table of Contents</a></h3>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="api/index.html">jlFriCAS API</a></li>
<li class="toctree-l1"><a class="reference internal" href="features.html">Features</a></li>
<li class="toctree-l1"><a class="reference internal" href="download.html">Download</a></li>
<li class="toctree-l1"><a class="reference internal" href="help.html">Help</a></li>
<li class="toctree-l1"><a class="reference internal" href="examples.html">Examples</a></li>
<li class="toctree-l1"><a class="reference internal" href="development.html">Development</a></li>
<li class="toctree-l1 current"><a class="current reference internal" href="#">Citation</a></li>
<li class="toctree-l1"><a class="reference internal" href="history.html">History</a></li>
</ul>

  <h3>This Page</h3>
  <ul class="this-page-menu">
    <li><a href="_sources/citation.rst.txt"
           rel="nofollow">Show Source</a></li>
    <li><a href="https://github.com/gvanuxem/jlfricas/blob/master/src/doc/sphinx/source/citation.rst"
           rel="nofollow">Show on GitHub</a></li>
    <li><a href="https://github.com/gvanuxem/jlfricas/edit/master/src/doc/sphinx/source/citation.rst"
           rel="nofollow">Edit on GitHub</a></li>
  </ul>
<search id="searchbox" style="display: none" role="search">
  <h3 id="searchlabel">Quick search</h3>
    <div class="searchformwrapper">
    <form class="search" action="search.html" method="get">
      <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
      <input type="submit" value="Go" />
    </form>
    </div>
</search>
<script>document.getElementById('searchbox').style.display = "block"</script>
        </div>
      </div>
      <div class="clearer"></div>
    </div>
    <div class="related" role="navigation" aria-label="Related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             >index</a></li>
        <li class="right" >
          <a href="history.html" title="History"
             >next</a> |</li>
        <li class="right" >
          <a href="contributors.html" title="Contributors"
             >previous</a> |</li>
        <li class="nav-item nav-item-0"><a href="index.html">jlFriCAS</a> &#187;</li>
        <li class="nav-item nav-item-this"><a href="">Citation</a></li> 
      </ul>
    </div>
    <div class="footer" role="contentinfo">
    &#169; Copyright 2007-2025, FriCAS Team.
    </div>
  </body>
</html>

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science