lexmin.cc: perform substitution immediately on each term during construction
commit1885bfae79a020327385bee4a42e4ab606e46a0c
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 6 Sep 2006 12:20:54 +0000 (6 14:20 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 6 Sep 2006 12:21:13 +0000 (6 14:21 +0200)
tree38e4fd6652d7260160242950f1290734fa310068
parent6d9d91dd3e3e21a80e5f4d980f65fdf0bba865d4
lexmin.cc: perform substitution immediately on each term during construction

This change allows us to compute the generating function of vertices
on demand.
lexmin.cc