Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 846442268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2579 geometric_solution 5.87878852 oriented_manifold CS_known -0.0000000000000001 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 0 0 1 -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.542935232842 0.479750887582 0 3 4 3 0132 0132 0132 3120 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 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.256168054327 0.831161727201 4 4 3 0 2031 1023 0321 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 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.965718623077 0.913916391079 1 1 2 5 3120 0132 0321 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 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 1.490969271833 1.114130218412 2 5 2 1 1023 2310 1302 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 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.100539747755 1.276295584741 6 6 3 4 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.009515400469 0.716411113040 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.829815356624 0.840910188399 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), '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' : negation(d['c_0011_2']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_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' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 966978945201224253039232/71733169047018742824393*c_0101_6^18 + 3423345740579672024941268/71733169047018742824393*c_0101_6^17 + 96634712825942379616799/3415865192715178229733*c_0101_6^16 - 16618860739538837709916765/71733169047018742824393*c_0101_6^15 - 1517350447940032732747424/23911056349006247608131*c_0101_6^14 + 52983459364753264054318591/71733169047018742824393*c_0101_6^13 + 9447439634533284106804805/23911056349006247608131*c_0101_6^12 - 160186288096136003673440606/71733169047018742824393*c_0101_6^11 - 31372423076557353739527151/71733169047018742824393*c_0101_6^10 + 253526208336943165871770435/71733169047018742824393*c_0101_6^9 + 77118425221198285375129849/71733169047018742824393*c_0101_6^8 - 381396842569918479156163954/71733169047018742824393*c_0101_6^7 - 61722406935560227864016105/71733169047018742824393*c_0101_6^6 + 344234417602747628073375676/71733169047018742824393*c_0101_6^5 + 29377569990970677917695438/23911056349006247608131*c_0101_6^4 - 24630783473310714076274477/7970352116335415869377*c_0101_6^3 + 4710839676962013815660285/71733169047018742824393*c_0101_6^2 + 14486748534563617995616333/10247595578145534689199*c_0101_6 + 29427295380863796839560945/71733169047018742824393, c_0011_0 - 1, c_0011_2 + 134379216052906253/3189416613179438123*c_0101_6^18 - 435627825115430389/3189416613179438123*c_0101_6^17 - 380772006265826716/3189416613179438123*c_0101_6^16 + 2109734044467692210/3189416613179438123*c_0101_6^15 + 1224817535977516646/3189416613179438123*c_0101_6^14 - 6865665299928926138/3189416613179438123*c_0101_6^13 - 5652430619234046403/3189416613179438123*c_0101_6^12 + 20367835983614387771/3189416613179438123*c_0101_6^11 + 8798564719985621063/3189416613179438123*c_0101_6^10 - 31906338530677448056/3189416613179438123*c_0101_6^9 - 18970365971407711030/3189416613179438123*c_0101_6^8 + 51028621400021484627/3189416613179438123*c_0101_6^7 + 17689578474687897000/3189416613179438123*c_0101_6^6 - 44120462146990583788/3189416613179438123*c_0101_6^5 - 22219603128576523640/3189416613179438123*c_0101_6^4 + 32073891632007337561/3189416613179438123*c_0101_6^3 + 4400989347282476368/3189416613179438123*c_0101_6^2 - 14880324225888105100/3189416613179438123*c_0101_6 - 6256291878643579462/3189416613179438123, c_0011_5 - 733774900607114205/3189416613179438123*c_0101_6^18 + 2571488635907031182/3189416613179438123*c_0101_6^17 + 1666987603638177844/3189416613179438123*c_0101_6^16 - 12639290936508486073/3189416613179438123*c_0101_6^15 - 4022908023715637395/3189416613179438123*c_0101_6^14 + 40390318929612706856/3189416613179438123*c_0101_6^13 + 23398688107890212528/3189416613179438123*c_0101_6^12 - 121711131981820248030/3189416613179438123*c_0101_6^11 - 29811661860353597164/3189416613179438123*c_0101_6^10 + 194050322264326967643/3189416613179438123*c_0101_6^9 + 67183576334737999493/3189416613179438123*c_0101_6^8 - 289899436683799731041/3189416613179438123*c_0101_6^7 - 60851015773309042385/3189416613179438123*c_0101_6^6 + 266234518474422338493/3189416613179438123*c_0101_6^5 + 76501798634620634869/3189416613179438123*c_0101_6^4 - 168507439655341604011/3189416613179438123*c_0101_6^3 - 2781096004366007211/3189416613179438123*c_0101_6^2 + 80306159881532872883/3189416613179438123*c_0101_6 + 23101688444308858907/3189416613179438123, c_0101_0 + 331795287878762635/3189416613179438123*c_0101_6^18 - 1155116824821803483/3189416613179438123*c_0101_6^17 - 783059643004293055/3189416613179438123*c_0101_6^16 + 5784314065217954352/3189416613179438123*c_0101_6^15 + 1740324519590495871/3189416613179438123*c_0101_6^14 - 18462432691821004150/3189416613179438123*c_0101_6^13 - 10180421417213093195/3189416613179438123*c_0101_6^12 + 55436788114545020859/3189416613179438123*c_0101_6^11 + 12732029732638621245/3189416613179438123*c_0101_6^10 - 90349475775307121361/3189416613179438123*c_0101_6^9 - 26898733030072659195/3189416613179438123*c_0101_6^8 + 132306936485248957257/3189416613179438123*c_0101_6^7 + 25644299455346585264/3189416613179438123*c_0101_6^6 - 122660264518962731785/3189416613179438123*c_0101_6^5 - 30706777527860614419/3189416613179438123*c_0101_6^4 + 75929408192823240123/3189416613179438123*c_0101_6^3 + 1960437507751808880/3189416613179438123*c_0101_6^2 - 34929301083213052963/3189416613179438123*c_0101_6 - 9124944685673011370/3189416613179438123, c_0101_1 - 745047660244872118/3189416613179438123*c_0101_6^18 + 2636388859712074491/3189416613179438123*c_0101_6^17 + 1552780376626564720/3189416613179438123*c_0101_6^16 - 12735480081444141888/3189416613179438123*c_0101_6^15 - 3563774868214434052/3189416613179438123*c_0101_6^14 + 40618129802314270439/3189416613179438123*c_0101_6^13 + 22054550452033555532/3189416613179438123*c_0101_6^12 - 122897871241004486077/3189416613179438123*c_0101_6^11 - 24523351607701326591/3189416613179438123*c_0101_6^10 + 193727199959765418965/3189416613179438123*c_0101_6^9 + 61431068060243176183/3189416613179438123*c_0101_6^8 - 293564285350754236106/3189416613179438123*c_0101_6^7 - 49143371413794448148/3189416613179438123*c_0101_6^6 + 264816059450898632583/3189416613179438123*c_0101_6^5 + 71979373718358248458/3189416613179438123*c_0101_6^4 - 173166454323382415113/3189416613179438123*c_0101_6^3 + 1662013639866568479/3189416613179438123*c_0101_6^2 + 80717158124015267757/3189416613179438123*c_0101_6 + 23265594861403606694/3189416613179438123, c_0101_2 - 904778621430387696/3189416613179438123*c_0101_6^18 + 3180510368222831976/3189416613179438123*c_0101_6^17 + 2028369835784316912/3189416613179438123*c_0101_6^16 - 15640289592156322907/3189416613179438123*c_0101_6^15 - 4772852590339781182/3189416613179438123*c_0101_6^14 + 50013630369948172709/3189416613179438123*c_0101_6^13 + 28053840672642943776/3189416613179438123*c_0101_6^12 - 150644866629574906302/3189416613179438123*c_0101_6^11 - 34578367716347890282/3189416613179438123*c_0101_6^10 + 240487020838778064740/3189416613179438123*c_0101_6^9 + 78605039651561499095/3189416613179438123*c_0101_6^8 - 359827280637824900737/3189416613179438123*c_0101_6^7 - 67288120250946949908/3189416613179438123*c_0101_6^6 + 328339143680606606504/3189416613179438123*c_0101_6^5 + 90176401820276790091/3189416613179438123*c_0101_6^4 - 210357860785324597163/3189416613179438123*c_0101_6^3 + 1239422496044829556/3189416613179438123*c_0101_6^2 + 100458403483794605632/3189416613179438123*c_0101_6 + 28906114755342571489/3189416613179438123, c_0101_6^19 - 3*c_0101_6^18 - 4*c_0101_6^17 + 16*c_0101_6^16 + 14*c_0101_6^15 - 52*c_0101_6^14 - 59*c_0101_6^13 + 149*c_0101_6^12 + 122*c_0101_6^11 - 242*c_0101_6^10 - 222*c_0101_6^9 + 347*c_0101_6^8 + 277*c_0101_6^7 - 315*c_0101_6^6 - 284*c_0101_6^5 + 174*c_0101_6^4 + 118*c_0101_6^3 - 104*c_0101_6^2 - 87*c_0101_6 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB