Changeset d3b0a3 in git

Timestamp:

Feb 1, 2017, 12:47:14 PM (7 years ago)

Author:

Janko Boehm <boehm@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1381ff1450a5fd15c955cc5228ed66ccb449294d

Parents:

de96278c020b8a3fb467b672cee2bd7527925e0f

git-author:

Janko Boehm <boehm@mathematik.uni-kl.de>2017-02-01 12:47:14+01:00

git-committer:

Yue Ren <ren@mathematik.uni-kl.de>2017-06-08 18:10:26+02:00

Message:

More tests

File:

• Tst/Short/gitfan.tst (modified) (2 diffs)

Tst/Short/gitfan.tst

@@ -2 +2 @@
 tst_init();
 LIB "gitfan.lib";
+
+  intmat Q[5][10] =
+    1, 1, 1, 1, 0, 0, 0, 0, 0, 0,
+    1, 0, 0, 0, 1, 1, 1, 0, 0, 0,
+    0, 1, 1, 0, 0, 0, -1, 1, 0, 0,
+    0, 1, 0, 1, 0, -1, 0, 0, 1, 0,
+    0, 0, 1, 1, -1, 0, 0, 0, 0, 1;
+  cone mov = movingCone(Q);
+  mov;
+  rays(mov);
+
+
+  intmat Q[3][4] =
+    1,0,1,0,
+    0,1,0,1,
+    0,0,1,1;
+  GKZfan(Q);
+
   ring R = 0,T(1..10),wp(1,1,1,1,1,1,1,1,1,1);
   ideal J =
@@ -56 +74 @@
   list Sigma = GITfanParallelSymmetric(OClist, Q, mov, actionOnOrbitconeIndices);
   Sigma;
+
+  ring R = 0,T(1..10),wp(1,1,1,1,1,1,1,1,1,1);
+  ideal J =
+    T(5)*T(10)-T(6)*T(9)+T(7)*T(8),
+    T(1)*T(9)-T(2)*T(7)+T(4)*T(5),
+    T(1)*T(8)-T(2)*T(6)+T(3)*T(5),
+    T(1)*T(10)-T(3)*T(7)+T(4)*T(6),
+    T(2)*T(10)-T(3)*T(9)+T(4)*T(8);
+  intmat Q[5][10] =
+    1, 1, 1, 1, 0, 0, 0, 0, 0, 0,
+    1, 0, 0, 0, 1, 1, 1, 0, 0, 0,
+    0, 1, 1, 0, 0, 0, -1, 1, 0, 0,
+    0, 1, 0, 1, 0, -1, 0, 0, 1, 0,
+    0, 0, 1, 1, -1, 0, 0, 0, 0, 1;
+  list AF= afaces(J);
+  list OC = orbitCones(AF,Q);
+  list generatorsG = permutationFromIntvec(intvec( 1, 3, 2, 4, 6, 5, 7, 8, 10, 9 )),
+                     permutationFromIntvec(intvec( 5, 7, 1, 6, 9, 2, 8, 4, 10, 3 ));
+  list Asigmagens = groupActionOnQImage(generatorsG,Q);
+list actionOnOrbitconeIndicesForGenerators = groupActionOnHashes(Asigmagens,OC);
+string elementInTermsOfGenerators = 
+"(x2^-1*x1^-1)^3*x1^-1";
+evaluateProduct(actionOnOrbitconeIndicesForGenerators, elementInTermsOfGenerators);
+
 tst_status(1);$