Mathemagix packages
Home | Download | Language | Packages | Develop | Contact | Jobs | Search

automagix

Description: Generation tools for configuration and glue files via Autotools.

Version: 0.1

basix

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.

Version: 0.4.1

External dependencies: libtool, bison, readline

borderbasix

Description: Mathemagix package

Version: 0.1

External dependencies: gmpxx, mpfr

mmancient

Description: Ancient version of the Mathemagix compiler

Version: 0.2

Dependencies: basix

mmcompileregg

Description: The upcoming Mathemagix egg compiler

Version: 1.0.1

Dependencies: basix

mmcompiler

Description: The upcoming Mathemagix compiler

Version: devel

Dependencies: basix, mmcompileregg

mcoq

Description: Coq interface for use with TeXmacs.

Version: 0.1

Dependencies: mmcompiler

mmail

Description: Coq interface for use with TeXmacs.

Version: 0.1

Dependencies: mmcompiler

mmxtools

Description: Tools to generate configuration and glue files for Mathemagix packages.

Version: 0.1

numerix

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

Version: 0.4

Dependencies: basix

External dependencies: gmp, mpfr

algebramix

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

Version: 0.3

Dependencies: numerix

analyziz

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.

Version: 0.3

Dependencies: algebramix

caas

Description: Computer Algebra and Analysis System.

Version: 0.2

Dependencies: mmcompiler, algebramix

finitefieldz

Description: Finite fields.

Version: 0.1

Dependencies: algebramix

External dependencies: mpfq

graphix

Description: 2D Graphics for TeXmacs.

Version: 0.2

Dependencies: analyziz

holonomix

Description: Skew differential operators and holonomic functions.

Version: 0.4

Dependencies: analyziz

lattiz

Description: Algorithms for Lattices.

Version: 0.1

Dependencies: analyziz

External dependencies: fplll

linalg

Description: Mathemagix package

Version: 0.1

Dependencies: analyziz

External dependencies: blas, lapack

mgf2x

Description: Optimized univariate polynomials over F_2.

Version: 0.1

Dependencies: algebramix

External dependencies: gf2x

mmaple

Description: Interface with Maple

Version: 0.1

Dependencies: algebramix

External dependencies: maple

mpari

Description: Interface with Pari/GP

Version: 0.1

Dependencies: algebramix

External dependencies: pari

multimix

Description: Polynomials, series, and jets with several variables

Version: 0.6

Dependencies: analyziz

continewz

Description: (Still experimental) package for numerical homotopy continuation.

Version: 0.1

Dependencies: multimix

factorix

Description: Polynomial factorization and related algorithms.

Version: 0.1

Dependencies: finitefieldz, multimix, lattiz

External dependencies: mpari

geomsolvex

Description: Implementation of the Kronecker polynomial solver for a reduced regular sequence

Version: 0.1

Dependencies: multimix

gregorix

Description: Polynomial factorization and related algorithms.

Version: 0.1

Dependencies: multimix, lattiz

External dependencies: mfgb

lacunaryx

Description: Lacunary factorization and related algorithms.

Version: 0.1

Dependencies: factorix

mblad

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

Version: 0.1

Dependencies: multimix

External dependencies: blad

mfgb

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

Version: 0.1

Dependencies: multimix

External dependencies: fgb

quintix

Description: Mathemagix package

Version: 0.1

Dependencies: algebramix, multimix, finitefieldz, numerix, factorix

realroot

Description: Mathemagix package

Version: 0.1.1

Dependencies: numerix

mmps

Description: Mathemagix package

Version: 0.1

Dependencies: numerix, realroot

polytopix

Description: Mathemagix package

Version: 0.1

Dependencies: numerix, linalg, realroot

External dependencies: cdd

shape

Description: Mathemagix package

Version: 0.1

Dependencies: realroot

symbolix

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

Version: 0.4

Dependencies: algebramix

asymptotix

Description: Mathemagix package

Version: 0.4

Dependencies: multimix, symbolix

columbus

Description: Mathemagix package

Version: 0.4

Dependencies: asymptotix, continewz

External dependencies: qt

jorix

Description: Mathemagix package

Version: 0.4

Dependencies: asymptotix, continewz

mmxlight

Description: The mathemagix interpreter.

Version: 0.4

Dependencies: basix

External dependencies: readline

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License. If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.