| 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; |