Changeset e744d9 in git for dyn_modules/callgfanlib/tropicalVariety.cc

Timestamp:

Jul 17, 2014, 12:28:18 PM (9 years ago)

Author:

Yue Ren <ren@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

eb836ceccfffe01622457439ed104bca800bc101

Parents:

3c0aa5079c417e92fdfaa03c1d87d73f5b365291

git-author:

Yue Ren <ren@mathematik.uni-kl.de>2014-07-17 12:28:18+02:00

git-committer:

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

Message:

chg: status update 17.07.

File:

• dyn_modules/callgfanlib/tropicalVariety.cc (modified) (2 diffs)

dyn_modules/callgfanlib/tropicalVariety.cc

@@ -4 +4 @@
 #include <tropicalVarietyOfIdeals.h>
 #include <libpolys/coeffs/numbers.h>
+#include <libpolys/misc/options.h>
 #include <kernel/structs.h>
+
+
+BITSET bitsetSave1, bitsetSave2;
+
+/***
+ * sets option(redSB)
+ **/
+static void setOptionRedSB()
+{
+  SI_SAVE_OPT(bitsetSave1,bitsetSave2);
+  si_opt_1|=Sy_bit(OPT_REDSB);
+}
+
+/***
+ * sets option(noredSB);
+ **/
+static void undoSetOptionRedSB()
+{
+  SI_RESTORE_OPT(bitsetSave1,bitsetSave2);
+}
 
 BOOLEAN tropicalVariety(leftv res, leftv args)
@@ -25 +46 @@
       number p = (number) v->CopyD();
       tropicalStrategy currentStrategy(I,p,currRing);
+      setOptionRedSB();
       gfan::ZFan* tropI = tropicalVariety(I,currRing,currentStrategy);
+      undoSetOptionRedSB();
       res->rtyp = fanID;
       res->data = (char*) tropI;