Zulip Chat Archive
Stream: Is there code for X?
Topic: Division in PolynomialModule
Sahan Wijetunga (Jul 16 2025 at 19:24):
Has anyone formalized division in PolynomialModule by the polynomial ring?
Kenny Lau (Jul 16 2025 at 22:48):
#mwe?
Last updated: Dec 20 2025 at 21:32 UTC