[ .... ] k swap0k [....] Examples: [(x,y) ring_of_polynomials (x) elmination_order 0] 1 swap0k define_ring swap01 == 1 swap0k