|
D.4.1.3 inSubringProcedure from library
Example: LIB "algebra.lib"; ring q=0,(x,y,z,u,v,w),dp; poly p=xyzu2w-1yzu2w2+u4w2-1xu2vw+u2vw2+xyz-1yzw+2u2w-1xv+vw+2; ideal I =x-w,u2w+1,yz-v; inSubring(p,I); → [1]: → 1 → [2]: → y(1)*y(2)*y(3)+y(2)^2-y(0)+1 |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |