Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1932717642] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2372 geometric_solution 5.74149524 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 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.125352614890 0.638577916825 0 4 3 5 0132 0132 1302 0132 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 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.365491486868 0.545070738354 2 0 0 2 3201 0132 1023 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 0 0 0 0 0 0 0 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.670113043192 0.644329117455 1 5 0 4 2031 1023 0132 2310 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365491486868 0.545070738354 3 1 4 4 3201 0132 1230 3012 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 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.151373922555 1.265586913072 3 6 1 6 1023 0132 0132 2310 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 0 1 0 -1 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 1.107517843551 0.711314130980 5 5 6 6 3201 0132 1230 3012 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 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.456072582965 0.330917711106 ==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' : d['1'], 's_2_1' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_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_3, c_0101_0, c_0101_2, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1456379953194801890621197797786602633756/26994494741996516945660594\ 8224065903605*c_0110_6^26 + 481930798353949635315481193924164595445\ 083/269944947419965169456605948224065903605*c_0110_6^24 - 9793090270538562913726752470771405742353629/26994494741996516945660\ 5948224065903605*c_0110_6^22 + 674725703530288358643572332227445363\ 43105982/269944947419965169456605948224065903605*c_0110_6^20 - 204340747895386630111767008450784588129101937/269944947419965169456\ 605948224065903605*c_0110_6^18 + 5338091972691407282113148351372587\ 6721581313/53988989483993033891321189644813180721*c_0110_6^16 - 93323087104059204093884345737599176765432437/2699449474199651694566\ 05948224065903605*c_0110_6^14 - 13652431977018607640637691923804551\ 557566263/269944947419965169456605948224065903605*c_0110_6^12 - 101012762807724698126740861907572755823305127/269944947419965169456\ 605948224065903605*c_0110_6^10 + 1095066838097757539335877665767977\ 14829814201/269944947419965169456605948224065903605*c_0110_6^8 - 24948458487537070311384946279302928052237896/2699449474199651694566\ 05948224065903605*c_0110_6^6 - 153740037249918075494825458915345810\ 2421234/269944947419965169456605948224065903605*c_0110_6^4 + 261138918721239953516339052193648507804468/269944947419965169456605\ 948224065903605*c_0110_6^2 + 11008549508238358892515929037775031963\ 7571/269944947419965169456605948224065903605, c_0011_0 - 1, c_0011_3 + 12078127759681835972099589355239855534/269944947419965169456\ 605948224065903605*c_0110_6^27 - 3997175743667177510131140325145467\ 191827/269944947419965169456605948224065903605*c_0110_6^25 + 81349236950883318982429406435739491452451/2699449474199651694566059\ 48224065903605*c_0110_6^23 - 56219114294329078003096201004665874384\ 2308/269944947419965169456605948224065903605*c_0110_6^21 + 1711726803619587487236263225524928554244678/26994494741996516945660\ 5948224065903605*c_0110_6^19 - 451930993191602412109022995333617737\ 231213/53988989483993033891321189644813180721*c_0110_6^17 + 818432259436182071853582342207031002037033/269944947419965169456605\ 948224065903605*c_0110_6^15 + 1208708259755971992176619602207073265\ 46347/269944947419965169456605948224065903605*c_0110_6^13 + 827995312653643270026535545140602585724053/269944947419965169456605\ 948224065903605*c_0110_6^11 - 9376115540273084719090162593069073213\ 45039/269944947419965169456605948224065903605*c_0110_6^9 + 220677816301716205561370798440486294055619/269944947419965169456605\ 948224065903605*c_0110_6^7 + 17435022948561955655127798837143408268\ 061/269944947419965169456605948224065903605*c_0110_6^5 - 4550071271273589751928838157736559345897/26994494741996516945660594\ 8224065903605*c_0110_6^3 - 937324912071394999097440265157840428119/\ 269944947419965169456605948224065903605*c_0110_6, c_0101_0 + 27650084099313997478107834673123773578/269944947419965169456\ 605948224065903605*c_0110_6^27 - 9151465918550122471851986119272244\ 182502/269944947419965169456605948224065903605*c_0110_6^25 + 37302646604607388261596731867258294185906/5398898948399303389132118\ 9644813180721*c_0110_6^23 - 129274146511738543943124769571254141212\ 2117/269944947419965169456605948224065903605*c_0110_6^21 + 791587759646968299114427215139196088504116/539889894839930338913211\ 89644813180721*c_0110_6^19 - 52915042833833076515403304212689319571\ 18093/269944947419965169456605948224065903605*c_0110_6^17 + 405753978202296344581485126670630145368863/539889894839930338913211\ 89644813180721*c_0110_6^15 + 21619289495683453777656048199872101584\ 6896/269944947419965169456605948224065903605*c_0110_6^13 + 1900639712194105695053235974845935731117896/26994494741996516945660\ 5948224065903605*c_0110_6^11 - 220848638649379622483331831334353384\ 0787794/269944947419965169456605948224065903605*c_0110_6^9 + 564522813687269681038801294274222246106824/269944947419965169456605\ 948224065903605*c_0110_6^7 + 20431435803063527476025958514688744860\ 751/269944947419965169456605948224065903605*c_0110_6^5 - 5190907274578719503647972983343631608443/26994494741996516945660594\ 8224065903605*c_0110_6^3 - 2269638467562583130079662760989936993567\ /269944947419965169456605948224065903605*c_0110_6, c_0101_2 + 2603144328729184001189569778262570175/5398898948399303389132\ 1189644813180721*c_0110_6^27 - 430786973136333635493784237329752262\ 0868/269944947419965169456605948224065903605*c_0110_6^25 + 87797537612179753759268576979097837539433/2699449474199651694566059\ 48224065903605*c_0110_6^23 - 60848978473619407313777808951645057062\ 0026/269944947419965169456605948224065903605*c_0110_6^21 + 1862101436424679674015953956171936550359809/26994494741996516945660\ 5948224065903605*c_0110_6^19 - 248272041115854165243663173272889030\ 8342738/269944947419965169456605948224065903605*c_0110_6^17 + 925098079991975073900483029770155373714419/269944947419965169456605\ 948224065903605*c_0110_6^15 + 1536729030271077019044237707989090619\ 04727/269944947419965169456605948224065903605*c_0110_6^13 + 172353833629499854920408286379984027633371/539889894839930338913211\ 89644813180721*c_0110_6^11 - 10437838347188767576964897889775012227\ 79596/269944947419965169456605948224065903605*c_0110_6^9 + 256283110029127100184769194481530460998681/269944947419965169456605\ 948224065903605*c_0110_6^7 + 36980526975253531961683769578614992831\ 384/269944947419965169456605948224065903605*c_0110_6^5 - 10400829551584702413940158365019522309619/2699449474199651694566059\ 48224065903605*c_0110_6^3 - 164301595493486090953059946362773853275\ 4/269944947419965169456605948224065903605*c_0110_6, c_0101_4 + 5104290825312200460464926816729694729/2699449474199651694566\ 05948224065903605*c_0110_6^26 - 16889012210888487008107826169542539\ 58843/269944947419965169456605948224065903605*c_0110_6^24 + 34269613244920930332346223040037016073617/2699449474199651694566059\ 48224065903605*c_0110_6^22 - 47076574437196197694706852169037831782\ 878/53988989483993033891321189644813180721*c_0110_6^20 + 708431459247661163599010372914921254401076/269944947419965169456605\ 948224065903605*c_0110_6^18 - 9111902603613157188348796655174210775\ 86956/269944947419965169456605948224065903605*c_0110_6^16 + 294515135150544287867298330666828432707541/269944947419965169456605\ 948224065903605*c_0110_6^14 + 5691824252549468594888596171900770991\ 2051/269944947419965169456605948224065903605*c_0110_6^12 + 361766832318029596374849835145998161482508/269944947419965169456605\ 948224065903605*c_0110_6^10 - 3714262518458683849581827180548958221\ 25896/269944947419965169456605948224065903605*c_0110_6^8 + 71927767530615173848293114321367958259051/2699449474199651694566059\ 48224065903605*c_0110_6^6 + 491889050500954336047006996250337213539\ 9/269944947419965169456605948224065903605*c_0110_6^4 + 91913508860698815333049577903694978693/5398898948399303389132118964\ 4813180721*c_0110_6^2 - 144489535659293888409296224630936536182/269\ 944947419965169456605948224065903605, c_0101_6 + 4419774807184052449568449650585831273/2699449474199651694566\ 05948224065903605*c_0110_6^26 - 14612204126774667013712970839769594\ 91677/269944947419965169456605948224065903605*c_0110_6^24 + 5856169484952799173915947843015929653539/53988989483993033891321189\ 644813180721*c_0110_6^22 - 1959715770753578997388588040390429940031\ 02/269944947419965169456605948224065903605*c_0110_6^20 + 112265065272774341014736829488129701755092/539889894839930338913211\ 89644813180721*c_0110_6^18 - 64179346302362870738349078770021191709\ 4823/269944947419965169456605948224065903605*c_0110_6^16 + 18315486833562907242267093984784224449956/5398898948399303389132118\ 9644813180721*c_0110_6^14 + 674512911802758072484080613260238897421\ 11/269944947419965169456605948224065903605*c_0110_6^12 + 327811307264630067472779624247839272481751/269944947419965169456605\ 948224065903605*c_0110_6^10 - 2345929559498195815924994874939926870\ 39634/269944947419965169456605948224065903605*c_0110_6^8 + 5823765547022789331129549306282683625629/26994494741996516945660594\ 8224065903605*c_0110_6^6 + 5973609687270565903801545991307721246861\ /269944947419965169456605948224065903605*c_0110_6^4 + 1800457573541452357018258497777450594217/26994494741996516945660594\ 8224065903605*c_0110_6^2 + 39785733102349634553463274223654547293/2\ 69944947419965169456605948224065903605, c_0110_6^28 - 331*c_0110_6^26 + 6754*c_0110_6^24 - 46925*c_0110_6^22 + 144300*c_0110_6^20 - 194719*c_0110_6^18 + 77208*c_0110_6^16 + 7494*c_0110_6^14 + 67879*c_0110_6^12 - 81817*c_0110_6^10 + 21966*c_0110_6^8 + 949*c_0110_6^6 - 343*c_0110_6^4 - 94*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB