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