Changeset 91c978 in git for Singular/LIB/ncdecomp.lib

Timestamp:

Feb 23, 2005, 7:10:46 PM (19 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

5f1374dd0a531f7a0e58a69c0d23b8de965ccd09

Parents:

9268cefce47b7dbc575d68e82b7dbd80b07cc8a8

Message:

*levandov: makeup things for the documentation together with minor fixes in code and English


git-svn-id: file:///usr/local/Singular/svn/trunk@7758 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/ncdecomp.lib (modified) (4 diffs)

Singular/LIB/ncdecomp.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: ncdecomp.lib,v 1.5 2005-02-21 19:14:47 levandov Exp $";
+version="$Id: ncdecomp.lib,v 1.6 2005-02-23 18:10:46 levandov Exp $";
 category="Noncommutative";
 info="
@@ -14 +14 @@
 PROCEDURES:
 CentralQuot(I,G);       central quotient I:G,
-CentralSaturation(M,T); central saturation M:T:...:T ( = M:T^{\infty}),
+CentralSaturation(M,T); central saturation ((M:T):...):T) ( = M:T^{\infty}),
 CenCharDec(I,C);        central character decomposition of I w.r.t. C
 IntersectWithSub(M,Z);  intersection of M with the subalgebra, generated
@@ -176 +176 @@
 }
 ///////////////////////////////////////////////////////////////////////////////
-proc CenCharDec(module I, list L)
-"USAGE:  CenCharDec(I, L);  I a module, L a list of generators of the center;
+proc CenCharDec(module I, list Center)
+"USAGE:  CenCharDec(I, C);  I a module, C a list of generators of the center;
 RETURN:  a list L, where each entry consists of three records:
-           L[*][1] is the character in terms of central elements, 
-           L[*][2] is the Groebner basis of the corresponding weight module, 
-           L[*][3] is the K-dimension of the weight module;
-NOTE:     some modules have no finite decomposition (in such a case one
+@*           L[*][1] is the central character in terms of central elements, 
+@*           L[*][2] is the Groebner basis of the corresponding weight module, 
+@*           L[*][3] is the K-dimension of the weight module;
+NOTE:     some modules have no finite decomposition (in such case one
           gets warning message)
 SEE ALSO: CentralQuot, CentralSaturation
@@ -310 +310 @@
 proc IntersectWithSub (ideal M, ideal Z)
 "USAGE:  IntersectWithSub(M,Z),  M an ideal, Z an ideal of pairwise commutative elements
-RETURN:  an intersection of M with the subalgebra, generated by Z
+PURPOSE: computes an intersection of M with the subalgebra, generated by Z
+RETURN:  ideal (of two--sided generators, not a Groebner basis!)
 NOTE:    usually one puts generators of the center into Z
 EXAMPLE: example IntersectWithSub; shows an example