Changeset 08b7c2a in git for Singular/dyn_modules/gfanlib/tropicalTraversal.cc

Timestamp:

Feb 4, 2015, 11:29:46 PM (9 years ago)

Author:

Yue Ren <ren@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

7cb46755d168b8a6622fc01364fe4ca055f20f4b

Parents:

7723d00a58aba67b90f5f607a5018d386f4f8465

git-author:

Yue Ren <ren@mathematik.uni-kl.de>2015-02-04 23:29:46+01:00

git-committer:

Yue Ren <ren@mathematik.uni-kl.de>2015-02-06 13:47:06+01:00

Message:

chg: removed redundant witness computations

File:

• Singular/dyn_modules/gfanlib/tropicalTraversal.cc (modified) (6 diffs)

Singular/dyn_modules/gfanlib/tropicalTraversal.cc

@@ -48 +48 @@
   workingList.insert(startingCone);
   const tropicalStrategy* currentStrategy=startingCone.getTropicalStrategy();
-  // std::cout << "starting traversal" << std::endl;
   while(!workingList.empty())
   {
@@ -54 +53 @@
      * Pick an element the working list and compute interior points on its facets
      */
-    // std::cout << "picking cone and computing interior facet points..." << std::endl;
     groebnerCone sigma=*(workingList.begin());
     gfan::ZMatrix interiorPoints = interiorPointsOfFacets(sigma.getPolyhedralCone());
@@ -67 +65 @@
       {
         ideal inI = initial(sigma.getPolynomialIdeal(),sigma.getPolynomialRing(),interiorPoint);
-        // std::cout << "picking interiorPoint and computing rays of tropical star..." << std::endl;
         gfan::ZMatrix normalVectors = raysOfTropicalStar(inI,
                                                          sigma.getPolynomialRing(),
@@ -74 +71 @@
         id_Delete(&inI,sigma.getPolynomialRing());
 
-        // std::cout << "checking for th neccessity to flip..." << std::endl;
         std::vector<bool> needToFlip = checkNecessaryFlips(tropicalVariety,workingList,interiorPoint,normalVectors);
         for (int j=0; j<normalVectors.getHeight(); j++)
@@ -80 +76 @@
           if (needToFlip[j])
           {
-            // std::cout << "flipping cone..." << std::endl;
             groebnerCone neighbour = sigma.flipCone(interiorPoint,normalVectors[j]);
             workingList.insert(neighbour);
@@ -114 +109 @@
     tropicalVariety.insert(sigma);
     workingList.erase(sigma);
-    // std::cout << "tropicalVariety.size():" << tropicalVariety.size() << std::endl;
-    // std::cout << "workingList.size():" << workingList.size() << std::endl;
+    std::cout << "tropicalVariety.size():" << tropicalVariety.size() << std::endl;
+    std::cout << "workingList.size():" << workingList.size() << std::endl;
   }
   return tropicalVariety;