next up previous
Next: Examples Up: Using GRÖBNER as a Previous: xgroebner

 

Using Available Tools

In this section, we shall illustrate how the tools described in Section 4 can be used.

Before starting groebner the user has to decide the following issues:

After having decided about the above questions, groebner_setup is employed to accomplish the requested changes in the setup.

After finishing the setup, call groebner or xgroebner. Unless the -f option is given, the libraries are recompiled (if necessary) before the application program is started. If you do not want to start the application immediately, call mkgroebner instead.

Therefore, the sequence of steps is as follows:

  1. Decide about desired setup,
  2. Setup libraries by using groebner_setup,
  3. Call groebner, xgroebner, or mkgroebner.




windsteiger wolfgang
Wed Sep 2 09:42:51 MDT 1998