1 | echo = 2; option(prot); option(mem); |
---|

2 | |
---|

3 | ring r1 = (0,a),x,dp; |
---|

4 | |
---|

5 | number c = (a3+2); poly m = c*x; ideal I = m; |
---|

6 | |
---|

7 | ring r2 = (0,a),x,dp; minpoly = a3+2; map f = r1,x; |
---|

8 | |
---|

9 | imap(r1, c); _ == 0; |
---|

10 | fetch(r1, c); _ == 0; |
---|

11 | f(c); _ == 0; |
---|

12 | |
---|

13 | imap(r1, m); _ == 0; |
---|

14 | fetch(r1, m); _ == 0; |
---|

15 | f(m); _ == 0; |
---|

16 | |
---|

17 | imap(r1, I); _[1] == 0; |
---|

18 | fetch(r1, I); _[1] == 0; |
---|

19 | f(I); _[1] == 0; |
---|

20 | $$ |
---|

21 | |
---|

22 | deg(J[1]); |
---|

23 | leadcoef(J[1]) == 0; |
---|

24 | J[1] == 0; |
---|

25 | // simplify does nasty things: |
---|

26 | simplify(J,2+4); // does nothing |
---|

27 | simplify(J,1); |
---|

28 | simplify(J,8); |
---|

29 | // my workaround: |
---|

30 | setring r1; |
---|

31 | string s = "ideal JJ = " + string(I) + ";"; |
---|

32 | setring r2; |
---|

33 | execute(s); |
---|

34 | JJ; |
---|

35 | JJ[1] == 0; |
---|

36 | |
---|