search

allofphysicsgraph / proofofconcept

Physics Derivation Graph: mathematical connections among equations
https://derivationmap.net/
Other
20 stars 6 forks source link

creation of new inference rules in web interface requires update to sympy validation #131

Open bhpayne opened 4 years ago

bhpayne commented 4 years ago

The web interface allows users to specify novel inference rules but doesn't have a way of updating the corresponding Sympy validation needed in validate_inference_rules_sympy.py

bhpayne commented 4 years ago

Also, renaming an existing inference rule needs to trigger alteration in validate_inference_rules_sympy.py