From 4658ecea6ed0d9867fe4b37e181f06d724d347ce Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Wed, 25 Oct 2023 13:35:36 +0200
Subject: [PATCH] Polyhedral: test ambient dim for lp

---
 test/PolyhedralGeometry/linear_program.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/PolyhedralGeometry/linear_program.jl b/test/PolyhedralGeometry/linear_program.jl
index a148d8472cf6..0b638d591816 100644
--- a/test/PolyhedralGeometry/linear_program.jl
+++ b/test/PolyhedralGeometry/linear_program.jl
@@ -24,6 +24,8 @@
     @test LP2 isa LinearProgram{T}
     @test LP3 isa LinearProgram{T}
 
+    @test ambient_dim(LP1) == 2
+
     @test solve_lp(LP1)==(4,[1,1])
     @test solve_lp(LP2)==(-1,[-1,-1])
     if T == QQFieldElem
@@ -43,6 +45,8 @@
       @test MILP2 isa MixedIntegerLinearProgram{T}
       @test MILP3 isa MixedIntegerLinearProgram{T}
 
+      @test ambient_dim(MILP3) == 3
+
       @test solve_milp(MILP1)==(11//2,[1,3//2])
       @test solve_milp(MILP2)==(-1,[-1,-1])
       @test string(solve_milp(MILP3))==string("(inf, nothing)")