Definitions for "Ginette "
Ginette helps students solve equations and linear systems. It reads the equations from a text file, and for each equation, the student has to choose between a few operations to gradually come to the equation's solution. The symbolic computation used is based on the GINAC library.