[ .... ] swap01 [....] Examples: [(x,y) ring_of_polynomials (x) elmination_order 0] swap01 define_ring