wneuper [Tue, 05 Sep 2006 10:10:27 +0200] rev 648
fun poly2term returns (a+b) instead (1*a+1*b);
smltest/../biegelinie.sml: buggy testcases outcommented
wneuper [Mon, 04 Sep 2006 16:56:33 +0200] rev 647
SK intermediate
wneuper [Mon, 04 Sep 2006 15:53:35 +0200] rev 646
SK 'fun mv_poly2str'
wneuper [Mon, 04 Sep 2006 15:50:33 +0200] rev 645
SK 'fun mv_poly2str'
wneuper [Mon, 04 Sep 2006 14:10:45 +0200] rev 644
SK start
wneuper [Mon, 04 Sep 2006 14:08:09 +0200] rev 643
SK start
wneuper [Sat, 02 Sep 2006 17:13:31 +0200] rev 642
Biegelinie2, intermediate state: error in setzeRandb*Ein
wneuper [Fri, 01 Sep 2006 19:14:43 +0200] rev 641
Biegelinie2, intermediate state (fun eval_sameFunId .. required for currying in filter)
wneuper [Fri, 01 Sep 2006 17:48:27 +0200] rev 640
Biegelinie2, intermediate state (fun eval_same_funid)
wneuper [Fri, 01 Sep 2006 15:00:42 +0200] rev 639
Biegelinie2, intermediate SubProblem (_,["makeFunctionTo","equation"] finished