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