Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 2480017214] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1308 geometric_solution 5.19477537 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.726986842117 0.125988041993 0 3 0 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.664566977100 0.231432788079 4 0 4 0 0132 0132 1023 1023 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 -1 0 1 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.664566977100 0.231432788079 5 1 6 1 0132 0132 0132 1023 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 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.860915464947 1.106646339957 2 5 2 6 0132 3201 1023 3201 0 0 0 0 0 1 -1 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 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.860915464947 1.106646339957 3 5 4 5 0132 2310 2310 3201 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 0 1 -1 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 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.280747002355 1.146039432586 6 4 6 3 2031 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492439622465 1.307975151156 ==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' : 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' : negation(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' : 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_6']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], '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_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0101_4']})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1050064094276986210623348103934267213225/17847948849485637734106093\ 63658217904*c_0101_4^17 + 162784918161516422061473776987071955015/4\ 46198721237140943352652340914554476*c_0101_4^16 - 4743781028563188859405273431290742564719/17847948849485637734106093\ 63658217904*c_0101_4^15 + 7857434326389790728440327581917361098277/\ 892397442474281886705304681829108952*c_0101_4^14 + 1039152649770840119373749253072646575149/59493162831618792447020312\ 1219405968*c_0101_4^13 + 30477988485870304760194549618238539344625/\ 892397442474281886705304681829108952*c_0101_4^12 + 14402732315993737717516548327789473722075/8923974424742818867053046\ 81829108952*c_0101_4^11 + 10752181229468209822906153608304795323085\ /1784794884948563773410609363658217904*c_0101_4^10 + 105579365009197693103265966358910660279653/178479488494856377341060\ 9363658217904*c_0101_4^9 - 5967050063295100128723002196948744482777\ 5/1784794884948563773410609363658217904*c_0101_4^8 + 87885493743431158829543648930891030452823/8923974424742818867053046\ 81829108952*c_0101_4^7 - 1128087877599495757294118535508649844981/7\ 4366453539523490558775390152425746*c_0101_4^6 - 53038985217956043896861597054226373598283/5949316283161879244702031\ 21219405968*c_0101_4^5 + 9005487825154984968283411602170052800981/4\ 46198721237140943352652340914554476*c_0101_4^4 + 1822468851344531224718874283839803287991/29746581415809396223510156\ 0609702984*c_0101_4^3 - 165031336134426679529054925863163897693/148\ 732907079046981117550780304851492*c_0101_4^2 - 203208575640974543291595016533054839929/892397442474281886705304681\ 829108952*c_0101_4 + 19242555620428633661747871017543479705/1784794\ 884948563773410609363658217904, c_0011_0 - 1, c_0011_6 + 976569978975503889460038161906944625/11154968030928523583816\ 3085228638619*c_0101_4^17 - 985552395488682701287118569668932650/11\ 1549680309285235838163085228638619*c_0101_4^16 + 4567877082097389438558812192458728410/11154968030928523583816308522\ 8638619*c_0101_4^15 - 16281420771026702444014159275871035545/111549\ 680309285235838163085228638619*c_0101_4^14 + 809249362179481515559182403169198515/371832267697617452793876950762\ 12873*c_0101_4^13 - 54366631411197856569284156397064881089/11154968\ 0309285235838163085228638619*c_0101_4^12 - 4508295923821549267406435512525201643/11154968030928523583816308522\ 8638619*c_0101_4^11 + 5041576418008987778798218185451135640/1115496\ 80309285235838163085228638619*c_0101_4^10 - 92181577539414491166280820984034817525/1115496803092852358381630852\ 28638619*c_0101_4^9 + 94480028827776925164807914097530941345/111549\ 680309285235838163085228638619*c_0101_4^8 - 177146690363986948061409734590439779384/111549680309285235838163085\ 228638619*c_0101_4^7 + 28037231380048346973171130648535269055/37183\ 226769761745279387695076212873*c_0101_4^6 + 50486496078106879844837862555077993836/3718322676976174527938769507\ 6212873*c_0101_4^5 - 93426610422251890700739420660169692617/1115496\ 80309285235838163085228638619*c_0101_4^4 - 3069320613337902054843303438202913499/37183226769761745279387695076\ 212873*c_0101_4^3 + 2799954630585138174482136778451955849/371832267\ 69761745279387695076212873*c_0101_4^2 + 375311566076055668245509738306940481/111549680309285235838163085228\ 638619*c_0101_4 - 297612936723738450827886514210876135/111549680309\ 285235838163085228638619, c_0101_0 + c_0101_4, c_0101_1 - 3028399129155604735079222084066373625/2230993606185704716763\ 26170457277238*c_0101_4^17 + 829948886439678949226347993249018000/1\ 11549680309285235838163085228638619*c_0101_4^16 - 13471092918796695011585701362109991065/2230993606185704716763261704\ 57277238*c_0101_4^15 + 22147194533808845493991944936421222034/11154\ 9680309285235838163085228638619*c_0101_4^14 + 4196243485345577897056117469796030203/74366453539523490558775390152\ 425746*c_0101_4^13 + 87671338867675967756041390011228539294/1115496\ 80309285235838163085228638619*c_0101_4^12 + 47723443756199035981678155345082412354/1115496803092852358381630852\ 28638619*c_0101_4^11 + 32644155399169922928819126084916697717/22309\ 9360618570471676326170457277238*c_0101_4^10 + 304431268215897540844486633028388289301/223099360618570471676326170\ 457277238*c_0101_4^9 - 150982135760302541313662279809237877525/2230\ 99360618570471676326170457277238*c_0101_4^8 + 243472118826198662957815804412136093184/111549680309285235838163085\ 228638619*c_0101_4^7 - 6262131765305342660310896311614750078/371832\ 26769761745279387695076212873*c_0101_4^6 - 158903023287523438027885714938368315751/743664535395234905587753901\ 52425746*c_0101_4^5 + 36088325589360915293459971283748095801/111549\ 680309285235838163085228638619*c_0101_4^4 + 8477956934520275163193783901373350853/37183226769761745279387695076\ 212873*c_0101_4^3 - 934559968462017043483125900133809500/3718322676\ 9761745279387695076212873*c_0101_4^2 - 1121534307737456364087673132268243165/11154968030928523583816308522\ 8638619*c_0101_4 + 189597684923678670390364482864835475/22309936061\ 8570471676326170457277238, c_0101_2 + 1402583061336070509542417903830052575/1115496803092852358381\ 63085228638619*c_0101_4^17 - 781673865462859310929702108498458020/1\ 11549680309285235838163085228638619*c_0101_4^16 + 6229651816272446026184165069250976618/11154968030928523583816308522\ 8638619*c_0101_4^15 - 20564667467152078419335148670075889017/111549\ 680309285235838163085228638619*c_0101_4^14 - 1905163787516316192311752314656682197/37183226769761745279387695076\ 212873*c_0101_4^13 - 80920816681600704628100820504052600243/1115496\ 80309285235838163085228638619*c_0101_4^12 - 43373760763782424949579427365079402562/1115496803092852358381630852\ 28638619*c_0101_4^11 - 13729161081040702364331627889271586008/11154\ 9680309285235838163085228638619*c_0101_4^10 - 140241139478556686740735898413007939930/111549680309285235838163085\ 228638619*c_0101_4^9 + 71555562813210721510924184276169555386/11154\ 9680309285235838163085228638619*c_0101_4^8 - 224450808975178803641314376974891627796/111549680309285235838163085\ 228638619*c_0101_4^7 + 6300081204033570266441938218796319395/371832\ 26769761745279387695076212873*c_0101_4^6 + 74455940089269408810838601919063109705/3718322676976174527938769507\ 6212873*c_0101_4^5 - 35423653735302870471593589898257007333/1115496\ 80309285235838163085228638619*c_0101_4^4 - 8500131638729249535223541294628855178/37183226769761745279387695076\ 212873*c_0101_4^3 + 965133138977525250848554437865172673/3718322676\ 9761745279387695076212873*c_0101_4^2 + 1133423384529053926687038328093323601/11154968030928523583816308522\ 8638619*c_0101_4 - 95045675310665086993180616954901377/111549680309\ 285235838163085228638619, c_0101_3 + 212129764685628853161922694857999175/11154968030928523583816\ 3085228638619*c_0101_4^17 - 98583572982436465668737977063624705/111\ 549680309285235838163085228638619*c_0101_4^16 + 938153905794169781743918891191310682/111549680309285235838163085228\ 638619*c_0101_4^15 - 3026224609831665736204990430504904080/11154968\ 0309285235838163085228638619*c_0101_4^14 - 374379045984000511333645439322756682/371832267697617452793876950762\ 12873*c_0101_4^13 - 12416694396376554551045432689737764156/11154968\ 0309285235838163085228638619*c_0101_4^12 - 7735220841872469202268303592121982069/11154968030928523583816308522\ 8638619*c_0101_4^11 - 3069881622656771726607891291234835666/1115496\ 80309285235838163085228638619*c_0101_4^10 - 21644411972994677582428658105771811268/1115496803092852358381630852\ 28638619*c_0101_4^9 + 8831056119425975831872860714459527518/1115496\ 80309285235838163085228638619*c_0101_4^8 - 33593097227910490677076424271290735020/1115496803092852358381630852\ 28638619*c_0101_4^7 - 2364839260685134600601588384041360/3718322676\ 9761745279387695076212873*c_0101_4^6 + 11026218575421784783528982615770592511/3718322676976174527938769507\ 6212873*c_0101_4^5 - 2333181481245941188445389752310953269/11154968\ 0309285235838163085228638619*c_0101_4^4 - 1046569565091106744060163895011565206/37183226769761745279387695076\ 212873*c_0101_4^3 + 6290801411122791345550969575124294/371832267697\ 61745279387695076212873*c_0101_4^2 - 216012528945185076488874926286154438/111549680309285235838163085228\ 638619*c_0101_4 + 9258247404065057468860385226827078/11154968030928\ 5235838163085228638619, c_0101_4^18 - 3/5*c_0101_4^17 + 111/25*c_0101_4^16 - 371/25*c_0101_4^15 - 89/25*c_0101_4^14 - 1429/25*c_0101_4^13 - 708/25*c_0101_4^12 - 7*c_0101_4^11 - 2466/25*c_0101_4^10 + 278/5*c_0101_4^9 - 3991/25*c_0101_4^8 + 482/25*c_0101_4^7 + 813/5*c_0101_4^6 - 799/25*c_0101_4^5 - 106/5*c_0101_4^4 + 78/25*c_0101_4^3 + 34/25*c_0101_4^2 - 3/25*c_0101_4 - 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB