version 1.8, 2003/09/12 02:52:50 |
version 1.9, 2004/09/13 11:24:11 |
|
|
/* $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.8 2003/09/12 02:52:50 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "extern2.h" |
#include "extern2.h" |
Line 661 void initSyzRingp() { |
|
Line 661 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, |