Top
Back: qring
Forward: resolution
FastBack: proc
FastForward: resolution
Up: qring
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

4.16.1 qring declaration

Syntax:
qring name = ideal_expression ;
Default:
none
Purpose:
declares a quotient ring as the basering modulo ideal_expression and 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
// simplification is not immediate:
(x+y)^2;
==> x2+2xy+y2
reduce(_,std(0));
==> x2+y2


Top Back: qring Forward: resolution FastBack: proc FastForward: resolution Up: qring Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-3, March 2011, generated by texi2html.