An easy way to add a new documentation file is to make a copy of this file and edit its contents as you want. See the mini-manual below for some examples of how to change font, make tables, etc.
Let S be a ring
IsBlah(S) -- true iff S is actually a Blah
BlahPtr(S) -- pointer to impl of S (for calling mem fns)
2010
Compare the documentation text (text2tags) source the html version:
doc/txt/empty.txt.
make skeleton.html and browse
doc/html/empty.html to see the generated file.
This is how to type italic, bold, code. And also
preformatted/verbatim single line ("```" in the first column)
preformatted/verbatim region second line
Links to other files in the documentation are given by double square
brackets: for example PPMonoid will produce a link to the
file/section generated by PPMonoid.txt. It will also write the
word as "code". Always suggested when mentioning a class with the
same name as the .txt file (except within the file itself).
Links inside other files are done like this:
See matrix operations
NOTE since [ ] are used by txt2tags for defining links, even
though it is fairly clever, we suggest not use them in non verbatim
text. this will become a link to the last
Alignment is not important, but you must leave a space between the
text and the |s. No newlines allowed.
| th1 | th2 | th3 |
|---|---|---|
| td | td | td |
| td | td | td |
Lists end with 2 blank lines or with the list item character followed by an empty line:
The list item character is
- for un-numbered lists
: for description lists
+ for numbered lists
Lines should start with - blahblah... (exactly 1 space)
You may have nested (and mixed) lists (leaving heading spaces)
NewInducedHom(RmodI, phi) creates a new ring homomorphism from RmodI to
S where phi is a ring homomorphism from R to S, and where RmodI is a
QuotientRing representing R/I. Two types of error may occur:
ERR::BadInducingHom if domain(phi) is not BaseRing(RmodI)
ERR::BadInducingHomKer if phi does not map the gens of I to zero.
To know more and to download txt2tags visit the website
http://txt2tags.sourceforge.net
2012