version 1.8, 2003/09/12 02:52:50 |
version 1.11, 2020/10/06 11:33:47 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.7 2003/08/21 04:45:40 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 10 int DebugReductionRed = 0; |
|
Line 10 int DebugReductionRed = 0; |
|
int DebugContentReduction = 0; |
int DebugContentReduction = 0; |
extern int Sugar; |
extern int Sugar; |
|
|
|
struct spValue spZero(void) { |
|
struct spValue r; |
|
r.a = ZERO; |
|
r.b = ZERO; |
|
return r; |
|
} |
struct spValue sp_gen(f,g) |
struct spValue sp_gen(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |
Line 215 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 350 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; } |
Line 661 void initSyzRingp() { |
|
Line 667 void initSyzRingp() { |
|
if (ringName == NULL) errorGradedSet("No more memory."); |
if (ringName == NULL) errorGradedSet("No more memory."); |
sprintf(ringName,"syzring%05d",ringSerial); |
sprintf(ringName,"syzring%05d",ringSerial); |
SyzRingp->name = ringName; |
SyzRingp->name = ringName; |
|
SyzRingp->partialEcart = 0; |
} |
} |
|
|
POLY reductionCdr_except_grd_i(POLY f,struct gradedPolySet *gset, |
POLY reductionCdr_except_grd_i(POLY f,struct gradedPolySet *gset, |