Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 3187417229] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2660 geometric_solution 5.92698073 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.580847664922 0.399388434999 0 1 5 1 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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 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.716406973090 0.781052847824 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554053665397 1.087088929773 6 5 6 0 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985598895163 0.573936190896 5 4 0 4 0132 1302 0132 2031 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 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.946390073082 0.810061653078 4 3 2 1 0132 0132 0132 0132 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 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.580847664922 0.399388434999 3 6 3 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580082438552 0.198950746821 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 43062934869005826166213/111769392992056362962*c_1001_0^17 + 66676848032339857209061/55884696496028181481*c_1001_0^16 - 350788472765942938129773/55884696496028181481*c_1001_0^15 + 2177357767961615332356573/111769392992056362962*c_1001_0^14 - 1287247272295062719074669/55884696496028181481*c_1001_0^13 - 483638188294593738745625/55884696496028181481*c_1001_0^12 + 4915620707474662465181060/55884696496028181481*c_1001_0^11 - 12353340201578192130679545/55884696496028181481*c_1001_0^10 + 23603048648189264242110662/55884696496028181481*c_1001_0^9 - 75806507192586129939281353/111769392992056362962*c_1001_0^8 + 51599788722022049354199344/55884696496028181481*c_1001_0^7 - 121859447089680142110254419/111769392992056362962*c_1001_0^6 + 59725211226490500708351708/55884696496028181481*c_1001_0^5 - 13495025817847722321575363/15967056141722337566*c_1001_0^4 + 57534800690342248767871009/111769392992056362962*c_1001_0^3 - 10087769360652887555484164/55884696496028181481*c_1001_0^2 + 1459311941889419261436507/111769392992056362962*c_1001_0 + 471490142719471298655067/111769392992056362962, c_0011_0 - 1, c_0011_3 + 9847040482358003236/55884696496028181481*c_1001_0^17 - 25842088290168973880/55884696496028181481*c_1001_0^16 + 149467617739307962495/55884696496028181481*c_1001_0^15 - 429189051522379954930/55884696496028181481*c_1001_0^14 + 403080627636974481473/55884696496028181481*c_1001_0^13 + 375329745016684751246/55884696496028181481*c_1001_0^12 - 2055224919335638652788/55884696496028181481*c_1001_0^11 + 4732106973213636337213/55884696496028181481*c_1001_0^10 - 8747872191125217156683/55884696496028181481*c_1001_0^9 + 13602823062602561353802/55884696496028181481*c_1001_0^8 - 17903234636166567466911/55884696496028181481*c_1001_0^7 + 20470666405758352369377/55884696496028181481*c_1001_0^6 - 18995580852580166176266/55884696496028181481*c_1001_0^5 + 2014637791916913925870/7983528070861168783*c_1001_0^4 - 7773858060826881836957/55884696496028181481*c_1001_0^3 + 1867179296699863114550/55884696496028181481*c_1001_0^2 + 104098201869258660547/55884696496028181481*c_1001_0 + 29786011973372311009/55884696496028181481, c_0101_0 - 74775201796499455675/111769392992056362962*c_1001_0^17 + 117119765395461538601/55884696496028181481*c_1001_0^16 - 608483211357981252455/55884696496028181481*c_1001_0^15 + 3810618448753148057127/111769392992056362962*c_1001_0^14 - 2238285617059668398461/55884696496028181481*c_1001_0^13 - 892525112166690230244/55884696496028181481*c_1001_0^12 + 8608549866920728084300/55884696496028181481*c_1001_0^11 - 21530606535751293705493/55884696496028181481*c_1001_0^10 + 41020788726278609194125/55884696496028181481*c_1001_0^9 - 18809528388785259769673/15967056141722337566*c_1001_0^8 + 89375583196505738834602/55884696496028181481*c_1001_0^7 - 210754122426986588199467/111769392992056362962*c_1001_0^6 + 102975803406710297434496/55884696496028181481*c_1001_0^5 - 161887280620318821991047/111769392992056362962*c_1001_0^4 + 14029962961011137950243/15967056141722337566*c_1001_0^3 - 2392422116253202820209/7983528070861168783*c_1001_0^2 + 2097080250246708363179/111769392992056362962*c_1001_0 + 652111568904937507131/111769392992056362962, c_0101_1 - 3923056757852883661/111769392992056362962*c_1001_0^17 + 11776623106277248614/55884696496028181481*c_1001_0^16 - 40483271139564294999/55884696496028181481*c_1001_0^15 + 350968627975130586367/111769392992056362962*c_1001_0^14 - 278785127571277456441/55884696496028181481*c_1001_0^13 - 951808575230112025/55884696496028181481*c_1001_0^12 + 730453821727685285200/55884696496028181481*c_1001_0^11 - 1996348374154103904317/55884696496028181481*c_1001_0^10 + 3871065302941941005567/55884696496028181481*c_1001_0^9 - 12996129851072923136451/111769392992056362962*c_1001_0^8 + 8978987633252524245019/55884696496028181481*c_1001_0^7 - 21584732766293694176269/111769392992056362962*c_1001_0^6 + 10959267095327697511697/55884696496028181481*c_1001_0^5 - 2449719094463565226657/15967056141722337566*c_1001_0^4 + 10924576317612567921475/111769392992056362962*c_1001_0^3 - 1796725232147047835671/55884696496028181481*c_1001_0^2 - 220889113388543910407/111769392992056362962*c_1001_0 + 65394713327795160907/111769392992056362962, c_0101_2 - 4054117553609/4383554040826*c_1001_0^17 + 5840825793879/2191777020413*c_1001_0^16 - 32227776444803/2191777020413*c_1001_0^15 + 192770930593889/4383554040826*c_1001_0^14 - 106863640513245/2191777020413*c_1001_0^13 - 53554027297766/2191777020413*c_1001_0^12 + 443090299420875/2191777020413*c_1001_0^11 - 1088464909409112/2191777020413*c_1001_0^10 + 2065717155403770/2191777020413*c_1001_0^9 - 6573355305495117/4383554040826*c_1001_0^8 + 4444291497260074/2191777020413*c_1001_0^7 - 10422179532931335/4383554040826*c_1001_0^6 + 5048424553246747/2191777020413*c_1001_0^5 - 7917917594981615/4383554040826*c_1001_0^4 + 4730976645702549/4383554040826*c_1001_0^3 - 800844101046664/2191777020413*c_1001_0^2 + 111294227172599/4383554040826*c_1001_0 + 32306720837755/4383554040826, c_0101_3 - 20737213801489393393/111769392992056362962*c_1001_0^17 + 42346891538742850967/55884696496028181481*c_1001_0^16 - 193114296803499638573/55884696496028181481*c_1001_0^15 + 1349810786432787526607/111769392992056362962*c_1001_0^14 - 1029651812092120064772/55884696496028181481*c_1001_0^13 + 100391696676568750673/55884696496028181481*c_1001_0^12 + 2792818168662768239731/55884696496028181481*c_1001_0^11 - 7952307545533051042108/55884696496028181481*c_1001_0^10 + 15847347229893845975713/55884696496028181481*c_1001_0^9 - 52906508763806038114695/111769392992056362962*c_1001_0^8 + 5339447416891706550166/7983528070861168783*c_1001_0^7 - 13031887725423134356429/15967056141722337566*c_1001_0^6 + 47144655366203277274503/55884696496028181481*c_1001_0^5 - 78683579867276823200891/111769392992056362962*c_1001_0^4 + 51894154776611962088565/111769392992056362962*c_1001_0^3 - 11114518130327642371856/55884696496028181481*c_1001_0^2 + 3124870085073485796157/111769392992056362962*c_1001_0 + 517208796268586454163/111769392992056362962, c_1001_0^18 - 3*c_1001_0^17 + 16*c_1001_0^16 - 49*c_1001_0^15 + 55*c_1001_0^14 + 28*c_1001_0^13 - 226*c_1001_0^12 + 552*c_1001_0^11 - 1042*c_1001_0^10 + 1657*c_1001_0^9 - 2231*c_1001_0^8 + 2605*c_1001_0^7 - 2509*c_1001_0^6 + 1935*c_1001_0^5 - 1132*c_1001_0^4 + 345*c_1001_0^3 + 9*c_1001_0^2 - 14*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB