Macaulay2 / Macaulay2/M2

The method polyhedra for PolyhedralComplex in Polyhedra has an off by 1 in dimension

Open
#2,932 1 comment 0 reactions 0 assignees View on GitHub
package issue
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

Given a polyhedral complex, the code
```
polyhedra(1,PC)
```
returns the vertices instead of the edges. For a concrete example,
```
PC = polyhedralComplex hypercube 3;
polyhedra(1,PC)
```
returns
```
{({0}, {}), ({1}, {}), ({2}, {}), ({3}, {}), ({4}, {}), ({5}, {}), ({6}, {}), ({7}, {})}
```
and the cube has 12 edges not 8.

Contributor guide

No contributing guide indexed for this repository

Research direction

Locate the polyhedra method for PolyhedralComplex and reproduce the hypercube example from the issue. Check how the dimension argument is interpreted, then verify that polyhedra(1,PC) returns the cube's 12 edges rather than its 8 vertices.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
68/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.