Crate mathml

mathml

This crate provides a library (mathml) for parsing MathML, as well as a program (parse_mathml) that parses an input MathML document and outputs a graph representation of the document in the Graphviz DOT format.

parse_mathml

The parse_mathml program produces a DOT representation of a MathML document.

Invocation:

cargo run -- <INPUT>

Where INPUT is the name of the input file. The output DOT representation is printed to the terminal.

API

The parse function (mathml::parsing::parse) takes a string and outputs a MathML document AST representation.

Limitations

The parser currently handles only a limited subset of the full MathML specification - whatever is necessary to meet the goals of the SKEMA program. More specifically, we focus on handling element types that we expect to see from the SKEMA equation reading (ER) pipeline. If we encounter MathML constructs from the ER pipeline that the parser cannot handle, we will extend the parser to handle them.

Modules

• acset
  Structs to represent elements of ACSets (Annotated C-Sets, a concept from category theory). JSON-serialized ACSets are the form of model exchange between TA1 and TA2.
• ast
• expression
• graph
• mml2pn
• normalization
• parsers
• petri_net
  Structs for representing elements of Petri Nets.

Macros

• elem0
  A macro to help build parsers for simple MathML elements (i.e., without further nesting).
• elem1
  A macro to help build parsers for MathML elements with 1 argument.
• elem2
  A macro to help build parsers for MathML elements with 2 arguments.
• elem3
  A macro to help build parsers for MathML elements with 3 arguments.
• elem_many0
  A macro to help build parsers for MathML elements with zero or more arguments.
• etag
• stag
• tag_parser
  A macro to help build tag parsers