1-----------------------------------------------------------------------
2-- test-toric:
3-----------------------------------------------------------------------
4TestCount := 0;
5PrintInfo := false;
6
7define TEST_ASSERT(A,B)
8  toplevel TestCount;
9  toplevel PrintInfo;
10  TestCount := TestCount+1;
11  If A<>B Then
12    error("TEST: " + Sprint(A) + " <> " + Sprint(B));
13  endif;
14  if PrintInfo then print "."; EndIf;
15enddefine; -- TEST_ASSERT
16
17use R ::= ZZ/(2)[x[1..12]];
18
19J := ideal(
20	   x[4]*x[10] +x[3]*x[11],
21	   x[4]*x[10] +x[2]*x[12],
22	   x[4]*x[6]*x[10] +x[3]*x[5]*x[12],
23	   x[3]^2*x[5]*x[9] +x[1]*x[4]*x[6]*x[10],
24	   x[3]*x[9] +x[1]*x[12],
25	   x[8]*x[10] +x[7]*x[11]
26	   );
27
28TEST_ASSERT(toric(J), -- gave SEGV Redmine CoCoA-5 (Kazuki Maeda)
29	    ideal(x[4]*x[10] +x[3]*x[11],  x[3]*x[11] +x[2]*x[12],  x[3]*x[9] +x[1]*x[12],  x[8]*x[10] +x[7]*x[11],  x[6]*x[11] +x[5]*x[12],  x[4]*x[7] +x[3]*x[8],  x[2]*x[9] +x[1]*x[11],  x[3]*x[5] +x[2]*x[6],  x[3]*x[5]*x[9] +x[1]*x[6]*x[11],  x[4]*x[5]*x[7]*x[9] +x[1]*x[6]*x[8]*x[11]));
30