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

Return to gb.c CVS log

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

version 1.7, 2003/07/30 09:00:52

version 1.8, 2003/08/19 08:02:09

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.6 2002/02/10 08:22:56 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.7 2003/07/30 09:00:52 takayama Exp $ */

/* untabify on May 4, 2001 */

#include <stdio.h>

#include "datatype.h"

Line 23 extern int UseCriterion2B;

extern int Spairs;

extern int Criterion2B, Criterion2F, Criterion2M;

extern int AutoReduce;

extern int TraceLift;

extern struct ring *TraceLift_ringmod;

static int MaxLength[DMAX];

static int SpNumber[DMAX];

Line 192 struct gradedPolySet *groebner_gen(f,needBack,needSyz,

Line 194 struct gradedPolySet *groebner_gen(f,needBack,needSyz,

extern struct ring *CurrentRingp;

extern char *F_mpMult;

struct ring *rp;

int first;

int statisticsPL, statisticsCount;

if (Statistics) {

Line 216 struct gradedPolySet *groebner_gen(f,needBack,needSyz,

Line 219 struct gradedPolySet *groebner_gen(f,needBack,needSyz,

g->polys[i] = newPolySet(INITSIZE);

}

first = 1;

for (i=0; i<r; i++) {

gt = getArrayOfPOLY(f,i);

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

if (TraceLift && (!(gt ISZERO)) && first) {

TraceLift_ringmod = newRingOverFp(rp,getPrime(TraceLift)); first = 0;

if (KanGBmessage) printf("Prime number for the trace lift is %d.\n",

TraceLift_ringmod->p);

}

grade = -1; whereInG(g,gt,&grade,&indx,Sugar);

if (KanGBmessage == 2) {

printf("init=%s, ",POLYToString(head(gt),'*',1));