TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
KASH3 Reference Manual
search    

Function

Evaluate ( elt-alg^pol f, elt-rng x ) -> elt-rng

Description

Evaluate f with the given value x substituted for the variable of f.

Examples

x_p1:= ZX.1^2 + ZX.1 - 1; Evaluate(x_p1,1);
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group