| 350 | typedef create_type_input create_type; |
| 351 | typedef PolyInputIterator<create_type> iterator; |
| 352 | Intvec leadExp() |
| 353 | { |
| 354 | int nvars=rVar(ptr->r.get()); |
| 355 | Intvec res(nvars); |
| 356 | for(int i=0;i<nvars;i++) |
| 357 | { |
| 358 | res[i]=p_GetExp(ptr->p,i+1,ptr->getRing()); |
| 359 | } |
| 360 | return res; |
| 361 | } |
| 362 | void copy_on_write() |
| 363 | { |
| 364 | if (!ptr.unique()) |