Working with OpenMath 1 in XMLBlueprint XML Editor
Creating a New OpenMath Document
To create a new OpenMath Document:
- Choose File > New > XML Document from DTD or Schema and copy/paste the OpenMath 1 XML Schema (http://www.openmath.org/standard/relaxng/openmath1.xsd) into the dialog.
- Press the Next > button, choose "OMOBJ" as root element and press Finish.
That's it, you now have a minimal OpenMath 1 Document.
Instead of the XML Schema, you can also use the DTD (http://www.openmath.org/standard/relaxng/openmath1.dtd), or Relax NG Schema (http://www.openmath.org/standard/relaxng/openmath1.rng). XMLBlueprint supports all three.
TIP -- If you work with OpenMath regurlarly, you may wish to create a template. To do this, create a new Document, choose File > Add to Templates..., name the template "OpenMath 1 Document.xml" and press the Save button. Close "OpenMath 1 Document.xml". To start with the template, choose File > New from Templates and select "OpenMath 1 Document".
Editing an OpenMath Document
When you open an OpenMath Document, XMLBlueprint will scan the associated schema to initialize the XML Completion assistant. By pressing <, the assistant displays a list containing all the elements that can be inserted at that point in the document. Press the first few characters of the element you wish to insert and then press ENTER, SPACE, or TAB to insert the selected element in the document. The closing bracket is automatically set, as well as any required attributes or child elements.
Validating an OpenMath Document
At any time during the editing process, you can click the validate icon or hit F8 to validate your OpenMath Document. XMLBlueprint reports any errors in the output window below the editor. Clicking the red error message jumps to the error, even if the error is in another file.
