<TeXmacs|1.0.6.12>

<style|mmxdoc>

<\body>
  <tmweb-current|Web|Packages><tmdoc-title*|<name|Mathemagix> packages|<mmxweb-main-links>>

  \;
  <section*|<verbatim|automagix>>

  <strong|Description:> Generation tools for configuration and glue files via Autotools.

  <strong|Version:> 0.1

  <section*|<hlink|<verbatim|basix>|../../../../basix/doc/texmacs/index.en.tm>>

  <strong|Description:> Basic data types: symbols, lists, arrays, hash tables, etc.
A system for generic objects.
Parsers and pretty printers, together with a system for keeping
track of locations in the source code and generating error messages.
Important operators and categories for systematic use throughout the project.
The mmx glue facility, both for interpreters and functionality.

  <strong|Version:> 0.5.1


  <strong|External dependencies:> <verbatim|libtool>, <verbatim|bison>, <verbatim|readline>

  <section*|<verbatim|mmancient>>

  <strong|Description:> Ancient version of the Mathemagix compiler

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|basix>

  <section*|<verbatim|mmcompileregg>>

  <strong|Description:> The upcoming Mathemagix egg compiler

  <strong|Version:> 1.0.2


  <strong|Dependencies:> <verbatim|basix>

  <section*|<hlink|<verbatim|mmcompiler>|../../../../mmcompiler/doc/texmacs/index.en.tm>>

  <strong|Description:> The upcoming Mathemagix compiler

  <strong|Version:> devel


  <strong|Dependencies:> <verbatim|basix>, <verbatim|mmcompileregg>

  <section*|<verbatim|mcoq>>

  <strong|Description:> Coq interface for use with TeXmacs.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|mmcompiler>

  <section*|<verbatim|mmail>>

  <strong|Description:> Coq interface for use with TeXmacs.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|mmcompiler>

  <section*|<hlink|<verbatim|mmxtools>|../../../../mmxtools/doc/texmacs/index.en.tm>>

  <strong|Description:> Tools to generate configuration and glue files for Mathemagix packages.

  <strong|Version:> 0.1

  <section*|<verbatim|msqlite3>>

  <strong|Description:> Mathemagix interface for sqlite3.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|basix>, <verbatim|mmcompiler>


  <strong|External dependencies:> <verbatim|sqlite3>

  <section*|<hlink|<verbatim|numerix>|../../../../numerix/doc/texmacs/index.en.tm>>

  <strong|Description:> Interfaces integer, rational with Gmp and floating with Mpfr.
Modular arithmetic.
Complexified numbers.
Intervals and balls for certified arithmetic.
Wrapper for computable numbers.

  <strong|Version:> 0.8


  <strong|Dependencies:> <verbatim|basix>


  <strong|External dependencies:> <verbatim|gmp>, <verbatim|mpfr>

  <section*|<hlink|<verbatim|algebramix>|../../../../algebramix/doc/texmacs/index.en.tm>>

  <strong|Description:> Dense vectors, matrices and polynomials in the monomial basis.
Formal power series and skew polynomials.

  <strong|Version:> 0.6.1


  <strong|Dependencies:> <verbatim|numerix>

  <section*|<hlink|<verbatim|analyziz>|../../../../analyziz/doc/texmacs/index.en.tm>>

  <strong|Description:> Some first and improvable routines for numerical matrices and polynomials.
