"ComputedQuantity" (Interpreter Type)

Quantity derived by computation.


Allowed Forms

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

Restriction Specifications



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: