equal
deleted
inserted
replaced
1 (* some tests are based on specficially simple scripts etc. |
1 (* some tests are based on specficially simple scripts etc. |
2 Author: Walther Neuper 2003 |
2 Author: Walther Neuper 2003 |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 *) |
4 *) |
5 |
5 |
6 theory Test imports Atools Rational Root Poly begin |
6 theory Test imports Atools Poly Rational Root Diff begin |
7 |
7 |
8 consts |
8 consts |
9 |
9 |
10 (*"cancel":: [real, real] => real (infixl "'/'/'/" 70) ...divide 2002*) |
10 (*"cancel":: [real, real] => real (infixl "'/'/'/" 70) ...divide 2002*) |
11 |
11 |