Stream: Hierarchy Builder devs & users

Topic: Missing join


view this post on Zulip Florent Hivert (Dec 10 2023 at 13:42):

I was reading about

https://github.com/math-comp/hierarchy-builder/wiki/MissingJoin

It suggest that one has to declare every join. But their number can be exponentially large. Is there some suggestion when to do it and when not ? I'm Ok to improve the wiki if someone explain me how.

view this post on Zulip Cyril Cohen (Feb 15 2024 at 09:14):

@Florent Hivert right now we do not have a rule. When the error message occur, it means the join has to be declared :shrug:

view this post on Zulip Kazuhiko Sakaguchi (Feb 15 2024 at 09:45):

For any pair of two structures (A, B), you need to make sure that the minimum structure that inherits from both A and B is unique. See Figures 3 and 4 of https://arxiv.org/abs/2002.00620


Last updated: Apr 21 2024 at 02:41 UTC