Once installed, MathLM starts running automatically by default each time the machine is rebooted. To start or stop MathLM manually, follow these instructions. It is assumed ...
CylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond ...
int MLCheckFunction (MLINK link, char *name, long *n) checks that a function whose head is a symbol with the specified name is on link, and stores the number of the arguments ...
void MLReleaseByteString (MLINK link, const unsigned char *s, int n) disowns memory allocated by MLGetByteString() to store the array of character codes s.
void MLReleaseByteSymbol (MLINK link, const unsigned char *s, int len) disowns memory allocated by MLGetByteSymbol() to store the character string s corresponding to the name ...
void MLReleaseString (MLINK link, const char *s) disowns memory allocated by MLGetString() to store the character string s.
void MLReleaseSymbol (MLINK link, char *s) disowns memory allocated by MLGetSymbol() or MLGetFunction() to store the character string s corresponding to the name of a symbol.
void MLReleaseUTF16Symbol (MLINK link, const unsigned short *s, int len) disowns memory allocated by MLGetUTF16Symbol() to store the UTF-16 encoded character string s ...
void MLReleaseUTF32String (MLINK link, const unsigned int *s, int len) disowns memory allocated by MLGetUTF32String() to store the UTF-32 encoded string s.
void MLReleaseUTF32Symbol (MLINK link, const unsigned int *s, int len) disowns memory allocated by MLGetUTF32Symbol() to store the UTF-32 encoded character string s ...