Changeset e5a4ba in git for kernel/gring.cc
- Timestamp:
- Mar 24, 2011, 6:36:09 PM (13 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 636c2808c40cfb805ae982e6a313b80f12ef1ef9
- Parents:
- cdd96488f933020972d13b626d1e41b8da9a4786
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/gring.cc
rcdd964 re5a4ba 2888 2888 2889 2889 2890 BOOLEAN nc_CallPlural( 2891 matrix CCC, matrix DDD, 2890 2891 /// returns TRUE if there were errors 2892 /// analyze inputs, check them for consistency 2893 /// detects nc_type, DO NOT initialize multiplication but call for it at the end 2894 /// checks the ordering condition and evtl. NDC 2895 /// NOTE: all the data belong to the curr, 2896 /// we change r which may be the same ring, and must have the same representation! 2897 BOOLEAN nc_CallPlural(matrix CCC, matrix DDD, 2892 2898 poly CCN, poly DDN, 2893 2899 ring r, 2894 2900 bool bSetupQuotient, bool bCopyInput, bool bBeQuiet, 2895 ring curr, BOOLEAN dummy_ring /*=FALSE*/) 2896 /* returns TRUE if there were errors */ 2897 /* analyze inputs, check them for consistency */ 2898 /* detects nc_type, DO NOT initialize multiplication but call for it at the end*/ 2899 /* checks the ordering condition and evtl. NDC */ 2900 // NOTE: all the data belong to the curr, 2901 // we change r which may be the same ring, and must have the same representation! 2902 { 2903 assume( r->qideal == NULL ); // The basering must NOT be a qring! 2904 2905 // assume( curr != r ); 2906 assume( rSamePolyRep(r, curr) ); 2901 ring curr, bool dummy_ring /*=false*/) 2902 { 2903 assume( r != NULL ); 2904 assume( curr != NULL ); 2905 2906 if( !bSetupQuotient) 2907 assume( (r->qideal == NULL) ); // The basering must NOT be a qring!?? 2908 2909 assume( rSamePolyRep(r, curr) || bCopyInput ); // wrong assumption? 2907 2910 2908 2911 … … 2961 2964 rChangeCurrRing(r); 2962 2965 2963 #ifndef NDEBUG2964 idTest((ideal)CCC);2965 idTest((ideal)DDD);2966 pTest(CCN);2967 pTest(DDN);2968 #endif2969 2970 2966 matrix CC = NULL; 2971 2967 poly CN = NULL; … … 3054 3050 for(j=i+1; j<=r->N; j++) 3055 3051 MATELEM(C,i,j) = prCopyR_NoSort(CN, curr, r); // nc_p_CopyPut(CN, r); // copy CN from curr into r 3052 3053 #ifndef NDEBUG 3054 idTest((ideal)C); 3055 #endif 3056 3056 3057 } else 3057 3058 if ( (CN == NULL) && (CC != NULL) ) /* copy matrix C */ … … 3091 3092 { 3092 3093 C = mpCopy(CC, curr, r); // Copy C into r!!!??? 3094 #ifndef NDEBUG 3095 idTest((ideal)C); 3096 #endif 3093 3097 bCnew = true; 3094 3098 } … … 3120 3124 for(j=i+1; j<=r->N; j++) 3121 3125 MATELEM(D,i,j) = prCopyR_NoSort(DN, curr, r); // project DN into r->GetNC()->basering! 3126 #ifndef NDEBUG 3127 idTest((ideal)D); 3128 #endif 3122 3129 } 3123 3130 else /* DD != NULL */ … … 3144 3151 { 3145 3152 D = mpCopy(DD, curr, r); // Copy DD into r!!! 3153 #ifndef NDEBUG 3154 idTest((ideal)D); 3155 #endif 3146 3156 bDnew = true; 3147 3157 } 3148 3158 else 3149 3159 D = DD; 3150 3151 3160 } 3152 3161 … … 3163 3172 Print("\nTemporary: type = %d, IsSkewConstant = %d\n", nctype, IsSkewConstant); 3164 3173 #endif 3165 3166 3167 3174 3168 3175
Note: See TracChangeset
for help on using the changeset viewer.