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

Return to gb.c CVS log

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

version 1.12, 2005/06/30 08:35:07

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

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.11 2005/06/16 08:40:04 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("countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n",

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

countDown, forceReduction, reduceOnly, gbCheck);

Homogenize,countDown, forceReduction, reduceOnly, gbCheck);

}

if (Statistics) {

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