ofs | hex dump | ascii |
---|
0000 | 03 f3 0d 0a c6 3c 52 59 63 00 00 00 00 00 00 00 00 02 00 00 00 40 00 00 00 73 4e 00 00 00 64 00 | .....<RYc............@...sN...d. |
0020 | 00 64 01 00 6c 00 00 54 64 02 00 84 00 00 5a 01 00 65 02 00 64 03 00 6b 02 00 72 4a 00 64 04 00 | .d..l..Td.....Z..e..d..k..rJ.d.. |
0040 | 64 05 00 6c 03 00 5a 03 00 65 03 00 6a 04 00 83 00 00 6a 05 00 72 4a 00 65 06 00 64 00 00 83 01 | d..l..Z..e..j.....j..rJ.e..d.... |
0060 | 00 01 71 4a 00 6e 00 00 64 05 00 53 28 06 00 00 00 69 01 00 00 00 28 01 00 00 00 74 01 00 00 00 | ..qJ.n..d..S(....i....(....t.... |
0080 | 2a 63 03 00 00 00 03 00 00 00 06 00 00 00 43 00 00 00 73 37 00 00 00 74 00 00 74 01 00 7c 00 00 | *c............C...s7...t..t..|.. |
00a0 | 6a 02 00 83 00 00 7c 00 00 6a 03 00 83 00 00 7c 01 00 6a 03 00 83 00 00 7c 02 00 6a 03 00 83 00 | j.....|..j.....|..j.....|..j.... |
00c0 | 00 83 04 00 7c 00 00 6a 04 00 83 02 00 53 28 01 00 00 00 73 85 02 00 00 0a 20 20 20 20 52 65 74 | ....|..j.....S(....s.........Ret |
00e0 | 75 72 6e 20 74 68 65 20 6e 6f 6e 2d 63 6f 6e 73 74 61 6e 74 20 73 75 62 72 65 73 75 6c 74 61 6e | urn.the.non-constant.subresultan |
0100 | 74 73 20 6f 66 20 27 70 27 20 61 6e 64 20 27 71 27 20 77 69 74 68 20 72 65 73 70 65 63 74 20 74 | ts.of.'p'.and.'q'.with.respect.t |
0120 | 6f 20 74 68 65 20 22 76 61 72 69 61 62 6c 65 22 20 27 78 27 2e 0a 0a 20 20 20 20 27 70 27 2c 20 | o.the."variable".'x'.......'p',. |
0140 | 27 71 27 20 61 6e 64 20 27 78 27 20 61 72 65 20 5a 33 20 65 78 70 72 65 73 73 69 6f 6e 73 20 77 | 'q'.and.'x'.are.Z3.expressions.w |
0160 | 68 65 72 65 20 27 70 27 20 61 6e 64 20 27 71 27 20 61 72 65 20 61 72 69 74 68 6d 65 74 69 63 20 | here.'p'.and.'q'.are.arithmetic. |
0180 | 74 65 72 6d 73 2e 0a 20 20 20 20 4e 6f 74 65 20 74 68 61 74 2c 20 61 6e 79 20 73 75 62 74 65 72 | terms......Note.that,.any.subter |
01a0 | 6d 20 74 68 61 74 20 63 61 6e 6e 6f 74 20 62 65 20 76 69 65 77 65 64 20 61 73 20 61 20 70 6f 6c | m.that.cannot.be.viewed.as.a.pol |
01c0 | 79 6e 6f 6d 69 61 6c 20 69 73 20 61 73 73 75 6d 65 64 20 74 6f 20 62 65 20 61 20 76 61 72 69 61 | ynomial.is.assumed.to.be.a.varia |
01e0 | 62 6c 65 2e 0a 20 20 20 20 45 78 61 6d 70 6c 65 3a 20 66 28 61 29 20 69 73 20 61 20 63 6f 6e 73 | ble......Example:.f(a).is.a.cons |
0200 | 69 64 65 72 65 64 20 74 6f 20 62 65 20 61 20 76 61 72 69 61 62 6c 65 20 62 20 69 6e 20 74 68 65 | idered.to.be.a.variable.b.in.the |
0220 | 20 70 6f 6c 79 6e 6f 6d 69 61 6c 20 20 20 20 20 20 20 0a 0a 20 20 20 20 66 28 61 29 2a 66 28 61 | .polynomial.............f(a)*f(a |
0240 | 29 20 2b 20 32 2a 66 28 61 29 20 2b 20 31 20 0a 20 20 20 20 0a 20 20 20 20 3e 3e 3e 20 78 2c 20 | ).+.2*f(a).+.1...........>>>.x,. |
0260 | 79 20 3d 20 52 65 61 6c 73 28 27 78 20 79 27 29 0a 20 20 20 20 3e 3e 3e 20 73 75 62 72 65 73 75 | y.=.Reals('x.y').....>>>.subresu |
0280 | 6c 74 61 6e 74 73 28 32 2a 78 20 2b 20 79 2c 20 33 2a 78 20 2d 20 32 2a 79 20 2b 20 32 2c 20 78 | ltants(2*x.+.y,.3*x.-.2*y.+.2,.x |
02a0 | 29 0a 20 20 20 20 5b 2d 37 2a 79 20 2b 20 34 5d 0a 20 20 20 20 3e 3e 3e 20 72 20 3d 20 73 75 62 | ).....[-7*y.+.4].....>>>.r.=.sub |
02c0 | 72 65 73 75 6c 74 61 6e 74 73 28 33 2a 79 2a 78 2a 2a 32 20 2b 20 79 2a 2a 33 20 2b 20 31 2c 20 | resultants(3*y*x**2.+.y**3.+.1,. |
02e0 | 32 2a 78 2a 2a 33 20 2b 20 79 20 2b 20 33 2c 20 78 29 0a 20 20 20 20 3e 3e 3e 20 72 5b 30 5d 0a | 2*x**3.+.y.+.3,.x).....>>>.r[0]. |
0300 | 20 20 20 20 34 2a 79 2a 2a 39 20 2b 20 31 32 2a 79 2a 2a 36 20 2b 20 32 37 2a 79 2a 2a 35 20 2b | ....4*y**9.+.12*y**6.+.27*y**5.+ |
0320 | 20 31 36 32 2a 79 2a 2a 34 20 2b 20 32 35 35 2a 79 2a 2a 33 20 2b 20 34 0a 20 20 20 20 3e 3e 3e | .162*y**4.+.255*y**3.+.4.....>>> |
0340 | 20 72 5b 31 5d 0a 20 20 20 20 2d 36 2a 79 2a 2a 34 20 2b 20 2d 36 2a 79 0a 20 20 20 20 28 05 00 | .r[1].....-6*y**4.+.-6*y.....(.. |
0360 | 00 00 74 09 00 00 00 41 73 74 56 65 63 74 6f 72 74 1b 00 00 00 5a 33 5f 70 6f 6c 79 6e 6f 6d 69 | ..t....AstVectort....Z3_polynomi |
0380 | 61 6c 5f 73 75 62 72 65 73 75 6c 74 61 6e 74 73 74 07 00 00 00 63 74 78 5f 72 65 66 74 06 00 00 | al_subresultantst....ctx_reft... |
03a0 | 00 61 73 5f 61 73 74 74 03 00 00 00 63 74 78 28 03 00 00 00 74 01 00 00 00 70 74 01 00 00 00 71 | .as_astt....ctx(....t....pt....q |
03c0 | 74 01 00 00 00 78 28 00 00 00 00 28 00 00 00 00 73 1b 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 | t....x(....(....s....src\api\pyt |
03e0 | 68 6f 6e 5c 7a 33 5c 7a 33 70 6f 6c 79 2e 70 79 74 0d 00 00 00 73 75 62 72 65 73 75 6c 74 61 6e | hon\z3\z3poly.pyt....subresultan |
0400 | 74 73 0b 00 00 00 73 02 00 00 00 00 13 74 08 00 00 00 5f 5f 6d 61 69 6e 5f 5f 69 ff ff ff ff 4e | ts....s......t....__main__i....N |
0420 | 28 07 00 00 00 74 02 00 00 00 7a 33 52 09 00 00 00 74 08 00 00 00 5f 5f 6e 61 6d 65 5f 5f 74 07 | (....t....z3R....t....__name__t. |
0440 | 00 00 00 64 6f 63 74 65 73 74 74 07 00 00 00 74 65 73 74 6d 6f 64 74 06 00 00 00 66 61 69 6c 65 | ...doctestt....testmodt....faile |
0460 | 64 74 04 00 00 00 65 78 69 74 28 00 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1b 00 00 00 73 72 | dt....exit(....(....(....s....sr |
0480 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 70 6f 6c 79 2e 70 79 74 08 00 00 00 3c 6d | c\api\python\z3\z3poly.pyt....<m |
04a0 | 6f 64 75 6c 65 3e 09 00 00 00 73 0a 00 00 00 0a 02 09 15 0c 01 0c 01 0f 01 | odule>....s.............. |