 |
 |
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
External dependencies: libtool
graphix
Description: 2D and 3D Graphics for TeXmacs.
Version: 0.1
mmancient
Description: Ancient version of the Mathemagix compiler
Version: 0.2
Dependencies: basix
mmcompiler
Description: The upcoming Mathemagix compiler
Version: 0.2
Dependencies: basix
External dependencies: readline
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
finitefieldz
Description: Finite fields.
Version: 0.1
Dependencies: algebramix
External dependencies: mpfq
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: numerix, algebramix, analyziz
External dependencies: blas, lapack
mgf2x
Description: Optimized univariate polynomials over F_2.
Version: 0.1
Dependencies: algebramix
External dependencies: gf2x
mlinbox
Description: Fast linear algebra for integers, rational numbers, finite fields and more.
Version: 0.1
Dependencies: numerix
External dependencies: linbox
multimix
Description: Mathemagix package
Version: 0.4
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
gregorix
Description: Polynomial factorization and related algorithms.
Version: 0.1
Dependencies: multimix, lattiz
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
newmac
Description: Mathemagix package
Version: 0.1
Dependencies: basix, numerix, linalg, realroot
External dependencies: gmp
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