Zulip Chat Archive

Stream: general

Topic: Importing euclidean_domain breaks my code


view this post on Zulip 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 algebra.euclidean_domain into linear_algebra.multivariate_polynomial. What's happening?

view this post on Zulip 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