eds.activemath.org

The goal of this task is to perform a first content modification and see the content updated in one’s ActiveMath. This is half a sanity test.

Prerequisite

create-a-collection

Applications That Should be Running

jEditOQMath, ActiveMath, web-browser

Task description

• go to jEditOQMath, in the file first.oqmath
• find a CMP element, for example the hello-world axiom
• inside this element, between and type a rare word or two (say, Möbius)
• let us add a few a exotic characters as well: type the sequence of letters D e l t a followed by C-; (edit > expand-abbreviation). You should see a capital delta letter, a triangle.
• save (press C-S or press the pencil toolbar-button)
• validation happens, verify there’s nothing to complain about in the status bar (“XML parsing complete, 0 error(s)”).
  • if not, you have introduced illegal characters or at illegal places, undo a few times then re-insert without “<”, “&” and “>”.
• open the AntFarm tab (the top tab on the left-side-bar of the jEdit window)
• inside there, find an item called “fancy-surfaces collection, ActiveMath build file”
• double click this item, or click it once then click the running man
  • (we are compiling and publishing, more about this in build-process)
• see the operation happening in the “console”, ensure it says “build successful”
• go to your browser, open / http://localhost:8080/
• see your collection’s automatic book, open it, see your text and the Delta there
• click the search link in the top tool menu
• type one of the rare words.
• see the title of the hello-world axiom, click it and see the same