Simplify and Refactor Code Isomorphically

Mission

Shrink and unify code under an explicit preservation relation.

FACTORING
-> QUOTIENTING
-> ABLATIVE
-> NORMALIZING

The reduction operators decide what disappears. The preservation relation decides what must remain.

Preservation relations

Choose before editing: