home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math.symbolic
- Path: sparky!uunet!cs.utexas.edu!torn!pulp.cs.laurentian.ca!ramsey.cs.laurentian.ca!steve
- From: steve@ramsey.cs.laurentian.ca (Stephen R. Czapor)
- Subject: Re: Maple V Release 2
- Message-ID: <1992Nov21.214127.15382@ramsey.cs.laurentian.ca>
- Keywords: Maple V Release 2 Groebner
- Sender: news@ramsey.cs.laurentian.ca (USENET News System)
- Organization: Dept. of Computer Science, Laurentian University, Sudbury, ON
- References: <1992Nov17.175815.20205@neptune.inf.ethz.ch> <1992Nov19.123922.7991@alf.uib.no>
- Date: Sat, 21 Nov 1992 21:41:27 GMT
- Lines: 35
-
- In article <1992Nov19.123922.7991@alf.uib.no> stromme@mi.uib.no (Stein Arild Stromme) writes:
- >What about the grobner package? Is nothing new here? Still no other
- >term orders than tdeg and plex? Please, Maple!
- >
- >Stein
-
- Unfortunately, nothing new (other than bug fixes) made it into
- the Groebner basis package this time. I have written some code for
- a number of additions, including:
- - choice of finite field coefficients
- - other choices of term orderings
- - faster computation of lexicographic bases through
- a non-standard selection strategy
- - basis conversion (e.g. total degree to lexicographic)
- - computation of matrices X, Y, R such that
- X F = gbasis(F), Y gbasis(F) = F, R gbasis(F) = 0
- However, as a "part-time developer" with other responsibilities,
- installation of new code has taken a back seat.
-
- This is not to say that these additions will not be made soon.
- As things are completed, they will likely be installed in the
- share library (until appearing in the next release).
-
- I should also add that, apart from bug reports, I have heard
- _relatively_ few requests for extensions to the grobner package.
- This is changing, as more people actually start to use it.
- Could you (and any other interested parties) post your "wish-
- list", so that we can establish some development priorities ?
- (In particular, what specifically would you like to see re-
- garding options for term orderings ?)
-
- ----------------------------------------------------------------------
- Stephen R. Czapor (steve@ramsey.cs.laurentian.ca)
- Dept. of Mathematics & Computer Science
- Laurentian University, Sudbury, Ontario, Canada
-