FriCAS Code

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.

Fix gcd failure due to bad reduction.

Make sure .spad files are correct Spad

add missing hashUpdate!

Clean up after commit 1774

Fix in tree build

Remove unneded literate boilerplate

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
}

\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

properly escape in TeXFormat

See message "unescaped underscore" on fricas-devel (15-Apr-2014).
https://groups.google.com/d/msg/fricas-devel/lCgu8gvVOIM/T2-HyrnpsXcJ

Underscores should be escaped by a backslash like this: \_.
These are the problems that are resolved by this patch.

(5) -> )set output algebra off
(5) -> )set output tex on
(5) -> escape()

$$
_
\leqno(5)
$$

(6) -> 1.2345678901234567890123

$$
1.2345678901_23456789
\leqno(6)
$$

(1) -> "a_b_"\"

(1) "a_b"\"
$$
\mbox{\tt "a_b"\"}
\leqno(1)
$$

After the patch.

(1) -> )set output algebra off
(1) -> )set output tex on
(1) -> escape()

$$
\_
\leqno(1)
$$

(2) -> 1.2345678901234567890123

$$
1.2345678901\_23456789
\leqno(2)
$$

(3) -> "a_b_"\"

$$
\verb#"a_b"\"#
\leqno(3)
$$