Module mathml::petri_net::recognizers

This module contains functions for predicate testing of MathML elements, as well as extracting semantically-meaningful objects from MathML expressions.

Functions

• get_polarity
  Get polarity from a Mo element.
• get_specie_var
  Get variable corresponding to specie.
• is_add_or_subtract_operator
  Predicate testing whether a MathML operator (Mo) is a subtraction or addition.
• is_var_candidate
  Predicate testing whether a MathML elm could be interpreted as a Var. TODO: This currently permits Mn -> MathML numerical literals. Perhaps useful to represent constant coefficients? But should those be Vars?
• recognize_leibniz_differential_operator
  Check if fraction is a derivative of a single-variable function expressed in Leibniz notation, and if so, return a derivative operator and the identifier of the function.