Macaulay2 / Macaulay2/M2

local Gröbner bases over ZZ are not implemented (minimalization step)

Open
#292 6 comments 0 reactions 1 assignee Claimed by @mikestillman View on GitHub
Engine Gröbner bases
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

```
R = ZZ[x_1..x_3, MonomialOrder=>{RevLex}, Global =>false ]

I = ideal(-2+9*x_1^3,-1+3*x_1^2)

gI = ideal gens gb I; -- takes a lot of time, probably does not finish
```

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.