Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
SetterAssumptions Package
This paclet defines helper functions for making, removing, and displaying assumptions about variables. Additionally, the Restart command clears all variables in memory, which is useful to include at the top of code. Finally, the FrameAndStore command displays a nice, framed image of the final answer to a calculation and stores it to a variable.
— adds assumption(s) to the global variable $Assumptions
— make assumption that variable(s) are positive real numbers
— make assumption that variable(s) are real numbers
— make assumption that variable(s) are integers
— removes any assumptions mentioning variable(s)
— removes all assumptions about all variables
— returns the list of assumptions currently in effect
— applies ClearAll to all variables in the Global` context
— returns a framed image of var = val and stores val into the variable var
— returns a framed image of var = MatrixForm[val] and stores val into the variable var
""