Lars Kastner
Lars Kastner
One reason was that this allows a more global approach later on. Nevertheless if it is a bother feel free to get rid of this.
Theorem 12.3.12 CLS only holds for complete and simplicial fans, but this example is not complete. Is this what you are using here?
See also https://github.com/oscar-system/Oscar.jl/issues/877
I dealt with some of these in the PR above. Nevertheless this will stay a recurring issues, since people don't read documentation. Is there a reason that `build_doc` and `test_module`...
> I can't think of a reason, other than "nobody did it yet". Sounds like a good idea to me! Ok, I'll make a PR with that and restructure a...
So is the `PolyhedralGeometry` part done and the PR is just written in the wrong line or did it really fix `Group`?
What if the input is faulty, i.e. has duplicate rays, rays that are inside cones, and rays that aren't used?
> I assume(d) sane input. This is really a tricky one. Because if we allow such constructors then people will abuse them. We have that a lot in polymake, where...
On a side note: I am all for providing convenience functions for facilitating the translation.
Adding @alexej-jordan for an estimate of how much work this would be for the polyhedral section. This would require work on all polyhedral objects, it does not make sense to...