] if ;
: gvns ( -- str )
- vregs>vns get >alist natural-sort [
+ vregs>vns get >alist sort [
first2 value-mapping
] map "" concat-as ;
] keep ;
: congruence-classes ( -- str )
- vregs>vns get invert-assoc >alist natural-sort [
+ vregs>vns get invert-assoc >alist sort [
first2
- natural-sort [ number>string ] map ", " join
+ sort [ number>string ] map ", " join
over exprs>vns get value-at expr>str
"<%d> : {%s} (%s)\\l" sprintf
] map "" concat-as ;