-- -*- M2-comint -*- hash: 16222546169181306715

i1 : R = ZZ/7[x,y,z];

i2 : isSimpleNormalCrossing(x^3*y^2)

o2 = true

i3 : isSimpleNormalCrossing(x^2 - y^2)

o3 = true

i4 : isSimpleNormalCrossing(x*y*(x - y))

o4 = false

i5 : isSimpleNormalCrossing(x^2 - y*z)

o5 = false

i6 : R = QQ[x,y,z];

i7 : f = (y - (x - 1)^2)*y^2; --SNC at the origin, but not globally

i8 : isSimpleNormalCrossing(f)

o8 = true

i9 : isSimpleNormalCrossing(f, AtOrigin => false)

o9 = false

i10 : g = (y - 1)^2 + (x - 7)^2; --doesn't even pass through the origin

i11 : isSimpleNormalCrossing(g)

o11 = true

i12 : isSimpleNormalCrossing(g, AtOrigin => false)

o12 = false

i13 : h = x*y^2*(x + 1)^3*(y - 1)^4; --SNC everywhere

i14 : isSimpleNormalCrossing(h)

o14 = true

i15 : isSimpleNormalCrossing(h, AtOrigin => false)

o15 = true

i16 : 
