18 |
18 |
19 theory Isac_Mathengine |
19 theory Isac_Mathengine |
20 (*imports Complex_Main*) |
20 (*imports Complex_Main*) |
21 imports Complex_Main "Scripts/Script" (*ListG, Tools, Script*) |
21 imports Complex_Main "Scripts/Script" (*ListG, Tools, Script*) |
22 begin |
22 begin |
|
23 |
|
24 ML {* |
|
25 writeln "**** build the isac kernel = math-engine + IsacKnowledge "; |
|
26 writeln "**** build the math-engine ******************************" *} |
23 |
27 |
24 ML {* Toplevel.debug := true; *} |
28 ML {* Toplevel.debug := true; *} |
25 use "library.sml" |
29 use "library.sml" |
26 use "calcelems.sml" |
30 use "calcelems.sml" |
27 ML {* check_guhs_unique := true *} |
31 ML {* check_guhs_unique := true *} |
55 use "FE-interface/interface.sml" |
59 use "FE-interface/interface.sml" |
56 |
60 |
57 use "print_exn_G.sml" |
61 use "print_exn_G.sml" |
58 text "**** build math-engine complete *************************" |
62 text "**** build math-engine complete *************************" |
59 |
63 |
|
64 ML {* writeln "**** build the IsacKnowledge ****************************" *} |
|
65 use_thy"IsacKnowledge/Typefix" |
|
66 |
|
67 ML {* |
|
68 |
|
69 111; |
|
70 *} |
|
71 |
|
72 use_thy"IsacKnowledge/Descript" |
60 |
73 |
61 |
74 |
|
75 ML {* |
|
76 val str = "1234567890"; |
|
77 *} |
|
78 |
|
79 (* |
|
80 use_thy"IsacKnowledge/Atools" |
|
81 use_thy"IsacKnowledge/Simplify" |
|
82 use_thy"IsacKnowledge/Poly" |
|
83 use_thy"IsacKnowledge/Rational" |
|
84 use_thy"IsacKnowledge/PolyMinus" |
|
85 use_thy"IsacKnowledge/Equation" |
|
86 use_thy"IsacKnowledge/LinEq" |
|
87 use_thy"IsacKnowledge/Root" |
|
88 use_thy"IsacKnowledge/RootEq" |
|
89 use_thy"IsacKnowledge/RatEq" |
|
90 use_thy"IsacKnowledge/RootRat" |
|
91 use_thy"IsacKnowledge/RootRatEq" |
|
92 use_thy"IsacKnowledge/PolyEq" |
|
93 use_thy"IsacKnowledge/Vect" |
|
94 use_thy"IsacKnowledge/Calculus" |
|
95 use_thy"IsacKnowledge/Trig" |
|
96 use_thy"IsacKnowledge/LogExp" |
|
97 use_thy"IsacKnowledge/Diff" |
|
98 use_thy"IsacKnowledge/DiffApp" |
|
99 use_thy"IsacKnowledge/Integrate" |
|
100 use_thy"IsacKnowledge/EqSystem" |
|
101 use_thy"IsacKnowledge/Biegelinie" |
|
102 use_thy"IsacKnowledge/AlgEin" |
|
103 use_thy"IsacKnowledge/Test" |
|
104 use_thy"IsacKnowledge/Isac" |
|
105 *) |
62 end |
106 end |
63 |
107 |