next up previous
: ring_of_q_difference_operators : Macro Operators : ring_of_differential_operators


string ring_of_polynomials
This command is used to define a ring of polynomials with the macros
define_ring, weight_vector and elimination_order.
The user cannot use the variable names h, e, H and E.
cf. show_ring, system_variable --- CurrentRing
    print_switch_status, switch_function
Example: [(x,y,z) ring_of_polynomials (x,y) elimination_order 0] define_ring

Nobuki Takayama 平成17年2月10日