|
D.7.1.6 findvarsProcedure from library
Example: LIB "presolve.lib"; ring s = 0,(e,f,x,y,t,u,v,w,a,d),dp; ideal i = w2+f2-1, x2+t2+a2-1; findvars(i); → _[1]=f → _[2]=x → _[3]=t → _[4]=w → _[5]=a findvars(i,1); → [1]: → _[1]=f → _[2]=x → _[3]=t → _[4]=w → _[5]=a → [2]: → 2,3,5,8,9 → [3]: → _[1]=e → _[2]=y → _[3]=u → _[4]=v → _[5]=d → [4]: → 1,4,6,7,10 |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |