navigation / documentation overview / workflow documentation
Description: A central hub page to navigate all the different functions of the software
http://localhost:5000/new_derivation
Description: Creates a new derivation by requesting:
http://localhost:5000/review_derivation/<derivation_id>
Description: View the details of an existing derivation (list of steps), and options to:
http://localhost:5000/select_step/<derivation_id>
Description: Provides a list of the steps within a specific derivation. Used for editing a specific step.
http://localhost:5000/edit_derivation_metadata/<derivation_id>
Description: Modifies derivation metadata, such as the name and abstract.
http://localhost:5000/new_step_select_inference_rule/<derivation_id>
Description: Specifies which inference rule is used when inserting a new step in a derivation.
http://localhost:5000/edit_expression/<expression_id>
Description: Modifies an expression, including assigning symbols to it or deleting it.
http://localhost:5000/edit_feed/<feed_id>
Description: Modifies a feed, including assigning symbols to it or deleting it.
http://localhost:5000/new_expression/
Description: Creates a new expression, allowing to specify the LHS, RHS, relation, and name.
http://localhost:5000/new_feed/
Description: Creates a new feed.
http://localhost:5000/edit_node/<node_id>
Description: A gateway for editing a node, which redirects to the appropriate sub-page depending on the node type (e.g., a scalar, matrix, vector).
http://localhost:5000/edit_operation/<operation_id>
Description: Edit an operation symbol.
http://localhost:5000/edit_relation/<relation_id>
Description: Edit a relation symbol.
http://localhost:5000/edit_scalar/<scalar_id>
Description: Edit a scalar symbol.
http://localhost:5000/edit_vector/<vector_id>
Description: Edit a vector symbol.
http://localhost:5000/edit_matrix/<matrix_id>
Description: Edit a matrix symbol.
http://localhost:5000/new_symbol_scalar_constant_value_and_units/<scalar_id>/
Description: Specifies the units and value for constant scalar symbols.
http://localhost:5000/new_symbol_scalar/
Description: Creates a scalar symbol, optionally adding a value to it.
http://localhost:5000/new_symbol_vector/
Description: Creates a vector symbol.
http://localhost:5000/new_symbol_matrix/
Description: Creates a matrix symbol.
http://localhost:5000/new_operation/
Description: Creates a new operation symbol, for use in expressions.
http://localhost:5000/new_relation/
Description: Creates a new relation symbol, for use in expressions.
http://localhost:5000/new_step_expressions/<derivation_id>/<inference_rule_id>
Description: Specifies which expressions and feeds are used when inserting a new step into a derivation.
http://localhost:5000/symbols_and_operations_for_expression/<expression_id>
Description: Specifies which symbols are used by an expression.
http://localhost:5000/sympy_and_latex_for_expression/<expression_id>/<symbol_id_dict>
Description: Provides a form to edit the SymPy and Lean representations of an expression.
http://localhost:5000/symbols_and_operations_for_feed/<feed_id>
Description: Specifies which symbols are used by a feed.
http://localhost:5000/sympy_and_latex_for_feed/<feed_id>/<symbol_id_dict>
Description: Provides a form to edit the SymPy and Lean representations of a feed.
http://localhost:5000/list_derivations
Description: Shows a list of all derivations.
http://localhost:5000/list_inference_rules
Description: Shows a list of all inference rules.
http://localhost:5000/list_expressions
Description: Shows a list of all expressions.
http://localhost:5000/list_feeds
Description: Shows a list of all feeds.
http://localhost:5000/list_operations
Description: Shows a list of all operations.
http://localhost:5000/list_relations
Description: Shows a list of all relation symbols.
http://localhost:5000/list_scalars
Description: Shows a list of all scalar symbols.
http://localhost:5000/list_vectors
Description: Shows a list of all vector symbols.
http://localhost:5000/list_matrices
Description: Shows a list of all matrix symbols.
http://localhost:5000/new_symbol_scalar_constant_value_and_units/<scalar_id>/
Description: View and edit value associated with a particular scalar
http://localhost:5000/view_cypher/
Description: View the most recent database export in Cypher format.
Description: An interface for running Cypher queries, either from the user or pre-defined. Provides some help and links for creating a Cypher query.
http://localhost:5000/api_documentation
Description: A list of all available API routes and the corresponding data formats.
http://localhost:5000/delete_all
Description: A button for deletion of all database content, not just the derivations.
http://localhost:5000/api_via_js
Description: Demonstrates how to use the APIs from Javascript