(* simplification of terms

    author: Walther Neuper 050912

    (c) due to copyright terms

 remove_thy"Simplify";

 use_thy"~/proto2/isac/src/sml/Knowledge/Simplify";

 use_thy_only"~/proto2/isac/src/sml/Knowledge/Simplify";

 use_thy"~/proto2/isac/src/sml/Knowledge/Isac";

 *)

 Simplify = Atools +

 consts

   (*descriptions in the related problem*)

   term        :: real => una

   normalform  :: real => una

   (*the CAS-command*)

   Simplify    :: "real => real"  (*"Simplify (1+2a+3+4a)*)

   Vereinfache :: "real => real"  (*"Vereinfache (1+2a+3+4a)*)

   (*Script-name*)

   SimplifyScript      :: "[real,  real] => real"

                   ("((Script SimplifyScript (_ =))// (_))" 9)

 end