+

==

<>

Note: Concerning the ground fields and take the following guide lines into consideration:

charstr

(p^n,a)

Example:

ring R1=0,(x,y),dp; ring R2=32003,(a,b),dp; def R=R1+R2; R; ==> // coefficients: ZZ/32003 ==> // number of vars : 4 ==> // block 1 : ordering dp ==> // : names x y ==> // block 2 : ordering dp ==> // : names a b ==> // block 3 : ordering C

ring_lib