Physlib.Units.WithDim.Energy
Energy
In this module we define the dimensionful type corresponding to an energy. We define specific instances of energy.
5 declarations
Energy as a dimensionful type with dimension
The type `DimEnergy` represents the physical quantity of energy. It is defined as a dimensionful quantity over the real numbers with the physical dimension , where , , and correspond to the base dimensions of mass, length, and time, respectively.
One Joule () as a dimensionful energy unit
The constant `DimEnergy.joule` represents the physical quantity of energy equivalent to one joule (). It is defined as the dimensionful quantity in that corresponds to the numerical value when expressed in the International System of Units (). Specifically, if denotes the SI unit system, then `joule` is the dimensionful quantity such that .
Electron volt ()
The constant `DimEnergy.electronVolt` represents the physical quantity of one electron volt (). It is defined as a dimensionful energy whose numerical value in the International System of Units (SI) is . In the SI system, this value corresponds to the energy in Joules ().
One calorie equals
The dimensionful energy `DimEnergy.calorie` is defined as the physical quantity whose magnitude in the International System of Units (SI) is . In terms of standard units, this corresponds to the energy of one calorie, which is defined as exactly .
of energy ()
The constant represents the physical quantity of energy equivalent to kilowatt-hour (). It is defined as the dimensionful quantity that takes the numerical value in the International System of Units (SI), where the corresponding unit is the Joule (). Thus, it represents the value .
