1 (* tests for mathml.sml
2 author: Walther Neuper 060311
5 use"../smltest/xmlsrc/mathml.sml";
8 "-----------------------------------------------------------------";
9 "table of contents -----------------------------------------------";
10 "-----------------------------------------------------------------";
11 "within struct ---------------------------------------------------";
12 "-----------------------------------------------------------------";
13 "--------- encode ^^^ -> ^ ---------------------------------------";
14 "--------- encode < -> < and > -> > --------------------------";
15 "-----------------------------------------------------------------";
16 "exported from struct --------------------------------------------";
17 "-----------------------------------------------------------------";
18 "--------- ... ---------------------------------------------------";
19 "-----------------------------------------------------------------";
23 "-----------------------------------------------------------------";
24 "within struct ---------------------------------------------------";
25 "-----------------------------------------------------------------";
26 (*==================================================================*)
29 "--------- encode ^^^ -> ^ ---------------------------------------";
30 "--------- encode ^^^ -> ^ ---------------------------------------";
31 "--------- encode ^^^ -> ^ ---------------------------------------";
32 val str = "a^^^2+b^^^2=c^^^2";
33 if decode str = "a^2+b^2=c^2" then ()
34 else error "mathml.sml: diff.behav. in encode ^^^ -> ^";
36 "--------- encode < -> < and > -> > --------------------------";
37 "--------- encode < -> < and > -> > --------------------------";
38 "--------- encode < -> < and > -> > --------------------------";
39 val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n";
41 "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n"
42 then () else error "mathml.sml: diff.behav. in encode '<' and '>'";
44 "----- check 'manually' the xml-output of calling functions ------";
45 formula2xml 1 (str2term )
47 (*==================================================================*)
48 "-----------------------------------------------------------------";
49 "exported from struct --------------------------------------------";
50 "-----------------------------------------------------------------";