Suppose I have two (not complete) fans f1 and f2, and I want to compute a fan whose cones are all the intersections c1 \cap c2 where c1 is a cone of f1 and c2 is a cone of f2.

Can polymake do this? I looked at common_refinement, but the documentation says that the fans must be complete.

Thank you for the response and bugfix!

In fact I don't think I need to construct a fan with one cone, but I was trying to understand the simplest possible case to make sure I was doing it right.

Thank you! So I will ignore the part in the documentation that says: LINEALITY_DIM: common::Int Dimension of LINEALITY_SPACE. FIXME currently polymake can only handle POINTED cones I hope that polymake will give me an error or warning if I use a algorithm that is not compatible with non-pointed cones.

I'm sorry if this is a newbie question, but I can't find helpful documentation for application fan. I tried: fan > $p = new PolyhedralFan(INPUT_RAYS => [[1,0],[1,3]], INPUT_CONES=>[[0,1]]); fan > print $p->F_VECTOR; 2 fan > print $p->CONES; <{0} {1} > I had hoped that the output would be more like 1...

Some parts of the documentation for application fan say that fans with non-trivial lineality are not supported, and some say that they are. What is true?

Whenever I try to compute anything like ORBITS_F_VECTOR it says polymake: WARNING: available properties insufficient to compute 'ORBITS_F_VECTOR' I have a fan with rays and cones and symmetry generators, so it seems like that is all that could be needed. I also tried (looking at an example from onli...