Opened 12 years ago

Closed 12 years ago

# imap and parameters

Reported by: Owned by: decker@… hannes major 3-1-4 and higher singular-kernel 3-1-3 parameter, map, imap

### Description

ring R = (0,U),(x1(0),x1(1),x1(2),x1(3),x1(4),x2(0),x2(1),x2(2),x2(3),x2(4),t1(1),t1(2),t1(3),t2(1),t2(2),t2(3)),(dp(16),C); minpoly = (U2+1) ;

ideal I = 0,x1(0)2+x2(0)2-4761/15625,x1(1)2+x2(1)2-1814409/1000000,x1(2)2+x2(2)2-9/4,x1(3)2+x2(3)2-8649/10000,x1(4)2+x2(4)2-57121/250000,t1(1)2+t2(1)2-1,t1(2)2+t2(2)2-1,t1(3)2+t2(3)2-1,x1(0)-x1(1)+(U)*x2(0)+(-U)*x2(1)+(793/500*U-1149/1000)*t1(1)+(-1149/1000*U-793/500)*t2(1)+(3281/1000*U-321/200),x1(1)-x1(2)+(U)*x2(1)+(-U)*x2(2)+(1309/1000*U-323/200)*t1(1)+(171/1000*U+27/500)*t1(2)+(-323/200*U-1309/1000)*t2(1)+(27/500*U-171/1000)*t2(2)+(-147/40*U+387/200),x1(2)-x1(3)+(U)*x2(2)+(-U)*x2(3)+(-29/40*U+79/100)*t1(2)+(-27/200*U-743/1000)*t1(3)+(79/100*U+29/40)*t2(2)+(-743/1000*U+27/200)*t2(3)+(2237/1000*U+1121/1000),x1(3)-x1(4)+(U)*x2(3)+(-U)*x2(4)+(-43/200*U-539/500)*t1(3)+(-539/500*U+43/200)*t2(3)+(-967/500*U-153/500),x1(0)-x1(1)+(-U)*x2(0)+(U)*x2(1)+(-793/500*U-1149/1000)*t1(1)+(1149/1000*U-793/500)*t2(1)+(-3281/1000*U-321/200),x1(1)-x1(2)+(-U)*x2(1)+(U)*x2(2)+(-1309/1000*U-323/200)*t1(1)+(-171/1000*U+27/500)*t1(2)+(323/200*U-1309/1000)*t2(1)+(-27/500*U-171/1000)*t2(2)+(147/40*U+387/200),x1(2)-x1(3)+(-U)*x2(2)+(U)*x2(3)+(29/40*U+79/100)*t1(2)+(27/200*U-743/1000)*t1(3)+(-79/100*U+29/40)*t2(2)+(743/1000*U+27/200)*t2(3)+(-2237/1000*U+1121/1000),x1(3)-x1(4)+(-U)*x2(3)+(U)*x2(4)+(43/200*U-539/500)*t1(3)+(539/500*U+43/200)*t2(3)+(967/500*U-153/500);

ring S=0, (x1(0),x1(1),x1(2),x1(3),x1(4),x2(0),x2(1),x2(2),x2(3),x2(4),t1(1),t1(2),t1(3),t2(1),t2(2),t2(3)),dp;

ideal I=imap(R,I); I[17]; setring R; I[17];

### comment:1 Changed 12 years ago by Oleksandr

Component: dontKnow → singular-kernel parameter map imap added changed from somebody to hannes

I have got:

```> I[17];
x1(3)-x1(4)+x2(3)+x2(4)-539/500*t1(3)+43/200*t2(3)-153/500
> setring R;
> I[17];
x1(3)-x1(4)+(-U)*x2(3)+(U)*x2(4)+(43/200*U-539/500)*t1(3)+(539/500*U+43/200)*t2(3)+(967/500*U-153/500)
```

I guess the problem is the mapping of U to _zero_, which seems to fail sometimes... is the guess correct?

### comment:2 Changed 12 years ago by hannes

Resolution: → fixed new → closed
Note: See TracTickets for help on using tickets.