new rawFourierMotzkin test

mahrud · Dec 28, 2023 · ccd2169 · ccd2169
1 parent 9c5117b
commit ccd2169
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/M2/Macaulay2/tests/engine/cone.m2 b/M2/Macaulay2/tests/engine/cone.m2
@@ -21,3 +21,7 @@ assert((B, B) == fourierMotzkin fourierMotzkin(A, B))
 
 assert(findHeft {{-1, 0}, {-3, 1}, {-1, 0}, {0, 1}} == {-1, 1})
 assert(findHeft {{ 1, 0}, {-3, 1}, { 1, 0}, {0, 1}} == { 1, 4})
+
+A = matrix{{0, 0, 0, 0}, {0, 0, 0, 0}, {0, 0, 0, 0}, {1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}};
+B = map(ZZ^7,ZZ^0,0);
+transpose map(ZZ, rawFourierMotzkin(raw transpose A, raw transpose B))