Theory SCALAR-QUANTITIES

• Last modified: Friday, 1 July 1994
• Source code: scalar-quantities.lisp
• List of all known theories

Theory documentation:

The term 'scalar' is often equated with the field of real numbers. In this theory we extend that notion to quantities in general, which are associated with dimensions and units. Scalar quantities are quantities whose magnitude is a real number, such as 'the length of rod a'. The normal operators for real arithmetic such as + and *, and the relation <, are extended to the case of scalar quantities (i.e., to consider dimensions and units). Scalar-Quantities are disjoint from vectors quantities, and scalar functions.

Notes:

• (c) 1993, 1994 Greg R. Olsen and Thomas R. Gruber
  
• See-Also: The EngMath paper on line

Cross Reference Report:

Theories included by Scalar-Quantities:

  Physical-Quantities

Theories that include Scalar-Quantities:

  Product-Theory
  Tensor-Quantities
  Unary-Scalar-Functions
  Vt-Design

1 class defined:

    Scalar-Quantity

No relations defined.

6 functions defined:

  *
  +
  Expt
  Recip
  Scalar-Quantities-Of-Dimension
  The-Zero-Scalar-For-Dimension

1 instance defined:

  Identity-Scalar

1 class defined:

  Scalar-Quantity

All constants that were mentioned were defined.