Home Online Manual
Top
Back: slimgb (plural)
Forward: subst (plural)
FastBack: Data types (plural)
FastForward: Mathematical background (plural)
Up: Functions (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.3.26 std (plural)

Syntax:
std ( ideal_expression)
std ( module_expression)
std ( ideal_expression, poly_expression )
std ( module_expression, vector_expression )
Type:
ideal or module
Purpose:
returns a left Groebner basis (see Groebner bases in G-algebras for a definition) of an ideal or module with respect to the monomial ordering of the basering.

Use an optional second argument of type poly, resp. vector, to construct the Groebner basis from an already computed one (given as the first argument) and one additional generator (the second argument).

Note:
To view the progress of long running computations, use option(prot). (see option(prot)).

Example:
 
LIB "ncalg.lib";
option(prot);
def R = makeUsl2();
// this algebra is U(sl_2)
setring R;
ideal I = e2, f2, h2-1;
I=std(I);
==> 2(2)s
==> s
==> s
==> 3s
==> (3)2(2)s
==> s
==> (4)(3)(2)3s
==> 2(4)(3)(2)32product criterion:6 chain criterion:3
I;
==> I[1]=h2-1
==> I[2]=fh-f
==> I[3]=eh+e
==> I[4]=f2
==> I[5]=2ef-h-1
==> I[6]=e2
kill R;
//------------------------------------------
def RQ = makeQso3(3);
// this algebra is U'_q(so_3),
// where Q is a 6th root of unity
setring RQ;
RQ;
==> //   characteristic : 0
==> //   1 parameter    : Q 
==> //   minpoly        : (Q2-Q+1)
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    yx=(Q-1)*xy+(-Q)*z
==> //    zx=(-Q)*xz+(-Q+1)*y
==> //    zy=(Q-1)*yz+(-Q)*x
ideal J=x2, y2, z2;
J=std(J);
==> 2(2)s
==> s
==> s
==> 3s
==> (4)s
==> 2(3)s
==> (5)s
==> (6)s
==> 1(8)s
==> (7)(5)s
==> (3)(2)product criterion:0 chain criterion:17
J;
==> J[1]=z
==> J[2]=y
==> J[3]=x
See also ideal (plural); ring (plural).