Page 1 of 1

Checking if two fans have the same support

Posted: 21 Jul 2021, 19:55
by MattLarson
Hi,

Is there a way to check if two fans have the same support?

The fans I am interested are pure and full-dimensional.

One could take a common refinement, and then check if both fans are subdivisions of the common refinement. But I don't know how to check if one fan is a subdivision of another either.

Thank you!

Re: Checking if two fans have the same support

Posted: 27 Jul 2021, 12:19
by joswig
Indeed, currently polymake does not have such a function. Of course, it is absolutely desirable.

We started to discuss the matter within the developer's team. There are several ways to implement this, all of which are computationally costly, except for small fans in very low dimensions.

We are in the middle of putting together the roadmap for the next release. We might be able to add at least a proof of concept implementation.

I'll come back with more details next week. Please stay tuned.

Re: Checking if two fans have the same support

Posted: 10 Sep 2021, 22:58
by lkastner
Since we are still figuring out the details of our final implementation, I made posted a jupyter notebook that should do the trick for small examples:
https://github.com/lkastner/jupyter-not ... t_pm.ipynb

There might still be boundary cases missing. Also note that this is really a brute force approach that is likely to fail for large examples. Let me know if anything is unclear.

Re: Checking if two fans have the same support

Posted: 13 Sep 2021, 04:27
by MattLarson
That works for my purposes, thank you!