rndgrab - A library for selecting the appropriate rendering for a Content MathML/ OpenMath object.

The rendering grabber (rndgrab) library implements the intensional selection of renderings. It takes as input a mathematical object, a list of elements of the form(context annotation : rendering), and a totally ordered set of source names. It returns the most appropriate rendering. In particular, rndgrab provides:

  • The computation of the rendering context based on:
    1. A global intensional context
    2. The metadata inside the given XML document
    3. The context declaration via the ic attribute.
    4. The declaration inside a Cascading Context File
  • The matching of rendering context and context annotations to identify the most appropriate rendering

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package