(*Komplexe Zahlen, anders als von Isabelle vorgeschlagen,

   und naeher an der traditionellen Schreibweise (sh.auch Mathematica)*)

 (*---- solche Tests gehoeren nach kbtest/complex.sml ---

  val t = (term_of o the o (parse thy)) "I__";

  atomt t;

  val t = (term_of o the o (parse thy)) "1 + 2 * I__";

  atomt t;

  val t = (term_of o the o (parse thy)) 

 	     "1 + 2 * I__ + 3 + 4 * I__ * (5 + 6 * I__) / (7 + 8 * I__)";

  atomt t;

 (*andere konkrete Syntax ???*)

  val t = (term_of o the o (parse thy)) "Float ((1,2),(0,0)) * I__";

  atomt t;

  (*term2str t;*)

  val t = (term_of o the o (parse thy)) 

 	     "Float ((1,2),(0,0)) + Float ((3,4),(0,0)) * I__";

  atomt t;

  (*term2str t;*)

 ---------------------------------------------------------*)