version 1.22, 2005/07/03 11:08:53 |
version 1.23, 2020/10/06 11:33:46 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.21 2004/09/13 11:24:11 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.22 2005/07/03 11:08:53 ohara Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
#include "datatype.h" |
#include "datatype.h" |
|
// #include "extern.h" |
#include "extern2.h" |
#include "extern2.h" |
#include "gradedset.h" |
#include "gradedset.h" |
|
|
#define outofmemory(a) if (a == NULL) {fprintf(stderr,"ecart.c: out of memory.\n"); exit(10);} |
#define outofmemory(a) if (a == NULL) {fprintf(stderr,"ecart.c: out of memory.\n"); exit(10);} |
|
|
|
int errorKan1(char *s,char *m); /* defined in extern.h */ |
|
|
/* Local structures */ |
/* Local structures */ |
struct ecartReducer { |
struct ecartReducer { |
int ell; /* s^\ell */ |
int ell; /* s^\ell */ |
Line 44 static void ecartCheckSyz0_printinfo(POLY cf,POLY r_0 |
|
Line 48 static void ecartCheckSyz0_printinfo(POLY cf,POLY r_0 |
|
extern int DebugReductionRed; |
extern int DebugReductionRed; |
extern int TraceLift; |
extern int TraceLift; |
struct ring *TraceLift_ringmod; |
struct ring *TraceLift_ringmod; |
extern DoCancel; |
extern int DoCancel; |
int DebugReductionEcart = 0; |
int DebugReductionEcart = 0; |
extern DebugContentReduction; |
extern int DebugContentReduction; |
extern int Sugar; |
extern int Sugar; |
|
|
/* This is used for goHomogenization */ |
/* This is used for goHomogenization */ |
Line 559 static POLY reduction_ecart1(r,gset,needSyz,syzp) |
|
Line 563 static POLY reduction_ecart1(r,gset,needSyz,syzp) |
|
ells = ecartFindReducer(r,gset,gg); |
ells = ecartFindReducer(r,gset,gg); |
ell = ells.ell; |
ell = ells.ell; |
if (ell > 0) { |
if (ell > 0) { |
if (DebugReductionEcart & 2) printf("%"); |
if (DebugReductionEcart & 2) printf("%%"); |
if (needSyz) { |
if (needSyz) { |
gg = ecartPutPolyInG(r,gg,cf,syz); |
gg = ecartPutPolyInG(r,gg,cf,syz); |
}else{ |
}else{ |
Line 814 static POLY reduction_ecart1_mod(r,gset) |
|
Line 818 static POLY reduction_ecart1_mod(r,gset) |
|
ells = ecartFindReducer_mod(r,gset,gg); |
ells = ecartFindReducer_mod(r,gset,gg); |
ell = ells.ell; |
ell = ells.ell; |
if (ell > 0) { |
if (ell > 0) { |
if (DebugReductionEcart & 2) printf("%"); |
if (DebugReductionEcart & 2) printf("%%"); |
gg = ecartPutPolyInG(r,gg,POLYNULL,POLYNULL); |
gg = ecartPutPolyInG(r,gg,POLYNULL,POLYNULL); |
} |
} |
if (ell >= 0) { |
if (ell >= 0) { |