Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 4139215397] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1255 geometric_solution 5.15223187 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 0 1 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 -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.453988667094 0.585205499440 0 3 2 4 0132 0132 1230 0132 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 0 0 0 1 0 -1 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 1.172416126970 1.066781329245 3 0 4 1 2310 0132 2310 3012 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 -1 0 1 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 1.172416126970 1.066781329245 3 1 2 3 3201 0132 3201 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 -1 0 1 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.269884328380 0.681556956771 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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.664035841820 0.256802383134 4 6 6 4 0132 0132 1023 1023 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 1.056927139982 0.368059052530 6 5 5 6 3201 0132 1023 2310 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 0 0 0 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.173617044740 0.218109736956 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], '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_0011_4']), '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, 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 - 3761506359439890222510331/36874102789738320165701*c_0101_6^19 - 21111503487076052323485017/36874102789738320165701*c_0101_6^18 + 143080460132889781789610321/36874102789738320165701*c_0101_6^17 - 171423680763775490015699886/36874102789738320165701*c_0101_6^16 - 494791800482405591634267997/36874102789738320165701*c_0101_6^15 + 1836088041994003728049910183/36874102789738320165701*c_0101_6^14 - 1268472871625620240836484540/36874102789738320165701*c_0101_6^13 - 2555202235303048455659470450/36874102789738320165701*c_0101_6^12 + 4472620546951750222548422223/36874102789738320165701*c_0101_6^11 - 2040536551967630815618897721/36874102789738320165701*c_0101_6^10 - 929985918981843847784789067/36874102789738320165701*c_0101_6^9 + 2855056226157466034753468035/36874102789738320165701*c_0101_6^8 - 2499133577201741194214080806/36874102789738320165701*c_0101_6^7 - 667694652762187980851976829/36874102789738320165701*c_0101_6^6 + 1675276617745642895944223903/36874102789738320165701*c_0101_6^5 - 146846860208506862331952490/36874102789738320165701*c_0101_6^4 - 328479167918910071733118888/36874102789738320165701*c_0101_6^3 + 73123586633057752148762437/36874102789738320165701*c_0101_6^2 + 23694431510016291628625955/36874102789738320165701*c_0101_6 - 7473419109598361173224368/36874102789738320165701, c_0011_0 - 1, c_0011_4 - 380918146810940617023663/36874102789738320165701*c_0101_6^19 - 2384965099698322383066096/36874102789738320165701*c_0101_6^18 + 13069855293849331948294323/36874102789738320165701*c_0101_6^17 - 8134335158679131717613745/36874102789738320165701*c_0101_6^16 - 60028694273743058268308683/36874102789738320165701*c_0101_6^15 + 151545835468003902148666997/36874102789738320165701*c_0101_6^14 - 12109961963646286433008133/36874102789738320165701*c_0101_6^13 - 323957340264080091894881366/36874102789738320165701*c_0101_6^12 + 269923179439628183610365362/36874102789738320165701*c_0101_6^11 + 63165802031442015589554667/36874102789738320165701*c_0101_6^10 - 178734337578847336811561729/36874102789738320165701*c_0101_6^9 + 205743144538917773352449272/36874102789738320165701*c_0101_6^8 - 78291651445215756737645396/36874102789738320165701*c_0101_6^7 - 202010159260809291563637967/36874102789738320165701*c_0101_6^6 + 98756136427458766242011766/36874102789738320165701*c_0101_6^5 + 89490529361913760610377893/36874102789738320165701*c_0101_6^4 - 21033916477633547953788066/36874102789738320165701*c_0101_6^3 - 15959983757696985655880734/36874102789738320165701*c_0101_6^2 + 1198427277241055720038363/36874102789738320165701*c_0101_6 + 969749565642601976742110/36874102789738320165701, c_0101_0 + 692563929645586599930237/36874102789738320165701*c_0101_6^19 + 4369736114395003747743563/36874102789738320165701*c_0101_6^18 - 23549514749703549722858644/36874102789738320165701*c_0101_6^17 + 13666848275270578352339912/36874102789738320165701*c_0101_6^16 + 109779288130226608697803345/36874102789738320165701*c_0101_6^15 - 270377564059231209032541753/36874102789738320165701*c_0101_6^14 + 9303744736059569350718232/36874102789738320165701*c_0101_6^13 + 589690841739243575431972415/36874102789738320165701*c_0101_6^12 - 464362372991158074854762427/36874102789738320165701*c_0101_6^11 - 135992009442569270435762606/36874102789738320165701*c_0101_6^10 + 322107860957031867826076331/36874102789738320165701*c_0101_6^9 - 362200623351711357937467445/36874102789738320165701*c_0101_6^8 + 124385301252097577047224275/36874102789738320165701*c_0101_6^7 + 374997788622119624006664469/36874102789738320165701*c_0101_6^6 - 164296119811031687936776252/36874102789738320165701*c_0101_6^5 - 168750452034808839099151426/36874102789738320165701*c_0101_6^4 + 32781764333417221853095849/36874102789738320165701*c_0101_6^3 + 29101261708228197505966555/36874102789738320165701*c_0101_6^2 - 1747674622397793771976175/36874102789738320165701*c_0101_6 - 1693886231208565513025210/36874102789738320165701, c_0101_1 + 756739576634967798988085/36874102789738320165701*c_0101_6^19 + 4788325372543457520503553/36874102789738320165701*c_0101_6^18 - 25651232049991940625749203/36874102789738320165701*c_0101_6^17 + 14434638670446150395616220/36874102789738320165701*c_0101_6^16 + 120435279315763750012185031/36874102789738320165701*c_0101_6^15 - 293484710521574818327180032/36874102789738320165701*c_0101_6^14 + 4018947444768682256250287/36874102789738320165701*c_0101_6^13 + 647182195363479115736359249/36874102789738320165701*c_0101_6^12 - 497150887862452005731211108/36874102789738320165701*c_0101_6^11 - 162003647100454462583316089/36874102789738320165701*c_0101_6^10 + 355286764160101980693665059/36874102789738320165701*c_0101_6^9 - 391256188581866020584884191/36874102789738320165701*c_0101_6^8 + 126932431021044100944764274/36874102789738320165701*c_0101_6^7 + 416128691853421040426000016/36874102789738320165701*c_0101_6^6 - 175112126856592407748249941/36874102789738320165701*c_0101_6^5 - 189240681395741484043196416/36874102789738320165701*c_0101_6^4 + 34710425404914094678302542/36874102789738320165701*c_0101_6^3 + 32704008153787469359669987/36874102789738320165701*c_0101_6^2 - 1805648228197491446074269/36874102789738320165701*c_0101_6 - 1920170148937435019929058/36874102789738320165701, c_0101_2 - 752872026642605819581133/36874102789738320165701*c_0101_6^19 - 4772655741904986818169399/36874102789738320165701*c_0101_6^18 + 25475834831241112426822698/36874102789738320165701*c_0101_6^17 - 13992218310381849381724336/36874102789738320165701*c_0101_6^16 - 120383320402609271040002142/36874102789738320165701*c_0101_6^15 + 290880134786836183328320813/36874102789738320165701*c_0101_6^14 + 1100102398614696494472332/36874102789738320165701*c_0101_6^13 - 648551468408208007110452612/36874102789738320165701*c_0101_6^12 + 488232046314765474348963490/36874102789738320165701*c_0101_6^11 + 175563111139232181565389818/36874102789738320165701*c_0101_6^10 - 360160193833286999625984469/36874102789738320165701*c_0101_6^9 + 385739036598088710476818595/36874102789738320165701*c_0101_6^8 - 118283344504856250767047108/36874102789738320165701*c_0101_6^7 - 421583713716306634034082506/36874102789738320165701*c_0101_6^6 + 172745075841856872791456044/36874102789738320165701*c_0101_6^5 + 194823694286063021360325475/36874102789738320165701*c_0101_6^4 - 34845390680261643625972078/36874102789738320165701*c_0101_6^3 - 34675234188506042669942351/36874102789738320165701*c_0101_6^2 + 1744165827347068533828135/36874102789738320165701*c_0101_6 + 2092713682091533144505712/36874102789738320165701, c_0101_5 + 226283917728869506903848/36874102789738320165701*c_0101_6^19 + 1421879153362598240480936/36874102789738320165701*c_0101_6^18 - 7727631780090848475778538/36874102789738320165701*c_0101_6^17 + 4686800231577694304224881/36874102789738320165701*c_0101_6^16 + 35615513725421476106468900/36874102789738320165701*c_0101_6^15 - 89135216532894311230215282/36874102789738320165701*c_0101_6^14 + 5857195006951687589054265/36874102789738320165701*c_0101_6^13 + 190903359379638975391168271/36874102789738320165701*c_0101_6^12 - 155894380794088404705941830/36874102789738320165701*c_0101_6^11 - 37766761061329060028333337/36874102789738320165701*c_0101_6^10 + 102743911529841557280736029/36874102789738320165701*c_0101_6^9 - 120015309099374543306316368/36874102789738320165701*c_0101_6^8 + 44712991949456796603237702/36874102789738320165701*c_0101_6^7 + 119083347399314319953021719/36874102789738320165701*c_0101_6^6 - 55039761803468124014799853/36874102789738320165701*c_0101_6^5 - 52678531825401578588685569/36874102789738320165701*c_0101_6^4 + 10963235203380216515589882/36874102789738320165701*c_0101_6^3 + 8943462521091827539225981/36874102789738320165701*c_0101_6^2 - 659773888499510457303979/36874102789738320165701*c_0101_6 - 510541441257436687905790/36874102789738320165701, c_0101_6^20 + 6*c_0101_6^19 - 36*c_0101_6^18 + 30*c_0101_6^17 + 154*c_0101_6^16 - 441*c_0101_6^15 + 128*c_0101_6^14 + 867*c_0101_6^13 - 943*c_0101_6^12 - 22*c_0101_6^11 + 569*c_0101_6^10 - 677*c_0101_6^9 + 326*c_0101_6^8 + 515*c_0101_6^7 - 425*c_0101_6^6 - 185*c_0101_6^5 + 139*c_0101_6^4 + 31*c_0101_6^3 - 19*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB