Next: define_ring_variables
Up: Macro Operators
Previous: define_qring
[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 , << ,, >>
Nobuki Takayama
平成13年8月23日