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

Return to red.c CVS log

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

version 1.7, 2003/08/21 04:45:40

version 1.8, 2003/09/12 02:52:50

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.6 2003/08/21 02:30:23 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/red.c,v 1.7 2003/08/21 04:45:40 takayama Exp $ */

#include <stdio.h>

#include "datatype.h"

#include "extern2.h"

Line 152 POLY reduction1_gen_debug(f,g,needSyz,c,h)

getchar();

}

if (DebugReductionRed) {

if (DebugReductionRed & 1) {

printf("%s --> %s\n",POLYToString(f,'*',1),POLYToString(f2,'*',1));

}else if (DebugReductionRed & 2) {

printf("(head) %s --> %s\n",POLYToString(head(f),'*',1),POLYToString(head(f2),'*',1));

}

f = f2;

if (needSyz) {

*c = ppMult(sv.a,*c);

Line 164 POLY reduction1_gen_debug(f,g,needSyz,c,h)

Line 167 POLY reduction1_gen_debug(f,g,needSyz,c,h)

while ((*isReducible)(f,g)) {

sv = (*sp)(f,g);

f2 = ppAddv(cpMult((sv.a)->coeffp,f),ppMult(sv.b,g));

if (DebugReductionRed) {

if (DebugReductionRed & 1) {

printf("%s --> %s\n",POLYToString(f,'*',1),POLYToString(f2,'*',1));

}else if (DebugReductionRed & 2) {

printf("(head) %s --> %s\n",POLYToString(head(f),'*',1),POLYToString(head(f2),'*',1));

}

if (showLength) {printf(" [%d] ",pLength(f)); fflush(stdout);}

if (!isOrdered(f2) || !isOrdered(f)) {

Line 194 POLY reduction1_gen_debug(f,g,needSyz,c,h)

Line 199 POLY reduction1_gen_debug(f,g,needSyz,c,h)

*h = ppAdd(ppMult(sv.a,*h),sv.b);

}

if (DebugReductionRed & 2) printf("----------- end of reduction_gen_debug\n");

return(f);

}