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; } |