\axiom* \spad*

for f in $(find . -type f|grep -v '\.git'|grep -v '\.sh$'|grep -v '\.awk'); do
    sed -i \
        -e 's/\\axiomType{/\\spadtype{/g' \
        -e 's/\\axiomOp{/\\spadop{/g' \
        -e 's/\\axiomOpFrom{/\\spadopFrom{/g' \
        -e 's/\\axiomFun{/\\spadfun{/g' \
        -e 's/\\axiomFunFrom{/\\spadfunFrom{/g' \
        -e 's/\\axiomFunX{/\\spadfunX{/g' \
        -e 's/\\axiomFunFromX{/\\spadfunFromX{/g' \
        -e 's/\\axiomSyntax{/\\spadSyntax{/g' \
        -e 's/\\axiomSig{/\\spadsig{/g' \
        -e 's/\\axiom{/\\spad{/g' \
        -e 's/\\axiomGloss{/\\spadgloss{/g' \
        -e 's/\\axiomGlossSee{/\\spadglossSee{/g' \
        -e 's/\\axiomcommand{/\\spadcommand{/g' \
        -e 's/\\axiomgraph{/\\spadgraph{/g' \
        -e 's/\\\\axiomType\\{/\\\\spadtype\\{/g' \
        -e 's/\\\\axiomcommand\\{/\\\\spadcommand\\{/g' \
        -e 's/\\\\axiomOp\\{/\\\\spadop\\{/g' \
        -e 's/\\\\axiomOpFrom\\{/\\\\spadopFrom\\{/g' \
        -e 's/\\\\axiomSig\\{/\\\\spadsig\\{/g' \
        $f
done

A few manual replacement that were not caught by the script above in
the following files.
  src/algebra/cra.spad
  src/algebra/triset.spad
  src/doc/ht/HTXFormatPage8.ht
  src/doc/htex/ug12.htex
  src/doc/htex/ug13.htex
  src/doc/htex/ug21.htex

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1768 b0c55286-4f34-0410-a049-a1e7e93b0762
remove obsolete \axiom* commands from util.ht

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1769 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix recent breakage


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1770 b0c55286-4f34-0410-a049-a1e7e93b0762
properly protect against failure

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1771 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix 'throwKeyedMsgCannotCoerceWithValue'


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1772 b0c55286-4f34-0410-a049-a1e7e93b0762
linearize literate documentation of xhash.spad

xhash.spad is nearly a LaTeX file. Instead of noweb markup there is now
  )if LiterateDoc
and
  )endif
around the LaTeX part. To turn the .spad file into a .tex file,
one basically has to replace ")if LiterateDoc" by "\end{lstlisting}"
and ")endif" by "\begin{lstlisting}". The following awk code does
exactly that, but it also takes care of ")abbrev" appearing at the
beginning of the file and moves it into the first code chunk.
Furthermore, empty lines after ")endif" and empty lines before ")if
LiterateDoc" are moved from the code into the documentation part

Usage: awk -f totex.awk xhash.spad > xhash.tex

--- totex.awk
/^)abb[a-z]* / && abbrev_seen==0 {abbrev=$0; abbrev_seen=1; next}

/^$/ {emptyline++; next}

/^)if LiterateDoc/ {
    if (open_code) {print "\\end{lstlisting}"; open_code=0}
    while (emptyline>0) {print ""; emptyline--}
    open_literal=1
    open_code=0
    next
}

/^)endif/ {
    if (!open_literal) {print; next}
    open_literal=0
    open_code=1
    # swallow the following empty lines and only output something if
    # there is a non-empty line following.
    while (getline > 0) {
        if ($0 != "") {
            while (emptyline>0) {print ""; emptyline--}
            print "\\begin{lstlisting}[language=spad]"
            if (abbrev) {print abbrev; abbrev=""}
            print
            next
        }
        emptyline++
    }
    # coming here means EOF or error in reading
    next
}

{
    while (emptyline>0) {print ""; emptyline--}
    print
}

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1773 b0c55286-4f34-0410-a049-a1e7e93b0762
Remove unneded literate boilerplate


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1774 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix in tree build


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1775 b0c55286-4f34-0410-a049-a1e7e93b0762
Clean up after commit 1774


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1776 b0c55286-4f34-0410-a049-a1e7e93b0762
add missing hashUpdate!

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1777 b0c55286-4f34-0410-a049-a1e7e93b0762
More portable version of unpack_file


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1778 b0c55286-4f34-0410-a049-a1e7e93b0762
Make sure .spad files are correct Spad


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1779 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix gcd failure due to bad reduction.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1780 b0c55286-4f34-0410-a049-a1e7e93b0762
bugfix subset?

Before we had:
(1) -> SI ==> Set Integer
(2) -> SSI ==> Set SI
(3) -> si:SI := set [2]
   (3)  {2}
(4) -> subset?(si,si)
   (4)  true
(5) -> ssi: SSI := set [si]
   (5)  {{2}}
(6) -> subset?(ssi,ssi)
   (6)  false

With the patch also (6) gives true.

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1781 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix toplevel multiparameter macros.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1782 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix handling of '\/' and '/\'.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1783 b0c55286-4f34-0410-a049-a1e7e93b0762
Minor cleanups.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1784 b0c55286-4f34-0410-a049-a1e7e93b0762
Remove useless conditions


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1785 b0c55286-4f34-0410-a049-a1e7e93b0762
s/Formater/Formatter/


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1786 b0c55286-4f34-0410-a049-a1e7e93b0762
Change difference of interval to agree with definition as interval operation.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1787 b0c55286-4f34-0410-a049-a1e7e93b0762