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

Return to gb.c CVS log

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

version 1.10, 2005/06/16 06:54:55

version 1.14, 2020/10/06 11:33:46

Line 1

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

/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.13 2005/07/07 02:59:47 takayama Exp $ */

/* untabify on May 4, 2001 */

#include <stdio.h>

#include <string.h>

#include "datatype.h"

#include "extern2.h"

#include "matrix.h"

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

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

extern int StopDegree;

extern struct ring *CurrentRingp;

extern char *F_mpMult;

extern int Homogenize;

struct ring *rp;

int first;

int statisticsPL, statisticsCount;

if (KanGBmessage) {

printf("Homogenize=%d, countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n",

Homogenize,countDown, forceReduction, reduceOnly, gbCheck);

}

if (Statistics) {

for (i=0; i<DMAX; i++) MaxLength[i] = SpNumber[i] = 0;

}

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

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

Spairs = Criterion1 = Criterion2B = Criterion2F = Criterion2M = 0;

g = newGradedPolySet(INITGRADE); g->gb = 1;

if (reduceOnly) g->gb = 2; /* unknown */

d = newGradedPairs(INITGRADE*2);

for (i=0; i<g->lim; i++) {

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