commutative-ring public under mathematical-ring 8 List Picture As a command %3 n0 commutative-ring n2 mathematical-field n0->n2 n3 integral-domain n0->n3 n1 mathematical-ring n1->n0