Edit detail for HyperDoc revision 4 of 6

The open source version of Axiom for Linux is a "feature complete" release of Axiom that includes all of the functionality of the original commercial release. It includes all of the algebra we have available, working graphics, and a working HyperDoc? browser.

The graphics and HyperDoc? functions are not yet available for Windows.

HyperDoc? allows you to access online help and tutorial information as well as browsing the algebra database and running Axiom commands by simple point-and-click.

Once you install or build the system you can test it by typing:

  axiom

when the HyperDoc? browser starts choose:

  Basic Commands -> Draw -> A function of two variables -> Continue -> Do It

and a graph will appear. Click anywhere on the graph to get the control panel.

How to add new Hyperdoc pages

You need to do this in three steps:

1) Add page to database used by HyperDoc?. For this change to directory contaning ht.db file (this directory also contains .ht and .pht files) -- relative to top of you installation this is

target/platform/share/hyperdoc/pages subdirectory

where platform is name of your platform (something like x86_64-unknown-linux or i386-pc-mingw32). Next

rm ht.db # remove the old ht.db file. /path/to/your/fricas/installation/target/platform/bin/htadd *.ht

Note: htadd program only add things to database. So, to avoid keeping old entries (which may be wrong if you change a page) we remove database first.

2) Generate the .pht file (this file contains output from examples).

To do this use command like:

export AXIOM=/path/to/your/fricas/installation;

$AXIOM/bin/sman -noihere -paste file.ht

3) Regenerate database adding freshly produced .pht file.

rm ht.db # remove the old ht.db file.

/path/to/your/fricas/installation/target/platform/bin/htadd .ht .pht

Note1: in the first step it is better to add only .ht pages to database. In the thired step we add both .ht and .pht files (otherwise the examples would be missing).

Note2: the second step also produces .input file. This file may be safely deleted.