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.