Zulip Chat Archive
Stream: toric
Topics:
- Weekly meetings (38 messages, latest: Apr 29 2025 at 09:18)
- Bumps (35 messages, latest: Apr 28 2025 at 20:19)
- 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)
- Diagonalisable groups (42 messages, latest: Apr 21 2025 at 15:42)
- Branch protection (2 messages, latest: Apr 17 2025 at 17:39)
- Toric variety (6 messages, latest: Apr 16 2025 at 20:55)
- Upstreaming (3 messages, latest: Apr 10 2025 at 08:13)
- 0-over-lim: Limit-preserving functors lift (31 messages, latest: Apr 09 2025 at 08:23)
- 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)
- Correct setting for convex geometry (10 messages, latest: Apr 03 2025 at 14:16)
- 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: May 02 2025 at 03:31 UTC