Menelaos Karavelas 62c178cb43 now printing at the end also the time for solving without the multiplicities

2007-09-26 12:36:08 +00:00

..

data

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

Algebraic_kernel_d_1.cpp

now printing at the end also the time for solving without the multiplicities

2007-09-26 12:36:08 +00:00

benchmark

Output of header and .bm extension to filename added.

2007-04-18 21:31:36 +00:00