version 1.9, 2004/09/13 11:24:11 |
version 1.10, 2005/06/09 04:09:22 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.8 2003/09/12 02:52:50 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.9 2004/09/13 11:24:11 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "extern2.h" |
#include "extern2.h" |
Line 10 int DebugReductionRed = 0; |
|
Line 10 int DebugReductionRed = 0; |
|
int DebugContentReduction = 0; |
int DebugContentReduction = 0; |
extern int Sugar; |
extern int Sugar; |
|
|
|
struct spValue spZero(void) { |
|
struct spValue r; |
|
r.a = ZERO; |
|
r.b = ZERO; |
|
return r; |
|
} |
struct spValue sp_gen(f,g) |
struct spValue sp_gen(f,g) |
POLY f; |
POLY f; |
POLY g; |
POLY g; |