| version 1.4, 2001/05/04 01:06:25 |
version 1.5, 2003/07/30 09:00:52 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.3 2000/02/24 00:27:12 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.4 2001/05/04 01:06:25 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "extern2.h" |
#include "extern2.h" |
| Line 652 POLY reductionCdr_except_grd_i(POLY f,struct gradedPol |
|
| Line 652 POLY reductionCdr_except_grd_i(POLY f,struct gradedPol |
|
| if (f ISZERO) goto ss; |
if (f ISZERO) goto ss; |
| if ((!((grd == skipGrd) && (i == skipi))) && (set->del[i]==0)) { |
if ((!((grd == skipGrd) && (i == skipi))) && (set->del[i]==0)) { |
| /* Do not use deleted element.*/ |
/* Do not use deleted element.*/ |
| if ((fs =(*isCdrReducible)(f,set->g[i])) != ZERO) { |
if ((fs =(*isCdrReducible)(f,set->g[i])) != ZERO) { |
| f = (*reduction1Cdr)(f,fs,set->g[i],needSyz,&cc,&cg); |
f = (*reduction1Cdr)(f,fs,set->g[i],needSyz,&cc,&cg); |
| /* What is cg? */ |
/* What is cg? */ |
| if (needSyz) { |
if (needSyz) { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to red.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan