up previous next

3.3.2 Algebraic Operators

The algebraic operators are:

      +  -  *  /  :  ^

The following table shows which operations the system can perform between two objects of the same or of different types; the first column lists the type of the first operand and the first row lists the type of the second operand. So, for example, the symbol : in the box on the seventh row and fourth column means that it is possible to divide an ideal by a polynomial.

       INT    RAT    ZMOD   POLY   RATFUN  VECTOR IDEAL MODULE MAT LIST
INT    +-*/^  +-*/   *      +-*/   +-*/     *     *     *      *   *
RAT    +-*/^  +-*/          +-*/   +-*/     *     *     *      *   *
ZMOD   *^            +-*/   +-*/   +-*/     *     *     *      *   *
POLY   +-*/^  +-*/   +-*/   +-*/   +-*/     *     *     *      *   *
RATFUN +-*/^  +-*/   +-*/   +-*/   +-*/                        *   *
VECTOR *      *      *      *               +-
IDEAL  *^     *      *      *                     +*:   *
MODULE *      *      *      *                     *     +:
MAT    *^     *      *      *      *                           +-*
LIST   *      *      *      *      *                               +-

                           Algebraic operators

Remarks:

* Let F and G be two polynomials. If F is a multiple of G, then F/G is the polynomial obtained from the division of F by G, otherwise F/G is a rational function (common factors are simplified). The functions Div and Mod can be used to get the quotient and the remainder of a polynomial division.

* Let L_1 and L_2 be two lists of the same length. Then L_1 + L_2 is the list obtained by adding L_1 to L_2 componentwise.

* If I and J are both ideals or both modules, then I : J is the ideal consisting of all polynomials f such that fg is in I for all g in J.