Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Before, it might have happened that the command `R * ZZRingElem(2)` fails while `R * big(2)` succeeds.
- Loading branch information