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

Return to kanExport1.c CVS log

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

version 1.20, 2005/06/16 08:40:04

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

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.19 2005/06/16 06:54:55 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.21 2005/07/03 11:08:53 ohara Exp $ */

#include <stdio.h>

#include <string.h>

#include "datatype.h"

#include "stackm.h"

#include "extern.h"

Line 19 struct object DegreeShiftD = OINIT;

Line 20 struct object DegreeShiftD = OINIT;

int DegreeShiftD_size = 0;

int *DegreeShiftD_vec = NULL;

static struct object paddingVector(struct object ob, int table[], int m);

static struct object unitVector(int pos, int size,struct ring *r);

/** :kan, :ring */

struct object Kreduction(f,set)

struct object f;

Line 104 struct object Kgroebner(ob)

Line 108 struct object Kgroebner(ob)

struct object newB = OINIT;

struct object orgC = OINIT;

struct object newC = OINIT;

static struct object paddingVector(struct object ob, int table[], int m);

struct object paddingVector(struct object ob, int table[], int m);

static struct object unitVector(int pos, int size,struct ring *r);

struct object unitVector(int pos, int size,struct ring *r);

extern struct ring *CurrentRingp;

StopDegree = 0x7fff;