Changeset d19585 in git for kernel/gfan.cc

Timestamp:

Nov 15, 2010, 4:45:16 PM (13 years ago)

Author:

Martin Monerjan

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

4138ab2842a81ef497d1f21e1ed50c9133d45a6e

Parents:

7c3bca08c96331a56864c1d35b8c2e8ff2e0be89

Message:

No more writing out by default


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

File:

• kernel/gfan.cc (modified) (1 diff)

kernel/gfan.cc

@@ -3225 +3225 @@
                         SearchListRoot=gcTmp->enqueueNewFacets(SearchListRoot);
 #endif //ifdef SHALLOW
-                        gcTmp->writeConeToFile(*gcTmp);
+//                      gcTmp->writeConeToFile(*gcTmp);
                         if(gfanHeuristic==1)
                         {
+                                gcTmp->writeConeToFile(*gcTmp);
                                 idDelete((ideal*)&gcTmp->gcBasis);//Whonder why?
                                 rDelete(gcTmp->baseRing);