Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 475889856] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1448 geometric_solution 5.26940184 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471813373608 0.260206508961 0 3 0 3 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.625175783109 0.896289381830 4 0 5 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903010843282 0.636082872869 1 1 4 5 3201 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234268618712 1.536401192218 2 3 4 4 0132 1230 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004568587487 0.989338487154 3 6 6 2 3012 0132 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900897609076 0.657825639334 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.660445189885 0.400222123964 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_0101_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 57502381995068912689461559071363/3667720686874913295623981105774*c_\ 0101_6^19 - 53797744991903709861939916015607/1833860343437456647811\ 990552887*c_0101_6^18 + 668307023614131087342267338222774/183386034\ 3437456647811990552887*c_0101_6^17 + 2933201548401559951559142644628819/3667720686874913295623981105774*\ c_0101_6^16 - 4475323781998795741264653497363987/183386034343745664\ 7811990552887*c_0101_6^15 - 10123148127770909295089647690008303/183\ 3860343437456647811990552887*c_0101_6^14 + 17366466520308120146193887922990397/1833860343437456647811990552887\ *c_0101_6^13 + 82937586012166270095732645224031715/3667720686874913\ 295623981105774*c_0101_6^12 - 54842475421050428706884988722039843/3\ 667720686874913295623981105774*c_0101_6^11 - 66508669746556495790819159046747371/1833860343437456647811990552887\ *c_0101_6^10 + 76108804575577853952871834257793635/3667720686874913\ 295623981105774*c_0101_6^9 + 99989837984558670315855115386040041/36\ 67720686874913295623981105774*c_0101_6^8 - 30080747913516116706540812453358472/1833860343437456647811990552887\ *c_0101_6^7 - 23118370371817673544480017283363803/18338603434374566\ 47811990552887*c_0101_6^6 + 1114198011744293982019466212287675/2157\ 48275698524311507293006222*c_0101_6^5 + 453769141401404426988258982853639/107874137849262155753646503111*c_\ 0101_6^4 - 9073290243825490098696654654132505/366772068687491329562\ 3981105774*c_0101_6^3 - 2881652674681608054835164157740089/36677206\ 86874913295623981105774*c_0101_6^2 + 1141458173299270443554974789954864/1833860343437456647811990552887*\ c_0101_6 - 605943239641845695879285723254101/3667720686874913295623\ 981105774, c_0011_0 - 1, c_0011_2 + 2728782812097541414604501486/59156785272176020897160985577*c\ _0101_6^19 + 6729523902987147503821510369/5915678527217602089716098\ 5577*c_0101_6^18 - 58721388925355781390289622138/591567852721760208\ 97160985577*c_0101_6^17 - 173445100790499873104219505290/5915678527\ 2176020897160985577*c_0101_6^16 + 303849699245762042949505406271/59\ 156785272176020897160985577*c_0101_6^15 + 1119653306155480388503895617889/59156785272176020897160985577*c_010\ 1_6^14 - 836988151536461931023041741754/591567852721760208971609855\ 77*c_0101_6^13 - 4267842379671141120763780832881/591567852721760208\ 97160985577*c_0101_6^12 - 595834496993679916038729640100/5915678527\ 2176020897160985577*c_0101_6^11 + 5212418896446654201439737501604/5\ 9156785272176020897160985577*c_0101_6^10 + 1075518972795589663142307208170/59156785272176020897160985577*c_010\ 1_6^9 - 2636423011776551722704047614711/591567852721760208971609855\ 77*c_0101_6^8 - 872539399933621639033173258935/59156785272176020897\ 160985577*c_0101_6^7 + 577560068186922169782928529773/5915678527217\ 6020897160985577*c_0101_6^6 + 52856513541920487410413891245/3479810\ 898363295346891822681*c_0101_6^5 + 21585356799038995303903597395/3479810898363295346891822681*c_0101_6\ ^4 + 143110262492255374194430011929/59156785272176020897160985577*c\ _0101_6^3 - 72280023669333144676705870443/5915678527217602089716098\ 5577*c_0101_6^2 - 28441036383352072843244857814/5915678527217602089\ 7160985577*c_0101_6 + 39671127540993545940399881610/591567852721760\ 20897160985577, c_0101_0 - 10043137200173484119488121955/59156785272176020897160985577*\ c_0101_6^19 - 24254075082513309908488523087/59156785272176020897160\ 985577*c_0101_6^18 + 222316940122642442791060125003/591567852721760\ 20897160985577*c_0101_6^17 + 637413896585214301670116164399/5915678\ 5272176020897160985577*c_0101_6^16 - 1263071858790329087403568917593/59156785272176020897160985577*c_010\ 1_6^15 - 4335164594312182441406798922320/59156785272176020897160985\ 577*c_0101_6^14 + 3992893426143780529565538943132/59156785272176020\ 897160985577*c_0101_6^13 + 17404514353938387903456924583624/5915678\ 5272176020897160985577*c_0101_6^12 - 1102363564550995406784028924186/59156785272176020897160985577*c_010\ 1_6^11 - 26791667457736198815888408839493/5915678527217602089716098\ 5577*c_0101_6^10 - 354258723943544639241877572073/59156785272176020\ 897160985577*c_0101_6^9 + 21454722029411885347231671035804/59156785\ 272176020897160985577*c_0101_6^8 + 235568077096252334726675827937/59156785272176020897160985577*c_0101\ _6^7 - 10592213159702885730925579834082/591567852721760208971609855\ 77*c_0101_6^6 - 128888818625011243610697783576/34798108983632953468\ 91822681*c_0101_6^5 + 160431854333658109100702522139/34798108983632\ 95346891822681*c_0101_6^4 + 249734961872308272548075296504/59156785\ 272176020897160985577*c_0101_6^3 - 738927949941344763635695042024/59156785272176020897160985577*c_0101\ _6^2 + 79259011281747537614414232064/59156785272176020897160985577*\ c_0101_6 - 9585291044660175188272969552/591567852721760208971609855\ 77, c_0101_1 - 1, c_0101_2 + 1588820932454668820687340523/59156785272176020897160985577*c\ _0101_6^19 + 1846315007921083281081449697/5915678527217602089716098\ 5577*c_0101_6^18 - 38966402907075339474340297206/591567852721760208\ 97160985577*c_0101_6^17 - 55103715446293573474905696624/59156785272\ 176020897160985577*c_0101_6^16 + 302244268468600000519274491788/591\ 56785272176020897160985577*c_0101_6^15 + 388740462340686386356170813809/59156785272176020897160985577*c_0101\ _6^14 - 1323035906299993354663139360061/591567852721760208971609855\ 77*c_0101_6^13 - 1633174944782406866197359559946/591567852721760208\ 97160985577*c_0101_6^12 + 2953341152491026766929008616535/591567852\ 72176020897160985577*c_0101_6^11 + 2646776386630561263389461828993/59156785272176020897160985577*c_010\ 1_6^10 - 4088506546816735219493272859722/59156785272176020897160985\ 577*c_0101_6^9 - 1151520075552935069944372128538/591567852721760208\ 97160985577*c_0101_6^8 + 2828117211788680754307311640947/5915678527\ 2176020897160985577*c_0101_6^7 - 14071965891652102265435232048/5915\ 6785272176020897160985577*c_0101_6^6 - 58373737783849960313652521353/3479810898363295346891822681*c_0101_6\ ^5 + 2530599520590578593421763757/3479810898363295346891822681*c_01\ 01_6^4 + 403826493521862290958162832933/591567852721760208971609855\ 77*c_0101_6^3 - 157059146276711836306803403397/59156785272176020897\ 160985577*c_0101_6^2 - 113379553620166509699016149477/5915678527217\ 6020897160985577*c_0101_6 + 2420813684780010439980852013/5915678527\ 2176020897160985577, c_0101_5 + 543161981976478773970213477/59156785272176020897160985577*c_\ 0101_6^19 + 3291643828902342220848902217/59156785272176020897160985\ 577*c_0101_6^18 - 6801835671471681000486661141/59156785272176020897\ 160985577*c_0101_6^17 - 76491963491833770713090825071/5915678527217\ 6020897160985577*c_0101_6^16 - 65721059161944238581769870924/591567\ 85272176020897160985577*c_0101_6^15 + 438316395473955799670223146342/59156785272176020897160985577*c_0101\ _6^14 + 656688495070657572061501488121/5915678527217602089716098557\ 7*c_0101_6^13 - 1425480486757218295120329511481/5915678527217602089\ 7160985577*c_0101_6^12 - 3292724433246120947358264673120/5915678527\ 2176020897160985577*c_0101_6^11 + 478866513736028673004484683260/59\ 156785272176020897160985577*c_0101_6^10 + 4325894086324493043139497830882/59156785272176020897160985577*c_010\ 1_6^9 + 678689214714992138377612734755/5915678527217602089716098557\ 7*c_0101_6^8 - 2694391502619701333256207756927/59156785272176020897\ 160985577*c_0101_6^7 - 1119176957847265601285081297437/591567852721\ 76020897160985577*c_0101_6^6 + 72594679749265899916087382268/347981\ 0898363295346891822681*c_0101_6^5 + 67665734177081628332301650963/3479810898363295346891822681*c_0101_6\ ^4 - 71317284096297002242991752275/59156785272176020897160985577*c_\ 0101_6^3 - 165998257177469028089688920695/5915678527217602089716098\ 5577*c_0101_6^2 + 7833557710231547846724357477/59156785272176020897\ 160985577*c_0101_6 + 43163878754349663190416207343/5915678527217602\ 0897160985577, c_0101_6^20 + 2*c_0101_6^19 - 23*c_0101_6^18 - 54*c_0101_6^17 + 149*c_0101_6^16 + 372*c_0101_6^15 - 558*c_0101_6^14 - 1519*c_0101_6^13 + 765*c_0101_6^12 + 2431*c_0101_6^11 - 1019*c_0101_6^10 - 1899*c_0101_6^9 + 813*c_0101_6^8 + 930*c_0101_6^7 - 217*c_0101_6^6 - 306*c_0101_6^5 + 120*c_0101_6^4 + 68*c_0101_6^3 - 32*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB