Physics Derivation Graph navigation Sign in

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.
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
  1. all domains (e.g., electrodynamics, classical mechanics, quantum mechanics, thermodynamics)
  2. all symbols 
  3. 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.