— Command: eliminate [eqn_1 eqn_2 ...] [var_1 var_2 ...]

Here eqn_i is an equation for i = 1 ... n and where var_j is a variable for j = 1 ... m. eliminate returns a list of equations obtained by eliminating the variables var_1, ..., var_m from the equations eqn_1, ..., eqn_n.

          e39 : eliminate([x^2+y=0,x^3+y=0],[x]);
          
                          2
          e39: 0 = - y - y
          
          e40 : eliminate([x+y+z=3,x^2+y^2+z^2=3,x^3+y^3+z^3=3],[x,y]);
          
          e40: 0 = 1 - z

— Command: suchthat var eqn

The equation eqn must contain an occurence of variable var. suchthat returns an expression for all complex values of var satisfying eqn. suchthat is useful for extracting an expression from an equation.

          e0 : a*x+b*y+c = 0;
          
          e0: 0 = c + a x + b y
          
          e1 : suchthat(x, e0);
          
              - c - b y
          e1: ---------
                  a

— Command: suchthat var exp

If an expression rather than an equation is given to suchthat, it is as though the equation exp=0 was given.

          e2 : suchthat(x, e0);
          
              - c - b y
          e2: ---------
                  a

— Operator: | var exp_or_eqn

An alternative infix notation is also available for suchthat.

When used in combination with the ‘{ }’ notation for or, the set notation used by some textbooks results.

If var in eqn has multiple roots, a named field extension will be introduced to represent any one of those roots. When multiple values are returned, the result (in disp2d and standard grammars) is wrapped with ‘{ }’.

          e3 : x | a*x^2 + b*x + c;
          
                                         2
          ext3: {:@ | 0 = c + b :@ + a :@ }
          e3: ext3
          
          e4 : e3 ^ 2;
          
              - c - b ext3
          e4: ------------
                   a

— Command: extrule extsym

Returns the rule defining named field extension extsym.

          e5 : extrule(ext3);
          
                                     2
          e5: 0 = c + b ext3 + a ext3

— Command: or expr_1 ...
— Command: or eqn_1 ...

The function or takes as inputs one or more equations or values. If the inputs are equations, then or returns an equation which is equivalent to the assertion that at least one of the input equations holds. If the inputs to or are values instead of two equations, then the function or returns a multiple value. If the inputs to or consist of both equations and values, then or will return the multiple values.

          e1 : or(x=2,y=3);
          
          e1: 0 = -6 + 3 x + (2 - x) y
          
          e2 : or(2,3);
          
                                      2
          e2: {:@ | 0 = -6 + 5 :@ - :@ }
          
          e3 : e2^2;
          
                                        2
          e3: {:@ | 0 = -36 + 13 :@ - :@ }
          
          e4 : or(x=2,17);
          
          e4: 17

‘{eqn, ... }’ can be used as an alternate syntax for or:

          e5 : {+1, -1};
          
                               2
          e5: {:@ | 0 = -1 + :@ }