Changeset 3d6b567 in git

Timestamp:

Jul 11, 2007, 10:20:54 PM (16 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

6dbad9d6676dd3251a68f91f5fc56b73f2f94551

Parents:

fdb7e91808bc2f882207aaa6e35048826bdd38e9

Message:

*levandov: some enhancements for the distribution


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

File:

• Singular/LIB/ratgb.lib (modified) (5 diffs)

Singular/LIB/ratgb.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: ratgb.lib,v 1.3 2007-06-20 15:39:45 Singular Exp $";
+version="$Id: ratgb.lib,v 1.4 2007-07-11 20:20:54 levandov Exp $";
 category="Noncommutative";
 info="
@@ -7 +7 @@
 
 PROCEDURES:
-ratstd(ideal I, int n);   compute Groebner basis in Ore localizations of the basering wrt first n variables
+ratstd(ideal I, int n);   compute Groebner basis in Ore localization of the basering wrt first n variables
 
 SUPPORT: SpezialForschungsBereich F1301 of the Austrian FWF
@@ -16 +16 @@
 RETURN:  ring
 PURPOSE: compute the Groebner basis of I in the Ore localization of
-the basering with respect to first n variables
+the basering with respect to the subalgebra, generated by first n variables
 ASSUME: the variables are organized in two blocks and
 @* the first block of length n contains the elements
@@ -22 +22 @@
 @* the basering is equipped with the elimination ordering
 @*     for the variables in the second block
-NOTE:    the output ring O is commutative. The ideal rGBid in O
+NOTE: the output ring O is commutative. The ideal rGBid in O
 represents the rational form of the output ideal pGBid in the basering.
 @* During the computation, the D-dimension of I and the corresponding
@@ -165 +165 @@
   int d = dim(LG);
   int Ddim = d;
-  printf("D-dimension is %s",d);
+  printf("the D-dimension is %s",d);
   if (d==0)
   {