Some basic utilities for holonomic functions.
First slow version of analytic functions and analytic continuation.

  <strong|Version:> 0.3


  <strong|Dependencies:> <verbatim|algebramix>

  <section*|<verbatim|finitefieldz>>

  <strong|Description:>  Finite fields. 

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|algebramix>


  <strong|External dependencies:> <verbatim|mpfq>

  <section*|<hlink|<verbatim|graphix>|../../../../graphix/doc/texmacs/index.en.tm>>

  <strong|Description:> 2D Graphics for TeXmacs.

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|analyziz>

  <section*|<verbatim|holonomix>>

  <strong|Description:>  Skew differential operators and holonomic functions. 

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|analyziz>

  <section*|<verbatim|lattiz>>

  <strong|Description:> Algorithms for Lattices.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|analyziz>


  <strong|External dependencies:> <verbatim|fplll>

  <section*|<verbatim|linalg>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|analyziz>


  <strong|External dependencies:> <verbatim|blas>, <verbatim|lapack>

  <section*|<hlink|<verbatim|borderbasix>|../../../../borderbasix/doc/texmacs/index.en.tm>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.1.3


  <strong|Dependencies:> <verbatim|linalg>


  <strong|External dependencies:> <verbatim|gmpxx>, <verbatim|mpfr>

  <section*|<verbatim|lindalg>>

  <strong|Description:> Linear differential algebra routines.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|analyziz>, <verbatim|mmcompiler>

  <section*|<verbatim|mgf2x>>

  <strong|Description:> Optimized univariate polynomials over F_2.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|algebramix>


  <strong|External dependencies:> <verbatim|gf2x>

  <section*|<hlink|<verbatim|mmaple>|../../../../mmaple/doc/texmacs/index.en.tm>>

  <strong|Description:> Interface with Maple

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|algebramix>


  <strong|External dependencies:> <verbatim|maple>

  <section*|<hlink|<verbatim|mpari>|../../../../mpari/doc/texmacs/index.en.tm>>

  <strong|Description:> Interface with Pari/GP

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|algebramix>


  <strong|External dependencies:> <verbatim|pari>

  <section*|<hlink|<verbatim|realroot>|../../../../realroot/doc/texmacs/index.en.tm>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.1.1


  <strong|Dependencies:> <verbatim|numerix>

  <section*|<verbatim|mmps>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|numerix>, <verbatim|realroot>

  <section*|<hlink|<verbatim|runtime>|../../../../runtime/doc/texmacs/index.en.tm>>

  <strong|Description:> Runtime utilities.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|basix>


  <strong|External dependencies:> <verbatim|lightning>, <verbatim|opencl>

  <section*|<hlink|<verbatim|justinline>|../../../../justinline/doc/texmacs/index.en.tm>>

  <strong|Description:> Runtime utilities for straight-line programs.

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|mmcompiler>, <verbatim|runtime>, <verbatim|algebramix>

  <section*|<hlink|<verbatim|multimix>|../../../../multimix/doc/texmacs/index.en.tm>>

  <strong|Description:> Polynomials, series, and jets with several variables.

  <strong|Version:> 0.7


  <strong|Dependencies:> <verbatim|analyziz>, <verbatim|justinline>

  <section*|<hlink|<verbatim|continewz>|../../../../continewz/doc/texmacs/index.en.tm>>

  <strong|Description:> (Still experimental) package for numerical homotopy continuation.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|multimix>

  <section*|<hlink|<verbatim|factorix>|../../../../factorix/doc/texmacs/index.en.tm>>

  <strong|Description:> Polynomial factorization and related algorithms.

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|finitefieldz>, <verbatim|multimix>, <verbatim|lattiz>


  <strong|External dependencies:> <verbatim|mpari>

  <section*|<hlink|<verbatim|geomsolvex>|../../../../geomsolvex/doc/texmacs/index.en.tm>>

  <strong|Description:> Implementation of the Kronecker polynomial solver
for a reduced regular sequence

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|multimix>

  <section*|<verbatim|gregorix>>

  <strong|Description:>  Polynomial factorization and related algorithms. 

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|factorix>


  <strong|External dependencies:> <verbatim|mfgb>

  <section*|<hlink|<verbatim|lacunaryx>|../../../../lacunaryx/doc/texmacs/index.en.tm>>

  <strong|Description:> Lacunary factorization and related algorithms.

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|factorix>

  <section*|<hlink|<verbatim|mblad>|../../../../mblad/doc/texmacs/index.en.tm>>

  <strong|Description:> Interface to the BLAD libraries for differential algebra
(http://www.lifl.fr/~boulier).

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|multimix>


  <strong|External dependencies:> <verbatim|blad>

  <section*|<hlink|<verbatim|mfgb>|../../../../mfgb/doc/texmacs/index.en.tm>>

  <strong|Description:> Wrapper for Fgb software (http://www-salsa.lip6.fr/~jcf/)

  <strong|Version:> 0.3


  <strong|Dependencies:> <verbatim|multimix>


  <strong|External dependencies:> <verbatim|fgb>

  <section*|<verbatim|larrix>>

  <strong|Description:>  Polynomial reduction for generic bivariate ideals 

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|algebramix>


  <strong|External dependencies:> <verbatim|mfgb>

  <section*|<verbatim|quintix>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|algebramix>, <verbatim|multimix>, <verbatim|finitefieldz>, <verbatim|numerix>, <verbatim|factorix>

  <section*|<hlink|<verbatim|shape>|../../../../shape/doc/texmacs/index.en.tm>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.1


  <strong|Dependencies:> <verbatim|realroot>

  <section*|<verbatim|symbolix>>

  <strong|Description:> Basic arithmetic on symbolic expressions.
Basic calculus: differentiation, substitution and
an overly simple solver.

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|algebramix>

  <section*|<verbatim|asymptotix>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|multimix>, <verbatim|symbolix>

  <section*|<verbatim|columbus>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|asymptotix>, <verbatim|continewz>


  <strong|External dependencies:> <verbatim|qt>

  <section*|<verbatim|jorix>>

  <strong|Description:> Mathemagix package

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|asymptotix>, <verbatim|continewz>

  <section*|<hlink|<verbatim|mmxlight>|../../../../mmxlight/doc/texmacs/index.en.tm>>

  <strong|Description:> The mathemagix interpreter.

  <strong|Version:> 0.4


  <strong|Dependencies:> <verbatim|basix>

  <section*|<hlink|<verbatim|caas>|../../../../caas/doc/texmacs/index.en.tm>>

  <strong|Description:> Computer Algebra and Analysis System.

  <strong|Version:> 0.2


  <strong|Dependencies:> <verbatim|mmcompiler>, <verbatim|algebramix>

  <tmdoc-copyright|2008|Bernard Mourrain|Joris van der Hoeven>

  <tmdoc-license|Permission is granted to copy, distribute and/or modify this
  document under the terms of the <hlink|GNU General Public
  License|http://www.gnu.org/licenses/gpl.txt>. If you don't have this file,
  write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  Boston, MA 02111-1307, USA.>
</body>

<\initial>
  <\collection>
    <associate|preamble|false>
  </collection>
</initial>