Changeset b8cf6c in git for Singular/LIB/redcgs.lib

Timestamp:

Feb 26, 2009, 3:07:04 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d0207e95ed305d5305c318e2bf6c1acf7bb30320

Parents:

982e0181ff465b667d7d64681f4247eabf628b8c

Message:

*hannes: fixed typos (ticket 90)


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

File:

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

Singular/LIB/redcgs.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: redcgs.lib,v 1.3 2008-10-09 09:31:58 Singular Exp $";
+version="$Id: redcgs.lib,v 1.4 2009-02-26 14:07:04 Singular Exp $";
 category="General purpose";
 info="
-LIBRARY:  redcgs.lib      Reduced Comprehesive Groebner Systems.
+LIBRARY:  redcgs.lib      Reduced Comprehensive Groebner Systems.
 PURPOSE:  Comprehensive Groebner Systems. Canonical Forms.
           The library contains Monte's algorithms to compute disjoint, reduced
@@ -73 +73 @@
           reached, and if so, to give a Warning. The warning does not invalidate the
           output, but it only recognizes that the theoretical objective is not
-          completely reached by the actual campcting methods and that some segments
+          completely reached by the actual computing methods and that some segments
           that can be packed have not been packed with a single basis.
 
@@ -130 +130 @@
                      of ideal J (non repeated). Integer factors are ignored,
                      even 0 is ignored. It can be called from ideal @R, but
-                     the given ideal J must only contain poynomials in the
+                     the given ideal J must only contain polynomials in the
                      parameters.
 redspec(N,W);        Given null and non-null conditions depending only on the
@@ -1914 +1914 @@
   int i; ideal W12;  poly ff1; poly g1=0; ideal GG;
   int tt=1;
-  // detect weather f1 reduces to 0 on segment 2
+  // detect whether f1 reduces to 0 on segment 2
   ff1=pnormalform(f1,N2,W2);
   if (ff1==0)
   {
-    // detect weather N1 is included in N2
+    // detect whether N1 is included in N2
     def RR=basering;
     setring @P;
@@ -1936 +1936 @@
   if (tt==1)
   {
-    // detect weather W1 intersect W2 is non-empty
+    // detect whether W1 intersect W2 is non-empty
     for (i=1;i<=size(W1);i++)
     {