Changeset fcdc4e in git

Timestamp:

Mar 18, 2004, 10:36:09 PM (20 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b3082aecde5b2bf7ac5652c2bd96123ae61d04a9

Parents:

972862b70bd04676f798402908397895dad57a38

Message:

*levandov: design and help changed


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

File:

• Singular/LIB/qmatrix.lib (modified) (7 diffs)

Singular/LIB/qmatrix.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: qmatrix.lib,v 1.1 2004-03-18 20:40:22 levandov Exp $";
+version="$Id: qmatrix.lib,v 1.2 2004-03-18 21:36:09 levandov Exp $";
 category="Noncommutative";
 info="
-LIBRARY: qmatrix.lib     Definition of quantum matrix ring and quantum minors.
+LIBRARY: qmatrix.lib     Quantum matrices, quantum minors and symmetric groups.
 AUTHORS: Lobillo, F.J., email: jlobillo@ugr.es
          Rabelo, C., email: crabelo@ugr.es
@@ -10 +10 @@
 
 MAIN PROCEDURES:
-quant(n);               generates the quantum matrix ring of order n
-qminor(u,v,nr);         calculate a quantum minor of a quantum matrix
+quant(n, [p]);          generates the quantum matrix ring of order n, the quantum parameter q will be specified at the p-th root of unity 
+qminor(u, v, nr);       calculate a quantum minor of a quantum matrix
 
 AUXILIARY PROCEDURES:
@@ -18 +18 @@
 LengthSym(M);           calculates the length of each element of M, being M a subset of S(n)
 ";
+
+LIB "nctools.lib";
 
 ///////////////////////////////////////////////////////////////////////////////
@@ -129 +131 @@
 proc quant(int n, list #)
 "USAGE:   quant(n, [p]); n integer, n>1, p (optional) integer
-RETURN:  a ring, describing the quantum matrix ring of order n; if p is specified, the quantum parameter will be specialized at p-th root of unity
+RETURN:  a ring, describing the quantum matrix ring of order n; if p is specified, the quantum parameter q will be specialized at p-th root of unity
 NOTE:    You have to activate this ring with the "setring" command.
          The usual representation of the variables in this quantum
@@ -147 +149 @@
     }
     ring @rrr=(0,q),(y(1..nv)),Dp;
-    if (size(#)>0) // check whether we are at special q
+    if (size(#)>0)
     {
       if ( typeof( #[1] ) == "int" )
@@ -154 +156 @@
         if (chr>1)
         {
-          LIB "nctools.lib";
           minpoly = RooOfUnity(chr);
         }
@@ -216 +217 @@
 proc qminor(intvec I, intvec J, int nr)
 "USAGE: qminor(I,J,nr); I is the ORDERED LIST of the rows to consider
-        in the minor, J is the ORDERED LIST of the cols to consider in the minor 
-        and nr is the order of the quantum matrix algebra where you are working (quant(nr)).
+        in the minor, J is the ORDERED LIST of the cols to consider in the minor and nr is the order of the quantum matrix algebra where you are working (quant(nr)).
 RETURN: poly, the quantum minor.
 NOTE:    I and J must have the same number of elements.