overwriting pi
Open
Nobody has claimed this yet.
Interpreter
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
There are only a few two character symbols exported from Core, and most of them can only mean one thing, but I've often wanted `pi` to be a projection map, not the constant pi. Would be cool if it could be overwritten by the user.
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
Start by reading how Core exports the two-character symbol `pi` and how user-defined names are resolved. Compare the current constant behavior with the requested projection-map use; done means the intended overwrite behavior is defined and works without ambiguity for existing uses of `pi`.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100