Open mahrud opened 1 year ago
This should just work:
i1 : Ideal.<TAB><TAB> codim ring gb ... i1 : Ideal#<TAB><TAB> (substitute, Ideal, List) (Fano, ZZ, Ideal, Ring) ...
This should just work: