Magma V2.19-8 Tue Aug 20 2013 16:18:22 on localhost [Seed = 1275973986] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2569 geometric_solution 5.87145246 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 0 -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.609953133676 0.773217872494 0 3 2 4 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 0 0 1 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.797126047460 0.634838415317 4 1 5 0 3201 0213 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797126047460 0.634838415317 4 1 5 6 0132 0132 3201 0132 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 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.733419263059 1.008237082132 3 5 1 2 0132 3201 0132 2310 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 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.547358310872 0.079878887897 3 6 4 2 2310 1023 2310 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.733419263059 1.008237082132 5 6 3 6 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.311686937729 0.977320600580 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : 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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_5'], '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_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_0']})} 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_0011_5, c_0101_0, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 71165343297876893994102306414551/7273676605637435835365225819100*c_\ 0110_6^18 - 67650310534793999093427851668373/3636838302818717917682\ 612909550*c_0110_6^17 - 361240599170575411590143314284631/727367660\ 5637435835365225819100*c_0110_6^16 + 4452798708964037995284159850843/1454735321127487167073045163820*c_0\ 110_6^15 - 683974492975092750356614953941/1212279434272905972560870\ 96985*c_0110_6^14 + 69742978046296543343568482482011/80818628951527\ 0648373913979900*c_0110_6^13 - 181371731166114042016458405548923/48\ 4911773709162389024348387940*c_0110_6^12 + 6234092096620889787234726749992129/3636838302818717917682612909550*\ c_0110_6^11 + 10341167985045519115472090406795329/18184191514093589\ 58841306454775*c_0110_6^10 + 21567723033113596757755731284022973/72\ 73676605637435835365225819100*c_0110_6^9 + 18933305286270225324390349377629579/2424558868545811945121741939700\ *c_0110_6^8 + 33558160629217363164071654595602807/18184191514093589\ 58841306454775*c_0110_6^7 + 797816131437930463934475036946949/72736\ 766056374358353652258191*c_0110_6^6 + 3400467404246779272173465238653119/606139717136452986280435484925*c\ _0110_6^5 + 11648661978716066009302466618194789/2424558868545811945\ 121741939700*c_0110_6^4 - 956094652146438532742899226008073/7273676\ 605637435835365225819100*c_0110_6^3 - 16022966592419982038110758448537843/7273676605637435835365225819100\ *c_0110_6^2 - 8101435859076095717173882000213471/727367660563743583\ 5365225819100*c_0110_6 + 1620219922616833059671337024889049/3636838\ 302818717917682612909550, c_0011_0 - 1, c_0011_2 + 211561351824644342878324369/16163725790305412967478279598*c_\ 0110_6^18 - 266118386896272129762613453/808186289515270648373913979\ 9*c_0110_6^17 - 795016657061561455710923483/16163725790305412967478\ 279598*c_0110_6^16 + 647168806163382775046055409/161637257903054129\ 67478279598*c_0110_6^15 - 146097553019165336687137699/8081862895152\ 706483739139799*c_0110_6^14 + 2043447482458533871786507827/16163725\ 790305412967478279598*c_0110_6^13 - 9215192774877571294134731245/16163725790305412967478279598*c_0110_6\ ^12 + 21199026464814050839873169400/8081862895152706483739139799*c_\ 0110_6^11 + 49361279100865378207678163036/8081862895152706483739139\ 799*c_0110_6^10 - 5254143071109971277266781493/16163725790305412967\ 478279598*c_0110_6^9 + 144656012007276791388969323411/1616372579030\ 5412967478279598*c_0110_6^8 + 146879621734750088276665874656/808186\ 2895152706483739139799*c_0110_6^7 + 3825598568646306789617768670/8081862895152706483739139799*c_0110_6^\ 6 + 6165044332913950358645480958/8081862895152706483739139799*c_011\ 0_6^5 + 30622561457052949966435218233/16163725790305412967478279598\ *c_0110_6^4 - 75943011305079647391942287225/16163725790305412967478\ 279598*c_0110_6^3 - 61885413977182802700341604891/16163725790305412\ 967478279598*c_0110_6^2 - 3520883650831983295764334751/161637257903\ 05412967478279598*c_0110_6 + 7419497937541019814544137663/808186289\ 5152706483739139799, c_0011_5 - 299246006806120385952109095/16163725790305412967478279598*c_\ 0110_6^18 + 237564163883884368439394924/808186289515270648373913979\ 9*c_0110_6^17 + 1665410454353768418497631175/1616372579030541296747\ 8279598*c_0110_6^16 + 456499862275608071615805129/16163725790305412\ 967478279598*c_0110_6^15 + 141295178286240658673258880/808186289515\ 2706483739139799*c_0110_6^14 - 2673952583987276928504239433/1616372\ 5790305412967478279598*c_0110_6^13 + 10619408931862390012378883633/16163725790305412967478279598*c_0110_\ 6^12 - 24527431803214601778016887378/8081862895152706483739139799*c\ _0110_6^11 - 94520789387306151331777956330/808186289515270648373913\ 9799*c_0110_6^10 - 151213490800497766970685271787/16163725790305412\ 967478279598*c_0110_6^9 - 283913734280333313280830515875/1616372579\ 0305412967478279598*c_0110_6^8 - 320268180942340739245336830263/808\ 1862895152706483739139799*c_0110_6^7 - 266290317502505595452526673364/8081862895152706483739139799*c_0110_\ 6^6 - 165312526711430343983829443907/8081862895152706483739139799*c\ _0110_6^5 - 209830395218367241774719812411/161637257903054129674782\ 79598*c_0110_6^4 - 46172733839239358729671399311/161637257903054129\ 67478279598*c_0110_6^3 + 60033734636306481370326010725/161637257903\ 05412967478279598*c_0110_6^2 + 61557281235862006159542673433/161637\ 25790305412967478279598*c_0110_6 + 3164196549484036413731390815/8081862895152706483739139799, c_0101_0 + 53268355755287228424169617/16163725790305412967478279598*c_0\ 110_6^18 - 19174250008708519013347615/8081862895152706483739139799*\ c_0110_6^17 - 451689016719028728067115361/1616372579030541296747827\ 9598*c_0110_6^16 - 123802427008296259471680585/16163725790305412967\ 478279598*c_0110_6^15 + 76507677543796390790699750/8081862895152706\ 483739139799*c_0110_6^14 + 170830210860262033947573733/161637257903\ 05412967478279598*c_0110_6^13 - 1299665776694915612089581467/161637\ 25790305412967478279598*c_0110_6^12 + 3149004925654378541572109251/8081862895152706483739139799*c_0110_6^\ 11 + 22535665981736817186834724070/8081862895152706483739139799*c_0\ 110_6^10 + 39215403060816367393242899329/16163725790305412967478279\ 598*c_0110_6^9 + 37899861155324756530931592675/16163725790305412967\ 478279598*c_0110_6^8 + 80804676664974075379638524722/80818628951527\ 06483739139799*c_0110_6^7 + 65741645537789555727696556561/808186289\ 5152706483739139799*c_0110_6^6 + 14176181243957193809201258438/8081\ 862895152706483739139799*c_0110_6^5 + 72321371556457505220693801169/16163725790305412967478279598*c_0110_\ 6^4 + 8157323892633853696674434999/16163725790305412967478279598*c_\ 0110_6^3 - 32176939549366450047154539769/16163725790305412967478279\ 598*c_0110_6^2 - 20380087288129943739691885145/16163725790305412967\ 478279598*c_0110_6 - 2864146272804954956490323707/80818628951527064\ 83739139799, c_0101_2 - 170931376766273131789276157/8081862895152706483739139799*c_0\ 110_6^18 + 314261640672366230606202438/8081862895152706483739139799\ *c_0110_6^17 + 869629414907254759466965465/808186289515270648373913\ 9799*c_0110_6^16 + 43929985178688016676444241/808186289515270648373\ 9139799*c_0110_6^15 + 176744394599490591239483367/80818628951527064\ 83739139799*c_0110_6^14 - 1562760741321013493791693684/808186289515\ 2706483739139799*c_0110_6^13 + 6473766438837987965735327094/8081862\ 895152706483739139799*c_0110_6^12 - 29725767954916836167634505883/8081862895152706483739139799*c_0110_6\ ^11 - 100485034797506799257087850799/8081862895152706483739139799*c\ _0110_6^10 - 61537006690259737207452914666/808186289515270648373913\ 9799*c_0110_6^9 - 149171076446215016809809245762/808186289515270648\ 3739139799*c_0110_6^8 - 330725982041100887749289060996/808186289515\ 2706483739139799*c_0110_6^7 - 224648479206652811396245046389/808186\ 2895152706483739139799*c_0110_6^6 - 137152231963964129584745069202/8081862895152706483739139799*c_0110_\ 6^5 - 89629471300383122764104190421/8081862895152706483739139799*c_\ 0110_6^4 - 3036475500048941890506938137/808186289515270648373913979\ 9*c_0110_6^3 + 34623408051789794667604629775/8081862895152706483739\ 139799*c_0110_6^2 + 31055446272501018031277055239/80818628951527064\ 83739139799*c_0110_6 - 4069490355348457772599912067/808186289515270\ 6483739139799, c_0101_5 + 170931376766273131789276157/8081862895152706483739139799*c_0\ 110_6^18 - 314261640672366230606202438/8081862895152706483739139799\ *c_0110_6^17 - 869629414907254759466965465/808186289515270648373913\ 9799*c_0110_6^16 - 43929985178688016676444241/808186289515270648373\ 9139799*c_0110_6^15 - 176744394599490591239483367/80818628951527064\ 83739139799*c_0110_6^14 + 1562760741321013493791693684/808186289515\ 2706483739139799*c_0110_6^13 - 6473766438837987965735327094/8081862\ 895152706483739139799*c_0110_6^12 + 29725767954916836167634505883/8081862895152706483739139799*c_0110_6\ ^11 + 100485034797506799257087850799/8081862895152706483739139799*c\ _0110_6^10 + 61537006690259737207452914666/808186289515270648373913\ 9799*c_0110_6^9 + 149171076446215016809809245762/808186289515270648\ 3739139799*c_0110_6^8 + 330725982041100887749289060996/808186289515\ 2706483739139799*c_0110_6^7 + 224648479206652811396245046389/808186\ 2895152706483739139799*c_0110_6^6 + 137152231963964129584745069202/8081862895152706483739139799*c_0110_\ 6^5 + 89629471300383122764104190421/8081862895152706483739139799*c_\ 0110_6^4 + 3036475500048941890506938137/808186289515270648373913979\ 9*c_0110_6^3 - 34623408051789794667604629775/8081862895152706483739\ 139799*c_0110_6^2 - 31055446272501018031277055239/80818628951527064\ 83739139799*c_0110_6 + 4069490355348457772599912067/808186289515270\ 6483739139799, c_0110_6^19 - 2*c_0110_6^18 - 5*c_0110_6^17 + c_0110_6^16 + 9*c_0110_6^14 - 39*c_0110_6^13 + 178*c_0110_6^12 + 568*c_0110_6^11 + 227*c_0110_6^10 + 699*c_0110_6^9 + 1756*c_0110_6^8 + 832*c_0110_6^7 + 228*c_0110_6^6 + 249*c_0110_6^5 - 175*c_0110_6^4 - 305*c_0110_6^3 - 113*c_0110_6^2 + 74*c_0110_6 + 12 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB