Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/xmlsrc/mathml.sml
branchisac-update-Isa09-2
changeset 38031 460c24a6a6ba
parent 37906 e2b23ba9df13
child 42176 3573fd729e99
equal deleted inserted replaced
38030:95d956108461 38031:460c24a6a6ba 
    29 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    29 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    30 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    30 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    31 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    31 "--------- encode ^^^ -> ^ ---------------------------------------";
 
    32 val str = "a^^^2+b^^^2=c^^^2";
 
    32 val str = "a^^^2+b^^^2=c^^^2";
 
    33 if decode str = "a^2+b^2=c^2" then ()
 
    33 if decode str = "a^2+b^2=c^2" then ()
 
    34 else raise error "mathml.sml: diff.behav. in encode ^^^ -> ^";
 
    34 else error "mathml.sml: diff.behav. in encode ^^^ -> ^";
 
    35 
    35 
    36 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    36 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    37 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    37 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    38 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    38 "--------- encode < -> &lt and > -> &gt --------------------------";
 
    39 val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n";
 
    39 val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n";
 
    40 if decode str = 
    40 if decode str = 
    41    "?bdv occurs_in ?b; 0 &lt ?n |] ==&gt ?a / ?b ^ ?n = ?a * ?b ^ - ?n" 
    41    "?bdv occurs_in ?b; 0 &lt ?n |] ==&gt ?a / ?b ^ ?n = ?a * ?b ^ - ?n" 
    42 then () else raise error "mathml.sml: diff.behav. in encode '<' and '>'";
 
    42 then () else error "mathml.sml: diff.behav. in encode '<' and '>'";
 
    43 
    43 
    44 "----- check 'manually' the xml-output of calling functions ------";
 
    44 "----- check 'manually' the xml-output of calling functions ------";
 
    45 formula2xml 1 (str2term )
 
    45 formula2xml 1 (str2term )
 
    46 
    46 
    47 (*==================================================================*)
 
    47 (*==================================================================*)
wneuper/isa