Internal error inverting element of tower ring constructed with toField
Open
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