Changeset b37b398 in git for dyn_modules/syzextra/myNF.cc

Timestamp:

Oct 19, 2012, 6:36:03 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1bc7201c1a771fb5cc842ca4f475ba3ea91e6979

Parents:

d30a39922dc390f97b6cd257b2e7c55d483f4159237c4266ccdbbf8b6c6046b550e61cb1751b2b35

Message:

Merge pull request #191 from mmklee/factoryassert_sw

Factoryassert sw

File:

• dyn_modules/syzextra/myNF.cc (modified) (3 diffs)

dyn_modules/syzextra/myNF.cc

@@ -224 +224 @@
   //strat->ak = id_RankFreeModule(F, RING!);
   /*- creating temp data structures------------------- -*/
-  BITSET save_test=test;
-  test|=Sy_bit(OPT_REDTAIL);
+  BITSET save1;
+  SI_SAVE_OPT1(save1);
+  si_opt_1|=Sy_bit(OPT_REDTAIL);
   initBuchMoraCrit(strat);
   strat->initEcart = initEcartBBA;
@@ -260 +261 @@
 #endif
     {
-      BITSET save=test;
-      test &= ~Sy_bit(OPT_INTSTRATEGY);
+      si_opt_1 &= ~Sy_bit(OPT_INTSTRATEGY);
       p = redtailBba(p,max_ind,strat,(lazyReduce & KSTD_NF_NONORM)==0);
-      test=save;
     }
   }
@@ -277 +276 @@
   omfree(strat->fromQ);
   idDelete(&strat->Shdl);
-  test=save_test;
+  SI_RESTORE_OPT1(save1);
   if (TEST_OPT_PROT) PrintLn();
   return p;