next up previous
Next: tag Up: Macro Operators Previous: swap01

swap0k

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



root 2004-03-05