FrobeniusSolve (Built-in Mathematica Symbol)

FrobeniusSolve[{a_1, ..., a_n}, b] gives a list of all solutions of the Frobenius equation a_1 x_1 + ... + a_n x_n = b.FrobeniusSolve[{a_1, ..., a_n}, b, m] gives at most m ...

Modulus (Built-in Mathematica Symbol)

Modulus -> n is an option that can be given in certain algebraic functions to specify that integers should be treated modulo n.

RandomInteger (Built-in Mathematica Symbol)

RandomInteger[{i_min, i_max}] gives a pseudorandom integer in the range {i_min, i_max}. RandomInteger[i_max] gives a pseudorandom integer in the range {0, ...

InverseFunction (Built-in Mathematica Symbol)

InverseFunction[f] represents the inverse of the function f, defined so that InverseFunction[f][y] gives the value of x for which f[x] is equal to y. InverseFunction[f, n, ...

NumberFieldNormRepresentatives (Built-in Mathematica Symbol)

NumberFieldNormRepresentatives[a, m] gives a list of representatives of classes of algebraic integers of norm \[PlusMinus]m in the field \[DoubleStruckCapitalQ][a] generated ...

GreaterEqual (Built-in Mathematica Symbol)

x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.

Greater (Built-in Mathematica Symbol)

x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.

LessEqual (Built-in Mathematica Symbol)

x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.

Less (Built-in Mathematica Symbol)

x < y yields True if x is determined to be less than y. x_1 < x_2 < x_3 yields True if the x_i form a strictly increasing sequence.

SemialgebraicComponentInstances (Built-in Mathematica Symbol)

SemialgebraicComponentInstances[ineqs, {x_1, x_2, ...}] gives at least one sample point in each connected component of the semialgebraic set defined by the inequalities ineqs ...