| version 1.10, 2005/06/09 04:09:22 |
version 1.11, 2020/10/06 11:33:47 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.9 2004/09/13 11:24:11 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.10 2005/06/09 04:09:22 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "extern2.h" |
#include "extern2.h" |
| Line 221 POLY reduction1_gen(f,g,needSyz,c,h) |
|
| Line 221 POLY reduction1_gen(f,g,needSyz,c,h) |
|
| struct ring *rp; |
struct ring *rp; |
| struct spValue sv; |
struct spValue sv; |
| POLY f2; |
POLY f2; |
| extern DoCancel; |
extern int DoCancel; |
| static int crcount=0; |
static int crcount=0; |
| |
|
| if (needSyz) { |
if (needSyz) { |
| Line 356 POLY reduction_gen(f,gset,needSyz,syzp) |
|
| Line 356 POLY reduction_gen(f,gset,needSyz,syzp) |
|
| |
|
| extern struct ring *CurrentRingp; |
extern struct ring *CurrentRingp; |
| struct ring *rp; |
struct ring *rp; |
| extern DoCancel; |
extern int DoCancel; |
| |
|
| if (needSyz) { |
if (needSyz) { |
| if (f ISZERO) { rp = CurrentRingp; } else { rp = f->m->ringp; } |
if (f ISZERO) { rp = CurrentRingp; } else { rp = f->m->ringp; } |