Inconsistent behavior with infinities
Open
Nobody has claimed this yet.
Core
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
Consider the following snippets
Macaulay2, version 1.16.0.2
i1 : R = RR[x]
o1 = R
o1 : PolynomialRing
i2 : infinity * 0_RR
o2 = 0
o2 : RR (of precision 53)
i3 : infinity * 0_R
stdio:3:10:(3): error: no method for binary operator * applied to objects:
-- infinity (of class InfiniteNumber)
-- * 0 (of class R)
i4 : infRR = 1/0_RR
o4 = infinity
o4 : RR (of precision 53)
i5 : infRR * 0_RR
o5 = NotANumber
o5 : RR (of precision 53)
i6 : infRR * 0_R
o6 = 0
o6 : R
i7 : infinity * 0
o7 = indeterminate
o7 : IndeterminateNumber
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.
Research direction
Reproduce the reported expressions involving infinity, zero, RR, and polynomial rings, then review the surrounding discussion to determine the intended arithmetic semantics. The issue does not name source files or tests, and completion would require an agreed, consistent result for the demonstrated cases plus regression coverage.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100