From ccd2169da5b5dc468d483fd36c2cd0a45becf4ad Mon Sep 17 00:00:00 2001 From: Mahrud Sayrafi Date: Thu, 26 Oct 2023 22:29:24 -0500 Subject: [PATCH] new rawFourierMotzkin test --- M2/Macaulay2/tests/engine/cone.m2 | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/M2/Macaulay2/tests/engine/cone.m2 b/M2/Macaulay2/tests/engine/cone.m2 index 4a11f96ca50..ad215a95ddc 100644 --- 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))