Macaulay2 / Macaulay2/M2

mingens in local rings

Open
#568 0 comments 0 reactions 1 assignee Claimed by @mikestillman View on GitHub
Core Linear Algebra
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

The Mora algorithm in M2 should return the minimal generators in the local ring. But it is not doing so. As a simple example:

```
R = (ZZ/31991){x,y}
I = ideal"x2-x3,x4"
mingens I -- WRONG!!
assert(numColumns mingens I == 1)
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.