Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
also check for equal orderings in map_ideal (oscar-system#823)
* also check for equal orderings in map_ideal * use new libsingular/Singular_jll * new Singular_jll
- Loading branch information