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 -~----------~----~----~----~------~----~------~--~---
