Zulip Chat Archive
Stream: triage
Topic: PR #18652: feat(field_theory/ratfunc): The numerator and ...
Random Issue Bot (Jun 15 2023 at 14:07):
Today I chose PR 18652 for discussion!
feat(field_theory/ratfunc): The numerator and denominator of a rational function are coprime
Created by @Yaël Dillies (@YaelDillies) on 2023-03-25
Labels: awaiting-review, t-algebra, modifies-synchronized-file
Is this PR still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (Jun 15 2023 at 14:08):
Ready to be merged as far as I'm concerned
Last updated: Dec 20 2023 at 11:08 UTC