The default is FineGrading => false. If the option FineGrading=>true is given, then the ideal returned has the natural ZZ4 grading, where xi has degree {1,0,i,a-i} and yi has degree {0,1,i,b-i}. (Note that after the call carpet(a1,a2) we have a = min(a1,a2), b = max(a1,a2).)
The object FineGrading is a symbol.