p=0      one line                                 type=(1,2) class=coplanar   length=1 CM=True  ok
p=0      two meeting lines                        type=(1,2) class=coplanar   length=2 CM=True  ok
p=0      two skew lines                           type=(2,4) class=other      length=3 CM=False  ok
p=0      three concurrent lines, not coplanar     type=(2,3) class=pseudostar length=3 CM=True  ok
p=0      three concurrent coplanar lines          type=(1,2) class=coplanar   length=3 CM=True  ok
p=0      chain of three lines                     type=(2,4) class=other      length=3 CM=True  ok
p=0      tetrahedron                              type=(3,4) class=pseudostar length=6 CM=True  ok
p=0      skew quadrilateral                       type=(2,4) class=other      length=4 CM=True  ok
p=0      triangle                                 type=(1,2) class=coplanar   length=3 CM=True  ok
p=0: grids (a,b), a,b <= 4: Cohen-Macaulay iff |a-b| <= 1: checked
p=3      one line                                 type=(1,2) class=coplanar   length=1 CM=True  ok
p=3      two meeting lines                        type=(1,2) class=coplanar   length=2 CM=True  ok
p=3      two skew lines                           type=(2,4) class=other      length=3 CM=False  ok
p=3      three concurrent lines, not coplanar     type=(2,3) class=pseudostar length=3 CM=True  ok
p=3      three concurrent coplanar lines          type=(1,2) class=coplanar   length=3 CM=True  ok
p=3      chain of three lines                     type=(2,4) class=other      length=3 CM=True  ok
p=3      tetrahedron                              type=(3,4) class=pseudostar length=6 CM=True  ok
p=3      skew quadrilateral                       type=(2,4) class=other      length=4 CM=True  ok
p=3      triangle                                 type=(1,2) class=coplanar   length=3 CM=True  ok
p=3: grids (a,b), a,b <= 3: Cohen-Macaulay iff |a-b| <= 1: checked
p=5      one line                                 type=(1,2) class=coplanar   length=1 CM=True  ok
p=5      two meeting lines                        type=(1,2) class=coplanar   length=2 CM=True  ok
p=5      two skew lines                           type=(2,4) class=other      length=3 CM=False  ok
p=5      three concurrent lines, not coplanar     type=(2,3) class=pseudostar length=3 CM=True  ok
p=5      three concurrent coplanar lines          type=(1,2) class=coplanar   length=3 CM=True  ok
p=5      chain of three lines                     type=(2,4) class=other      length=3 CM=True  ok
p=5      tetrahedron                              type=(3,4) class=pseudostar length=6 CM=True  ok
p=5      skew quadrilateral                       type=(2,4) class=other      length=4 CM=True  ok
p=5      triangle                                 type=(1,2) class=coplanar   length=3 CM=True  ok
p=5: grids (a,b), a,b <= 4: Cohen-Macaulay iff |a-b| <= 1: checked
p=7      one line                                 type=(1,2) class=coplanar   length=1 CM=True  ok
p=7      two meeting lines                        type=(1,2) class=coplanar   length=2 CM=True  ok
p=7      two skew lines                           type=(2,4) class=other      length=3 CM=False  ok
p=7      three concurrent lines, not coplanar     type=(2,3) class=pseudostar length=3 CM=True  ok
p=7      three concurrent coplanar lines          type=(1,2) class=coplanar   length=3 CM=True  ok
p=7      chain of three lines                     type=(2,4) class=other      length=3 CM=True  ok
p=7      tetrahedron                              type=(3,4) class=pseudostar length=6 CM=True  ok
p=7      skew quadrilateral                       type=(2,4) class=other      length=4 CM=True  ok
p=7      triangle                                 type=(1,2) class=coplanar   length=3 CM=True  ok
p=7: grids (a,b), a,b <= 4: Cohen-Macaulay iff |a-b| <= 1: checked
p=32003  one line                                 type=(1,2) class=coplanar   length=1 CM=True  ok
p=32003  two meeting lines                        type=(1,2) class=coplanar   length=2 CM=True  ok
p=32003  two skew lines                           type=(2,4) class=other      length=3 CM=False  ok
p=32003  three concurrent lines, not coplanar     type=(2,3) class=pseudostar length=3 CM=True  ok
p=32003  three concurrent coplanar lines          type=(1,2) class=coplanar   length=3 CM=True  ok
p=32003  chain of three lines                     type=(2,4) class=other      length=3 CM=True  ok
p=32003  tetrahedron                              type=(3,4) class=pseudostar length=6 CM=True  ok
p=32003  skew quadrilateral                       type=(2,4) class=other      length=4 CM=True  ok
p=32003  triangle                                 type=(1,2) class=coplanar   length=3 CM=True  ok
p=32003: grids (a,b), a,b <= 4: Cohen-Macaulay iff |a-b| <= 1: checked
codimensions t+1 and 3t+1 of I(l)_t and (I(l)^2)_t, t <= 7, over Q, F_2, F_3, F_5: checked
p=0      pseudostar m=3 general   : type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=0      pseudostar m=3 concurrent: type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=0      pseudostar m=4 general   : type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=0      pseudostar m=4 concurrent: type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=0      pseudostar m=5 general   : type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=0      pseudostar m=5 concurrent: type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=0      pseudostar m=6 general   : type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=0      pseudostar m=6 concurrent: type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=5      pseudostar m=3 general   : type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=5      pseudostar m=3 concurrent: type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=5      pseudostar m=4 general   : type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=5      pseudostar m=4 concurrent: type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=5      pseudostar m=5 general   : type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=5      pseudostar m=5 concurrent: type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=5      pseudostar m=6 general   : type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=5      pseudostar m=6 concurrent: type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=7      pseudostar m=3 general   : type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=7      pseudostar m=3 concurrent: type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=7      pseudostar m=4 general   : type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=7      pseudostar m=4 concurrent: type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=7      pseudostar m=5 general   : type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=7      pseudostar m=5 concurrent: type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=7      pseudostar m=6 general   : type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=7      pseudostar m=6 concurrent: type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=32003  pseudostar m=3 general   : type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=32003  pseudostar m=3 concurrent: type=(2,3) dim I_(m-1)=3 dim (I^(2))_m=1 ok
p=32003  pseudostar m=4 general   : type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=32003  pseudostar m=4 concurrent: type=(3,4) dim I_(m-1)=4 dim (I^(2))_m=1 ok
p=32003  pseudostar m=5 general   : type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=32003  pseudostar m=5 concurrent: type=(4,5) dim I_(m-1)=5 dim (I^(2))_m=1 ok
p=32003  pseudostar m=6 general   : type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
p=32003  pseudostar m=6 concurrent: type=(5,6) dim I_(m-1)=6 dim (I^(2))_m=1 ok
SELFTEST PASSED
