| 118 | |
| 119 | STATIC_VAR char* si_filename; |
| 120 | static BOOLEAN print_spoly(kStrategy strat) |
| 121 | { |
| 122 | char *s; |
| 123 | if (strat->P.t_p==NULL) |
| 124 | { |
| 125 | s=pString(strat->P.p); |
| 126 | } |
| 127 | else |
| 128 | { |
| 129 | poly p=strat->P.t_p; |
| 130 | s=p_String(p,strat->tailRing); |
| 131 | } |
| 132 | FILE *f=fopen(si_filename,"a"); |
| 133 | fwrite(s,strlen(s),1,f); |
| 134 | fwrite("\n",1,1,f); |
| 135 | fflush(f); |
| 136 | fclose(f); |
| 137 | return FALSE; // return TRUE if sp was changed, FALSE if not |
| 138 | } |
| 139 | |
| 140 | STATIC_VAR int si_filenr; |
| 141 | static BOOLEAN print_syz(kStrategy strat) |