Tue, 30 Jan 2018 11:20:52 +0100 | wenzelm | tuned: more explicit types; | changeset | files |
Mon, 29 Jan 2018 22:27:57 +0100 | wenzelm | tuned data structure: potentially more efficient add_prods; | changeset | files |
Mon, 29 Jan 2018 22:25:07 +0100 | wenzelm | clarified operations; | changeset | files |