1 | ring r = (real,10), (a,b), dp; |
---|
2 | poly f = 33375/100*b6 + a2*(11a2b2 - b6 - 121b4 - 2) + 55/10*b8 + a/(2*33096); |
---|
3 | def bas = basering; |
---|
4 | ideal m = 77617,33096; |
---|
5 | map phi = bas,m; |
---|
6 | phi(f); |
---|
7 | //0 |
---|
8 | poly g = subst(f,a,77617); |
---|
9 | g = subst(g,b,33096); |
---|
10 | g; |
---|
11 | -0.1204879738e+11 |
---|