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

Return to red.c CVS log

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

version 1.8, 2003/09/12 02:52:50

version 1.10, 2005/06/09 04:09:22

Line 1

/* $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.9 2004/09/13 11:24:11 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 661 void initSyzRingp() {

Line 667 void initSyzRingp() {

if (ringName == NULL) errorGradedSet("No more memory.");

sprintf(ringName,"syzring%05d",ringSerial);

SyzRingp->name = ringName;

SyzRingp->partialEcart = 0;

}

POLY reductionCdr_except_grd_i(POLY f,struct gradedPolySet *gset,