Published 2020-02-10T02:09:00Z by Physics Derivation Graph
Current status: I have an interactive web interface using Docker and Flask that I'm reasonably happy with. In this post I outline tasks that need to be done prior to wider exposure.
Functionality
list all
operators
in which derivation is each used?
popularity: how many references are there to this operator?
symbols
in which derivation is each used?
popularity: how many references are there to this symbol?
derivations
popularity: include stats -- number of steps, number of inf rules, number of expressions
expressions
popularity: list which derivations use which expressions
inference rules
include number of inputs, outputs
popularity: which derivations use each inference rule?
show a complete derivation
edit
an inference rule
how to address all the places that inference rule gets used?
a derivation
edit a step
how to address dangling steps?
an expression
where else is that expression used?
functionality
Latex to AST
suggest related expressions
Web interface
download pkl file
upload pkl file
export derivation PNG
export derivation to PDF
CAS integration
validate a single step of a derivation
Rendering
use d3.js instead of graphviz
visualize trace of flow
convert trace of flow to Selenium script
generate PDG website