Code

feat: dimension inequalities#9

Code

Merged

favonia merged 7 commits intomainRedPRL/kado:mainfrom inequality-plusRedPRL/kado:inequality-plusCopy head branch name to clipboardMay 26, 2022

+260-206

Commits

Commits on May 26, 2022

• feat(Graph)!: replace disjoint sets with graphs

  favonia

  committed
  b8cd965

  Copy full SHA for b8cd965

• feat: implement inequalities

  favonia

  committed
  08fd371

  Copy full SHA for 08fd371

• docs(Theory): update the doc

  favonia

  committed
  ab2c178

  Copy full SHA for ab2c178

• fix(Theory): handle dim0 and dim1 correctly

  favonia

  committed
  1852a93

  Copy full SHA for 1852a93

• test(Graph): add testing for Graph

  favonia

  committed
  3a3738d

  Copy full SHA for 3a3738d

• fix: really handle dim0 and dim1

  favonia

  committed
  4064c83

  Copy full SHA for 4064c83

• fix(Builder): fix another bug

  favonia

  committed
  8ee2db2

  Copy full SHA for 8ee2db2