[varlist ring_of_q_difference_operators order characteristic] define_qring Pointer to the ring. Example: [$x,y$ ring_of_q_difference_operators $Qx,Qy$ elimination_order 0] define_qring cf. define_ring, set_up_ring@ <coefficient ring>, ring_def, << __ >>