Polyhedral: test ambient dim for lp

oscar-system · Oct 25, 2023 · 4658ece · 4658ece
1 parent 8e0e157
commit 4658ece
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)")