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

Nobuki Takayama 平成13年8月23日