Jan Rocnik <jan.rocnik@student.tugraz.at> [Tue, 25 Oct 2011 23:50:45 +0200] rev 42326
tuned after meeting
Jan Rocnik <jan.rocnik@student.tugraz.at> [Thu, 20 Oct 2011 19:42:34 +0200] rev 42325
merged
Jan Rocnik <jan.rocnik@student.tugraz.at> [Thu, 20 Oct 2011 19:41:46 +0200] rev 42324
tuned
Jan Rocnik <jan.rocnik@student.tugraz.at> [Wed, 19 Oct 2011 23:11:45 +0200] rev 42323
tuned
Jan Rocnik <jan.rocnik@student.tugraz.at> [Tue, 18 Oct 2011 23:30:37 +0200] rev 42322
tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Oct 2011 16:12:50 +0200] rev 42321
begin repair test/../intergrate.sml
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Oct 2011 14:34:10 +0200] rev 42320
merged
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Oct 2011 14:33:25 +0200] rev 42319
end repair test/../polyeq.sml
TODO.txt got entries:
redesign calculate_RootRat + ALL simplify, norm
fun prep_rls | !!!use this function in ruleset' := !!!
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Oct 2011 11:43:00 +0200] rev 42318
begin repair test/../polyeq.sml
some thms (bdv_explicit*) require type constraint to real;
see --- (-8 - 2*x + x^^^2 = 0), (*Schalk 2, S.67 Nr.31.b---
Jan Rocnik <jan.rocnik@student.tugraz.at> [Fri, 14 Oct 2011 09:03:50 +0200] rev 42317
merged