Expand description
Quantification, measurement, and numerical relationships.
This module provides general concepts for measuring and quantifying values, including both discrete and continuous representations, without being tied to specific interpretations.
More specifically it defines foundational types for:
- Periodic phenomena
Cycle,CycleCount. - Range and interval mathematics:
Interval,interval!. - Numerical classification and properties:
Sign.
Macrosยง
- _interval
- ๐
Creates an
Intervalusing extended range notation. - interval
- ๐
Creates an
Intervalusing extended range notation.
Structsยง
- Cycle
- ๐ A repeating cycle defined by a fundamental period.
- Cycle
Count - ๐ A cycle that repeats a fixed number of times.
- Interval
- ๐
A range of values with
lowerandupperBounds. - Value
Quant - ๐ โ๏ธ A value with associated quantification.
Enumsยง
- Sign
- ๐ The three-valued sign of a number: negative (โ1), zero (0), or positive (+1).