"ComputedQuantity" (Interpreter Type)

Quantity derived by computation.

Details

Allowed Forms

  • Any natural-language quantity supported by "Quantity", or a computation yielding one.

Restriction Specifications

Interpretation

Examples

Basic Examples  (5)

Interpret quantities involving computations:

Computations with data are allowed:

Restrict and convert to a unit:

Restrict to a given physical quantity:

Accept unitless inputs in the presence of an appropriate restriction:

Attach the unit to the interpreted number:

Restrict with a bound and convert to a given unit:

Restrict in an interval: