Zulip Chat Archive
Stream: triage
Topic: issue !4#23215: The simplifier fails to prove the derivat...
Random Issue Bot (Jan 07 2026 at 14:12):
Today I chose issue #23215 for discussion!
The simplifier fails to prove the derivative equality of a linear polynomial function whose coefficient is written before the variable
Created by @Yongshun Ye (@ShreckYe) on 2025-03-22
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Violeta Hernández (Jan 08 2026 at 00:35):
Is this something even worth fixing? I think we should set a standard form for writing polynomials and put all of the simp lemmas on that form.
Johan Commelin (Jan 08 2026 at 06:52):
Agreed on the standard form. But ideally simp would also put a polynomial into standard form.
Random Issue Bot (Feb 19 2026 at 14:28):
Today I chose issue #23215 for discussion!
The simplifier fails to prove the derivative equality of a linear polynomial function whose coefficient is written before the variable
Created by @Yongshun Ye (@ShreckYe) on 2025-03-22
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Feb 28 2026 at 14:05 UTC