[varlist ring_of_??? order characteristic options] define_ring Pointer to the ring. Example: [(x,y,z) ring_of_polynomials [[(x) 100 (y) 10 (z) 1]] weight_vector 11] define_qring Example: [(x,y) ring_of_polynomials [[(x) 1]] weight_vector 0 ] define_ring /R set cf. define_qring, set_up_ring@ <coefficient ring> <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, ring_of_difference_operators <<order>> elimination_order, weight_vector ring_def,ring , << __ >>