verifying dimensions, checking unit conversions, and using constants
Published 2020-05-27T01:42:00.001Z by Physics Derivation Graph
There are multiple checks that can be performed for a step.
apply inference rule to expressions, verify change to AST is correct
verify that the dimensionality of variables is consistent
if units are present, validate unit conversions and consistency
The existence of the AST depends on having all symbols in the expression accounted for.
The ability to verify dimensions relies on having the AST.
The ability to check units requires dimension validation.
My prioritization is to validate the scope of coverage. The claim of coverage means
all domains (e.g., electrodynamics, classical mechanics, quantum mechanics, thermodynamics)
all symbols
all expressions (e.g., E=mc^2, F=ma, Schrodinger, Maxwell, wave equation)
Even though my prioritization is scope, it would be foolish to tackle scope and then later realize the PDG infrastructure does not handle checking inference rules, checking dimensionality, and checking units.
Therefore, I should pause adding derivations and verify that, for a given derivation, I can check dimensionality and units.