- Timestamp:
- Sep 18, 2017, 6:31:03 PM (7 years ago)
- Branches:
- (u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
- Children:
- 39932b1f3b24d47063b976f815c8c00a11c6e2c87f63389b0d9f4f2e01bed7b18d901131ae0a4aa7
- Parents:
- 72a52d1fc44d6d57a46263588972ea8c892f24c6
- Location:
- kernel
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kstd1.cc
r72a52d r21d5430 2271 2271 else if (!TEST_OPT_DEGBOUND) 2272 2272 { 2273 h = (tHomog)idHomModule(F,Q,w); 2273 if (w!=NULL) 2274 h = (tHomog)idHomModule(F,Q,w); 2275 else 2276 h = (tHomog)idHomIdeal(F,Q); 2274 2277 } 2275 2278 } -
kernel/ideals.cc
r72a52d r21d5430 349 349 void *args[]={temp,v,NULL}; 350 350 int arg_t[]={MODUL_CMD,IDEAL_CMD,0}; 351 temp1=(ideal)iiCallLibProcM(" modStd",args,arg_t,err);351 temp1=(ideal)iiCallLibProcM("satstd",args,arg_t,err); 352 352 } 353 353 if (err) … … 699 699 void *args[]={idCopy(h2),v,NULL}; 700 700 int arg_t[]={MODUL_CMD,IDEAL_CMD,0}; 701 h3=(ideal)iiCallLibProcM(" modStd",args,arg_t,err);701 h3=(ideal)iiCallLibProcM("satstd",args,arg_t,err); 702 702 } 703 703 if (err) … … 2892 2892 else 2893 2893 { 2894 return Gb Modstd;2894 return GbStdSat; 2895 2895 } 2896 2896 }
Note: See TracChangeset
for help on using the changeset viewer.