I haven't used it yet, but it has an excellent reputation. In particular it is said to be able to compete with Magma over the rationals. Michael
On 4 Apr., 16:16, Martin Albrecht <[EMAIL PROTECTED]> wrote: > Hi there, > > I made an SPKG for Ginv. > > http://wwwb.math.rwth-aachen.de/Janet/ginv.html > > Ginv is a small C++/Python package for computing involutive bases for > polynomial and differential systems. Or in the words of the website: > > > > > > > ginv implements the involutive basis algorithm by V. P. Gerdt and Y. A. > > Blinkov in C++. For a list of the main features, please see below. > > > Moreover, the implemented computational methods are made accessible by ginv > > to a higher level programming language as a Python module. > > > ginv is designed so as to be able to deal with polynomial systems, systems > > of differential equations, and finite difference schemes in the future. > > > Some features of ginv (see Publications for more information): > > * Janet division and Janet-like division > > > * implementation of several selection strategies for the involutive basis > > algorithm > > > * 4 involutive criteria to avoid unnecessary reductions during involutive > > basis computations > > > * Monomial orderings supported by ginv: > > degree reverse lexicographical, pure lexicographical, block orderings; their > > extensions to "term over position" and "position over term" orderings in the > > case of modules > > > * Coefficient domains supported by ginv: > > rational numbers, integers, finite fields, algebraic extensions of the > > previous fields, transcendental extensions of the previous fields > > Note that this includes some rings (e.g. ZZ)! > > > implementations of gcd algorithms for multivariate polynomials following W. > > S. Brown and R. Zippel > > I couldn't figure out yet how to call it. Anyone? > > --- > > I haven't played with it much yet but I was quite pleasantly surprised to come > across it, since I thought I'd seen them all (systems for computing Gröbner > bases). Does anyone on this list know this package? > > -- > > To play with it, get the SPKG from: > > http://sage.math.washington.edu/home/malb/ginv-1.2-20080404.spkg > > and some very simple interface from: > > http://sage.math.washington.edu/home/malb/basis_via_ginv.py > > The manual is at: > > http://invo.jinr.ru/ginv/users_guide_en/index.html > > Cheers, > Martin > -- > name: Martin Albrecht > _pgp:http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 > _www:http://www.informatik.uni-bremen.de/~malb > _jab: [EMAIL PROTECTED] --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
