The GANITH algebraic geometry toolkit

Short Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 429)


We are building a general-purpose tool for computing and visualizing solutions to systems of algebraic equations. Diverse algorithms exist for this problem and related sub-problems, and we shall incorporate several of them. We are also developing a new set of solution techniques using multi-polynomial resultants and birational maps between arbitrary algebraic sets and hypersurfaces. Our designed tool shall be portable and allow rapid prototyping of new and existing algorithms, in an intelligent blend of algebraic and numeric methods, and real solutions. Complex solutions can also be computed, but visualizing them is difficult. The software shall also take advantage of any parallel hardware that is present. In all, we anticipate improving the state of the art of algebraic equation solving by devising novel techniques, blending existing methods to form new ones, and comparing the relative efficacy of the various methods.

A prototype system implementing some of these goals is built and evolving. It is written in Common Lisp and C, and runs under version 11 of the X window system. The system is portable to any machine that runs vanilla Common Lisp, supports the X window system, and has at least a rudimentary Lisp/C interface. At the present time it can solve systems of up to two equations in any number of variables. Example applications of this are curve and surface display, curve-curve intersections, surface-surface intersections, etc. A graphical user interface allows the display and manipulation of 0D (points), 1D (curves) or 2D (surface) solutions.


Graphical User Interface Surface Display Output Window Window System Common Lisp 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    Bajaj, C., and Royappa, A., (1989), “GANITH: A Package for Algebraic Geometry”, Comp. Science Tech. Rept. 914, and CAPO report CER-89-21, Purdue University.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  1. 1.Department of Computer SciencePurdue UniversityWest Lafayette

Personalised recommendations