Changeset 94a967 in git for factory/cf_algorithm.cc

Timestamp:

Jun 19, 2008, 5:58:18 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

6f49c34b8c235506ef7d34be2d0cd7b9ed4f708d

Parents:

4f48983e2d88ea0745d1992935e0f1c7b97642d0

Message:

*hannes: format


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

File:

• factory/cf_algorithm.cc (modified) (3 diffs)

factory/cf_algorithm.cc

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: cf_algorithm.cc,v 1.12 2008-05-16 13:10:14 Singular Exp $ */
+/* $Id: cf_algorithm.cc,v 1.13 2008-06-19 15:58:18 Singular Exp $ */
 
 //{{{ docu
@@ -348 +348 @@
     int fLevel = f.level();
     int gLevel = g.level();
-    if ( gLevel > 0 && fLevel == gLevel )
+    if ( (gLevel > 0) && (fLevel == gLevel) )
         // f and g are polynomials in the same main variable
         if ( degree( f ) <= degree( g )
              && fdivides( f.tailcoeff(), g.tailcoeff() )
-             && fdivides( f.LC(), g.LC() ) ) {
+             && fdivides( f.LC(), g.LC() ) )
+        {
             CanonicalForm q, r;
             return divremt( g, f, q, r ) && r.isZero();
@@ -361 +362 @@
         // g is a coefficient w.r.t. f
         return false;
-    else {
+    else
+    {
         // either f is a coefficient w.r.t. polynomial g or both
         // f and g are from a base domain (should be Z or Z/p^n,