mathswitch — infrastructure for relaying and exchanging mathematical concepts
algebraic field extension