Rational is the head used for rational numbers.
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.
TranslationTransform[v] gives a TransformationFunction that represents translation of points by a vector v.
$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 ...
Mathematica uses the Microsoft math recognizer that is built into Windows 7 to recognize handwritten mathematical expressions. This allows you to enter handwritten ...