miratope-rs
miratope-rs copied to clipboard
Some skew polytopes can be created but not saved or loaded
Polytopes with a dimension > rank can be created in Miratope using the duocomb operation, but these polytopes cannot be imported or exported as an OFF file. Fixing this bug would either require extending the OFF file format, not allowing these kinds of polytopes to be exported, or creating a new format for these types of skew polytopes (although there may be better solutions than these 3 that I'm not thinking of).