Physics Derivation Graph navigation Sign in

more checks to perform in the Physics Derivation Graph

Published 2020-05-01T11:16:00.002Z by Physics Derivation Graph

Up until now I've only considered a single check throughout the Physics Derivation Graph: the validation of a derivation step. This validation is made by verifying that changes to the per-expression ASTs are consistent with the inference rule and feeds.

There are other checks that can be performed.

Sympy has some of these features built in; see