eds.activemath.org

This tasks explains how to download an extasy exercise into one’s own collection.

Prerequisite:

• create-collection
• usage of eXtasy exercise authoring tool
• applications-on: jEditOQMath, ActiveMath, web-browser

Task steps

• in the first eXtasy window, having chosen a collection, it is possible to preview or source items of the collection. Choose the exercise you wish then request source
• the OMDoc file is now downloaded to your browser… depending on your browser, you will get either a very little amount of text (typical of Safari), or an XML display which looks like a source (typical of Mozilla). Do not copy this.
• either save this file (FIle > Save As…) or View the source and copy this
• save the content inside your collection, within the oqmath directory, under a file-name which ends with .oqmath
• open this file in jEditOQMath. Typically it looks fairly ugly because it has neither marks of being XML nor a clean indenting
• invoke the command OQMath > Clean-up-OMDoc, save the file (File > Save), close-it and re-open it
• you should now get a file editted in XML-mode and validation should run automatically
• in the status bar, you should now see XML parsing complete, 0 error(s).. Should that number be non-null, please try to fix the errors
• now open the Ant Farm tab on the left, locate the the build-file of the collection where you saved your file (e.g. My collection), select it, and press the running man to start it
• if all goes well, you should obtain zero errors and the exercise should appear within a new page of the automatic-recorded-book

A more experimental way, for those who intend to edit this file further in jEditOQMath, is to use OQMath > OMDoc2 OQMath which will convert all formulæ to QMath using the notations of this collection.