Friday, January 29, 2016

challenge tasks to be addressed within the Physics Derivation Graph

There are a set of challenge tasks for the PDG. Each task is addressed by one or more scripts

Below the scripts in
https://github.com/allofphysicsgraph/proofofconcept/tree/gh-pages/sandbox/file_per_expression/bin
are referenced

tasks associated with generating content:

  • given a set of latex expressions, generate associated PNGs for feeds

create_picture_per_feed_expression.py

  • given a set of latex expressions, generate associated PNGs for expressions

create_picture_per_feed_expression.py

  • given a set of text, generate associated PNGs for inference rules (needed for derivation graph HTML?)
  • find new uniq random index for feeds
  • find new uniq random index (temp) for expression
  • find new uniq random index (perm) for expression


viz of content

  • from an existing set of connections for a single derivation, generate a static png of the graph

python create_picture_per_derivation.py "../derivations/name of derivation"

  • from an existing set of connections for a two or more derivations, generate a static png of each graph

bash create_picture_for_each_derivation.sh

  • from an existing set of connections for a two or more derivations, generate a static png of full graph

bash create_all_derivations.sh; bash create_picture_for_each_derivation.sh
or
bash create_all_derivations.sh; python create_picture_per_derivation.py "../derivations/all"

HTML viz of content

  • from an existing set of connections for a single derivation, generate an HTML presentation of the graph
  • from an existing set of connections for a two or more derivations, generate an HTML presentation of each graph
  • from an existing set of connections for a two or more derivations, generate an HTML presentation of full graph

entry of content

  • use terminal CLI to enter new derivation
  • use web page to construct new derivation


CAS

  • validate a single step of a derivation
  • validate two consecutive steps in a derivation
  • validate all steps in a single derivation
  • validate all steps in all derivations

No comments:

Post a Comment