namespace http://mathhub.info/MitM/Foundation/Units ❚

theory SIUnits : ?QEBase =
  // include ?InformationBase❙
  
  NormedUnit : {a,b,c,d,e,f,g}unit (NormedDimension a b c d e f g) ❘ # NormedUnit 1 2 3 4 5 6 7 ❙

  Meter : unit Length ❘ // = NormedUnit 1 0 0 0 0 0 0 ❙
  Second : unit Time❘ // = NormedUnit 0 1 0 0 0 0 0❙
  Kilogram : unit Mass❘ # kg ❘ // = NormedUnit 0 0 1 0 0 0 0❙
  Mole : unit Amount ❘ // = NormedUnit 0 0 0 1 0 0 0❙
  Kelvin : unit Temperature❘ // = NormedUnit 0 0 0 0 1 0 0❙
  Ampere: unit Current❘ // = NormedUnit 0 0 0 0 0 1 0❙
  Candela : unit LuminousIntensity ❘ // = NormedUnit 0 0 0 0 0 0 1 ❙
  Scalar : unit DimNone ❘ // = NormedUnit 0 0 0 0 0 0 0 ❙
❚

theory UnitsExtended : ?DimensionsExtended =
	include ?SIUnits ❙
	
	bit : unit Information ❘ = Scalar ❙
	
	m2 : unit Area ❘ = Meter *'' Meter ❘ # m² ❙
	m3 : unit Volume ❘ = m² *'' Meter ❘ # m³ ❙
	
	mps : unit Velocity ❘ = Meter /'' Second ❙
	mpss : unit Acceleration ❘ = Meter /'' (Second *'' Second) ❙
	
	newton : unit Force ❘ = kg *'' mpss ❘ # N ❙
	pascal : unit Pressure ❘ = N /'' m² ❘ # Pa ❙
	
	joule : unit Energy ❘ = N *'' Meter ❙
❚