Existe jah um antigo request para este pacote de computacao algebrica e simbolica. Ele faz calculo ed bases de Groebner que nem mesmo o Maxima (excelente por sinal!) faz.
Estou entao http://bugs.debian.org/132257 Se tiver alguem que possa fazer a adaptaco me disponho a testa-lo. Ah, ele tem uma interface opcional para Emacs, nao sei se isto complica em demasiado o problema Do texto: Package: wnpp Severity: wishlist * Package name : macaulay2 Version : 0.9.2 Upstream Author : Daniel Grayson <[EMAIL PROTECTED]>, Michael Stillman <[EMAIL PROTECTED]> * URL : http://www.math.uiuc.edu/Macaulay2/ * License : GPL Description : Computer commutative algebra system This is a specialized computer algebra program which can perform many calculations related to commutative algebra and algebraic geometry. Outro pacote nas mesmas condicoes eh CoCoa que tb eh de dominio publico e tb faz calculos com bases de Groebner e tb tem uma interface para o Emacs ftp://cocoa.dima.unige.it/cocoa/index.html -

