Please do drop in (room 437 IT Building) or send an email
(michael.mcgettrick@nuigalway.ie)
for more info on this project.
1. DEVELOPMENT OF OGB (Online
Gröbner Basis) VERSION 2.0
This project is based on the software OGB at
http://grobner.nuigalway.ie/
, version 1.0. The major work for version 2.0 will be to add arbitrary
term ordering to
the terms
x1bij1
x2bij2
x3bij3
. . .
xrbijr
of r variables x1, x2, x3, . .
. xr.
Version 1.0 of OGB allows only one ordering (lexicographic). Other
orderings have turned out to be useful for various calculations, and often
give a quicker result. Term orderings are specified in a consistent manner
by listing an r-vector with certain properties [1]: It will be a task of
the project to make sure the software only allows the user to enter
admissible orderings. OGB uses APACHE, LINUX, PHP, GMP.
An interest in/knowledge of (some of) these, and mathematics,
would help in the project.
[1]
Robbiano, L. (1985). Term orderings on the polynomial ring. In: Caviness, B.F.
(ed.), EUROCAL '85, European Conference on Computer Algebra,
Vol. II, Springer LNCS 204, 513-517.