sneeuwballen/zipperposition

investigate GEG problems

c-cube opened this issue · 0 comments

investigate why GEG rational problems are much harder
(ordering? missing optim?)
→ self paramod with, say, transitivity of <