| version 1.7, 2003/09/20 09:57:29 |
version 1.8, 2020/10/06 11:33:47 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/sugar.c,v 1.6 2003/09/12 02:52:50 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/sugar.c,v 1.7 2003/09/20 09:57:29 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "extern2.h" |
#include "extern2.h" |
|
|
| |
|
| /* static int DebugReduction = 0; |
/* static int DebugReduction = 0; |
| */ |
*/ |
| extern DebugReductionRed; |
extern int DebugReductionRed; |
| extern DebugContentReduction; |
extern int DebugContentReduction; |
| extern Ecart; |
extern int Ecart; |
| extern int Ecart_sugarGrade; |
extern int Ecart_sugarGrade; |
| static int ecart_grade_sugar(POLY f); |
static int ecart_grade_sugar(POLY f); |
| |
|
| Line 28 POLY reduction_sugar(POLY f,struct gradedPolySet *gset |
|
| Line 28 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 int DoCancel; |
| |
|
| if (Ecart) { |
if (Ecart) { |
| Ecart_sugarGrade = sugarGrade; |
Ecart_sugarGrade = sugarGrade; |