Polynomial Evaluation and Substitution

The function eval is used to substitute values into polynomials. Here's an example of how to use it:

This example would give you the value of the polynomial p at 5. You can also substitute into polynomials with several variables. First, specify the polynomial, then give a list of the bindings of the form

      variable = value

For examples:

Here x was replaced by a+b, and y was replaced by c+d.

Substitution is done "in parallel". That is, Axiom takes q(x,y) and returns q(y,x). You can also substitute numerical values for some or all of the variables.