version 1.5, 2003/08/21 02:30:23 |
version 1.6, 2003/09/12 02:52:50 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/sugar.c,v 1.4 2003/05/01 01:58:05 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/sugar.c,v 1.5 2003/08/21 02:30:23 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "extern2.h" |
#include "extern2.h" |
|
|
*/ |
*/ |
extern DebugReductionRed; |
extern DebugReductionRed; |
extern DebugContentReduction; |
extern DebugContentReduction; |
|
extern Ecart; |
|
|
POLY reduction_sugar(POLY f,struct gradedPolySet *gset,int needSyz, |
POLY reduction_sugar(POLY f,struct gradedPolySet *gset,int needSyz, |
struct syz0 *syzp,int sugarGrade) |
struct syz0 *syzp,int sugarGrade) |
Line 26 POLY reduction_sugar(POLY f,struct gradedPolySet *gset |
|
Line 27 POLY reduction_sugar(POLY f,struct gradedPolySet *gset |
|
extern struct ring *CurrentRingp; |
extern struct ring *CurrentRingp; |
struct ring *rp; |
struct ring *rp; |
extern DoCancel; |
extern DoCancel; |
|
|
|
if (Ecart) return reduction_ecart(f,gset,needSyz,syzp); |
if (needSyz) { |
if (needSyz) { |
if (f ISZERO) { rp = CurrentRingp; } else { rp = f->m->ringp; } |
if (f ISZERO) { rp = CurrentRingp; } else { rp = f->m->ringp; } |
cf = cxx(1,0,0,rp); |
cf = cxx(1,0,0,rp); |