Description
The Macaulay2 interpreter compiles its language into pseudocode, which is evaluated later, step by step. At each step, the evaluator is considering a pseudocode item. These pseudocode items are normally not available to the user, but the internal function
disassemble can display their contents, the function
pseudocode can convert a function closure to pseudocode, the function
value can evaluate it (bindings of values to local symbols are enclosed with the pseudocode), the operator
=== can be used for equality testing, and when the debugger is activated after an error, the variable
current contains the pseudocode step whose execution produced the error.