Macaulay2 / Macaulay2/M2

Error message when defining a ring with a variables x and x_1

Open
#540 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Interpreter
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

The error message when defining a ring with variables x and x_1 needs attention (I'm not arguing that I should be allowed to do this - just that the error message should look less like it's a bug).

Example:

Macaulay2, version 1.9.2
with packages: ConwayPolynomials, Elimination, IntegralClosure, LLLBases, PrimaryDecomposition,
ReesAlgebra, TangentCone

i1 : R=QQ[x,x_1]
warning: clearing value of symbol x to allow access to subscripted variables based on it
: debug with expression debug 9868 or with command line option --debug 9868
warning: clearing value of symbol x to allow access to subscripted variables based on it
: debug with expression debug 9868 or with command line option --debug 9868

o1 = R

Diane

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Reproduce the interactive ring definition `R=QQ[x,x_1]` and inspect the code path that emits the warning about clearing `x`. Adjust the diagnostic so this valid-looking input does not appear to trigger an internal bug, then rerun the example to verify the revised message.

Written by the indexing model from the issue text.

Assessment

Domain
cli
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
52/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.