Issues with ring with Global => false
@mikestillman is already working on this.
Since Mar 10, 2021.
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
I have this vague feeling that this can't be a bug because it would've been noticed already...
But both `o3` and the absence of `o4` seem wrong to me.
```
Macaulay2, version 1.17.2.1
with packages: ConwayPolynomials, Elimination, IntegralClosure, InverseSystems, LLLBases, MinimalPrimes,
PrimaryDecomposition, ReesAlgebra, Saturation, TangentCone
i1 : R = QQ[x,MonomialOrder=>RevLex,Global=>false]
o1 = R
o1 : PolynomialRing
i2 : I=ideal(x-1)
o2 = ideal(- 1 + x)
o2 : Ideal of R
i3 : trim I -- huh?
o3 = ideal 1
o3 : Ideal of R
i4 : R/I -- hangs
^C
Exit (y=yes/n=no/a=abort/b=backtrace)? yes
```
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.