©1998 Research Institute for Symbolic Computation (RISC-Linz)
This package contains commands for handling object variables. In our setting, an object variable is a Mathematica symbol with the list of attributes {Temporary}.
Syntax calls
NewX[ ];
NewY[ ];
NewC[ ];
Output
NewX[ ] returns a Temporary variant of symbol x
NewY[ ] returns a Temporary variant of symbol y
NewC[ ] returns a Temporary variant of symbol c
Implementation
Syntax call
IsVar[ t ]
Input
a term t
Output
True if t is a symbol with attribute Temporary
False otherwise
Implementation
Syntax call
Var[ term ]
Input
term : a term
Output
the list of variables of term (i.e. Mathematica symbols with attribute Temporary)
Implementation
Syntax call
SetVariables[{ , ... , }]
Input
a list of Mathematica symbols or type annotated symbols
Effect
declare variables , ... , , i.e. set their list of attributes to {Temporary}
Output
{, ... , }
Implementation
Syntax call
ClearVariables[{, ... , }]
Input
a list of Mathematica symbols
Effect
undeclare the variables , ... , , i.e. set their list of attributes to { }
Output
{, ... , }
Implementation