Macaulay2 / Macaulay2/M2

Polyhedra Package Changes Lineality Space of Fan

Open
#3,181 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

In some rare instances, the lineality space of a fan containing a single cone is different than the lineality space cone. This prevents adding cones to the fan that one should be able to add. Example:
```
i1 : loadPackage Polyhedra

o1 = Polyhedra

o1 : Package

i2 : v1 = matrix{{-2,-1, -1, 2, 0, 1, -1, 0, 0, 2}}
v2 = matrix {{-2,-1,0,0,1,0,0,1,0,1}}

o2 = | -2 -1 -1 2 0 1 -1 0 0 2 |

1 10
o2 : Matrix ZZ <-- ZZ

o3 = | -2 -1 0 0 1 0 0 1 0 1 |

1 10
o3 : Matrix ZZ <-- ZZ

i4 : image linealitySpace(fan coneFromHData(v1, v2)) == image linealitySpace(coneFromHData(v1, v2))

o4 = false
```
Perhaps this is intended behavior, apologies if so.

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the example using the Polyhedra package and compare linealitySpace(fan coneFromHData(...)) with linealitySpace(coneFromHData(...)). Start by locating the implementations of linealitySpace, fan, and coneFromHData; done means determining whether the differing spaces are a bug and, if so, adding a regression test for the example.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.