Open
Description
This should just work:
i1 : Ideal.<TAB><TAB>
codim ring gb ...
i1 : Ideal#<TAB><TAB>
(substitute, Ideal, List) (Fano, ZZ, Ideal, Ring) ...{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests