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
