=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/syz0.c,v retrieving revision 1.3 retrieving revision 1.5 diff -u -p -r1.3 -r1.5 --- OpenXM/src/kan96xx/Kan/syz0.c 2001/05/04 01:06:26 1.3 +++ OpenXM/src/kan96xx/Kan/syz0.c 2005/07/03 11:08:54 1.5 @@ -1,5 +1,6 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/syz0.c,v 1.2 2000/01/16 07:55:41 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/syz0.c,v 1.4 2003/08/27 03:11:12 takayama Exp $ */ #include +#include #include "datatype.h" #include "extern2.h" #include "matrix.h" @@ -237,6 +238,7 @@ struct matrixOfPOLY *getSyzygy(grG,zeroPairs,grBasesp, if (KanGBmessage) {printf("#"); fflush(stdout); } mp0 = getSyzygy01(*grBasesp,excludePairs); + if (mp0 == NULL) return NULL; if (KanGBmessage) {printf("#"); fflush(stdout); } /* We compute E-CB. The number of G (G-basis) is serial. */