| author | Walther Neuper <neuper@ist.tugraz.at> |
| Sun, 22 Jun 2014 15:22:30 +0200 | |
| changeset 55460 | ee6ffa1fc437 |
| parent 55455 | cf8879216db3 |
| child 59229 | 5717ebcfdd77 |
| permissions | -rw-r--r-- |
| neuper@37906 | 1 |
(* theory collecting all knowledge defined so far |
| neuper@37906 | 2 |
WN.11.00 |
| neuper@37906 | 3 |
*) |
| neuper@37906 | 4 |
|
| neuper@41929 | 5 |
theory Isac |
| neuper@48880 | 6 |
imports "~~/src/Tools/isac/Frontend/Frontend" |
| neuper@42278 | 7 |
PolyMinus PolyEq Vect DiffApp Biegelinie AlgEin (*InsSort +*) |
| neuper@42280 | 8 |
DiophantEq Inverse_Z_Transform Test |
| neuper@48895 | 9 |
(*THIS WAITS UNITL Isabelle2013 (? how include into dependency graph?)..... |
| neuper@48895 | 10 |
..... GCD_Poly_FP*) |
| neuper@41929 | 11 |
begin |
| neuper@37906 | 12 |
|
| neuper@37954 | 13 |
text {* dependencies alternative to those defined by R.Lang during his thesis:
|
| neuper@37906 | 14 |
|
| neuper@37906 | 15 |
Poly Root |
| neuper@37906 | 16 |
|\__________ | |
| neuper@37906 | 17 |
| \ | |
| neuper@37906 | 18 |
| Rational | |
| neuper@37906 | 19 |
| | | |
| neuper@37906 | 20 |
PolyEq RatEq RootEq |
| neuper@37906 | 21 |
\ / \ / |
| neuper@37906 | 22 |
\ / \ / |
| neuper@37906 | 23 |
RatPolyEq RatRootEq etc. |
| neuper@37954 | 24 |
*} |
| neuper@37954 | 25 |
|
| neuper@42413 | 26 |
ML {* val version_isac = "isac version 120504 15:33"; *}
|
| neuper@42412 | 27 |
|
| neuper@37954 | 28 |
end |