[sage-devel] Re: How to use generic quotients?

2021-07-27 Thread Michael Jung
+1 The only problem I can imagine is that some implementations might rely on that behavior... Trevor Karn schrieb am Dienstag, 27. Juli 2021 um 21:29:44 UTC+2: > I'm glad it was helpful! I think I'd like to add a NotImplementedError on > the Ideal_nc.reduce() method until we are able to implem

[sage-devel] Re: How to use generic quotients?

2021-07-27 Thread Trevor Karn
I'm glad it was helpful! I think I'd like to add a NotImplementedError on the Ideal_nc.reduce() method until we are able to implement the quotients in #32249. Does anyone see any reason not to implement such an error? Or at least a warning? On Tuesday, July 27, 2021 at 8:33:13 AM UTC-5 Michael

[sage-devel] Re: How to use generic quotients?

2021-07-27 Thread Michael Jung
Thank you Trevor! This was extremely helpful! Trevor Karn schrieb am Dienstag, 27. Juli 2021 um 14:23:37 UTC+2: > Check out this ask.sagemath.org post: > https://ask.sagemath.org/question/56243/quotients-of-exterior-algebras/. > You could try to implement a specific ideal for the graded commutat

[sage-devel] Re: How to use generic quotients?

2021-07-27 Thread Trevor Karn
Check out this ask.sagemath.org post: https://ask.sagemath.org/question/56243/quotients-of-exterior-algebras/. You could try to implement a specific ideal for the graded commutative algebras. I opened a ticket https://trac.sagemath.org/ticket/32249 to start doing this but in the meantime got pu