| author | Walther Neuper <neuper@ist.tugraz.at> |
| Tue, 28 Sep 2010 09:06:56 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38031 | 460c24a6a6ba |
| parent 37906 | e2b23ba9df13 |
| child 42176 | 3573fd729e99 |
| permissions | -rw-r--r-- |
| neuper@37906 | 1 |
(* tests for mathml.sml |
| neuper@37906 | 2 |
author: Walther Neuper 060311 |
| neuper@37906 | 3 |
(c) isac-team 2006 |
| neuper@37906 | 4 |
|
| neuper@37906 | 5 |
use"../smltest/xmlsrc/mathml.sml"; |
| neuper@37906 | 6 |
use"mathml.sml"; |
| neuper@37906 | 7 |
*) |
| neuper@37906 | 8 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 9 |
"table of contents -----------------------------------------------"; |
| neuper@37906 | 10 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 11 |
"within struct ---------------------------------------------------"; |
| neuper@37906 | 12 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 13 |
"--------- encode ^^^ -> ^ ---------------------------------------"; |
| neuper@37906 | 14 |
"--------- encode < -> < and > -> > --------------------------"; |
| neuper@37906 | 15 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 16 |
"exported from struct --------------------------------------------"; |
| neuper@37906 | 17 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 18 |
"--------- ... ---------------------------------------------------"; |
| neuper@37906 | 19 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 20 |
|
| neuper@37906 | 21 |
|
| neuper@37906 | 22 |
|
| neuper@37906 | 23 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 24 |
"within struct ---------------------------------------------------"; |
| neuper@37906 | 25 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 26 |
(*==================================================================*) |
| neuper@37906 | 27 |
|
| neuper@37906 | 28 |
|
| neuper@37906 | 29 |
"--------- encode ^^^ -> ^ ---------------------------------------"; |
| neuper@37906 | 30 |
"--------- encode ^^^ -> ^ ---------------------------------------"; |
| neuper@37906 | 31 |
"--------- encode ^^^ -> ^ ---------------------------------------"; |
| neuper@37906 | 32 |
val str = "a^^^2+b^^^2=c^^^2"; |
| neuper@37906 | 33 |
if decode str = "a^2+b^2=c^2" then () |
| neuper@38031 | 34 |
else error "mathml.sml: diff.behav. in encode ^^^ -> ^"; |
| neuper@37906 | 35 |
|
| neuper@37906 | 36 |
"--------- encode < -> < and > -> > --------------------------"; |
| neuper@37906 | 37 |
"--------- encode < -> < and > -> > --------------------------"; |
| neuper@37906 | 38 |
"--------- encode < -> < and > -> > --------------------------"; |
| neuper@37906 | 39 |
val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n"; |
| neuper@37906 | 40 |
if decode str = |
| neuper@37906 | 41 |
"?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n" |
| neuper@38031 | 42 |
then () else error "mathml.sml: diff.behav. in encode '<' and '>'"; |
| neuper@37906 | 43 |
|
| neuper@37906 | 44 |
"----- check 'manually' the xml-output of calling functions ------"; |
| neuper@37906 | 45 |
formula2xml 1 (str2term ) |
| neuper@37906 | 46 |
|
| neuper@37906 | 47 |
(*==================================================================*) |
| neuper@37906 | 48 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 49 |
"exported from struct --------------------------------------------"; |
| neuper@37906 | 50 |
"-----------------------------------------------------------------"; |
| neuper@37906 | 51 |
|
| neuper@37906 | 52 |