4.14.1 qring declaration

Syntax:

qring name = ideal_expression ;

Default:

none

Purpose:

declares a quotient ring as the basering modulo ideal_expression. Sets it as current basering.

Example:

ring r=0,(x,y,z),dp; ideal i=xy; qring q=std(i); basering; → // characteristic : 0 → // number of vars : 3 → // block 1 : ordering dp → // : names x y z → // block 2 : ordering C → // quotient ring from ideal → _[1]=xy