Changeset 6cf934 in git for kernel/fglm/fglmzero.cc

Timestamp:

Nov 14, 2022, 11:41:51 AM (18 months ago)

Author:

Frédéric Chapoton <chapoton@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c57af60be7b45c4f30db8913b7cde4eb782e6121

Parents:

c858487b7689b030112512a2e1be0f968d4f7c22

Message:

more typos fixed in kernel

File:

• kernel/fglm/fglmzero.cc (modified) (4 diffs)

kernel/fglm/fglmzero.cc

@@ -572 +572 @@
 }
 
-//     Searches through the border for a monomoial bm which devides m and returns
+//     Searches through the border for a monomial bm which divides m and returns
 //      its normalform in vector representation.
 //     var contains the number of the variable v, s.t. bm = m * v
@@ -662 +662 @@
 //     returns them in "l".
 //     The ideal has to be zero-dimensional and reduced and has to be a
-//     real subset of the polynomal ring.
+//     real subset of the polynomial ring.
 //     In any case it has to be zero-dimensional and minimal (check this
 //      via fglmIdealcheck). Any minimal but not reduced ideal is detected.
@@ -1087 +1087 @@
             data.gaussreduce( v, p, pdenom );
             if ( v.isZero() ) {
-                // Now v is linear dependend to the already found basis elements.
-                // This means that v (rsp. candidate.monom) is the leading
+                // Now v is linear dependent to the already found basis elements.
+                // This means that v (resp. candidate.monom) is the leading
                 // monomial of the next groebner-basis polynomial.
                 data.newGroebnerPoly( p, candidate.monom );
@@ -1189 +1189 @@
 }
 
-// for a descritption of the parameters see fglm.h
+// for a description of the parameters see fglm.h
 BOOLEAN
 fglmzero( ring sourceRing, ideal & sourceIdeal, ring destRing, ideal & destIdeal, BOOLEAN switchBack, BOOLEAN deleteIdeal )