Chris Hughes (May 27 2018 at 20:37):
For some reason importing euclidean domain breaks my code, and causes a deterministic timeout. The same problem happens if I try to import
linear_algebra.multivariate_polynomial. What's happening?
Chris Hughes (May 27 2018 at 23:13):
Discovered a solution. Delete the unnecessary
decidable_equality argument from the euclidean_domain class
Last updated: May 14 2021 at 12:18 UTC