Stream: Hierarchy Builder devs & users

Topic: ✔ Importing Order.TTheory in the middle break the code


view this post on Zulip Cyril Cohen (Dec 11 2023 at 13:33):

No that's a bug in the seeded/random name generator. Please report if you have some time.

view this post on Zulip Florent Hivert (Dec 11 2023 at 13:37):

This is https://github.com/math-comp/hierarchy-builder/issues/407

view this post on Zulip Notification Bot (Dec 11 2023 at 13:38):

Florent Hivert has marked this topic as resolved.


Last updated: Apr 21 2024 at 01:02 UTC