5.1 Miscellaneous definitions

• Application means an “application” of Libmarpa. In this document, a Libmarpa application is not necessarily an application program. For our purposes, an “application” might be another library that uses Libmarpa.
• The components of the application environment are the system components other than Libmarpa and the application itself. Application environments vary, but their components often include an operating system, system libraries, a C compiler and its libraries, and hardware.
• A boolean value, or boolean, is an integer that is 0 or 1.
• An application environment limit, more often called simply an environment limit, is a limit imposed by the application enviroment. For our purposes, the most important environment limit is usually available memory.
• The lexeme iff is an abbreviation for “if and only if”.
• max(x,y) is the maximum of x and y, where x and y are two numbers.
• Libmarpa method, or just method, means a C function or a function-like macro of the Libmarpa library.
• User means a “user” of the Libmarpa library. A user of the library is also a programmer, so that in this document, “user” and “programmer” are essentially synonyms.
• We (as well as “us” and ”our”) refers to the authors, but is also intended to suggest that the reader is joining the authors on the millenia-old voyage of discovery into mathematics and language. As of this writing, there is a one primary author.

The following terms are used in a way that is consistent with their use in the C99 standard:

• An indeterminate value is either an unspecified value or a trap value.
• A trap value, also called a trap representation, is a value that when accessed causes undefined behavior. See Trap representations.
• An undefined behavior is a behavior that this document does not specify. One implication is that this behavior might be problematic.
• An unspecified behavior is a behavior that, within a range of possibilities, is not further specified by this document. This is usually not problematic.
• An unspecified value is a value on which this document imposes no restrictions, except that it cannot be a trap value.