BooleanConvert (Built-in Mathematica Symbol)

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

Computational Geometry (Mathematica Guide)

Mathematica's strengths in algebraic computation and graphics as well as numerics combine to bring unprecedented flexibility and power to geometric computation. Making ...

NumberFieldDiscriminant (Built-in Mathematica Symbol)

NumberFieldDiscriminant[a] gives the discriminant of the field \[DoubleStruckCapitalQ][a] generated by the algebraic number a.

Logic & Boolean Algebra (Mathematica Guide)

Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

NumberFieldRegulator (Built-in Mathematica Symbol)

NumberFieldRegulator[a] gives the regulator of the field \[DoubleStruckCapitalQ][a] generated by the algebraic number a.

NumberFieldFundamentalUnits (Built-in Mathematica Symbol)

NumberFieldFundamentalUnits[a] gives a list of fundamental units for the field \[DoubleStruckCapitalQ][a] generated by the algebraic number a.

Values for Symbols (Mathematica Tutorial)

When Mathematica transforms an expression such as x+x into 2x, it is treating the variable x in a purely symbolic or formal fashion. In such cases, x is a symbol which can ...

SetStreamPosition (Built-in Mathematica Symbol)

SetStreamPosition[stream, n] sets the current point in an open stream.

DynamicSetting (Built-in Mathematica Symbol)

DynamicSetting[e] represents an object which displays as e, but is interpreted as the dynamically updated current value of Setting[e] if supplied as Mathematica ...

Using Assumptions (Mathematica Tutorial)

Mathematica normally makes as few assumptions as possible about the objects you ask it to manipulate. This means that the results it gives are as general as possible. But ...