Zulip Chat Archive
Stream: triage
Topic: PR !4#26110: feat: sharp monoids
Random Issue Bot (Sep 07 2025 at 14:10):
Today I chose PR #26110 for discussion!
feat: sharp monoids
Created by @Yaël Dillies (@YaelDillies) on 2025-06-18
Labels: t-algebra, toric
Is this PR still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (Sep 08 2025 at 08:10):
Awaiting review
Last updated: Dec 20 2025 at 21:32 UTC