leanprover / leanprover/TensorLib
Document rounding behavior
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 49
- Forks
- 10
- Avg merge
- 4d 21h
- Merged PRs (30d)
- 2
Description
Triton has a nice paragraph explaining differences from NumPy semantics. We should also have this, and check these examples.
Differences with NumPy¶
C rounding in integer division Operators in Triton follow C semantics rather than Python semantics for efficiency. As such, int // int implements rounding towards zero as in C for integers of mixed signs, rather than rounding towards minus infinity as in Python. For the same reason, the modulus operator int % int (which is defined as a % b = a - b * (a // b)) also follows C semantics rather than Python semantics.
Perhaps confusingly, integer division and modulus follow Python semantics for computations where all the inputs are scalars.
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 the linked Triton semantics page and comparing its rounding examples with TensorLib's current documentation. Locate the relevant documentation entry point, document integer division and modulus behavior for mixed-sign inputs and scalar computations, and verify the examples are accurate.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100