SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...
SeedRandom[n] resets the pseudorandom generator, using n as a seed. SeedRandom[] resets the generator, using as a seed the time of day and certain attributes of the current ...
ShortestPathFunction[type, data] represents a function that gives the shortest path from a source vertex s to target vertex t in a graph.
Show
(Built-in Mathematica Symbol) Show[graphics, options] shows graphics with the specified options added. Show[g_1, g_2, ...] shows several graphics combined.
$IterationLimit gives the maximum length of evaluation chain used in trying to evaluate any expression.
$MessagePrePrint is a global variable whose value, if set, is applied to expressions before they are included in the text of messages.
When you set up mathematical formulas, you often have to introduce various kinds of local objects or "dummy variables". You can treat such dummy variables using modules and ...
$PrintServiceRequest uses the Mathematica Print function to print the message sent to a web service.
$PrintServiceResponse uses the Mathematica Print function to print the message received from a web service before it is deserialized into a Rule syntax expression.
Palettes are like extensions of your keyboard. They can be used to perform many actions in Mathematica, including entering typesetting characters, styling notebooks, and ...