equal
deleted
inserted
replaced
1 (* simplification of terms |
|
2 author: Walther Neuper 050912 |
|
3 (c) due to copyright terms |
|
4 |
|
5 remove_thy"Simplify"; |
|
6 use_thy"~/proto2/isac/src/sml/IsacKnowledge/Simplify"; |
|
7 |
|
8 use_thy_only"~/proto2/isac/src/sml/IsacKnowledge/Simplify"; |
|
9 use_thy"~/proto2/isac/src/sml/IsacKnowledge/Isac"; |
|
10 *) |
|
11 |
|
12 Simplify = Atools + |
|
13 |
|
14 consts |
|
15 |
|
16 (*descriptions in the related problem*) |
|
17 term :: real => una |
|
18 normalform :: real => una |
|
19 |
|
20 (*the CAS-command*) |
|
21 Simplify :: "real => real" (*"Simplify (1+2a+3+4a)*) |
|
22 Vereinfache :: "real => real" (*"Vereinfache (1+2a+3+4a)*) |
|
23 |
|
24 (*Script-name*) |
|
25 SimplifyScript :: "[real, real] => real" |
|
26 ("((Script SimplifyScript (_ =))// (_))" 9) |
|
27 |
|
28 |
|
29 end |
|