Code

Refactor and improve CommRingSolver#1093

Code

Merged

felixwellen merged 18 commits intomasteragda/cubical:masterfrom fwellen/tactical-initiativeagda/cubical:fwellen/tactical-initiativeCopy head branch name to clipboardFeb 7, 2024

+624-911

Commits

Commits on Feb 7, 2024

• split reflection code of CommRingSolver, introduce detection of equal terms

  felixwellen

  committed
  28b8774

  Copy full SHA for 28b8774

• use new macro

  felixwellen

  committed
  839d5fe

  Copy full SHA for 839d5fe

• rename main import file for CommRingSolver

  felixwellen

  committed
  171ea25

  Copy full SHA for 171ea25

• fix

  felixwellen

  committed
  b784f70

  Copy full SHA for b784f70

• cleanup/simplify

  felixwellen

  committed
  a46886a

  Copy full SHA for a46886a

• fix

  felixwellen

  committed
  eaf300b

  Copy full SHA for eaf300b

• collect variables in CommRingSolver, while walking through ring exprs

  felixwellen

  committed
  b4ca784

  Copy full SHA for b4ca784

• fix, cleanup CommRingSolver

  felixwellen

  committed
  f8bcdc3

  Copy full SHA for f8bcdc3

• Experiment

  felixwellen

  committed
  ae7a0c7

  Copy full SHA for ae7a0c7

• properly handle unexpected input

  felixwellen

  committed
  ddb0681

  Copy full SHA for ddb0681

• credit the 1lab

  felixwellen

  committed
  52c3c42

  Copy full SHA for 52c3c42

• Merge remote-tracking branch 'origin/fwellen/tactical-initiative' into fwellen/tactical-initiative

  felixwellen

  committed
  0d64f17

  Copy full SHA for 0d64f17

• adapt also NatSolver

  felixwellen

  committed
  be2b7de

  Copy full SHA for be2b7de

• fix

  felixwellen

  committed
  4c57d83

  Copy full SHA for 4c57d83

• wait-for-type, simplify

  felixwellen

  committed
  a1dcf79

  Copy full SHA for a1dcf79

• more simplification, new test for the solver

  felixwellen

  committed
  db6544d

  Copy full SHA for db6544d

• mention a limitation

  felixwellen

  committed
  992d2cb

  Copy full SHA for 992d2cb

• simplify

  felixwellen

  committed
  a0ca820

  Copy full SHA for a0ca820