Sat, 05 Jul 2014 11:01:53 +0200 | haftmann | prefer ac_simps collections over separate name bindings for add and mult | file | diff | annotate |
Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
Mon, 06 Aug 2012 15:12:18 +0200 | huffman | modify group_cancel simprocs so that they can cancel multiple terms at once | file | diff | annotate |
Sat, 28 Jul 2012 07:26:37 +0200 | huffman | move exception handlers outside of let block | file | diff | annotate |
Fri, 27 Jul 2012 15:42:39 +0200 | huffman | replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones | file | diff | annotate |