traiter: correctly sort rows in increasing order of largest coefficient
commite1a2ba998b3a2cb297acf29e437d1882dcbe2599
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 6 Aug 2007 11:03:22 +0000 (6 13:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 6 Aug 2007 13:23:07 +0000 (6 15:23 +0200)
treeb9b0cc01f245decf7457f84ab6ecd6ee14517847
parentbafade243865ac09acbca49c49f469cc2ff71f5b
traiter: correctly sort rows in increasing order of largest coefficient

Some of the examples now produce different (but still correct)
output.
example/expansion.ll
example/fimmel.ll
source/traiter.c