version 1.2, 2000/01/16 07:55:41 |
version 1.3, 2001/05/04 01:06:25 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/redm.c,v 1.2 2000/01/16 07:55:41 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "extern2.h" |
#include "extern2.h" |
Line 10 static int DebugReduction = 0; |
|
Line 10 static int DebugReduction = 0; |
|
|
|
|
|
int isReducible_module(f,g) |
int isReducible_module(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |
{ |
{ |
int n,i; |
int n,i; |
MONOMIAL tf; |
MONOMIAL tf; |
|
|
|
|
|
|
int isSameComponent_x(f,g) |
int isSameComponent_x(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |
{ |
{ |
static int nn,mm,ll,cc,n,m,l,c; |
static int nn,mm,ll,cc,n,m,l,c; |
static struct ring *cr = (struct ring *)NULL; |
static struct ring *cr = (struct ring *)NULL; |
|
|
} |
} |
|
|
int isSameComponent_xd(f,g) |
int isSameComponent_xd(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |
{ |
{ |
static int nn,mm,ll,cc,n,m,l,c; |
static int nn,mm,ll,cc,n,m,l,c; |
static struct ring *cr = (struct ring *)NULL; |
static struct ring *cr = (struct ring *)NULL; |
|
|
|
|
|
|
POLY lcm_module(f,g) |
POLY lcm_module(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |
{ |
{ |
MONOMIAL tf,tg; |
MONOMIAL tf,tg; |
MONOMIAL lcm; |
MONOMIAL lcm; |
|
|
|
|
|
|
int grade_module1v(f) |
int grade_module1v(f) |
POLY f; |
POLY f; |
{ |
{ |
int r; |
int r; |
int i; |
int i; |
|
|
|
|
|
|
int grade_module1(f) |
int grade_module1(f) |
POLY f; |
POLY f; |
{ |
{ |
int r; |
int r; |
int i; |
int i; |
|
|
|
|
|
|
int grade_firstvec(f) /* grading by the first vector and h */ |
int grade_firstvec(f) /* grading by the first vector and h */ |
POLY f; |
POLY f; |
{ |
{ |
int r; |
int r; |
int i,k; |
int i,k; |
|
|
} |
} |
|
|
int eliminated(ff) |
int eliminated(ff) |
POLY ff; |
POLY ff; |
{ |
{ |
#define RULEMAX 10 |
#define RULEMAX 10 |
int r; |
int r; |