gfan _overintegers --initialIdeal -m
