| 236 | Print("type:%d\n",id->typ); |
| 237 | } |
| 238 | void writePoly(const Poly& p) |
| 239 | { |
| 240 | if (id->typ==POLY_CMD) |
| 241 | { |
| 242 | p_Delete(&id->data.p, currRing); |
| 243 | id->data.p=p.as_poly(); |
| 244 | } |
| 245 | } |
| 246 | void writeIdeal(const Ideal& p) |
| 247 | { |
| 248 | if (id->typ==IDEAL_CMD) |