ExistsRealQ[ineqs, {x_1, x_2, ...}] tests whether there exist real values of the x_i for which the inequalities and equations ineqs are satisfied.

ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.

ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.

Distributed[x, dist] or x \[Distributed] dist asserts that the random variable x is distributed according to the probability distribution dist.Distributed[{x_1, x_2, ...}, ...

DirichletCharacter[k, j, n] gives the Dirichlet character \[Chi] {k, j} (n) with modulus k and index j.

SetAttributes[s, attr] adds attr to the list of attributes of the symbol s.

Line[{pt_1, pt_2, ...}] is a graphics primitive that represents a line joining a sequence of points. Line[{{pt_11, pt_12, ...}, {pt_21, ...}, ...}] represents a collection of ...

Option Inspector view and set all option values for cells, notebooks, and global preferences.

OpenCLMemoryAllocate[t, len] allocates a new one-dimensional list of type t returning OpenCLMemory.OpenCLMemoryAllocate[t, {d_1, d_2, ...}] allocates a new list of dimensions ...

Cylinder[{{x_1, y_1, z_1}, {x_2, y_2, z_2}}, r] represents a cylinder of radius r around the line from (x_1, y_1, z_1) to (x_2, y_2, z_2). Cylinder[{{x_1, y_1, z_1}, {x_2, ...