Macaulay2 / Macaulay2/M2

Internal error inverting element of tower ring constructed with toField

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

Description

Reported by Nick in the Google group (https://groups.google.com/g/macaulay2/c/8VY3X-gvkVE/m/-bhwUZ9wAAAJ):

```m2
i1 : F = toField(QQ[i]/(i^2 + 1));

i2 : K = toField(F[r]/(r^4 - 2));

i3 : r^-1
--internal error: ring element gcd computation failed
Aborted (core dumped)
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the reported Macaulay2 session with the nested toField constructions and the r^-1 expression. Investigate the ring-element gcd computation involved in inversion; done means the expression completes without an internal error or abort and its result is validated against the constructed tower ring.

Written by the indexing model from the issue text.

Assessment

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.