Add more physical dimensions

book/src/example-acidity.md

@@ -8,7 +8,7 @@
 #
 # https://en.wikipedia.org/wiki/PH
 
-fn pH_acidity(activity_hplus: Concentration) -> Scalar =
+fn pH_acidity(activity_hplus: MolarConcentration) -> Scalar =
     - log10(activity_hplus / (mol / L))
 
 print(pH_acidity(5e-6 mol / L))

examples/acidity.nbt

@@ -3,7 +3,7 @@
 #
 # https://en.wikipedia.org/wiki/PH
 
-fn pH_acidity(activity_hplus: Concentration) -> Scalar =
+fn pH_acidity(activity_hplus: MolarConcentration) -> Scalar =
     - log10(activity_hplus / (mol / L))
 
 print(pH_acidity(5e-6 mol / L))

examples/thermal_conductivity.nbt

@@ -1,7 +1,5 @@
 # https://en.wikipedia.org/wiki/Thermal_conductivity
 
-dimension ThermalConductivity = Power / (Length × Temperature)
-
 fn heat_transfer(λ: ThermalConductivity,
                  wall_area: Area,
                  thickness: Length,

numbat/modules/core/dimensions.nbt

@@ -45,18 +45,22 @@ dimension CurrentDensity = Current / Area
 dimension ElectricDipoleMoment = ElectricCharge × Length
 dimension MagneticDipoleMoment = Current × Area = Torque / MagneticFluxDensity
 dimension ElectricFieldStrength = Voltage / Length
-dimension ElectricPermittivity = Time^4 × Current^2 / Mass / Length^3
-dimension MagneticPermeability = Length × Mass / Time^2 / Current^2
+dimension ElectricDisplacementFieldStrength = ElectricCharge / Area
+dimension ElectricPermittivity = Time^4 × Current^2 / Mass / Length^3 = ElectricDisplacementFieldStrength / ElectricFieldStrength
+dimension MagneticPermeability = Length × Mass / Time^2 / Current^2 = MagneticFluxDensity / MagneticFieldStrength
 dimension Polarizability = ElectricDipoleMoment / ElectricFieldStrength = Current^2 × Time^4 / Mass
+dimension ElectricMobility = Speed / ElectricFieldStrength
 
 dimension Temperature
 dimension Entropy = Energy / Temperature
 dimension HeatCapacity = Energy / Temperature
 dimension SpecificHeatCapacity = HeatCapacity / Mass
+dimension ThermalConductivity = Power / (Length × Temperature)
 
 dimension AmountOfSubstance
-dimension Concentration = AmountOfSubstance / Volume
+dimension MolarConcentration = AmountOfSubstance / Volume
 dimension MolarMass = Mass / AmountOfSubstance
+dimension MolarVolume = Volume / AmountOfSubstance
 dimension CatalyticActivity = AmountOfSubstance / Time
 dimension Molarity = AmountOfSubstance / Volume
 dimension Molality = AmountOfSubstance / Mass