OpenXM/src/kan96xx/Kan/red.c - diff

Return to red.c CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.9, 2004/09/13 11:24:11

version 1.11, 2020/10/06 11:33:47

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.8 2003/09/12 02:52:50 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.10 2005/06/09 04:09:22 takayama Exp $ */

#include <stdio.h>

#include "datatype.h"

#include "extern2.h"

Line 10 int DebugReductionRed = 0;

int DebugContentReduction = 0;

extern int Sugar;

struct spValue spZero(void) {

struct spValue r;

r.a = ZERO;

r.b = ZERO;

return r;

}

struct spValue sp_gen(f,g)

POLY f;

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 spValue sv;

POLY f2;

extern DoCancel;

extern int DoCancel;

static int crcount=0;

if (needSyz) {

Line 350 POLY reduction_gen(f,gset,needSyz,syzp)

Line 356 POLY reduction_gen(f,gset,needSyz,syzp)

extern struct ring *CurrentRingp;

struct ring *rp;

extern DoCancel;

extern int DoCancel;

if (needSyz) {

if (f ISZERO) { rp = CurrentRingp; } else { rp = f->m->ringp; }