1.1 --- a/src/Tools/isac/TODO.txt Wed Mar 14 17:12:43 2012 +0100
1.2 +++ b/src/Tools/isac/TODO.txt Sat Mar 17 11:06:46 2012 +0100
1.3 @@ -13,8 +13,10 @@
1.4 errors found much later, for instance during work with
1.5 Jan Rocnik on SignalProcessing. Presently a majority of tests is still sleeping.
1.6
1.7 -This list is started to record TODO wich can NOT be done
1.8 -before all tests are RUNNING
1.9 +This list is started to record TODOs wich can NOT be done
1.10 +before all tests are RUNNING.
1.11 +
1.12 +############## WNxxxxxx.TODO can be found in sources ##############
1.13
1.14 --------------------------------------------------------------------------------
1.15 WN111013.TODO: lots of cleanup/removal in test/../Test.thy
1.16 @@ -149,3 +151,16 @@
1.17 --------------------------------------------------------------------------------
1.18 WN111014.TODO fun prep_rls | !!!use this function in ruleset' := !!!
1.19 --------------------------------------------------------------------------------
1.20 +WN120314 changeset a393bb9f5e9f drops root equations.
1.21 +see test/Tools/isac/Knowledge/rootrateq.sml
1.22 +--------------------------------------------------------------------------------
1.23 +WN120317.TODO dropped rateq:
1.24 +# test --- repair NO asms from rls RatEq_eliminate --- shows error from 2002
1.25 +# test --- solve (1/x = 5, x) by me --- and --- x / (x ^ 2 - 6 * x + 9) - ...:
1.26 + investigation Check_elementwise stopped due to too much effort finding out,
1.27 + why Check_elementwise worked in 2002 in spite of the error.
1.28 +--------------------------------------------------------------------------------
1.29 +--------------------------------------------------------------------------------
1.30 +--------------------------------------------------------------------------------
1.31 +--------------------------------------------------------------------------------
1.32 +--------------------------------------------------------------------------------