Basic principles

Many of the algorithm existing in the ALIAS-C++ library can be used directly from Maple. Their efficiency may be improved by using the simplification procedures described in the previous chapter.

All these procedures use the same mechanism:

• they generate the C++code specific for the problem at hand (using the ALIAS-Maple procedures Make[FJH])
• they generate a main program that call specific algorithms of the ALIAS-C++ library
• the C++ code is compiled into an executable program
• the executable program is run and the result is written in a file
• the procedure read the result file and returns the result in Maple format

All these procedures allow for an optional last argument which is the name of a simplification procedure (see chapter 4).

There are numerous parameters that allows to change the behavior of the solving procedures: they are described in the section 3.5.