VQCS.Utils

• • Reserved notations
  • Properties for even numbers of Z type
  • properties for prod

VQCS.Unit

• BaseUnit, which come from SI
  • Definition of BaseUnit
  • Conversion between BaseUnit and nat
  • Equality of BaseUnit
• Unit: syntax representation of a unit
  • Definition of Unit
  • Properties for Unit
  • Coefficient of a Unit
  • Dimension of a unit
  • Generate a unit by power of a base unit
  • Generate a unit with a given unit and ugenByBU

VQCS.Nunit

• Dimensions of Unit
  • Difinition of dimensions
  • Equality Decidable of Dims
  • Boolean equality of Dims
  • Make Dims with BaseUnit
  • All components of Dims holds
  • Get dim of a BaseUnit from Dims
  • Map of Dims
  • Addition of Dims
  • Negation of a Dims
  • Subtraction of Dims
  • Scale multiplication of Dims
  • scale division of a Dims
  • Dimensions of a Unit
• Normalized unit: the semantics of a Unit
  • Definitions of normalized unit
  • Equality of Nunit
  • Multiplication of Nunit
  • Inverse of Nunit
  • Division of Nunit
  • Integer power of a Nunit
  • nth root of a Nunit
  • Conversion between Unit and Nunit.
  • Dimensionless unit
• Comparison of Unit: with Nunit comparison.
  • Boolean Equality of Unit
  • Proposional euqality of Unit
  • Approximate relation of Unit
• Normalization of Unit
  • Normaliztion of a Unit
  • Normalized Unit

VQCS.SI

• • Decimal multiples and sub-multiples of SI
  • 7 basic unit of SI.
  • 22 derived units of SI
  • Temperature and Temperature Difference
  • Non-SI units that are accepted for use with the SI
  • The 7 defining constants of SI
  • Verify consistency between defining constants and basic unit

VQCS.Nconv

• Conversion between normalized units
  • Two normalized units are convertible

VQCS.Uconv

• Conversion between Unit
  • Two units are convertible
  • Convert a unit with given reference unit.
  • Unify two Units

VQCS.Quantity

• Quantity type
  • Definition and basic operatios of Quantity

VQCS.Qalgebra

• Basic algebraic operations of quantity
  • General algebraic operations of quantity
  • Specific algebraic operations of quantity

VQCS.QalgebraR

• Algebraic operations for quantities of type R, derived from the Qalgebra
• Specific operations for quantities of type R
• Examples

VQCS.QalgebraRV

• Algebraic operations for quantities of vector type over R
• Specific operations for quantities of vector type over R
• Examples

VQCS.test_PropulsionSystem.Basic

• • Constants
  • Definitions of functions
  • Reasonable axioms of the system
  • Update Hint database