next up previous
: tag : Macro Operators : swap01

swap0k

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



Nobuki Takayama 平成20年1月30日