def Units.Dimension.Length : Dimension

Equations

• Units.Dimension.Length = Units.Dimension.ofString "L"

def Units.Dimension.Time : Dimension

Equations

• Units.Dimension.Time = Units.Dimension.ofString "T"

def Units.Dimension.Mass : Dimension

Equations

• Units.Dimension.Mass = Units.Dimension.ofString "M"

def Units.Dimension.Current : Dimension

Equations

• Units.Dimension.Current = Units.Dimension.ofString "I"

def Units.Dimension.Temperature : Dimension

Equations

• Units.Dimension.Temperature = Units.Dimension.ofString "Θ"

def Units.Dimension.AmountOfSubstance : Dimension

Equations

• Units.Dimension.AmountOfSubstance = Units.Dimension.ofString "N"

def Units.Dimension.LuminousIntensity : Dimension

Equations

• Units.Dimension.LuminousIntensity = Units.Dimension.ofString "J"

we can derive some new dimensions from the base ones simp is mandatory to allow dsimp to unfold these definitions

def Units.Dimension.Area : Dimension

Equations

• Units.Dimension.Area = Units.Dimension.Length ^ 2

def Units.Dimension.Volume : Dimension

Equations

• Units.Dimension.Volume = Units.Dimension.Length ^ 3

def Units.Dimension.Speed : Dimension

Equations

• Units.Dimension.Speed = Units.Dimension.Length / Units.Dimension.Time

def Units.Dimension.Acceleration : Dimension

Equations

• Units.Dimension.Acceleration = Units.Dimension.Length / Units.Dimension.Time ^ 2

def Units.Dimension.Jerk : Dimension

Equations

• Units.Dimension.Jerk = Units.Dimension.Length / Units.Dimension.Time ^ 3

def Units.Dimension.Snap : Dimension

Equations

• Units.Dimension.Snap = Units.Dimension.Length / Units.Dimension.Time ^ 4

def Units.Dimension.Momentum : Dimension

Equations

• Units.Dimension.Momentum = Units.Dimension.Mass * Units.Dimension.Speed

def Units.Dimension.AngularMomentum : Dimension

Equations

• Units.Dimension.AngularMomentum = Units.Dimension.Momentum * Units.Dimension.Length

def Units.Dimension.Force : Dimension

Equations

• Units.Dimension.Force = Units.Dimension.Mass * Units.Dimension.Acceleration

def Units.Dimension.Pressure : Dimension

Equations

• Units.Dimension.Pressure = Units.Dimension.Force / Units.Dimension.Area

def Units.Dimension.Energy : Dimension

Equations

• Units.Dimension.Energy = Units.Dimension.Force * Units.Dimension.Length

def Units.Dimension.Action : Dimension

Equations

• Units.Dimension.Action = Units.Dimension.Energy * Units.Dimension.Time

def Units.Dimension.Power : Dimension

Equations

• Units.Dimension.Power = Units.Dimension.Energy / Units.Dimension.Time

def Units.Dimension.Charge : Dimension

Equations

• Units.Dimension.Charge = Units.Dimension.Current * Units.Dimension.Time

def Units.Dimension.Frequency : Dimension

Equations

• Units.Dimension.Frequency = Units.Dimension.Time ^ (-1)

def Units.Dimension.Voltage : Dimension

Equations

• Units.Dimension.Voltage = Units.Dimension.Power / Units.Dimension.Current

def Units.Dimension.Capacitance : Dimension

Equations

• Units.Dimension.Capacitance = Units.Dimension.Charge / Units.Dimension.Voltage

def Units.Dimension.Resistance : Dimension

Equations

• Units.Dimension.Resistance = Units.Dimension.Voltage / Units.Dimension.Current

def Units.Dimension.Conductance : Dimension

Equations

• Units.Dimension.Conductance = Units.Dimension.Current / Units.Dimension.Voltage

def Units.Dimension.Inductance : Dimension

Equations

• Units.Dimension.Inductance = Units.Dimension.Resistance * Units.Dimension.Time

def Units.Dimension.MagneticFlux : Dimension

Equations

• Units.Dimension.MagneticFlux = Units.Dimension.Voltage * Units.Dimension.Time

def Units.Dimension.MagneticInduction : Dimension

Equations

• Units.Dimension.MagneticInduction = Units.Dimension.MagneticFlux / Units.Dimension.Area