Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Delete unused Singular.NCRing (#830)
It serves no purpose but causes confusion.
- Loading branch information