Synopsis:
The contents of s are treated as code in the Macaulay 2 language, parsed it in its own scope (the same way a file is) and evaluated. The string may even contain multiple lines.
i1 : value "2 + 2" |
i2 : value "a := 33 |
i3 : a |
Since the local assignment to a above occurred in a new scope, the value of the global variable a is unaffected.