ofs | hex dump | ascii |
---|
0000 | 03 f3 0d 0a c6 3c 52 59 63 00 00 00 00 00 00 00 00 03 00 00 00 40 00 00 00 73 76 00 00 00 64 00 | .....<RYc............@...sv...d. |
0020 | 00 64 01 00 6c 00 00 54 64 00 00 64 01 00 6c 01 00 54 64 00 00 64 01 00 6c 02 00 54 64 02 00 64 | .d..l..Td..d..l..Td..d..l..Td..d |
0040 | 03 00 6c 03 00 6d 04 00 5a 04 00 01 64 00 00 64 04 00 6c 00 00 6d 05 00 5a 05 00 01 65 06 00 64 | ..l..m..Z...d..d..l..m..Z...e..d |
0060 | 05 00 84 01 00 5a 07 00 64 06 00 66 00 00 64 07 00 84 00 00 83 00 00 59 5a 08 00 64 08 00 84 00 | .....Z..d..f..d........YZ..d.... |
0080 | 00 5a 09 00 67 00 00 64 09 00 84 01 00 5a 0a 00 64 0a 00 53 28 0b 00 00 00 69 01 00 00 00 28 01 | .Z..g..d.....Z..d..S(....i....(. |
00a0 | 00 00 00 74 01 00 00 00 2a 69 ff ff ff ff 28 01 00 00 00 74 08 00 00 00 46 72 61 63 74 69 6f 6e | ...t....*i....(....t....Fraction |
00c0 | 28 01 00 00 00 74 08 00 00 00 5f 67 65 74 5f 63 74 78 63 02 00 00 00 02 00 00 00 03 00 00 00 43 | (....t...._get_ctxc............C |
00e0 | 00 00 00 73 24 00 00 00 74 00 00 7c 00 00 74 01 00 83 02 00 72 13 00 7c 00 00 53 74 01 00 7c 00 | ...s$...t..|..t.....r..|..St..|. |
0100 | 00 7c 01 00 83 02 00 53 64 00 00 53 28 01 00 00 00 4e 28 02 00 00 00 74 0a 00 00 00 69 73 69 6e | .|.....Sd..S(....N(....t....isin |
0120 | 73 74 61 6e 63 65 74 07 00 00 00 4e 75 6d 65 72 61 6c 28 02 00 00 00 74 03 00 00 00 6e 75 6d 74 | stancet....Numeral(....t....numt |
0140 | 03 00 00 00 63 74 78 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ....ctx(....(....s....src\api\py |
0160 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0b 00 00 00 5f 74 6f 5f 6e 75 6d 65 72 61 6c | thon\z3\z3num.pyt...._to_numeral |
0180 | 0f 00 00 00 73 06 00 00 00 00 01 0f 01 04 02 52 04 00 00 00 63 00 00 00 00 00 00 00 00 02 00 00 | ....s..........R....c........... |
01a0 | 00 42 00 00 00 73 a6 01 00 00 65 00 00 5a 01 00 64 00 00 5a 02 00 64 2e 00 64 01 00 84 01 00 5a | .B...s....e..Z..d..Z..d..d.....Z |
01c0 | 04 00 64 02 00 84 00 00 5a 05 00 64 03 00 84 00 00 5a 06 00 64 04 00 84 00 00 5a 07 00 64 05 00 | ..d.....Z..d.....Z..d.....Z..d.. |
01e0 | 84 00 00 5a 08 00 64 06 00 84 00 00 5a 09 00 64 07 00 84 00 00 5a 0a 00 64 08 00 84 00 00 5a 0b | ...Z..d.....Z..d.....Z..d.....Z. |
0200 | 00 64 09 00 84 00 00 5a 0c 00 64 0a 00 64 0b 00 84 01 00 5a 0d 00 64 0a 00 64 0c 00 84 01 00 5a | .d.....Z..d..d.....Z..d..d.....Z |
0220 | 0e 00 64 0a 00 64 0d 00 84 01 00 5a 0f 00 64 0e 00 84 00 00 5a 10 00 64 0f 00 84 00 00 5a 11 00 | ..d..d.....Z..d.....Z..d.....Z.. |
0240 | 64 10 00 84 00 00 5a 12 00 64 11 00 84 00 00 5a 13 00 64 12 00 84 00 00 5a 14 00 64 13 00 84 00 | d.....Z..d.....Z..d.....Z..d.... |
0260 | 00 5a 15 00 64 14 00 84 00 00 5a 16 00 64 15 00 84 00 00 5a 17 00 64 16 00 84 00 00 5a 18 00 64 | .Z..d.....Z..d.....Z..d.....Z..d |
0280 | 17 00 84 00 00 5a 19 00 64 18 00 84 00 00 5a 1a 00 64 19 00 84 00 00 5a 1b 00 64 1a 00 84 00 00 | .....Z..d.....Z..d.....Z..d..... |
02a0 | 5a 1c 00 64 1b 00 84 00 00 5a 1d 00 64 1c 00 84 00 00 5a 1e 00 64 1d 00 84 00 00 5a 1f 00 64 1e | Z..d.....Z..d.....Z..d.....Z..d. |
02c0 | 00 84 00 00 5a 20 00 64 1f 00 84 00 00 5a 21 00 64 20 00 84 00 00 5a 22 00 64 21 00 84 00 00 5a | ....Z..d.....Z!.d.....Z".d!....Z |
02e0 | 23 00 64 22 00 84 00 00 5a 24 00 64 23 00 84 00 00 5a 25 00 64 24 00 84 00 00 5a 26 00 64 25 00 | #.d"....Z$.d#....Z%.d$....Z&.d%. |
0300 | 84 00 00 5a 27 00 64 26 00 84 00 00 5a 28 00 64 27 00 84 00 00 5a 29 00 64 28 00 84 00 00 5a 2a | ...Z'.d&....Z(.d'....Z).d(....Z* |
0320 | 00 64 29 00 84 00 00 5a 2b 00 64 2a 00 84 00 00 5a 2c 00 64 2b 00 84 00 00 5a 2d 00 64 2c 00 84 | .d)....Z+.d*....Z,.d+....Z-.d,.. |
0340 | 00 00 5a 2e 00 64 2d 00 84 00 00 5a 2f 00 52 53 28 2f 00 00 00 73 41 06 00 00 0a 20 20 20 20 41 | ..Z..d-....Z/.RS(/...sA........A |
0360 | 20 5a 33 20 6e 75 6d 65 72 61 6c 20 63 61 6e 20 62 65 20 75 73 65 64 20 74 6f 20 70 65 72 66 6f | .Z3.numeral.can.be.used.to.perfo |
0380 | 72 6d 20 63 6f 6d 70 75 74 61 74 69 6f 6e 73 20 6f 76 65 72 20 61 72 62 69 74 72 61 72 79 0a 20 | rm.computations.over.arbitrary.. |
03a0 | 20 20 20 70 72 65 63 69 73 69 6f 6e 20 69 6e 74 65 67 65 72 73 2c 20 72 61 74 69 6f 6e 61 6c 73 | ...precision.integers,.rationals |
03c0 | 20 61 6e 64 20 72 65 61 6c 20 61 6c 67 65 62 72 61 69 63 20 6e 75 6d 62 65 72 73 2e 0a 20 20 20 | .and.real.algebraic.numbers..... |
03e0 | 20 49 74 20 61 6c 73 6f 20 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 63 6f 6e 76 65 72 74 73 20 | .It.also.automatically.converts. |
0400 | 70 79 74 68 6f 6e 20 6e 75 6d 65 72 69 63 20 76 61 6c 75 65 73 2e 0a 20 20 20 20 0a 20 20 20 20 | python.numeric.values........... |
0420 | 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 0a 20 20 20 20 32 0a 20 20 20 20 3e 3e 3e 20 4e 75 6d | >>>.Numeral(2).....2.....>>>.Num |
0440 | 65 72 61 6c 28 22 33 2f 32 22 29 20 2b 20 31 0a 20 20 20 20 35 2f 32 0a 20 20 20 20 3e 3e 3e 20 | eral("3/2").+.1.....5/2.....>>>. |
0460 | 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 31 2e 34 31 34 32 31 33 35 36 32 | Numeral(Sqrt(2)).....1.414213562 |
0480 | 33 3f 0a 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 2b 20 32 0a | 3?.....>>>.Numeral(Sqrt(2)).+.2. |
04a0 | 20 20 20 20 33 2e 34 31 34 32 31 33 35 36 32 33 3f 0a 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 | ....3.4142135623?.....>>>.Numera |
04c0 | 6c 28 53 71 72 74 28 32 29 29 20 2b 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 0a 20 20 | l(Sqrt(2)).+.Numeral(Sqrt(3))... |
04e0 | 20 20 33 2e 31 34 36 32 36 34 33 36 39 39 3f 0a 0a 20 20 20 20 5a 33 20 6e 75 6d 65 72 61 6c 73 | ..3.1462643699?......Z3.numerals |
0500 | 20 63 61 6e 20 62 65 20 75 73 65 64 20 74 6f 20 70 65 72 66 6f 72 6d 20 63 6f 6d 70 75 74 61 74 | .can.be.used.to.perform.computat |
0520 | 69 6f 6e 73 20 77 69 74 68 20 0a 20 20 20 20 76 61 6c 75 65 73 20 69 6e 20 61 20 5a 33 20 6d 6f | ions.with......values.in.a.Z3.mo |
0540 | 64 65 6c 2e 0a 20 20 20 20 0a 20 20 20 20 3e 3e 3e 20 73 20 3d 20 53 6f 6c 76 65 72 28 29 0a 20 | del...........>>>.s.=.Solver().. |
0560 | 20 20 20 3e 3e 3e 20 78 20 3d 20 52 65 61 6c 28 27 78 27 29 0a 20 20 20 20 3e 3e 3e 20 73 2e 61 | ...>>>.x.=.Real('x').....>>>.s.a |
0580 | 64 64 28 78 2a 78 20 3d 3d 20 32 29 0a 20 20 20 20 3e 3e 3e 20 73 2e 61 64 64 28 78 20 3e 20 30 | dd(x*x.==.2).....>>>.s.add(x.>.0 |
05a0 | 29 0a 20 20 20 20 3e 3e 3e 20 73 2e 63 68 65 63 6b 28 29 0a 20 20 20 20 73 61 74 0a 20 20 20 20 | ).....>>>.s.check().....sat..... |
05c0 | 3e 3e 3e 20 6d 20 3d 20 73 2e 6d 6f 64 65 6c 28 29 0a 20 20 20 20 3e 3e 3e 20 6d 5b 78 5d 0a 20 | >>>.m.=.s.model().....>>>.m[x].. |
05e0 | 20 20 20 31 2e 34 31 34 32 31 33 35 36 32 33 3f 0a 20 20 20 20 3e 3e 3e 20 6d 5b 78 5d 20 2b 20 | ...1.4142135623?.....>>>.m[x].+. |
0600 | 31 0a 20 20 20 20 31 2e 34 31 34 32 31 33 35 36 32 33 3f 20 2b 20 31 0a 20 20 20 20 0a 20 20 20 | 1.....1.4142135623?.+.1......... |
0620 | 20 54 68 65 20 70 72 65 76 69 6f 75 73 20 72 65 73 75 6c 74 20 69 73 20 61 20 5a 33 20 65 78 70 | .The.previous.result.is.a.Z3.exp |
0640 | 72 65 73 73 69 6f 6e 2e 0a 0a 20 20 20 20 3e 3e 3e 20 28 6d 5b 78 5d 20 2b 20 31 29 2e 73 65 78 | ression.......>>>.(m[x].+.1).sex |
0660 | 70 72 28 29 0a 20 20 20 20 27 28 2b 20 28 72 6f 6f 74 2d 6f 62 6a 20 28 2b 20 28 5e 20 78 20 32 | pr().....'(+.(root-obj.(+.(^.x.2 |
0680 | 29 20 28 2d 20 32 29 29 20 32 29 20 31 2e 30 29 27 0a 20 20 20 20 0a 20 20 20 20 3e 3e 3e 20 4e | ).(-.2)).2).1.0)'..........>>>.N |
06a0 | 75 6d 65 72 61 6c 28 6d 5b 78 5d 29 20 2b 20 31 0a 20 20 20 20 32 2e 34 31 34 32 31 33 35 36 32 | umeral(m[x]).+.1.....2.414213562 |
06c0 | 33 3f 0a 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 6d 5b 78 5d 29 2e 69 73 5f 70 6f 73 28 | 3?.....>>>.Numeral(m[x]).is_pos( |
06e0 | 29 0a 20 20 20 20 54 72 75 65 0a 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 6d 5b 78 5d 29 | ).....True.....>>>.Numeral(m[x]) |
0700 | 2a 2a 32 0a 20 20 20 20 32 0a 20 20 20 20 0a 20 20 20 20 57 65 20 63 61 6e 20 61 6c 73 6f 20 69 | **2.....2..........We.can.also.i |
0720 | 73 6f 6c 61 74 65 20 74 68 65 20 72 6f 6f 74 73 20 6f 66 20 70 6f 6c 79 6e 6f 6d 69 61 6c 73 2e | solate.the.roots.of.polynomials. |
0740 | 0a 0a 20 20 20 20 3e 3e 3e 20 78 30 2c 20 78 31 2c 20 78 32 20 3d 20 52 65 61 6c 56 61 72 56 65 | ......>>>.x0,.x1,.x2.=.RealVarVe |
0760 | 63 74 6f 72 28 33 29 0a 20 20 20 20 3e 3e 3e 20 72 30 20 3d 20 69 73 6f 6c 61 74 65 5f 72 6f 6f | ctor(3).....>>>.r0.=.isolate_roo |
0780 | 74 73 28 78 30 2a 2a 35 20 2d 20 78 30 20 2d 20 31 29 0a 20 20 20 20 3e 3e 3e 20 72 30 0a 20 20 | ts(x0**5.-.x0.-.1).....>>>.r0... |
07a0 | 20 20 5b 31 2e 31 36 37 33 30 33 39 37 38 32 3f 5d 0a 20 20 20 20 0a 20 20 20 20 49 6e 20 74 68 | ..[1.1673039782?]..........In.th |
07c0 | 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 65 78 61 6d 70 6c 65 2c 20 77 65 20 61 72 65 20 69 73 6f 6c | e.following.example,.we.are.isol |
07e0 | 61 74 69 6e 67 20 74 68 65 20 72 6f 6f 74 73 0a 20 20 20 20 6f 66 20 61 20 75 6e 69 76 61 72 69 | ating.the.roots.....of.a.univari |
0800 | 61 74 65 20 70 6f 6c 79 6e 6f 6d 69 61 6c 20 28 6f 6e 20 78 31 29 20 6f 62 74 61 69 6e 65 64 20 | ate.polynomial.(on.x1).obtained. |
0820 | 61 66 74 65 72 20 73 75 62 73 74 69 74 75 74 69 6e 67 0a 20 20 20 20 78 30 20 2d 3e 20 72 30 5b | after.substituting.....x0.->.r0[ |
0840 | 30 5d 0a 20 20 20 20 0a 20 20 20 20 3e 3e 3e 20 72 31 20 3d 20 69 73 6f 6c 61 74 65 5f 72 6f 6f | 0]..........>>>.r1.=.isolate_roo |
0860 | 74 73 28 78 31 2a 2a 32 20 2d 20 78 30 20 2b 20 31 2c 20 5b 20 72 30 5b 30 5d 20 5d 29 0a 20 20 | ts(x1**2.-.x0.+.1,.[.r0[0].])... |
0880 | 20 20 3e 3e 3e 20 72 31 0a 20 20 20 20 5b 2d 30 2e 34 30 39 30 32 38 30 38 39 38 3f 2c 20 30 2e | ..>>>.r1.....[-0.4090280898?,.0. |
08a0 | 34 30 39 30 32 38 30 38 39 38 3f 5d 0a 20 20 20 20 0a 20 20 20 20 53 69 6d 69 6c 61 72 6c 79 2c | 4090280898?]..........Similarly, |
08c0 | 20 69 6e 20 74 68 65 20 6e 65 78 74 20 65 78 61 6d 70 6c 65 20 77 65 20 69 73 6f 6c 61 74 65 20 | .in.the.next.example.we.isolate. |
08e0 | 74 68 65 20 72 6f 6f 74 73 20 6f 66 0a 20 20 20 20 61 20 75 6e 69 76 61 72 69 61 74 65 20 70 6f | the.roots.of.....a.univariate.po |
0900 | 6c 79 6e 6f 6d 69 61 6c 20 28 6f 6e 20 78 32 29 20 6f 62 74 61 69 6e 65 64 20 61 66 74 65 72 20 | lynomial.(on.x2).obtained.after. |
0920 | 73 75 62 73 74 69 74 75 74 69 6e 67 0a 20 20 20 20 78 30 20 2d 3e 20 72 30 5b 30 5d 20 61 6e 64 | substituting.....x0.->.r0[0].and |
0940 | 20 78 31 20 2d 3e 20 72 31 5b 30 5d 0a 0a 20 20 20 20 3e 3e 3e 20 69 73 6f 6c 61 74 65 5f 72 6f | .x1.->.r1[0]......>>>.isolate_ro |
0960 | 6f 74 73 28 78 31 2a 78 32 20 2b 20 78 30 2c 20 5b 20 72 30 5b 30 5d 2c 20 72 31 5b 30 5d 20 5d | ots(x1*x2.+.x0,.[.r0[0],.r1[0].] |
0980 | 29 0a 20 20 20 20 5b 32 2e 38 35 33 38 34 37 39 35 36 34 3f 5d 0a 0a 20 20 20 20 63 03 00 00 00 | ).....[2.8538479564?]......c.... |
09a0 | 05 00 00 00 03 00 00 00 43 00 00 00 73 fb 00 00 00 74 00 00 7c 01 00 74 01 00 83 02 00 72 2a 00 | ........C...s....t..|..t.....r*. |
09c0 | 7c 01 00 7c 00 00 5f 02 00 74 03 00 7c 02 00 83 01 00 7c 00 00 5f 04 00 6e 96 00 74 00 00 7c 01 | |..|.._..t..|.....|.._..n..t..|. |
09e0 | 00 74 05 00 83 02 00 73 48 00 74 00 00 7c 01 00 74 06 00 83 02 00 72 63 00 7c 01 00 6a 02 00 7c | .t.....sH.t..|..t.....rc.|..j..| |
0a00 | 00 00 5f 02 00 7c 01 00 6a 04 00 7c 00 00 5f 04 00 6e 5d 00 74 00 00 7c 01 00 74 07 00 83 02 00 | .._..|..j..|.._..n].t..|..t..... |
0a20 | 72 99 00 74 08 00 7c 01 00 83 01 00 7d 03 00 7c 03 00 6a 02 00 7c 00 00 5f 02 00 7c 03 00 6a 04 | r..t..|.....}..|..j..|.._..|..j. |
0a40 | 00 7c 00 00 5f 04 00 6e 27 00 74 09 00 7c 01 00 7c 02 00 83 02 00 7d 04 00 7c 04 00 6a 02 00 7c | .|.._..n'.t..|..|.....}..|..j..| |
0a60 | 00 00 5f 02 00 7c 04 00 6a 04 00 7c 00 00 5f 04 00 74 0a 00 7c 00 00 6a 0b 00 83 00 00 7c 00 00 | .._..|..j..|.._..t..|..j.....|.. |
0a80 | 6a 0c 00 83 00 00 83 02 00 01 74 0d 00 7c 00 00 6a 0b 00 83 00 00 7c 00 00 6a 02 00 83 02 00 73 | j.........t..|..j.....|..j.....s |
0aa0 | f7 00 74 0e 00 82 01 00 64 00 00 53 28 01 00 00 00 4e 28 0f 00 00 00 52 03 00 00 00 74 03 00 00 | ..t.....d..S(....N(....R....t... |
0ac0 | 00 41 73 74 74 03 00 00 00 61 73 74 52 02 00 00 00 52 06 00 00 00 74 09 00 00 00 52 61 74 4e 75 | .Astt....astR....R....t....RatNu |
0ae0 | 6d 52 65 66 74 0f 00 00 00 41 6c 67 65 62 72 61 69 63 4e 75 6d 52 65 66 74 08 00 00 00 41 72 69 | mReft....AlgebraicNumReft....Ari |
0b00 | 74 68 52 65 66 74 08 00 00 00 73 69 6d 70 6c 69 66 79 74 07 00 00 00 52 65 61 6c 56 61 6c 74 0a | thReft....simplifyt....RealValt. |
0b20 | 00 00 00 5a 33 5f 69 6e 63 5f 72 65 66 74 07 00 00 00 63 74 78 5f 72 65 66 74 06 00 00 00 61 73 | ...Z3_inc_reft....ctx_reft....as |
0b40 | 5f 61 73 74 74 15 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 69 73 5f 76 61 6c 75 65 74 0e | _astt....Z3_algebraic_is_valuet. |
0b60 | 00 00 00 41 73 73 65 72 74 69 6f 6e 45 72 72 6f 72 28 05 00 00 00 74 04 00 00 00 73 65 6c 66 52 | ...AssertionError(....t....selfR |
0b80 | 05 00 00 00 52 06 00 00 00 74 01 00 00 00 72 74 01 00 00 00 76 28 00 00 00 00 28 00 00 00 00 73 | ....R....t....rt....v(....(....s |
0ba0 | 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 | ....src\api\python\z3\z3num.pyt. |
0bc0 | 00 00 00 5f 5f 69 6e 69 74 5f 5f 58 00 00 00 73 1e 00 00 00 00 01 0f 01 09 01 12 01 1e 01 0c 01 | ...__init__X...s................ |
0be0 | 0f 01 0f 01 0c 01 0c 01 0f 02 0f 01 0c 01 0c 01 19 01 63 01 00 00 00 01 00 00 00 03 00 00 00 43 | ..................c............C |
0c00 | 00 00 00 73 1d 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 00 00 83 02 00 | ...s....t..|..j.....|..j........ |
0c20 | 01 64 00 00 53 28 01 00 00 00 4e 28 03 00 00 00 74 0a 00 00 00 5a 33 5f 64 65 63 5f 72 65 66 52 | .d..S(....N(....t....Z3_dec_refR |
0c40 | 10 00 00 00 52 11 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 | ....R....(....R....(....(....s.. |
0c60 | 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 | ..src\api\python\z3\z3num.pyt... |
0c80 | 00 5f 5f 64 65 6c 5f 5f 6a 00 00 00 73 02 00 00 00 00 01 63 01 00 00 00 01 00 00 00 02 00 00 00 | .__del__j...s......c............ |
0ca0 | 43 00 00 00 73 1c 00 00 00 7c 00 00 6a 00 00 83 00 00 6f 1b 00 7c 00 00 6a 01 00 83 00 00 64 01 | C...s....|..j.....o..|..j.....d. |
0cc0 | 00 6b 02 00 53 28 02 00 00 00 73 24 01 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 74 | .k..S(....s$....Return.True.if.t |
0ce0 | 68 65 20 6e 75 6d 65 72 61 6c 20 69 73 20 69 6e 74 65 67 65 72 2e 0a 20 20 20 20 20 20 20 20 0a | he.numeral.is.integer........... |
0d00 | 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 69 73 5f 69 6e 74 65 67 65 | ........>>>.Numeral(2).is_intege |
0d20 | 72 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 28 4e 75 | r().........True.........>>>.(Nu |
0d40 | 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 2a 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 | meral(Sqrt(2)).*.Numeral(Sqrt(2) |
0d60 | 29 29 2e 69 73 5f 69 6e 74 65 67 65 72 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 | )).is_integer().........True.... |
0d80 | 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 2e 69 73 5f 69 6e 74 | .....>>>.Numeral(Sqrt(2)).is_int |
0da0 | 65 67 65 72 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e | eger().........False.........>>> |
0dc0 | 20 4e 75 6d 65 72 61 6c 28 22 32 2f 33 22 29 2e 69 73 5f 69 6e 74 65 67 65 72 28 29 0a 20 20 20 | .Numeral("2/3").is_integer().... |
0de0 | 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 69 01 00 00 00 28 02 00 00 00 74 0b 00 | .....False.........i....(....t.. |
0e00 | 00 00 69 73 5f 72 61 74 69 6f 6e 61 6c 74 0b 00 00 00 64 65 6e 6f 6d 69 6e 61 74 6f 72 28 01 00 | ..is_rationalt....denominator(.. |
0e20 | 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R....(....(....s....src\api\py |
0e40 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0a 00 00 00 69 73 5f 69 6e 74 65 67 65 72 6d | thon\z3\z3num.pyt....is_integerm |
0e60 | 00 00 00 73 02 00 00 00 00 0c 63 01 00 00 00 01 00 00 00 03 00 00 00 43 00 00 00 73 1f 00 00 00 | ...s......c............C...s.... |
0e80 | 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 00 00 83 02 00 74 03 00 6b 02 00 53 28 | t..|..j.....|..j........t..k..S( |
0ea0 | 01 00 00 00 73 dc 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 74 68 65 20 6e 75 6d | ....s.....Return.True.if.the.num |
0ec0 | 65 72 61 6c 20 69 73 20 72 61 74 69 6f 6e 61 6c 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e | eral.is.rational...........>>>.N |
0ee0 | 75 6d 65 72 61 6c 28 32 29 2e 69 73 5f 72 61 74 69 6f 6e 61 6c 28 29 0a 20 20 20 20 20 20 20 20 | umeral(2).is_rational()......... |
0f00 | 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 22 32 2f 33 22 29 2e | True.........>>>.Numeral("2/3"). |
0f20 | 69 73 5f 72 61 74 69 6f 6e 61 6c 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 | is_rational().........True...... |
0f40 | 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 2e 69 73 5f 72 61 74 69 6f | ...>>>.Numeral(Sqrt(2)).is_ratio |
0f60 | 6e 61 6c 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 0a 20 20 20 | nal().........False............. |
0f80 | 20 20 20 20 20 28 04 00 00 00 74 0f 00 00 00 5a 33 5f 67 65 74 5f 61 73 74 5f 6b 69 6e 64 52 10 | .....(....t....Z3_get_ast_kindR. |
0fa0 | 00 00 00 52 11 00 00 00 74 0e 00 00 00 5a 33 5f 4e 55 4d 45 52 41 4c 5f 41 53 54 28 01 00 00 00 | ...R....t....Z3_NUMERAL_AST(.... |
0fc0 | 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 | R....(....(....s....src\api\pyth |
0fe0 | 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 52 1a 00 00 00 7b 00 00 00 73 02 00 00 00 00 0b 63 01 | on\z3\z3num.pyR....{...s......c. |
1000 | 00 00 00 01 00 00 00 04 00 00 00 43 00 00 00 73 37 00 00 00 7c 00 00 6a 00 00 83 00 00 73 12 00 | ...........C...s7...|..j.....s.. |
1020 | 74 01 00 82 01 00 74 02 00 74 03 00 7c 00 00 6a 04 00 83 00 00 7c 00 00 6a 05 00 83 00 00 83 02 | t.....t..t..|..j.....|..j....... |
1040 | 00 7c 00 00 6a 06 00 83 02 00 53 28 01 00 00 00 73 73 00 00 00 20 52 65 74 75 72 6e 20 74 68 65 | .|..j.....S(....ss....Return.the |
1060 | 20 64 65 6e 6f 6d 69 6e 61 74 6f 72 20 69 66 20 60 73 65 6c 66 60 20 69 73 20 72 61 74 69 6f 6e | .denominator.if.`self`.is.ration |
1080 | 61 6c 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c | al...................>>>.Numeral |
10a0 | 28 22 32 2f 33 22 29 2e 64 65 6e 6f 6d 69 6e 61 74 6f 72 28 29 0a 20 20 20 20 20 20 20 20 33 0a | ("2/3").denominator().........3. |
10c0 | 20 20 20 20 20 20 20 20 28 07 00 00 00 52 1a 00 00 00 52 13 00 00 00 52 04 00 00 00 74 12 00 00 | ........(....R....R....R....t... |
10e0 | 00 5a 33 5f 67 65 74 5f 64 65 6e 6f 6d 69 6e 61 74 6f 72 52 10 00 00 00 52 11 00 00 00 52 06 00 | .Z3_get_denominatorR....R....R.. |
1100 | 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 | ..(....R....(....(....s....src\a |
1120 | 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 52 1b 00 00 00 88 00 00 00 73 04 | pi\python\z3\z3num.pyR........s. |
1140 | 00 00 00 00 06 12 01 63 01 00 00 00 01 00 00 00 04 00 00 00 43 00 00 00 73 37 00 00 00 7c 00 00 | .......c............C...s7...|.. |
1160 | 6a 00 00 83 00 00 73 12 00 74 01 00 82 01 00 74 02 00 74 03 00 7c 00 00 6a 04 00 83 00 00 7c 00 | j.....s..t.....t..t..|..j.....|. |
1180 | 00 6a 05 00 83 00 00 83 02 00 7c 00 00 6a 06 00 83 02 00 53 28 01 00 00 00 73 6f 00 00 00 20 52 | .j........|..j.....S(....so....R |
11a0 | 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 74 6f 72 20 69 66 20 60 73 65 6c 66 60 20 69 73 | eturn.the.numerator.if.`self`.is |
11c0 | 20 72 61 74 69 6f 6e 61 6c 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 | .rational...................>>>. |
11e0 | 4e 75 6d 65 72 61 6c 28 22 32 2f 33 22 29 2e 6e 75 6d 65 72 61 74 6f 72 28 29 0a 20 20 20 20 20 | Numeral("2/3").numerator()...... |
1200 | 20 20 20 32 0a 20 20 20 20 20 20 20 20 28 07 00 00 00 52 1a 00 00 00 52 13 00 00 00 52 04 00 00 | ...2.........(....R....R....R... |
1220 | 00 74 10 00 00 00 5a 33 5f 67 65 74 5f 6e 75 6d 65 72 61 74 6f 72 52 10 00 00 00 52 11 00 00 00 | .t....Z3_get_numeratorR....R.... |
1240 | 52 06 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | R....(....R....(....(....s....sr |
1260 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 09 00 00 00 6e 75 6d | c\api\python\z3\z3num.pyt....num |
1280 | 65 72 61 74 6f 72 91 00 00 00 73 04 00 00 00 00 06 12 01 63 01 00 00 00 01 00 00 00 01 00 00 00 | erator....s........c............ |
12a0 | 43 00 00 00 73 0b 00 00 00 7c 00 00 6a 00 00 83 00 00 0c 53 28 01 00 00 00 73 dc 00 00 00 20 52 | C...s....|..j......S(....s.....R |
12c0 | 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 69 73 20 69 72 72 | eturn.True.if.the.numeral.is.irr |
12e0 | 61 74 69 6f 6e 61 6c 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 | ational...........>>>.Numeral(2) |
1300 | 2e 69 73 5f 69 72 72 61 74 69 6f 6e 61 6c 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 | .is_irrational().........False.. |
1320 | 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 22 32 2f 33 22 29 2e 69 73 5f 69 72 72 | .......>>>.Numeral("2/3").is_irr |
1340 | 61 74 69 6f 6e 61 6c 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 | ational().........False......... |
1360 | 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 2e 69 73 5f 69 72 72 61 74 69 6f 6e | >>>.Numeral(Sqrt(2)).is_irration |
1380 | 61 6c 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 28 01 00 00 00 52 | al().........True.........(....R |
13a0 | 1a 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 | ....(....R....(....(....s....src |
13c0 | 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0d 00 00 00 69 73 5f 69 | \api\python\z3\z3num.pyt....is_i |
13e0 | 72 72 61 74 69 6f 6e 61 6c 9b 00 00 00 73 02 00 00 00 00 0a 63 01 00 00 00 01 00 00 00 04 00 00 | rrational....s......c........... |
1400 | 00 43 00 00 00 73 67 00 00 00 7c 00 00 6a 00 00 83 00 00 73 12 00 74 01 00 82 01 00 74 02 00 6a | .C...sg...|..j.....s..t.....t..j |
1420 | 03 00 64 01 00 19 64 02 00 6b 05 00 72 44 00 74 04 00 74 05 00 7c 00 00 6a 06 00 83 00 00 7c 00 | ..d...d..k..rD.t..t..|..j.....|. |
1440 | 00 6a 07 00 83 00 00 83 02 00 83 01 00 53 74 08 00 74 05 00 7c 00 00 6a 06 00 83 00 00 7c 00 00 | .j...........St..t..|..j.....|.. |
1460 | 6a 07 00 83 00 00 83 02 00 83 01 00 53 64 03 00 53 28 04 00 00 00 73 42 00 00 00 20 52 65 74 75 | j...........Sd..S(....sB....Retu |
1480 | 72 6e 20 61 20 6e 75 6d 65 72 61 6c 20 28 74 68 61 74 20 69 73 20 61 6e 20 69 6e 74 65 67 65 72 | rn.a.numeral.(that.is.an.integer |
14a0 | 29 20 61 73 20 61 20 50 79 74 68 6f 6e 20 6c 6f 6e 67 2e 0a 0a 20 20 20 20 20 20 20 20 69 00 00 | ).as.a.Python.long...........i.. |
14c0 | 00 00 69 03 00 00 00 4e 28 09 00 00 00 52 1c 00 00 00 52 13 00 00 00 74 03 00 00 00 73 79 73 74 | ..i....N(....R....R....t....syst |
14e0 | 0c 00 00 00 76 65 72 73 69 6f 6e 5f 69 6e 66 6f 74 03 00 00 00 69 6e 74 74 15 00 00 00 5a 33 5f | ....version_infot....intt....Z3_ |
1500 | 67 65 74 5f 6e 75 6d 65 72 61 6c 5f 73 74 72 69 6e 67 52 10 00 00 00 52 11 00 00 00 74 04 00 00 | get_numeral_stringR....R....t... |
1520 | 00 6c 6f 6e 67 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | .long(....R....(....(....s....sr |
1540 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 61 73 5f | c\api\python\z3\z3num.pyt....as_ |
1560 | 6c 6f 6e 67 a7 00 00 00 73 08 00 00 00 00 04 12 01 13 01 1f 02 63 01 00 00 00 01 00 00 00 03 00 | long....s............c.......... |
1580 | 00 00 43 00 00 00 73 37 00 00 00 7c 00 00 6a 00 00 83 00 00 73 12 00 74 01 00 82 01 00 74 02 00 | ..C...s7...|..j.....s..t.....t.. |
15a0 | 7c 00 00 6a 03 00 83 00 00 6a 04 00 83 00 00 7c 00 00 6a 05 00 83 00 00 6a 04 00 83 00 00 83 02 | |..j.....j.....|..j.....j....... |
15c0 | 00 53 28 01 00 00 00 73 85 00 00 00 20 52 65 74 75 72 6e 20 61 20 6e 75 6d 65 72 61 6c 20 28 74 | .S(....s.....Return.a.numeral.(t |
15e0 | 68 61 74 20 69 73 20 61 20 72 61 74 69 6f 6e 61 6c 29 20 61 73 20 61 20 50 79 74 68 6f 6e 20 46 | hat.is.a.rational).as.a.Python.F |
1600 | 72 61 63 74 69 6f 6e 2e 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 22 31 2f | raction..........>>>.Numeral("1/ |
1620 | 35 22 29 2e 61 73 5f 66 72 61 63 74 69 6f 6e 28 29 0a 20 20 20 20 20 20 20 20 46 72 61 63 74 69 | 5").as_fraction().........Fracti |
1640 | 6f 6e 28 31 2c 20 35 29 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 1a 00 00 00 52 13 00 00 00 | on(1,.5).........(....R....R.... |
1660 | 52 01 00 00 00 52 21 00 00 00 52 28 00 00 00 52 1b 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 | R....R!...R(...R....(....R....(. |
1680 | 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a | ...(....s....src\api\python\z3\z |
16a0 | 33 6e 75 6d 2e 70 79 74 0b 00 00 00 61 73 5f 66 72 61 63 74 69 6f 6e b1 00 00 00 73 04 00 00 00 | 3num.pyt....as_fraction....s.... |
16c0 | 00 05 12 01 69 0a 00 00 00 63 02 00 00 00 02 00 00 00 02 00 00 00 43 00 00 00 73 0d 00 00 00 7c | ....i....c............C...s....| |
16e0 | 00 00 6a 00 00 7c 01 00 83 01 00 53 28 01 00 00 00 73 9a 01 00 00 52 65 74 75 72 6e 20 61 20 6e | ..j..|.....S(....s....Return.a.n |
1700 | 75 6d 65 72 61 6c 20 74 68 61 74 20 61 70 70 72 6f 78 69 6d 61 74 65 73 20 74 68 65 20 6e 75 6d | umeral.that.approximates.the.num |
1720 | 65 72 61 6c 20 60 73 65 6c 66 60 2e 20 0a 20 20 20 20 20 20 20 20 54 68 65 20 72 65 73 75 6c 74 | eral.`self`...........The.result |
1740 | 20 60 72 60 20 69 73 20 73 75 63 68 20 74 68 61 74 20 7c 72 20 2d 20 73 65 6c 66 7c 20 3c 3d 20 | .`r`.is.such.that.|r.-.self|.<=. |
1760 | 31 2f 31 30 5e 70 72 65 63 69 73 69 6f 6e 20 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 | 1/10^precision.................. |
1780 | 20 49 66 20 60 73 65 6c 66 60 20 69 73 20 72 61 74 69 6f 6e 61 6c 2c 20 74 68 65 6e 20 74 68 65 | .If.`self`.is.rational,.then.the |
17a0 | 20 72 65 73 75 6c 74 20 69 73 20 60 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 | .result.is.`self`...........>>>. |
17c0 | 78 20 3d 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 3e | x.=.Numeral(2).root(2).........> |
17e0 | 3e 3e 20 78 2e 61 70 70 72 6f 78 28 32 30 29 0a 20 20 20 20 20 20 20 20 36 38 33 38 37 31 37 31 | >>.x.approx(20).........68387171 |
1800 | 36 30 30 30 38 30 37 33 37 32 30 35 34 38 33 33 35 2f 34 38 33 35 37 30 33 32 37 38 34 35 38 35 | 60008073720548335/48357032784585 |
1820 | 31 36 36 39 38 38 32 34 37 30 34 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 78 2e 61 70 70 72 6f 78 | 16698824704.........>>>.x.approx |
1840 | 28 35 29 0a 20 20 20 20 20 20 20 20 32 39 36 35 38 32 31 2f 32 30 39 37 31 35 32 0a 20 20 20 20 | (5).........2965821/2097152..... |
1860 | 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 61 70 70 72 6f 78 28 31 30 29 0a 20 20 | ....>>>.Numeral(2).approx(10)... |
1880 | 20 20 20 20 20 20 32 0a 20 20 20 20 20 20 20 20 28 01 00 00 00 74 05 00 00 00 75 70 70 65 72 28 | ......2.........(....t....upper( |
18a0 | 02 00 00 00 52 14 00 00 00 74 09 00 00 00 70 72 65 63 69 73 69 6f 6e 28 00 00 00 00 28 00 00 00 | ....R....t....precision(....(... |
18c0 | 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 | .s....src\api\python\z3\z3num.py |
18e0 | 74 06 00 00 00 61 70 70 72 6f 78 b9 00 00 00 73 02 00 00 00 00 0e 63 02 00 00 00 02 00 00 00 05 | t....approx....s......c......... |
1900 | 00 00 00 43 00 00 00 73 3c 00 00 00 7c 00 00 6a 00 00 83 00 00 72 10 00 7c 00 00 53 74 01 00 74 | ...C...s<...|..j.....r..|..St..t |
1920 | 02 00 7c 00 00 6a 03 00 83 00 00 7c 00 00 6a 04 00 83 00 00 7c 01 00 83 03 00 7c 00 00 6a 05 00 | ..|..j.....|..j.....|.....|..j.. |
1940 | 83 02 00 53 64 01 00 53 28 02 00 00 00 73 99 01 00 00 52 65 74 75 72 6e 20 61 20 75 70 70 65 72 | ...Sd..S(....s....Return.a.upper |
1960 | 20 62 6f 75 6e 64 20 74 68 61 74 20 61 70 70 72 6f 78 69 6d 61 74 65 73 20 74 68 65 20 6e 75 6d | .bound.that.approximates.the.num |
1980 | 65 72 61 6c 20 60 73 65 6c 66 60 2e 20 0a 20 20 20 20 20 20 20 20 54 68 65 20 72 65 73 75 6c 74 | eral.`self`...........The.result |
19a0 | 20 60 72 60 20 69 73 20 73 75 63 68 20 74 68 61 74 20 72 20 2d 20 73 65 6c 66 20 3c 3d 20 31 2f | .`r`.is.such.that.r.-.self.<=.1/ |
19c0 | 31 30 5e 70 72 65 63 69 73 69 6f 6e 20 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 49 | 10^precision...................I |
19e0 | 66 20 60 73 65 6c 66 60 20 69 73 20 72 61 74 69 6f 6e 61 6c 2c 20 74 68 65 6e 20 74 68 65 20 72 | f.`self`.is.rational,.then.the.r |
1a00 | 65 73 75 6c 74 20 69 73 20 60 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 78 20 | esult.is.`self`...........>>>.x. |
1a20 | 3d 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 3e 3e 3e | =.Numeral(2).root(2).........>>> |
1a40 | 20 78 2e 75 70 70 65 72 28 32 30 29 0a 20 20 20 20 20 20 20 20 36 38 33 38 37 31 37 31 36 30 30 | .x.upper(20).........68387171600 |
1a60 | 30 38 30 37 33 37 32 30 35 34 38 33 33 35 2f 34 38 33 35 37 30 33 32 37 38 34 35 38 35 31 36 36 | 08073720548335/48357032784585166 |
1a80 | 39 38 38 32 34 37 30 34 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 78 2e 75 70 70 65 72 28 35 29 0a | 98824704.........>>>.x.upper(5). |
1aa0 | 20 20 20 20 20 20 20 20 32 39 36 35 38 32 31 2f 32 30 39 37 31 35 32 0a 20 20 20 20 20 20 20 20 | ........2965821/2097152......... |
1ac0 | 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 75 70 70 65 72 28 31 30 29 0a 20 20 20 20 20 20 20 | >>>.Numeral(2).upper(10)........ |
1ae0 | 20 32 0a 20 20 20 20 20 20 20 20 4e 28 06 00 00 00 52 1a 00 00 00 52 04 00 00 00 74 1d 00 00 00 | .2.........N(....R....R....t.... |
1b00 | 5a 33 5f 67 65 74 5f 61 6c 67 65 62 72 61 69 63 5f 6e 75 6d 62 65 72 5f 75 70 70 65 72 52 10 00 | Z3_get_algebraic_number_upperR.. |
1b20 | 00 00 52 11 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 2b 00 00 00 28 00 00 00 00 | ..R....R....(....R....R+...(.... |
1b40 | 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 | (....s....src\api\python\z3\z3nu |
1b60 | 6d 2e 70 79 52 2a 00 00 00 c9 00 00 00 73 06 00 00 00 00 0e 0c 01 04 02 63 02 00 00 00 02 00 00 | m.pyR*.......s..........c....... |
1b80 | 00 05 00 00 00 43 00 00 00 73 3c 00 00 00 7c 00 00 6a 00 00 83 00 00 72 10 00 7c 00 00 53 74 01 | .....C...s<...|..j.....r..|..St. |
1ba0 | 00 74 02 00 7c 00 00 6a 03 00 83 00 00 7c 00 00 6a 04 00 83 00 00 7c 01 00 83 03 00 7c 00 00 6a | .t..|..j.....|..j.....|.....|..j |
1bc0 | 05 00 83 02 00 53 64 01 00 53 28 02 00 00 00 73 70 01 00 00 52 65 74 75 72 6e 20 61 20 6c 6f 77 | .....Sd..S(....sp...Return.a.low |
1be0 | 65 72 20 62 6f 75 6e 64 20 74 68 61 74 20 61 70 70 72 6f 78 69 6d 61 74 65 73 20 74 68 65 20 6e | er.bound.that.approximates.the.n |
1c00 | 75 6d 65 72 61 6c 20 60 73 65 6c 66 60 2e 20 0a 20 20 20 20 20 20 20 20 54 68 65 20 72 65 73 75 | umeral.`self`...........The.resu |
1c20 | 6c 74 20 60 72 60 20 69 73 20 73 75 63 68 20 74 68 61 74 20 73 65 6c 66 20 2d 20 72 20 3c 3d 20 | lt.`r`.is.such.that.self.-.r.<=. |
1c40 | 31 2f 31 30 5e 70 72 65 63 69 73 69 6f 6e 20 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 | 1/10^precision.................. |
1c60 | 20 49 66 20 60 73 65 6c 66 60 20 69 73 20 72 61 74 69 6f 6e 61 6c 2c 20 74 68 65 6e 20 74 68 65 | .If.`self`.is.rational,.then.the |
1c80 | 20 72 65 73 75 6c 74 20 69 73 20 60 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 | .result.is.`self`...........>>>. |
1ca0 | 78 20 3d 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 3e | x.=.Numeral(2).root(2).........> |
1cc0 | 3e 3e 20 78 2e 6c 6f 77 65 72 28 32 30 29 0a 20 20 20 20 20 20 20 20 31 37 30 39 36 37 39 32 39 | >>.x.lower(20).........170967929 |
1ce0 | 30 30 30 32 30 31 38 34 33 30 31 33 37 30 38 33 2f 31 32 30 38 39 32 35 38 31 39 36 31 34 36 32 | 0002018430137083/120892581961462 |
1d00 | 39 31 37 34 37 30 36 31 37 36 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 22 | 9174706176.........>>>.Numeral(" |
1d20 | 32 2f 33 22 29 2e 6c 6f 77 65 72 28 31 30 29 0a 20 20 20 20 20 20 20 20 32 2f 33 0a 20 20 20 20 | 2/3").lower(10).........2/3..... |
1d40 | 20 20 20 20 4e 28 06 00 00 00 52 1a 00 00 00 52 04 00 00 00 74 1d 00 00 00 5a 33 5f 67 65 74 5f | ....N(....R....R....t....Z3_get_ |
1d60 | 61 6c 67 65 62 72 61 69 63 5f 6e 75 6d 62 65 72 5f 6c 6f 77 65 72 52 10 00 00 00 52 11 00 00 00 | algebraic_number_lowerR....R.... |
1d80 | 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 2b 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a | R....(....R....R+...(....(....s. |
1da0 | 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 05 00 | ...src\api\python\z3\z3num.pyt.. |
1dc0 | 00 00 6c 6f 77 65 72 dc 00 00 00 73 06 00 00 00 00 0c 0c 01 04 02 63 01 00 00 00 01 00 00 00 03 | ..lower....s..........c......... |
1de0 | 00 00 00 43 00 00 00 73 16 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 02 | ...C...s....t..|..j.....|..j.... |
1e00 | 00 53 28 01 00 00 00 73 ac 00 00 00 20 52 65 74 75 72 6e 20 74 68 65 20 73 69 67 6e 20 6f 66 20 | .S(....s.....Return.the.sign.of. |
1e20 | 74 68 65 20 6e 75 6d 65 72 61 6c 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 3e 3e | the.numeral...................>> |
1e40 | 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 73 69 67 6e 28 29 0a 20 20 20 20 20 20 20 20 31 0a 20 20 | >.Numeral(2).sign().........1... |
1e60 | 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 2d 33 29 2e 73 69 67 6e 28 29 0a 20 20 20 | ......>>>.Numeral(-3).sign().... |
1e80 | 20 20 20 20 20 2d 31 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 30 29 2e 73 | .....-1.........>>>.Numeral(0).s |
1ea0 | 69 67 6e 28 29 0a 20 20 20 20 20 20 20 20 30 0a 20 20 20 20 20 20 20 20 28 03 00 00 00 74 11 00 | ign().........0.........(....t.. |
1ec0 | 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 73 69 67 6e 52 10 00 00 00 52 09 00 00 00 28 01 00 | ..Z3_algebraic_signR....R....(.. |
1ee0 | 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R....(....(....s....src\api\py |
1f00 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 04 00 00 00 73 69 67 6e ed 00 00 00 73 02 00 | thon\z3\z3num.pyt....sign....s.. |
1f20 | 00 00 00 0a 63 01 00 00 00 01 00 00 00 03 00 00 00 43 00 00 00 73 16 00 00 00 74 00 00 7c 00 00 | ....c............C...s....t..|.. |
1f40 | 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 02 00 53 28 01 00 00 00 73 c4 00 00 00 20 52 65 74 75 72 | j.....|..j.....S(....s.....Retur |
1f60 | 6e 20 54 72 75 65 20 69 66 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 69 73 20 70 6f 73 69 74 69 76 | n.True.if.the.numeral.is.positiv |
1f80 | 65 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 | e...................>>>.Numeral( |
1fa0 | 32 29 2e 69 73 5f 70 6f 73 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 | 2).is_pos().........True........ |
1fc0 | 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 2d 33 29 2e 69 73 5f 70 6f 73 28 29 0a 20 20 20 20 20 20 | .>>>.Numeral(-3).is_pos()....... |
1fe0 | 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 30 29 2e 69 | ..False.........>>>.Numeral(0).i |
2000 | 73 5f 70 6f 73 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 28 03 | s_pos().........False.........(. |
2020 | 00 00 00 74 13 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 69 73 5f 70 6f 73 52 10 00 00 00 | ...t....Z3_algebraic_is_posR.... |
2040 | 52 09 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | R....(....R....(....(....s....sr |
2060 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 00 69 73 5f | c\api\python\z3\z3num.pyt....is_ |
2080 | 70 6f 73 f9 00 00 00 73 02 00 00 00 00 0a 63 01 00 00 00 01 00 00 00 03 00 00 00 43 00 00 00 73 | pos....s......c............C...s |
20a0 | 16 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 02 00 53 28 01 00 00 00 73 | ....t..|..j.....|..j.....S(....s |
20c0 | c4 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 | .....Return.True.if.the.numeral. |
20e0 | 69 73 20 6e 65 67 61 74 69 76 65 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 20 20 20 20 3e 3e | is.negative...................>> |
2100 | 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 69 73 5f 6e 65 67 28 29 0a 20 20 20 20 20 20 20 20 46 61 | >.Numeral(2).is_neg().........Fa |
2120 | 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 2d 33 29 2e 69 73 5f 6e | lse.........>>>.Numeral(-3).is_n |
2140 | 65 67 28 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 | eg().........True.........>>>.Nu |
2160 | 6d 65 72 61 6c 28 30 29 2e 69 73 5f 6e 65 67 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a | meral(0).is_neg().........False. |
2180 | 20 20 20 20 20 20 20 20 28 03 00 00 00 74 13 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 69 | ........(....t....Z3_algebraic_i |
21a0 | 73 5f 6e 65 67 52 10 00 00 00 52 09 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 | s_negR....R....(....R....(....(. |
21c0 | 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e | ...s....src\api\python\z3\z3num. |
21e0 | 70 79 74 06 00 00 00 69 73 5f 6e 65 67 05 01 00 00 73 02 00 00 00 00 0a 63 01 00 00 00 01 00 00 | pyt....is_neg....s......c....... |
2200 | 00 03 00 00 00 43 00 00 00 73 16 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 | .....C...s....t..|..j.....|..j.. |
2220 | 83 02 00 53 28 01 00 00 00 73 47 01 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 74 68 | ...S(....sG....Return.True.if.th |
2240 | 65 20 6e 75 6d 65 72 61 6c 20 69 73 20 7a 65 72 6f 2e 0a 20 20 20 20 20 20 20 20 0a 20 20 20 20 | e.numeral.is.zero............... |
2260 | 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 69 73 5f 7a 65 72 6f 28 29 0a 20 20 20 | ....>>>.Numeral(2).is_zero().... |
2280 | 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 2d | .....False.........>>>.Numeral(- |
22a0 | 33 29 2e 69 73 5f 7a 65 72 6f 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 | 3).is_zero().........False...... |
22c0 | 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 30 29 2e 69 73 5f 7a 65 72 6f 28 29 0a 20 20 20 20 | ...>>>.Numeral(0).is_zero()..... |
22e0 | 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 32 20 3d 20 4e 75 6d | ....True.........>>>.sqrt2.=.Num |
2300 | 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 | eral(2).root(2).........>>>.sqrt |
2320 | 32 2e 69 73 5f 7a 65 72 6f 28 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 | 2.is_zero().........False....... |
2340 | 20 20 3e 3e 3e 20 28 73 71 72 74 32 20 2d 20 73 71 72 74 32 29 2e 69 73 5f 7a 65 72 6f 28 29 0a | ..>>>.(sqrt2.-.sqrt2).is_zero(). |
2360 | 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 28 03 00 00 00 74 14 00 00 00 5a | ........True.........(....t....Z |
2380 | 33 5f 61 6c 67 65 62 72 61 69 63 5f 69 73 5f 7a 65 72 6f 52 10 00 00 00 52 09 00 00 00 28 01 00 | 3_algebraic_is_zeroR....R....(.. |
23a0 | 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R....(....(....s....src\api\py |
23c0 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 69 73 5f 7a 65 72 6f 11 01 00 00 | thon\z3\z3num.pyt....is_zero.... |
23e0 | 73 02 00 00 00 00 0f 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 73 34 00 00 00 74 00 00 | s......c............C...s4...t.. |
2400 | 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 7c 00 00 6a 05 00 83 02 | t..|..j.....|..j..t..|..|..j.... |
2420 | 00 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 ab 00 00 00 20 52 65 74 75 | .j.....|..j.....S(....s.....Retu |
2440 | 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 20 2b 20 6f 74 68 65 72 60 2e 0a 0a | rn.the.numeral.`self.+.other`... |
2460 | 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 20 2b 20 33 0a 20 20 20 20 20 | ........>>>.Numeral(2).+.3...... |
2480 | 20 20 20 35 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 20 2b 20 4e 75 | ...5.........>>>.Numeral(2).+.Nu |
24a0 | 6d 65 72 61 6c 28 34 29 0a 20 20 20 20 20 20 20 20 36 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e | meral(4).........6.........>>>.N |
24c0 | 75 6d 65 72 61 6c 28 22 32 2f 33 22 29 20 2b 20 31 0a 20 20 20 20 20 20 20 20 35 2f 33 0a 20 20 | umeral("2/3").+.1.........5/3... |
24e0 | 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 74 10 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 | ......(....R....t....Z3_algebrai |
2500 | 63 5f 61 64 64 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 | c_addR....R....R....R....(....R. |
2520 | 00 00 00 74 05 00 00 00 6f 74 68 65 72 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c | ...t....other(....(....s....src\ |
2540 | 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 61 64 64 | api\python\z3\z3num.pyt....__add |
2560 | 5f 5f 22 01 00 00 73 02 00 00 00 00 0a 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 73 34 | __"...s......c............C...s4 |
2580 | 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 7c 00 | ...t..t..|..j.....|..j..t..|..|. |
25a0 | 00 6a 05 00 83 02 00 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 52 00 00 | .j.....j.....|..j.....S(....sR.. |
25c0 | 00 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 6f 74 68 65 72 20 2b 20 73 65 | ..Return.the.numeral.`other.+.se |
25e0 | 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 33 20 2b 20 4e 75 6d 65 72 61 6c 28 32 29 | lf`...........>>>.3.+.Numeral(2) |
2600 | 0a 20 20 20 20 20 20 20 20 35 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 52 38 00 | .........5.........(....R....R8. |
2620 | 00 00 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 | ..R....R....R....R....(....R.... |
2640 | 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 | R9...(....(....s....src\api\pyth |
2660 | 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 00 00 00 5f 5f 72 61 64 64 5f 5f 2e 01 00 00 73 | on\z3\z3num.pyt....__radd__....s |
2680 | 02 00 00 00 00 06 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 73 34 00 00 00 74 00 00 74 | ......c............C...s4...t..t |
26a0 | 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 7c 00 00 6a 05 00 83 02 00 | ..|..j.....|..j..t..|..|..j..... |
26c0 | 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 53 00 00 00 20 52 65 74 75 72 | j.....|..j.....S(....sS....Retur |
26e0 | 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 20 2d 20 6f 74 68 65 72 60 2e 0a 0a 20 | n.the.numeral.`self.-.other`.... |
2700 | 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 20 2d 20 33 0a 20 20 20 20 20 20 | .......>>>.Numeral(2).-.3....... |
2720 | 20 20 2d 31 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 74 10 00 00 00 5a 33 5f 61 | ..-1.........(....R....t....Z3_a |
2740 | 6c 67 65 62 72 61 69 63 5f 73 75 62 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 | lgebraic_subR....R....R....R.... |
2760 | 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | (....R....R9...(....(....s....sr |
2780 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 73 | c\api\python\z3\z3num.pyt....__s |
27a0 | 75 62 5f 5f 36 01 00 00 73 02 00 00 00 00 06 63 02 00 00 00 02 00 00 00 06 00 00 00 43 00 00 00 | ub__6...s......c............C... |
27c0 | 73 34 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 | s4...t..t..|..j.....t..|..|..j.. |
27e0 | 83 02 00 6a 05 00 7c 00 00 6a 05 00 83 03 00 7c 00 00 6a 04 00 83 02 00 53 28 01 00 00 00 73 52 | ...j..|..j.....|..j.....S(....sR |
2800 | 00 00 00 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 6f 74 68 65 72 20 2d 20 | ....Return.the.numeral.`other.-. |
2820 | 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 33 20 2d 20 4e 75 6d 65 72 61 6c 28 | self`...........>>>.3.-.Numeral( |
2840 | 32 29 0a 20 20 20 20 20 20 20 20 31 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 52 | 2).........1.........(....R....R |
2860 | 3c 00 00 00 52 10 00 00 00 52 07 00 00 00 52 06 00 00 00 52 09 00 00 00 28 02 00 00 00 52 14 00 | <...R....R....R....R....(....R.. |
2880 | 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R9...(....(....s....src\api\py |
28a0 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 00 00 00 5f 5f 72 73 75 62 5f 5f 3e 01 00 | thon\z3\z3num.pyt....__rsub__>.. |
28c0 | 00 73 02 00 00 00 00 06 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 73 34 00 00 00 74 00 | .s......c............C...s4...t. |
28e0 | 00 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 7c 00 00 6a 05 00 83 | .t..|..j.....|..j..t..|..|..j... |
2900 | 02 00 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 51 00 00 00 20 52 65 74 | ..j.....|..j.....S(....sQ....Ret |
2920 | 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 20 2a 20 6f 74 68 65 72 60 2e 0a | urn.the.numeral.`self.*.other`.. |
2940 | 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 20 2a 20 33 0a 20 20 20 20 20 | ........>>>.Numeral(2).*.3...... |
2960 | 20 20 20 36 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 74 10 00 00 00 5a 33 5f 61 | ...6.........(....R....t....Z3_a |
2980 | 6c 67 65 62 72 61 69 63 5f 6d 75 6c 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 | lgebraic_mulR....R....R....R.... |
29a0 | 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | (....R....R9...(....(....s....sr |
29c0 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 6d | c\api\python\z3\z3num.pyt....__m |
29e0 | 75 6c 5f 5f 46 01 00 00 73 02 00 00 00 00 05 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 | ul__F...s......c............C... |
2a00 | 73 34 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 | s4...t..t..|..j.....|..j..t..|.. |
2a20 | 7c 00 00 6a 05 00 83 02 00 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 50 | |..j.....j.....|..j.....S(....sP |
2a40 | 00 00 00 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 6f 74 68 65 72 20 2a 20 | ....Return.the.numeral.`other.*. |
2a60 | 6d 75 6c 60 2e 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 33 20 2a 20 4e 75 6d 65 72 61 6c 28 32 29 | mul`..........>>>.3.*.Numeral(2) |
2a80 | 0a 20 20 20 20 20 20 20 20 36 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 52 3f 00 | .........6.........(....R....R?. |
2aa0 | 00 00 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 | ..R....R....R....R....(....R.... |
2ac0 | 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 | R9...(....(....s....src\api\pyth |
2ae0 | 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 00 00 00 5f 5f 72 6d 75 6c 5f 5f 4d 01 00 00 73 | on\z3\z3num.pyt....__rmul__M...s |
2b00 | 02 00 00 00 00 05 63 02 00 00 00 02 00 00 00 07 00 00 00 43 00 00 00 73 34 00 00 00 74 00 00 74 | ......c............C...s4...t..t |
2b20 | 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 74 04 00 7c 01 00 7c 00 00 6a 05 00 83 02 00 | ..|..j.....|..j..t..|..|..j..... |
2b40 | 6a 03 00 83 03 00 7c 00 00 6a 05 00 83 02 00 53 28 01 00 00 00 73 d2 00 00 00 20 52 65 74 75 72 | j.....|..j.....S(....s.....Retur |
2b60 | 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 20 2f 20 6f 74 68 65 72 60 2e 0a 20 20 | n.the.numeral.`self./.other`.... |
2b80 | 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 20 2f 20 33 0a 20 20 20 20 20 20 20 | ......>>>.Numeral(2)./.3........ |
2ba0 | 20 32 2f 33 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 | .2/3.........>>>.Numeral(2).root |
2bc0 | 28 32 29 20 2f 20 33 0a 20 20 20 20 20 20 20 20 30 2e 34 37 31 34 30 34 35 32 30 37 3f 0a 20 20 | (2)./.3.........0.4714045207?... |
2be0 | 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 2f 20 4e 75 6d | ......>>>.Numeral(Sqrt(2))./.Num |
2c00 | 65 72 61 6c 28 53 71 72 74 28 33 29 29 0a 20 20 20 20 20 20 20 20 30 2e 38 31 36 34 39 36 35 38 | eral(Sqrt(3)).........0.81649658 |
2c20 | 30 39 3f 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 74 10 00 00 00 5a 33 5f 61 6c | 09?.........(....R....t....Z3_al |
2c40 | 67 65 62 72 61 69 63 5f 64 69 76 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 | gebraic_divR....R....R....R....( |
2c60 | 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 | ....R....R9...(....(....s....src |
2c80 | 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 64 69 | \api\python\z3\z3num.pyt....__di |
2ca0 | 76 5f 5f 54 01 00 00 73 02 00 00 00 00 09 63 02 00 00 00 02 00 00 00 02 00 00 00 43 00 00 00 73 | v__T...s......c............C...s |
2cc0 | 0d 00 00 00 7c 00 00 6a 00 00 7c 01 00 83 01 00 53 28 01 00 00 00 4e 28 01 00 00 00 52 43 00 00 | ....|..j..|.....S(....N(....RC.. |
2ce0 | 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 | .(....R....R9...(....(....s....s |
2d00 | 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0b 00 00 00 5f 5f | rc\api\python\z3\z3num.pyt....__ |
2d20 | 74 72 75 65 64 69 76 5f 5f 5f 01 00 00 73 02 00 00 00 00 01 63 02 00 00 00 02 00 00 00 06 00 00 | truediv___...s......c........... |
2d40 | 00 43 00 00 00 73 34 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 74 03 00 7c 01 00 7c | .C...s4...t..t..|..j.....t..|..| |
2d60 | 00 00 6a 04 00 83 02 00 6a 05 00 7c 00 00 6a 05 00 83 03 00 7c 00 00 6a 04 00 83 02 00 53 28 01 | ..j.....j..|..j.....|..j.....S(. |
2d80 | 00 00 00 73 8d 00 00 00 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 6f 74 68 | ...s.....Return.the.numeral.`oth |
2da0 | 65 72 20 2f 20 73 65 6c 66 60 2e 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 33 20 2f 20 4e 75 6d 65 | er./.self`..........>>>.3./.Nume |
2dc0 | 72 61 6c 28 32 29 20 0a 20 20 20 20 20 20 20 20 33 2f 32 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 | ral(2)..........3/2.........>>>. |
2de0 | 33 20 2f 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 32 | 3./.Numeral(2).root(2).........2 |
2e00 | 2e 31 32 31 33 32 30 33 34 33 35 3f 0a 20 20 20 20 20 20 20 20 28 06 00 00 00 52 04 00 00 00 52 | .1213203435?.........(....R....R |
2e20 | 42 00 00 00 52 10 00 00 00 52 07 00 00 00 52 06 00 00 00 52 09 00 00 00 28 02 00 00 00 52 14 00 | B...R....R....R....R....(....R.. |
2e40 | 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R9...(....(....s....src\api\py |
2e60 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 00 00 00 5f 5f 72 64 69 76 5f 5f 62 01 00 | thon\z3\z3num.pyt....__rdiv__b.. |
2e80 | 00 73 02 00 00 00 00 07 63 02 00 00 00 02 00 00 00 02 00 00 00 43 00 00 00 73 0d 00 00 00 7c 00 | .s......c............C...s....|. |
2ea0 | 00 6a 00 00 7c 01 00 83 01 00 53 28 01 00 00 00 4e 28 01 00 00 00 52 45 00 00 00 28 02 00 00 00 | .j..|.....S(....N(....RE...(.... |
2ec0 | 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 | R....R9...(....(....s....src\api |
2ee0 | 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0c 00 00 00 5f 5f 72 74 72 75 65 64 | \python\z3\z3num.pyt....__rtrued |
2f00 | 69 76 5f 5f 6b 01 00 00 73 02 00 00 00 00 01 63 02 00 00 00 02 00 00 00 05 00 00 00 43 00 00 00 | iv__k...s......c............C... |
2f20 | 73 25 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a 03 00 7c 01 00 83 03 00 | s%...t..t..|..j.....|..j..|..... |
2f40 | 7c 00 00 6a 04 00 83 02 00 53 28 01 00 00 00 73 27 01 00 00 20 52 65 74 75 72 6e 20 74 68 65 20 | |..j.....S(....s'....Return.the. |
2f60 | 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 5e 28 31 2f 6b 29 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e | numeral.`self^(1/k)`...........> |
2f80 | 3e 3e 20 73 71 72 74 32 20 3d 20 4e 75 6d 65 72 61 6c 28 32 29 2e 72 6f 6f 74 28 32 29 0a 20 20 | >>.sqrt2.=.Numeral(2).root(2)... |
2fa0 | 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 32 0a 20 20 20 20 20 20 20 20 31 2e 34 31 34 32 31 33 | ......>>>.sqrt2.........1.414213 |
2fc0 | 35 36 32 33 3f 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 32 20 2a 20 73 71 72 74 32 0a | 5623?.........>>>.sqrt2.*.sqrt2. |
2fe0 | 20 20 20 20 20 20 20 20 32 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 32 20 2a 20 32 20 | ........2.........>>>.sqrt2.*.2. |
3000 | 2b 20 31 0a 20 20 20 20 20 20 20 20 33 2e 38 32 38 34 32 37 31 32 34 37 3f 0a 20 20 20 20 20 20 | +.1.........3.8284271247?....... |
3020 | 20 20 3e 3e 3e 20 28 73 71 72 74 32 20 2a 20 32 20 2b 20 31 29 2e 73 65 78 70 72 28 29 0a 20 20 | ..>>>.(sqrt2.*.2.+.1).sexpr()... |
3040 | 20 20 20 20 20 20 27 28 72 6f 6f 74 2d 6f 62 6a 20 28 2b 20 28 5e 20 78 20 32 29 20 28 2a 20 28 | ......'(root-obj.(+.(^.x.2).(*.( |
3060 | 2d 20 32 29 20 78 29 20 28 2d 20 37 29 29 20 32 29 27 0a 20 20 20 20 20 20 20 20 28 05 00 00 00 | -.2).x).(-.7)).2)'.........(.... |
3080 | 52 04 00 00 00 74 11 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 72 6f 6f 74 52 10 00 00 00 | R....t....Z3_algebraic_rootR.... |
30a0 | 52 09 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 74 01 00 00 00 6b 28 00 00 00 00 28 | R....R....(....R....t....k(....( |
30c0 | 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d | ....s....src\api\python\z3\z3num |
30e0 | 2e 70 79 74 04 00 00 00 72 6f 6f 74 6e 01 00 00 73 02 00 00 00 00 0d 63 02 00 00 00 02 00 00 00 | .pyt....rootn...s......c........ |
3100 | 05 00 00 00 43 00 00 00 73 25 00 00 00 74 00 00 74 01 00 7c 00 00 6a 02 00 83 00 00 7c 00 00 6a | ....C...s%...t..t..|..j.....|..j |
3120 | 03 00 7c 01 00 83 03 00 7c 00 00 6a 04 00 83 02 00 53 28 01 00 00 00 73 9b 00 00 00 20 52 65 74 | ..|.....|..j.....S(....s.....Ret |
3140 | 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 5e 6b 60 2e 0a 0a 20 20 20 20 20 | urn.the.numeral.`self^k`........ |
3160 | 20 20 20 3e 3e 3e 20 73 71 72 74 33 20 3d 20 4e 75 6d 65 72 61 6c 28 33 29 2e 72 6f 6f 74 28 32 | ...>>>.sqrt3.=.Numeral(3).root(2 |
3180 | 29 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 33 0a 20 20 20 20 20 20 20 20 31 2e 37 33 | ).........>>>.sqrt3.........1.73 |
31a0 | 32 30 35 30 38 30 37 35 3f 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 33 2e 70 6f 77 65 | 20508075?.........>>>.sqrt3.powe |
31c0 | 72 28 32 29 0a 20 20 20 20 20 20 20 20 33 0a 20 20 20 20 20 20 20 20 28 05 00 00 00 52 04 00 00 | r(2).........3.........(....R... |
31e0 | 00 74 12 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 70 6f 77 65 72 52 10 00 00 00 52 09 00 | .t....Z3_algebraic_powerR....R.. |
3200 | 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 48 00 00 00 28 00 00 00 00 28 00 00 00 00 | ..R....(....R....RH...(....(.... |
3220 | 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 | s....src\api\python\z3\z3num.pyt |
3240 | 05 00 00 00 70 6f 77 65 72 7d 01 00 00 73 02 00 00 00 00 09 63 02 00 00 00 02 00 00 00 02 00 00 | ....power}...s......c........... |
3260 | 00 43 00 00 00 73 0d 00 00 00 7c 00 00 6a 00 00 7c 01 00 83 01 00 53 28 01 00 00 00 73 95 00 00 | .C...s....|..j..|.....S(....s... |
3280 | 00 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 65 72 61 6c 20 60 73 65 6c 66 5e 6b 60 2e 0a 0a | ..Return.the.numeral.`self^k`... |
32a0 | 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 33 20 3d 20 4e 75 6d 65 72 61 6c 28 33 29 2e 72 | ........>>>.sqrt3.=.Numeral(3).r |
32c0 | 6f 6f 74 28 32 29 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 33 0a 20 20 20 20 20 20 20 | oot(2).........>>>.sqrt3........ |
32e0 | 20 31 2e 37 33 32 30 35 30 38 30 37 35 3f 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 73 71 72 74 33 | .1.7320508075?.........>>>.sqrt3 |
3300 | 2a 2a 32 0a 20 20 20 20 20 20 20 20 33 0a 20 20 20 20 20 20 20 20 28 01 00 00 00 52 4b 00 00 00 | **2.........3.........(....RK... |
3320 | 28 02 00 00 00 52 14 00 00 00 52 48 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | (....R....RH...(....(....s....sr |
3340 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 70 | c\api\python\z3\z3num.pyt....__p |
3360 | 6f 77 5f 5f 88 01 00 00 73 02 00 00 00 00 09 63 02 00 00 00 02 00 00 00 06 00 00 00 43 00 00 00 | ow__....s......c............C... |
3380 | 73 28 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 74 03 00 7c 01 00 7c 00 00 | s(...t..|..j.....|..j..t..|..|.. |
33a0 | 6a 04 00 83 02 00 6a 02 00 83 03 00 53 28 01 00 00 00 73 d3 00 00 00 20 52 65 74 75 72 6e 20 54 | j.....j.....S(....s.....Return.T |
33c0 | 72 75 65 20 69 66 20 60 73 65 6c 66 20 3c 20 6f 74 68 65 72 60 2e 0a 0a 20 20 20 20 20 20 20 20 | rue.if.`self.<.other`........... |
33e0 | 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3c 20 32 0a 20 20 20 20 20 20 20 | >>>.Numeral(Sqrt(2)).<.2........ |
3400 | 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 | .True.........>>>.Numeral(Sqrt(3 |
3420 | 29 29 20 3c 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 46 61 | )).<.Numeral(Sqrt(2)).........Fa |
3440 | 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 | lse.........>>>.Numeral(Sqrt(2)) |
3460 | 20 3c 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 | .<.Numeral(Sqrt(2)).........Fals |
3480 | 65 0a 20 20 20 20 20 20 20 20 28 05 00 00 00 74 0f 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 | e.........(....t....Z3_algebraic |
34a0 | 5f 6c 74 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 | _ltR....R....R....R....(....R... |
34c0 | 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 | .R9...(....(....s....src\api\pyt |
34e0 | 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 00 5f 5f 6c 74 5f 5f 93 01 00 00 73 02 | hon\z3\z3num.pyt....__lt__....s. |
3500 | 00 00 00 00 0a 63 02 00 00 00 02 00 00 00 02 00 00 00 43 00 00 00 73 0a 00 00 00 7c 00 00 7c 01 | .....c............C...s....|..|. |
3520 | 00 6b 04 00 53 28 01 00 00 00 73 59 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 | .k..S(....sY....Return.True.if.` |
3540 | 6f 74 68 65 72 20 3c 20 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 32 20 3c 20 | other.<.self`...........>>>.2.<. |
3560 | 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a | Numeral(Sqrt(2))..........False. |
3580 | 20 20 20 20 20 20 20 20 28 00 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 | ........(....(....R....R9...(... |
35a0 | 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e | .(....s....src\api\python\z3\z3n |
35c0 | 75 6d 2e 70 79 74 07 00 00 00 5f 5f 72 6c 74 5f 5f 9f 01 00 00 73 02 00 00 00 00 06 63 02 00 00 | um.pyt....__rlt__....s......c... |
35e0 | 00 02 00 00 00 06 00 00 00 43 00 00 00 73 28 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 | .........C...s(...t..|..j.....|. |
3600 | 00 6a 02 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 83 02 00 6a 02 00 83 03 00 53 28 01 00 00 00 73 | .j..t..|..|..j.....j.....S(....s |
3620 | d3 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 73 65 6c 66 20 3e 20 6f 74 68 65 | .....Return.True.if.`self.>.othe |
3640 | 72 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 | r`...........>>>.Numeral(Sqrt(2) |
3660 | 29 20 3e 20 32 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 | ).>.2.........False.........>>>. |
3680 | 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 | Numeral(Sqrt(3)).>.Numeral(Sqrt( |
36a0 | 32 29 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d | 2)).........True.........>>>.Num |
36c0 | 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 | eral(Sqrt(2)).>.Numeral(Sqrt(2)) |
36e0 | 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 28 05 00 00 00 74 0f 00 00 | .........False.........(....t... |
3700 | 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 67 74 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 | .Z3_algebraic_gtR....R....R....R |
3720 | 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 | ....(....R....R9...(....(....s.. |
3740 | 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 | ..src\api\python\z3\z3num.pyt... |
3760 | 00 5f 5f 67 74 5f 5f a7 01 00 00 73 02 00 00 00 00 0a 63 02 00 00 00 02 00 00 00 02 00 00 00 43 | .__gt__....s......c............C |
3780 | 00 00 00 73 0a 00 00 00 7c 00 00 7c 01 00 6b 00 00 53 28 01 00 00 00 73 57 00 00 00 20 52 65 74 | ...s....|..|..k..S(....sW....Ret |
37a0 | 75 72 6e 20 54 72 75 65 20 69 66 20 60 6f 74 68 65 72 20 3e 20 73 65 6c 66 60 2e 0a 0a 20 20 20 | urn.True.if.`other.>.self`...... |
37c0 | 20 20 20 20 20 3e 3e 3e 20 32 20 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 | .....>>>.2.>.Numeral(Sqrt(2))... |
37e0 | 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 28 00 00 00 00 28 02 00 00 00 52 14 00 | ......True.........(....(....R.. |
3800 | 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | ..R9...(....(....s....src\api\py |
3820 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 72 67 74 5f 5f b3 01 00 00 | thon\z3\z3num.pyt....__rgt__.... |
3840 | 73 02 00 00 00 00 06 63 02 00 00 00 02 00 00 00 06 00 00 00 43 00 00 00 73 28 00 00 00 74 00 00 | s......c............C...s(...t.. |
3860 | 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 83 02 00 6a 02 | |..j.....|..j..t..|..|..j.....j. |
3880 | 00 83 03 00 53 28 01 00 00 00 73 d6 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 | ....S(....s.....Return.True.if.` |
38a0 | 73 65 6c 66 20 3c 3d 20 6f 74 68 65 72 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d | self.<=.other`...........>>>.Num |
38c0 | 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3c 3d 20 32 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a | eral(Sqrt(2)).<=.2.........True. |
38e0 | 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 3c 3d 20 | ........>>>.Numeral(Sqrt(3)).<=. |
3900 | 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 | Numeral(Sqrt(2)).........False.. |
3920 | 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3c 3d 20 4e | .......>>>.Numeral(Sqrt(2)).<=.N |
3940 | 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 | umeral(Sqrt(2)).........True.... |
3960 | 20 20 20 20 20 28 05 00 00 00 74 0f 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 6c 65 52 10 | .....(....t....Z3_algebraic_leR. |
3980 | 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 | ...R....R....R....(....R....R9.. |
39a0 | 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a | .(....(....s....src\api\python\z |
39c0 | 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 00 5f 5f 6c 65 5f 5f bc 01 00 00 73 02 00 00 00 00 0a | 3\z3num.pyt....__le__....s...... |
39e0 | 63 02 00 00 00 02 00 00 00 02 00 00 00 43 00 00 00 73 0a 00 00 00 7c 00 00 7c 01 00 6b 05 00 53 | c............C...s....|..|..k..S |
3a00 | 28 01 00 00 00 73 5b 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 6f 74 68 65 72 | (....s[....Return.True.if.`other |
3a20 | 20 3c 3d 20 73 65 6c 66 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 32 20 3c 3d 20 4e 75 6d | .<=.self`...........>>>.2.<=.Num |
3a40 | 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 | eral(Sqrt(2))..........False.... |
3a60 | 20 20 20 20 20 28 00 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 | .....(....(....R....R9...(....(. |
3a80 | 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e | ...s....src\api\python\z3\z3num. |
3aa0 | 70 79 74 07 00 00 00 5f 5f 72 6c 65 5f 5f c8 01 00 00 73 02 00 00 00 00 06 63 02 00 00 00 02 00 | pyt....__rle__....s......c...... |
3ac0 | 00 00 06 00 00 00 43 00 00 00 73 28 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 | ......C...s(...t..|..j.....|..j. |
3ae0 | 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 83 02 00 6a 02 00 83 03 00 53 28 01 00 00 00 73 d6 00 00 | .t..|..|..j.....j.....S(....s... |
3b00 | 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 73 65 6c 66 20 3e 3d 20 6f 74 68 65 72 60 | ..Return.True.if.`self.>=.other` |
3b20 | 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 | ...........>>>.Numeral(Sqrt(2)). |
3b40 | 3e 3d 20 32 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e | >=.2.........False.........>>>.N |
3b60 | 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 3e 3d 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 | umeral(Sqrt(3)).>=.Numeral(Sqrt( |
3b80 | 32 29 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d | 2)).........True.........>>>.Num |
3ba0 | 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3e 3d 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 | eral(Sqrt(2)).>=.Numeral(Sqrt(2) |
3bc0 | 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 28 05 00 00 00 74 0f 00 00 | ).........True.........(....t... |
3be0 | 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 67 65 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 | .Z3_algebraic_geR....R....R....R |
3c00 | 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 | ....(....R....R9...(....(....s.. |
3c20 | 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 | ..src\api\python\z3\z3num.pyt... |
3c40 | 00 5f 5f 67 65 5f 5f d0 01 00 00 73 02 00 00 00 00 0a 63 02 00 00 00 02 00 00 00 02 00 00 00 43 | .__ge__....s......c............C |
3c60 | 00 00 00 73 0a 00 00 00 7c 00 00 7c 01 00 6b 01 00 53 28 01 00 00 00 73 59 00 00 00 20 52 65 74 | ...s....|..|..k..S(....sY....Ret |
3c80 | 75 72 6e 20 54 72 75 65 20 69 66 20 60 6f 74 68 65 72 20 3e 3d 20 73 65 6c 66 60 2e 0a 0a 20 20 | urn.True.if.`other.>=.self`..... |
3ca0 | 20 20 20 20 20 20 3e 3e 3e 20 32 20 3e 3d 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a | ......>>>.2.>=.Numeral(Sqrt(2)). |
3cc0 | 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 20 20 28 00 00 00 00 28 02 00 00 00 52 | ........True.........(....(....R |
3ce0 | 14 00 00 00 52 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c | ....R9...(....(....s....src\api\ |
3d00 | 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 72 67 65 5f 5f dc 01 | python\z3\z3num.pyt....__rge__.. |
3d20 | 00 00 73 02 00 00 00 00 06 63 02 00 00 00 02 00 00 00 06 00 00 00 43 00 00 00 73 28 00 00 00 74 | ..s......c............C...s(...t |
3d40 | 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 83 02 00 | ..|..j.....|..j..t..|..|..j..... |
3d60 | 6a 02 00 83 03 00 53 28 01 00 00 00 73 d7 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 | j.....S(....s.....Return.True.if |
3d80 | 20 60 73 65 6c 66 20 3d 3d 20 6f 74 68 65 72 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e | .`self.==.other`...........>>>.N |
3da0 | 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3d 3d 20 32 0a 20 20 20 20 20 20 20 20 46 61 6c | umeral(Sqrt(2)).==.2.........Fal |
3dc0 | 73 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 | se.........>>>.Numeral(Sqrt(3)). |
3de0 | 3d 3d 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 | ==.Numeral(Sqrt(2)).........Fals |
3e00 | 65 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 3d | e.........>>>.Numeral(Sqrt(2)).= |
3e20 | 3d 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a | =.Numeral(Sqrt(2)).........True. |
3e40 | 20 20 20 20 20 20 20 20 28 05 00 00 00 74 0f 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 65 | ........(....t....Z3_algebraic_e |
3e60 | 71 52 10 00 00 00 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 | qR....R....R....R....(....R....R |
3e80 | 39 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f | 9...(....(....s....src\api\pytho |
3ea0 | 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 06 00 00 00 5f 5f 65 71 5f 5f e4 01 00 00 73 02 00 00 | n\z3\z3num.pyt....__eq__....s... |
3ec0 | 00 00 0a 63 02 00 00 00 02 00 00 00 06 00 00 00 43 00 00 00 73 28 00 00 00 74 00 00 7c 00 00 6a | ...c............C...s(...t..|..j |
3ee0 | 01 00 83 00 00 7c 00 00 6a 02 00 74 03 00 7c 01 00 7c 00 00 6a 04 00 83 02 00 6a 02 00 83 03 00 | .....|..j..t..|..|..j.....j..... |
3f00 | 53 28 01 00 00 00 73 d6 00 00 00 20 52 65 74 75 72 6e 20 54 72 75 65 20 69 66 20 60 73 65 6c 66 | S(....s.....Return.True.if.`self |
3f20 | 20 21 3d 20 6f 74 68 65 72 60 2e 0a 0a 20 20 20 20 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c | .!=.other`...........>>>.Numeral |
3f40 | 28 53 71 72 74 28 32 29 29 20 21 3d 20 32 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 | (Sqrt(2)).!=.2.........True..... |
3f60 | 20 20 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 21 3d 20 4e 75 6d 65 | ....>>>.Numeral(Sqrt(3)).!=.Nume |
3f80 | 72 61 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 54 72 75 65 0a 20 20 20 20 20 20 | ral(Sqrt(2)).........True....... |
3fa0 | 20 20 3e 3e 3e 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 21 3d 20 4e 75 6d 65 72 61 | ..>>>.Numeral(Sqrt(2)).!=.Numera |
3fc0 | 6c 28 53 71 72 74 28 32 29 29 0a 20 20 20 20 20 20 20 20 46 61 6c 73 65 0a 20 20 20 20 20 20 20 | l(Sqrt(2)).........False........ |
3fe0 | 20 28 05 00 00 00 74 10 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 6e 65 71 52 10 00 00 00 | .(....t....Z3_algebraic_neqR.... |
4000 | 52 09 00 00 00 52 07 00 00 00 52 06 00 00 00 28 02 00 00 00 52 14 00 00 00 52 39 00 00 00 28 00 | R....R....R....(....R....R9...(. |
4020 | 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a | ...(....s....src\api\python\z3\z |
4040 | 33 6e 75 6d 2e 70 79 74 06 00 00 00 5f 5f 6e 65 5f 5f f0 01 00 00 73 02 00 00 00 00 0a 63 01 00 | 3num.pyt....__ne__....s......c.. |
4060 | 00 00 01 00 00 00 04 00 00 00 43 00 00 00 73 4e 00 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c | ..........C...sN...t..|..j.....| |
4080 | 00 00 6a 02 00 83 02 00 72 31 00 74 03 00 74 04 00 7c 00 00 6a 02 00 7c 00 00 6a 05 00 83 02 00 | ..j.....r1.t..t..|..j..|..j..... |
40a0 | 83 01 00 53 74 03 00 74 06 00 7c 00 00 6a 02 00 7c 00 00 6a 05 00 83 02 00 83 01 00 53 64 00 00 | ...St..t..|..j..|..j........Sd.. |
40c0 | 53 28 01 00 00 00 4e 28 07 00 00 00 74 11 00 00 00 5a 33 5f 69 73 5f 6e 75 6d 65 72 61 6c 5f 61 | S(....N(....t....Z3_is_numeral_a |
40e0 | 73 74 52 10 00 00 00 52 09 00 00 00 74 03 00 00 00 73 74 72 52 0a 00 00 00 52 06 00 00 00 52 0b | stR....R....t....strR....R....R. |
4100 | 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c | ...(....R....(....(....s....src\ |
4120 | 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 07 00 00 00 5f 5f 73 74 72 | api\python\z3\z3num.pyt....__str |
4140 | 5f 5f fc 01 00 00 73 06 00 00 00 00 01 18 01 19 02 63 01 00 00 00 01 00 00 00 01 00 00 00 43 00 | __....s..........c............C. |
4160 | 00 00 73 0a 00 00 00 7c 00 00 6a 00 00 83 00 00 53 28 01 00 00 00 4e 28 01 00 00 00 52 5f 00 00 | ..s....|..j.....S(....N(....R_.. |
4180 | 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 | .(....R....(....(....s....src\ap |
41a0 | 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 08 00 00 00 5f 5f 72 65 70 72 5f | i\python\z3\z3num.pyt....__repr_ |
41c0 | 5f 02 02 00 00 73 02 00 00 00 00 01 63 01 00 00 00 01 00 00 00 03 00 00 00 43 00 00 00 73 19 00 | _....s......c............C...s.. |
41e0 | 00 00 74 00 00 7c 00 00 6a 01 00 83 00 00 7c 00 00 6a 02 00 83 00 00 83 02 00 53 28 01 00 00 00 | ..t..|..j.....|..j........S(.... |
4200 | 4e 28 03 00 00 00 74 10 00 00 00 5a 33 5f 61 73 74 5f 74 6f 5f 73 74 72 69 6e 67 52 10 00 00 00 | N(....t....Z3_ast_to_stringR.... |
4220 | 52 11 00 00 00 28 01 00 00 00 52 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 | R....(....R....(....(....s....sr |
4240 | 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 05 00 00 00 73 65 78 | c\api\python\z3\z3num.pyt....sex |
4260 | 70 72 05 02 00 00 73 02 00 00 00 00 01 63 01 00 00 00 01 00 00 00 01 00 00 00 43 00 00 00 73 07 | pr....s......c............C...s. |
4280 | 00 00 00 7c 00 00 6a 00 00 53 28 01 00 00 00 4e 28 01 00 00 00 52 09 00 00 00 28 01 00 00 00 52 | ...|..j..S(....N(....R....(....R |
42a0 | 14 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f | ....(....(....s....src\api\pytho |
42c0 | 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 52 11 00 00 00 08 02 00 00 73 02 00 00 00 00 01 63 01 00 | n\z3\z3num.pyR........s......c.. |
42e0 | 00 00 01 00 00 00 01 00 00 00 43 00 00 00 73 0d 00 00 00 7c 00 00 6a 00 00 6a 01 00 83 00 00 53 | ..........C...s....|..j..j.....S |
4300 | 28 01 00 00 00 4e 28 02 00 00 00 52 06 00 00 00 74 03 00 00 00 72 65 66 28 01 00 00 00 52 14 00 | (....N(....R....t....ref(....R.. |
4320 | 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c | ..(....(....s....src\api\python\ |
4340 | 7a 33 5c 7a 33 6e 75 6d 2e 70 79 52 10 00 00 00 0b 02 00 00 73 02 00 00 00 00 01 4e 28 30 00 00 | z3\z3num.pyR........s......N(0.. |
4360 | 00 74 08 00 00 00 5f 5f 6e 61 6d 65 5f 5f 74 0a 00 00 00 5f 5f 6d 6f 64 75 6c 65 5f 5f 74 07 00 | .t....__name__t....__module__t.. |
4380 | 00 00 5f 5f 64 6f 63 5f 5f 74 04 00 00 00 4e 6f 6e 65 52 17 00 00 00 52 19 00 00 00 52 1c 00 00 | ..__doc__t....NoneR....R....R... |
43a0 | 00 52 1a 00 00 00 52 1b 00 00 00 52 21 00 00 00 52 22 00 00 00 52 28 00 00 00 52 29 00 00 00 52 | .R....R....R!...R"...R(...R)...R |
43c0 | 2c 00 00 00 52 2a 00 00 00 52 2f 00 00 00 52 31 00 00 00 52 33 00 00 00 52 35 00 00 00 52 37 00 | ,...R*...R/...R1...R3...R5...R7. |
43e0 | 00 00 52 3a 00 00 00 52 3b 00 00 00 52 3d 00 00 00 52 3e 00 00 00 52 40 00 00 00 52 41 00 00 00 | ..R:...R;...R=...R>...R@...RA... |
4400 | 52 43 00 00 00 52 44 00 00 00 52 45 00 00 00 52 46 00 00 00 52 49 00 00 00 52 4b 00 00 00 52 4c | RC...RD...RE...RF...RI...RK...RL |
4420 | 00 00 00 52 4e 00 00 00 52 4f 00 00 00 52 51 00 00 00 52 52 00 00 00 52 54 00 00 00 52 55 00 00 | ...RN...RO...RQ...RR...RT...RU.. |
4440 | 00 52 57 00 00 00 52 58 00 00 00 52 5a 00 00 00 52 5c 00 00 00 52 5f 00 00 00 52 60 00 00 00 52 | .RW...RX...RZ...R\...R_...R`...R |
4460 | 62 00 00 00 52 11 00 00 00 52 10 00 00 00 28 00 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 | b...R....R....(....(....(....s.. |
4480 | 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 52 04 00 00 | ..src\api\python\z3\z3num.pyR... |
44a0 | 00 15 00 00 00 73 5a 00 00 00 06 42 06 01 0c 12 09 03 09 0e 09 0d 09 09 09 0a 09 0c 09 0a 09 08 | .....sZ....B.................... |
44c0 | 0c 10 0c 13 0c 11 09 0c 09 0c 09 0c 09 11 09 0c 09 08 09 08 09 08 09 07 09 07 09 0b 09 03 09 09 | ................................ |
44e0 | 09 03 09 0f 09 0b 09 0b 09 0c 09 08 09 0c 09 09 09 0c 09 08 09 0c 09 08 09 0c 09 0c 09 06 09 03 | ................................ |
4500 | 09 03 09 03 63 02 00 00 00 05 00 00 00 05 00 00 00 43 00 00 00 73 60 00 00 00 74 00 00 7c 01 00 | ....c............C...s`...t..|.. |
4520 | 83 01 00 7d 02 00 74 01 00 7c 02 00 14 83 00 00 7d 03 00 78 25 00 74 02 00 7c 02 00 83 01 00 44 | ...}..t..|......}..x%.t..|.....D |
4540 | 5d 17 00 7d 04 00 7c 01 00 7c 04 00 19 6a 03 00 7c 03 00 7c 04 00 3c 71 26 00 57 74 04 00 7c 00 | ]..}..|..|...j..|..|..<q&.Wt..|. |
4560 | 00 6a 05 00 83 00 00 7c 00 00 6a 06 00 83 00 00 7c 02 00 7c 03 00 83 04 00 53 28 01 00 00 00 73 | .j.....|..j.....|..|.....S(....s |
4580 | 7d 02 00 00 20 0a 20 20 20 20 45 76 61 6c 75 61 74 65 20 74 68 65 20 73 69 67 6e 20 6f 66 20 74 | }.........Evaluate.the.sign.of.t |
45a0 | 68 65 20 70 6f 6c 79 6e 6f 6d 69 61 6c 20 60 70 60 20 61 74 20 60 76 73 60 2e 20 20 60 70 60 20 | he.polynomial.`p`.at.`vs`...`p`. |
45c0 | 69 73 20 61 20 5a 33 0a 20 20 20 20 45 78 70 72 65 73 73 69 6f 6e 20 63 6f 6e 74 61 69 6e 69 6e | is.a.Z3.....Expression.containin |
45e0 | 67 20 61 72 69 74 68 6d 65 74 69 63 20 6f 70 65 72 61 74 6f 72 73 3a 20 2b 2c 20 2d 2c 20 2a 2c | g.arithmetic.operators:.+,.-,.*, |
4600 | 20 5e 6b 20 77 68 65 72 65 20 6b 20 69 73 0a 20 20 20 20 61 6e 20 69 6e 74 65 67 65 72 3b 20 61 | .^k.where.k.is.....an.integer;.a |
4620 | 6e 64 20 66 72 65 65 20 76 61 72 69 61 62 6c 65 73 20 78 20 74 68 61 74 20 69 73 5f 76 61 72 28 | nd.free.variables.x.that.is_var( |
4640 | 78 29 20 69 73 20 54 72 75 65 2e 20 4d 6f 72 65 6f 76 65 72 2c 0a 20 20 20 20 61 6c 6c 20 76 61 | x).is.True..Moreover,.....all.va |
4660 | 72 69 61 62 6c 65 73 20 6d 75 73 74 20 62 65 20 72 65 61 6c 2e 0a 20 20 20 20 0a 20 20 20 20 54 | riables.must.be.real...........T |
4680 | 68 65 20 72 65 73 75 6c 74 20 69 73 20 31 20 69 66 20 74 68 65 20 70 6f 6c 79 6e 6f 6d 69 61 6c | he.result.is.1.if.the.polynomial |
46a0 | 20 69 73 20 70 6f 73 69 74 69 76 65 20 61 74 20 74 68 65 20 67 69 76 65 6e 20 70 6f 69 6e 74 2c | .is.positive.at.the.given.point, |
46c0 | 0a 20 20 20 20 2d 31 20 69 66 20 6e 65 67 61 74 69 76 65 2c 20 61 6e 64 20 30 20 69 66 20 7a 65 | .....-1.if.negative,.and.0.if.ze |
46e0 | 72 6f 2e 0a 0a 20 20 20 20 3e 3e 3e 20 78 30 2c 20 78 31 2c 20 78 32 20 3d 20 52 65 61 6c 56 61 | ro.......>>>.x0,.x1,.x2.=.RealVa |
4700 | 72 56 65 63 74 6f 72 28 33 29 0a 20 20 20 20 3e 3e 3e 20 65 76 61 6c 5f 73 69 67 6e 5f 61 74 28 | rVector(3).....>>>.eval_sign_at( |
4720 | 78 30 2a 2a 32 20 2b 20 78 31 2a 78 32 20 2b 20 31 2c 20 28 4e 75 6d 65 72 61 6c 28 30 29 2c 20 | x0**2.+.x1*x2.+.1,.(Numeral(0),. |
4740 | 4e 75 6d 65 72 61 6c 28 31 29 2c 20 4e 75 6d 65 72 61 6c 28 32 29 29 29 0a 20 20 20 20 31 0a 20 | Numeral(1),.Numeral(2))).....1.. |
4760 | 20 20 20 3e 3e 3e 20 65 76 61 6c 5f 73 69 67 6e 5f 61 74 28 78 30 2a 2a 32 20 2d 20 32 2c 20 5b | ...>>>.eval_sign_at(x0**2.-.2,.[ |
4780 | 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 29 29 20 5d 29 0a 20 20 20 20 30 0a 20 20 20 20 3e | .Numeral(Sqrt(2)).]).....0.....> |
47a0 | 3e 3e 20 65 76 61 6c 5f 73 69 67 6e 5f 61 74 28 28 78 30 20 2b 20 78 31 29 2a 28 78 30 20 2b 20 | >>.eval_sign_at((x0.+.x1)*(x0.+. |
47c0 | 78 32 29 2c 20 28 4e 75 6d 65 72 61 6c 28 30 29 2c 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 32 | x2),.(Numeral(0),.Numeral(Sqrt(2 |
47e0 | 29 29 2c 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 29 29 0a 20 20 20 20 31 0a 20 20 20 | )),.Numeral(Sqrt(3)))).....1.... |
4800 | 20 28 07 00 00 00 74 03 00 00 00 6c 65 6e 52 08 00 00 00 74 05 00 00 00 72 61 6e 67 65 52 09 00 | .(....t....lenR....t....rangeR.. |
4820 | 00 00 74 11 00 00 00 5a 33 5f 61 6c 67 65 62 72 61 69 63 5f 65 76 61 6c 52 10 00 00 00 52 11 00 | ..t....Z3_algebraic_evalR....R.. |
4840 | 00 00 28 05 00 00 00 74 01 00 00 00 70 74 02 00 00 00 76 73 52 05 00 00 00 74 03 00 00 00 5f 76 | ..(....t....pt....vsR....t...._v |
4860 | 73 74 01 00 00 00 69 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 | st....i(....(....s....src\api\py |
4880 | 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0c 00 00 00 65 76 61 6c 5f 73 69 67 6e 5f 61 | thon\z3\z3num.pyt....eval_sign_a |
48a0 | 74 0e 02 00 00 73 0a 00 00 00 00 12 0c 01 0d 01 13 01 15 01 63 02 00 00 00 07 00 00 00 06 00 00 | t....s..............c........... |
48c0 | 00 43 00 00 00 73 8b 00 00 00 74 00 00 7c 01 00 83 01 00 7d 02 00 74 01 00 7c 02 00 14 83 00 00 | .C...s....t..|.....}..t..|...... |
48e0 | 7d 03 00 78 25 00 74 02 00 7c 02 00 83 01 00 44 5d 17 00 7d 04 00 7c 01 00 7c 04 00 19 6a 03 00 | }..x%.t..|.....D]..}..|..|...j.. |
4900 | 7c 03 00 7c 04 00 3c 71 26 00 57 74 04 00 74 05 00 7c 00 00 6a 06 00 83 00 00 7c 00 00 6a 07 00 | |..|..<q&.Wt..t..|..j.....|..j.. |
4920 | 83 00 00 7c 02 00 7c 03 00 83 04 00 7c 00 00 6a 08 00 83 02 00 7d 05 00 67 00 00 7c 05 00 44 5d | ...|..|.....|..j.....}..g..|..D] |
4940 | 12 00 7d 06 00 74 09 00 7c 06 00 83 01 00 5e 02 00 71 75 00 53 28 01 00 00 00 73 93 02 00 00 0a | ..}..t..|.....^..qu.S(....s..... |
4960 | 20 20 20 20 47 69 76 65 6e 20 61 20 6d 75 6c 74 69 76 61 72 69 61 74 65 20 70 6f 6c 79 6e 6f 6d | ....Given.a.multivariate.polynom |
4980 | 69 61 6c 20 70 28 78 5f 30 2c 20 2e 2e 2e 2c 20 78 5f 7b 6e 2d 31 7d 2c 20 78 5f 6e 29 2c 20 72 | ial.p(x_0,....,.x_{n-1},.x_n),.r |
49a0 | 65 74 75 72 6e 73 20 74 68 65 20 0a 20 20 20 20 72 6f 6f 74 73 20 6f 66 20 74 68 65 20 75 6e 69 | eturns.the......roots.of.the.uni |
49c0 | 76 61 72 69 61 74 65 20 70 6f 6c 79 6e 6f 6d 69 61 6c 20 70 28 76 73 5b 30 5d 2c 20 2e 2e 2e 2c | variate.polynomial.p(vs[0],...., |
49e0 | 20 76 73 5b 6c 65 6e 28 76 73 29 2d 31 5d 2c 20 78 5f 6e 29 2e 0a 20 20 20 20 20 20 20 0a 20 20 | .vs[len(vs)-1],.x_n)............ |
4a00 | 20 20 52 65 6d 61 72 6b 73 3a 0a 20 20 20 20 2a 20 70 20 69 73 20 61 20 5a 33 20 65 78 70 72 65 | ..Remarks:.....*.p.is.a.Z3.expre |
4a20 | 73 73 69 6f 6e 20 74 68 61 74 20 63 6f 6e 74 61 69 6e 73 20 6f 6e 6c 79 20 61 72 69 74 68 6d 65 | ssion.that.contains.only.arithme |
4a40 | 74 69 63 20 74 65 72 6d 73 20 61 6e 64 20 66 72 65 65 20 76 61 72 69 61 62 6c 65 73 2e 0a 20 20 | tic.terms.and.free.variables.... |
4a60 | 20 20 2a 20 66 6f 72 61 6c 6c 20 69 20 69 6e 20 5b 30 2c 20 6e 29 20 76 73 20 69 73 20 61 20 6e | ..*.forall.i.in.[0,.n).vs.is.a.n |
4a80 | 75 6d 65 72 61 6c 2e 0a 20 20 20 20 0a 20 20 20 20 54 68 65 20 72 65 73 75 6c 74 20 69 73 20 61 | umeral...........The.result.is.a |
4aa0 | 20 6c 69 73 74 20 6f 66 20 6e 75 6d 65 72 61 6c 73 0a 0a 20 20 20 20 3e 3e 3e 20 78 30 20 3d 20 | .list.of.numerals......>>>.x0.=. |
4ac0 | 52 65 61 6c 56 61 72 28 30 29 0a 20 20 20 20 3e 3e 3e 20 69 73 6f 6c 61 74 65 5f 72 6f 6f 74 73 | RealVar(0).....>>>.isolate_roots |
4ae0 | 28 78 30 2a 2a 35 20 2d 20 78 30 20 2d 20 31 29 0a 20 20 20 20 5b 31 2e 31 36 37 33 30 33 39 37 | (x0**5.-.x0.-.1).....[1.16730397 |
4b00 | 38 32 3f 5d 0a 20 20 20 20 3e 3e 3e 20 78 31 20 3d 20 52 65 61 6c 56 61 72 28 31 29 0a 20 20 20 | 82?].....>>>.x1.=.RealVar(1).... |
4b20 | 20 3e 3e 3e 20 69 73 6f 6c 61 74 65 5f 72 6f 6f 74 73 28 78 30 2a 2a 32 20 2d 20 78 31 2a 2a 34 | .>>>.isolate_roots(x0**2.-.x1**4 |
4b40 | 20 2d 20 31 2c 20 5b 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 20 5d 29 0a 20 20 20 20 | .-.1,.[.Numeral(Sqrt(3)).])..... |
4b60 | 5b 2d 31 2e 31 38 39 32 30 37 31 31 35 30 3f 2c 20 31 2e 31 38 39 32 30 37 31 31 35 30 3f 5d 0a | [-1.1892071150?,.1.1892071150?]. |
4b80 | 20 20 20 20 3e 3e 3e 20 78 32 20 3d 20 52 65 61 6c 56 61 72 28 32 29 0a 20 20 20 20 3e 3e 3e 20 | ....>>>.x2.=.RealVar(2).....>>>. |
4ba0 | 69 73 6f 6c 61 74 65 5f 72 6f 6f 74 73 28 78 32 2a 2a 32 20 2b 20 78 30 20 2d 20 78 31 2c 20 5b | isolate_roots(x2**2.+.x0.-.x1,.[ |
4bc0 | 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 33 29 29 2c 20 4e 75 6d 65 72 61 6c 28 53 71 72 74 28 | .Numeral(Sqrt(3)),.Numeral(Sqrt( |
4be0 | 32 29 29 20 5d 29 0a 20 20 20 20 5b 5d 0a 20 20 20 20 28 0a 00 00 00 52 68 00 00 00 52 08 00 00 | 2)).]).....[].....(....Rh...R... |
4c00 | 00 52 69 00 00 00 52 09 00 00 00 74 09 00 00 00 41 73 74 56 65 63 74 6f 72 74 12 00 00 00 5a 33 | .Ri...R....t....AstVectort....Z3 |
4c20 | 5f 61 6c 67 65 62 72 61 69 63 5f 72 6f 6f 74 73 52 10 00 00 00 52 11 00 00 00 52 06 00 00 00 52 | _algebraic_rootsR....R....R....R |
4c40 | 04 00 00 00 28 07 00 00 00 52 6b 00 00 00 52 6c 00 00 00 52 05 00 00 00 52 6d 00 00 00 52 6e 00 | ....(....Rk...Rl...R....Rm...Rn. |
4c60 | 00 00 74 06 00 00 00 5f 72 6f 6f 74 73 52 15 00 00 00 28 00 00 00 00 28 00 00 00 00 73 1a 00 00 | ..t...._rootsR....(....(....s... |
4c80 | 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a 33 6e 75 6d 2e 70 79 74 0d 00 00 00 | .src\api\python\z3\z3num.pyt.... |
4ca0 | 69 73 6f 6c 61 74 65 5f 72 6f 6f 74 73 26 02 00 00 73 0c 00 00 00 00 15 0c 01 0d 01 13 01 15 01 | isolate_roots&...s.............. |
4cc0 | 2d 01 4e 28 0b 00 00 00 74 02 00 00 00 7a 33 74 06 00 00 00 7a 33 63 6f 72 65 74 09 00 00 00 7a | -.N(....t....z3t....z3coret....z |
4ce0 | 33 70 72 69 6e 74 65 72 74 09 00 00 00 66 72 61 63 74 69 6f 6e 73 52 01 00 00 00 52 02 00 00 00 | 3printert....fractionsR....R.... |
4d00 | 52 67 00 00 00 52 07 00 00 00 52 04 00 00 00 52 6f 00 00 00 52 73 00 00 00 28 00 00 00 00 28 00 | Rg...R....R....Ro...Rs...(....(. |
4d20 | 00 00 00 28 00 00 00 00 73 1a 00 00 00 73 72 63 5c 61 70 69 5c 70 79 74 68 6f 6e 5c 7a 33 5c 7a | ...(....s....src\api\python\z3\z |
4d40 | 33 6e 75 6d 2e 70 79 74 08 00 00 00 3c 6d 6f 64 75 6c 65 3e 08 00 00 00 73 12 00 00 00 0a 01 0a | 3num.pyt....<module>....s....... |
4d60 | 01 0a 01 10 02 10 02 0c 06 13 ff 00 fa 09 18 | ............... |