Zulip Chat Archive
Stream: toric
Topics:
- Upstreaming (8 messages, latest: Oct 17 2025 at 16:48)
- Weekly meetings (74 messages, latest: Aug 21 2025 at 12:44)
- Correct setting for convex geometry (19 messages, latest: Jul 06 2025 at 13:26)
- Bumps (50 messages, latest: Jul 05 2025 at 15:59)
- Character-cocharacter pairing (2 messages, latest: Jun 03 2025 at 15:20)
- Diagonalisable groups (43 messages, latest: May 15 2025 at 13:34)
- 0-over-lim: Limit-preserving functors lift (33 messages, latest: May 11 2025 at 19:24)
- Convex geometry in mathlib (14 messages, latest: Apr 25 2025 at 18:37)
- Equivalence between Hopf algebras and affine group schemes (20 messages, latest: Apr 24 2025 at 18:11)
- Branch protection (2 messages, latest: Apr 17 2025 at 17:39)
- Toric variety (6 messages, latest: Apr 16 2025 at 20:55)
- Current tasks (24 messages, latest: Apr 08 2025 at 17:02)
- Group algebras (30 messages, latest: Apr 06 2025 at 11:29)
- Refactoring torus definition (24 messages, latest: Apr 04 2025 at 11:54)
- PRs (2 messages, latest: Apr 01 2025 at 12:28)
- channel events (2 messages, latest: Mar 17 2025 at 09:31)
- Multivariate Laurent polynomials are a domain (4 messages, latest: Mar 16 2025 at 07:31)
- Tensor linearly independent families (3 messages, latest: Mar 15 2025 at 20:56)
- Algebraic groups and representations (22 messages, latest: Mar 12 2025 at 19:31)
- Scheme theoretic image of quasi-compact morphism (6 messages, latest: Mar 11 2025 at 18:29)
- Monoid object action API (3 messages, latest: Mar 08 2025 at 02:29)
- Website (1 message, latest: Mar 06 2025 at 14:47)
- Dependency graph (2 messages, latest: Mar 06 2025 at 14:40)
- Group object API (3 messages, latest: Mar 06 2025 at 11:20)
- The torus is a commutative group object (6 messages, latest: Mar 06 2025 at 11:17)
- Mathlib linters (2 messages, latest: Mar 05 2025 at 14:49)
- Project updates (1 message, latest: Feb 25 2025 at 07:14)
Last updated: Dec 20 2025 at 21:32 UTC