eval ( expression
- evaluates (quoted) expressions. Within a quoted expression, the
quote can be "undone" by an
eval (i.e., each eval "undoes" the
effect of exactly one quote). Used only when receiving a quoted expression
from an ssi link,
prevent local evaluations when writing to an ssi link.
link l="ssi:w example.ssi";
// compute i+j before writing, but not std
// this writes 'std(ideal(x3,...,z))'
write (l, quote(std(eval(i+j))));
// now read it in again and evaluate
// read(l) forces to compute 'std(ideal(x3,...,z))'