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:

• Which coefficient domain do I want to use?
• Which term ordering do I want to use?
• Which pair ordering do I want to use?
• Which level of trace information do I want to use?

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.

• Examples