Code

Mandarin V2 (draft)#312

Code

Draft

ssiccha wants to merge 30 commits intogap-packages:mastergap-packages/recog:masterfrom ssiccha:ss/mandarins-crisis-handling-option-2ssiccha/recog:ss/mandarins-crisis-handling-option-2Copy head branch name to clipboard

+835-113

Commits

Commits on Mar 10, 2022

• Add mandarins

  Show description for d3e9f7f
  ssiccha

  committed
  d3e9f7f

  Copy full SHA for d3e9f7f

• Fine tune Imprimitive for permutation groups

  ssiccha

  committed
  1c19d12

  Copy full SHA for 1c19d12

• Fix comment typo in RecogniseGeneric

  ssiccha

  committed
  d804b09

  Copy full SHA for d804b09

• Improve EnlargeKernelGenSet

  ssiccha

  committed
  e54f05b

  Copy full SHA for e54f05b

• DEBUG Var names and info levels

  ssiccha

  committed
  159f532

  Copy full SHA for 159f532

• DEBUG COMMIT

  ssiccha

  committed
  f9d151c

  Copy full SHA for f9d151c

• DEBUG Mandarins

  ssiccha

  committed
  6af8b1c

  Copy full SHA for 6af8b1c

• DEBUG ImmVer and BalBLocks

  ssiccha

  committed
  2b3001d

  Copy full SHA for 2b3001d

• DEBUG reduce info levels

  ssiccha

  committed
  30bc416

  Copy full SHA for 30bc416

• DEBUG constants

  ssiccha

  committed
  b1858e8

  Copy full SHA for b1858e8

• Add RecogCrisis

  Show description for 5ccdfff
  ssiccha

  committed
  5ccdfff

  Copy full SHA for 5ccdfff

• Make RecogniseGeneric take a RecogNode

  ssiccha

  committed
  0511b33

  Copy full SHA for 0511b33

• Todos

  ssiccha

  committed
  236e811

  Copy full SHA for 236e811

Commits on Mar 15, 2022

• Fixup Move 'going to the kernel' info msg

  ssiccha

  committed
  58956e3

  Copy full SHA for 58956e3

• Add info msg to FastNormalClosure

  ssiccha

  committed
  be0590e

  Copy full SHA for be0590e

• RecogniseGeneric uses RecogNode

  Show description for e65298e
  ssiccha

  committed
  e65298e

  Copy full SHA for e65298e

• FIXUP Info RecogCrisis

  ssiccha

  committed
  d6a8f77

  Copy full SHA for d6a8f77

• Experiment: store crisis level in nodes

  ssiccha

  committed
  410c96a

  Copy full SHA for 410c96a

Commits on Mar 16, 2022

• FIXUP Mandarins description of crisis levels

  ssiccha

  committed
  3d8ef95

  Copy full SHA for 3d8ef95

• FIXUP first mandarin commit? View method for mands

  ssiccha

  committed
  0dfde67

  Copy full SHA for 0dfde67

Commits on Mar 17, 2022

• fixup! 2b3001d

  ssiccha

  committed
  a371737

  Copy full SHA for a371737

• FIXUP to first mandarin commit: Add RECOG_FactorForBalTreeForBlocks

  ssiccha

  committed
  0ea954a

  Copy full SHA for 0ea954a

• Revert "DEBUG constants"

  Show description for 3e0681e
  ssiccha

  committed
  3e0681e

  Copy full SHA for 3e0681e

Commits on Mar 18, 2022

• DEBUG remove counters IV and MC

  ssiccha

  committed
  c804616

  Copy full SHA for c804616

• Improve handling of crises

  ssiccha

  committed
  3ab8001

  Copy full SHA for 3ab8001

• Improve performance of ThrowAwayFixedPoints

  Show description for 3462e9a
  ssiccha

  committed
  3462e9a

  Copy full SHA for 3462e9a

Commits on Mar 23, 2022

• Put Frank Luebeck's challenges in own directory

  ssiccha

  committed
  497a7cd

  Copy full SHA for 497a7cd

Commits on Mar 25, 2022

• fixup! d3e9f7f

  ssiccha

  committed
  730ad5b

  Copy full SHA for 730ad5b

• TODO

  ssiccha

  committed
  f46390a

  Copy full SHA for f46390a

Commits on Apr 10, 2022

• TODO and help files

  ssiccha

  committed
  4d3125c

  Copy full SHA for 4d3125c