1. Check that the point (1:i:0:0) is not on S:
TRUE : S(1:i:0:0) = 64

2. Check that there is exactly one node on x=y=0 axes:
TRUE : milnor = 1 , dim = 0

3. Check that milnor(S_y) = 15 (takes some minutes):
TRUE : milnor = 15 , dim = 0

4. Switch to the affine chart w=1.

5. Check that all the 15 sing. are in the affine chart w=1 (takes some minutes):
TRUE : milnor = 15 , dim = 0

6. Check that all the 15 singularities are nodes (takes approx. an hour):
TRUE : milnor = 0 , dim = -1