search

flintlib / calcium

Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://fredrikj.net/calcium/
GNU Lesser General Public License v2.1
79 stars 11 forks source link

Solve slowdown in huge_expr #4

Closed fredrik-johansson closed 3 years ago

fredrik-johansson commented 4 years ago

The bugfix 9f317f407bae376725e9266f6967c9fb411d18f0 caused huge_expr -ca to slow down 2x. This may be because a relation is being proved twice.

fredrik-johansson commented 4 years ago

Turning on Gröbner bases brought this down to 100 seconds (2.5x faster than the original time before the slowdown).

Using the alternative comparison strategy in check_is_equal (not yet used by default) reduces it to 40 seconds, almost as fast as the qqbar version.

This should still be improvable using number fields.

fredrik-johansson commented 3 years ago

huge_expr now takes 8.5 seconds and huge_expr -ca takes 8.3 seconds, so this is definitely solved.