This procedure may be used if one of the equation indicates that the
scalar product of two vectors must have some given value. Hence such
equation may be written as:

where the are unknowns and the unknowns or constants.

A typical use of this procedure is given below, assuming that you have
a list of equations `EQ` and a list of variable `VAR`:

eq1:=(x1-3)*(x2-4)+(y1-1)*(y2-4)-10: SimpAngle([eq1],VAR,"SS"): GeneralSolve(EQ,VAR,Init,"SS"):Here the procedure generate the C++ procedure

There is an optional last argument to this procedure which is a floating point number . If during the simplification there is change in the interval for a variable such that the width of the new range is lower by more than from the width of the initial range, then the simplification process will be repeated until either the procedure detect that there is no solution to the system or that no change occur in the variable or that the amplitude of the change is lower than .