1
0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-12-25 18:25:29 +01:00

add second cheap KnuthBedix run

This commit is contained in:
kalmarek 2020-02-12 01:57:54 +01:00
parent 29c4e84fac
commit 1e217552b0
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -92,6 +92,7 @@ O.maxstates := 1000*$maxeqns;;
before := Runtimes();;
$reduction(rws);
KnuthBendix(rws);
after := Runtimes();;
delta := after.user_time_children - before.user_time_children;;
Print("$reduction time: \t", StringTime(delta), "\\n");