Closed SupposeNot closed 1 year ago
Poking around, there's a paper which seems more on point, but doesn't seem to have exactly the right thing in it: [1] J. Garza-Vargas and I. Hubard. Polytopality of maniplexes. Discrete Math., 341(7):2068–2079, 2018. This has several path intersection properties, but none called the WPIP.
What happened here is that in a preprint of their paper, they had two properties: the Weak PIP and the PIP. Later, they changed it, so the old WPIP is now called the PIP, and the old PIP is now called the Strong PIP. So we should rename the function(s) and then cite Polytopality of Maniplexes.
I'll take care of it then...
Handled in c30702c.
So... I wanted to read some more about this test involved in testing a maniplex for polytonality, but the cited paper ([GH18] Gleason, I. and Hubard, I., Products of abstract polytopes, Journal of Combinatorial Theory, Series A, Elsevier {BV}, 157 (2018), 287--320.) does not appear to contain any reference to this property... sooo... where does it come from?