Bug fixing: checkNull previously only checks if c is possible to be 0 under (E, N), not is corrected; makeReduced previously returns a list when |M| = 1, now is corrected to return an ideal and a CGS