Code

Implement Polyhedra.isredundant#56

Code

Open

blegat wants to merge 6 commits intomasterJuliaPolyhedra/LRSLib.jl:masterfrom

bl/isredundantJuliaPolyhedra/LRSLib.jl:bl/isredundantCopy head branch name to clipboard

Commits

Commits on Jan 24, 2025

• Implement Polyhedra.isredundant

  blegat

  committed
  0b5dbe8

  Copy full SHA for 0b5dbe8

• Fixes

  blegat

  committed
  bcf367b

  Copy full SHA for bcf367b

Commits on Jan 25, 2025

• Fixes

  blegat

  committed
  b7c204f

  Copy full SHA for b7c204f

Commits on Jan 26, 2025

• Fixes

  blegat

  committed
  64cc5de

  Copy full SHA for 64cc5de

Commits on Jan 27, 2025

• Fix

  blegat

  committed
  69d6951

  Copy full SHA for 69d6951

Commits on Jan 28, 2025

• Fix

  blegat

  committed
  9257be8

  Copy full SHA for 9257be8