Changeset bd0e07 in git for kernel/GBEngine/tgb_internal.h

Timestamp:

Mar 21, 2018, 5:50:21 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

caf8c65d1b9e21816d4d531841968cbefef2fecb

Parents:

1932d5c7bedae52a208f2b9636b004a4cd5dfad0

Message:

fix: julia-debug version

File:

• kernel/GBEngine/tgb_internal.h (modified) (6 diffs)

kernel/GBEngine/tgb_internal.h

@@ -936 +936 @@
       assume(!(npIsZero((number)(long) buffer[bpos],currRing->cf)));
       STATISTIC(n_Add); temp_array[idx]=F4mat_to_number_type(npAddM((number)(long) temp_array[idx], (number)(long) buffer[bpos++],currRing->cf));
+      #ifndef SING_NDEBUG
       assume(idx<temp_size);
+      #endif
     }
 
@@ -982 +984 @@
       //assume(!(npIsZero((number) buffer[bpos])));
       STATISTIC(n_Add); temp_array[i]=F4mat_to_number_type(npAddM((number)(long) temp_array[i], (number)(long) buffer[bpos++],currRing->cf));
+      #ifndef SING_NDEBUG
       assume(i<temp_size);
+      #endif
     }
 
@@ -1007 +1011 @@
   {
       STATISTIC(n_Add); temp_array[i]=F4mat_to_number_type(npAddM((number)(long) temp_array[i], (number)(long) row[i],currRing->cf));
+      #ifndef SING_NDEBUG
       assume(i<temp_size);
+      #endif
   }
 
@@ -1032 +1038 @@
 
       STATISTIC(n_Sub); temp_array[i]=F4mat_to_number_type(npSubM((number)(long) temp_array[i], (number)(long) row[i],currRing->cf));
+      #ifndef SING_NDEBUG
       assume(i<temp_size);
+      #endif
   }
 
@@ -1052 +1060 @@
           int idx=idx_array[j];
           STATISTIC(n_Add); temp_array[idx]=F4mat_to_number_type(   (number_type)(long)npAddM((number) (long)temp_array[idx],(number)(long) coef_array[j],currRing->cf));
+          #ifndef SING_NDEBUG
           assume(idx<temp_size);
+          #endif
         }
 }
@@ -1070 +1080 @@
           int idx=idx_array[j];
           STATISTIC(n_Sub); temp_array[idx]=F4mat_to_number_type(  (number_type)(long) npSubM((number) (long)temp_array[idx],(number)(long) coef_array[j],currRing->cf));
+          #ifndef SING_NDEBUG
           assume(idx<temp_size);
+          #endif
         }
 }