| 324 | typedef create_type_input create_type; |
| 325 | typedef PolyInputIterator<create_type> iterator; |
| 326 | Intvec leadExp(){ |
| 327 | int nvars=rVar(ptr->r); |
| 328 | Intvec res(nvars); |
| 329 | for(int i=0;i<nvars;i++){ |
| 330 | res[i]=p_GetExp(ptr->p,i+1,ptr->getRing()); |
| 331 | } |
| 332 | return res; |
| 333 | } |
| 334 | void copy_on_write(){ |
| 335 | if (!ptr.unique()){ |
| 336 | ptr.reset(new PolyImpl(*ptr)); |