Sunday, February 9, 2020

todo list for February 2020 (completed!)

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

host on DigitalOcean droplet
account management

Previous task list:
https://physicsderivationgraph.blogspot.com/2018/07/snapshot-of-milestones-for-physics.html
see also
https://physicsderivationgraph.blogspot.com/2017/06/not-getting-caught-in-details.html

No comments:

Post a Comment