SatisfiableQ (Built-in Mathematica Symbol)

SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...

Subsets (Built-in Mathematica Symbol)

Subsets[list] gives a list of all possible subsets of list. Subsets[list, n] gives all subsets containing at most n elements. Subsets[list, {n}] gives all subsets containing ...

MLPutRealList() (Mathematica MathLink C Function)

int MLPutRealList (MLINK link, double *a, long n) puts a list of n floating-point numbers starting from location a to the MathLink connection specified by link.

Variables (Built-in Mathematica Symbol)

Variables[poly] gives a list of all independent variables in a polynomial.

MaxExtraConditions (Built-in Mathematica Symbol)

MaxExtraConditions is an option to Solve and related functions that specifies how many extra equational conditions on continuous parameters to allow in solutions that are ...

OperatingSystem (Built-in Mathematica Symbol)

OperatingSystem is an option for file and related operations that specifies the type of operating system to use to determine file name and other conventions.

BooleanMaxterms (Built-in Mathematica Symbol)

BooleanMaxterms[k, n] represents the k\[Null]^th maxterm in n variables.BooleanMaxterms[{k_1, k_2, ...}, n] represents the conjunction of the maxterms ...

InverseSeries (Built-in Mathematica Symbol)

InverseSeries[s] takes the series s, and gives a series for the inverse of the function represented by s. InverseSeries[s, x] uses the variable x in the inverse series.

RotateRight (Built-in Mathematica Symbol)

RotateRight[expr, n] cycles the elements in expr n positions to the right. RotateRight[expr] cycles one position to the right. RotateRight[expr, {n_1, n_2, ...}] cycles ...

Flat and Orderless Functions (Mathematica Tutorial)

Although Mathematica matches patterns in a purely structural fashion, its notion of structural equivalence is quite sophisticated. In particular, it takes account of ...