Magma V2.19-8 Tue Aug 20 2013 23:38:14 on localhost [Seed = 2117605983] Type ? for help. Type -D to quit. Loading file "K11n60__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n60 geometric_solution 9.48716106 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 1 3 0132 0132 2031 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 0 -1 -1 0 0 1 -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.873122785768 0.967011902842 0 4 2 0 0132 0132 2031 1302 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 1 0 -1 0 0 0 0 0 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485628443694 0.569683239905 3 0 4 1 0213 0132 3201 1302 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 -1 0 1 -3 0 0 3 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.059960895892 0.586057709423 2 5 0 6 0213 0132 0132 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 1 -1 0 0 -1 1 3 -3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298790333570 0.950637433325 2 1 7 8 2310 0132 0132 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502512818593 0.681261994736 8 3 9 7 0213 0132 0132 2310 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 1 0 -1 0 0 -1 0 1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547319378478 0.704203991486 9 8 3 7 0213 2310 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 -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.260877332506 0.611903645090 5 6 9 4 3201 1302 3120 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 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.311947596394 0.885276984560 5 9 4 6 0213 2103 0132 3201 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 -1 0 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410424127097 1.382886056910 6 8 7 5 0213 2103 3120 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 -1 1 -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.072348026358 0.759007159416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_0011_9'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_1001_4']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_9'], 'c_1010_3' : d['c_1001_5'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_1001_5']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0011_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_7, c_0011_8, c_0011_9, c_0101_0, c_0101_4, c_1001_4, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 71023960420101487816429118/866046328268894590036605*c_1001_5^19 - 323164379750023598573685058/2598138984806683770109815*c_1001_5^18 - 1269545081961526872341057/57736421884592972669107*c_1001_5^17 - 562186960503936992017665399/577364218845929726691070*c_1001_5^16 - 263146786716043322817048043/346418531307557836014642*c_1001_5^15 + 7845641255592734685145976444/866046328268894590036605*c_1001_5^14 + 3434281964553026735212621001/519627796961336754021963*c_1001_5^13 - 2072216417878027319899490451/115472843769185945338214*c_1001_5^12 - 33243496311581432853459237688/2598138984806683770109815*c_1001_5^11 + 4079559627933000191673716446/2598138984806683770109815*c_1001_5^1\ 0 + 6334816520598484184687257453/866046328268894590036605*c_1001_5^\ 9 - 22604845592755802694478439794/2598138984806683770109815*c_1001_\ 5^8 - 45708893946431399843204936597/5196277969613367540219630*c_100\ 1_5^7 + 14185014841871139145944661489/1732092656537789180073210*c_1\ 001_5^6 - 42071654520518651934188462179/5196277969613367540219630*c\ _1001_5^5 + 3711093144885459876619164829/5196277969613367540219630*\ c_1001_5^4 + 1928508133958802630025697833/2598138984806683770109815\ *c_1001_5^3 - 171547344023697523238910142/866046328268894590036605*\ c_1001_5^2 + 450414911855910074335166314/2598138984806683770109815*\ c_1001_5 - 853621090014505332469255331/5196277969613367540219630, c_0011_0 - 1, c_0011_3 - 19867065269666743693835/57736421884592972669107*c_1001_5^19 - 21983274242539320459665/57736421884592972669107*c_1001_5^18 + 13654906874384178023753/57736421884592972669107*c_1001_5^17 - 222663396299927527961957/57736421884592972669107*c_1001_5^16 - 83501292173150846105562/57736421884592972669107*c_1001_5^15 + 2350190639398016631939099/57736421884592972669107*c_1001_5^14 + 775041462226154316380633/57736421884592972669107*c_1001_5^13 - 5720652977211774632480269/57736421884592972669107*c_1001_5^12 - 1950515536403701778938797/57736421884592972669107*c_1001_5^11 + 2972836155006746285424632/57736421884592972669107*c_1001_5^10 + 2771875217667122181940299/57736421884592972669107*c_1001_5^9 - 2761977364071366484593815/57736421884592972669107*c_1001_5^8 - 1676795994689599266175892/57736421884592972669107*c_1001_5^7 + 3620536679440478947409258/57736421884592972669107*c_1001_5^6 - 2012407846154036847554789/57736421884592972669107*c_1001_5^5 + 358080721376223194312425/57736421884592972669107*c_1001_5^4 + 647533581575114137173263/57736421884592972669107*c_1001_5^3 - 111315523116035409953101/57736421884592972669107*c_1001_5^2 + 6179916056959008048102/57736421884592972669107*c_1001_5 - 44356815288267650216355/57736421884592972669107, c_0011_6 - c_1001_5, c_0011_7 - 83624862880226580517175/173209265653778918007321*c_1001_5^19 - 157088106719113035476159/173209265653778918007321*c_1001_5^18 - 26127910944577087983384/57736421884592972669107*c_1001_5^17 - 337920412866672885705545/57736421884592972669107*c_1001_5^16 - 377642249573574504016857/57736421884592972669107*c_1001_5^15 + 8838627343215974618861807/173209265653778918007321*c_1001_5^14 + 10018393927034339881349822/173209265653778918007321*c_1001_5^13 - 14727699401561251474753844/173209265653778918007321*c_1001_5^12 - 6376930885992157098696821/57736421884592972669107*c_1001_5^11 - 5501974624782353194839967/173209265653778918007321*c_1001_5^10 + 6972117924621382923154717/173209265653778918007321*c_1001_5^9 - 5645590318557311312725786/173209265653778918007321*c_1001_5^8 - 11241674713600426128286151/173209265653778918007321*c_1001_5^7 + 3908047346240112488371688/173209265653778918007321*c_1001_5^6 - 1986928165268811110463902/57736421884592972669107*c_1001_5^5 - 405417180359890324339759/57736421884592972669107*c_1001_5^4 - 365222534646421407054154/173209265653778918007321*c_1001_5^3 + 257537239708004093458403/173209265653778918007321*c_1001_5^2 + 66665937994356635214526/57736421884592972669107*c_1001_5 - 153204070026003748125008/173209265653778918007321, c_0011_8 - 42330347197902268816868/173209265653778918007321*c_1001_5^19 - 54857297706707382634415/173209265653778918007321*c_1001_5^18 + 3431172523340149138716/57736421884592972669107*c_1001_5^17 - 162767407805236703733197/57736421884592972669107*c_1001_5^16 - 92893777193506115223730/57736421884592972669107*c_1001_5^15 + 4851299288642160112464194/173209265653778918007321*c_1001_5^14 + 2454598456897347415873823/173209265653778918007321*c_1001_5^13 - 10839622249631511963123767/173209265653778918007321*c_1001_5^12 - 1737347462307660823561652/57736421884592972669107*c_1001_5^11 + 3899571870871390825413800/173209265653778918007321*c_1001_5^10 + 4845183524313998775215344/173209265653778918007321*c_1001_5^9 - 5533076667769642575850519/173209265653778918007321*c_1001_5^8 - 4179630760405008665751941/173209265653778918007321*c_1001_5^7 + 6191464386528394641842240/173209265653778918007321*c_1001_5^6 - 1394357685146938221774993/57736421884592972669107*c_1001_5^5 + 161301529119178538175930/57736421884592972669107*c_1001_5^4 + 832156479045691405167194/173209265653778918007321*c_1001_5^3 - 184054655512679091926404/173209265653778918007321*c_1001_5^2 - 78787902572302764934924/57736421884592972669107*c_1001_5 - 97453967698282733109896/173209265653778918007321, c_0011_9 + 442540411000990807/2643488021821023427*c_1001_5^19 + 541851523906937977/2643488021821023427*c_1001_5^18 - 82638128775762741/2643488021821023427*c_1001_5^17 + 5156535671062786130/2643488021821023427*c_1001_5^16 + 2440096064968160982/2643488021821023427*c_1001_5^15 - 50242411019263786237/2643488021821023427*c_1001_5^14 - 22139688689516316757/2643488021821023427*c_1001_5^13 + 106822178993660408497/2643488021821023427*c_1001_5^12 + 46571472785182289937/2643488021821023427*c_1001_5^11 - 21480484248063950660/2643488021821023427*c_1001_5^10 - 44280959645666350233/2643488021821023427*c_1001_5^9 + 44517307226288585513/2643488021821023427*c_1001_5^8 + 26782741858862657396/2643488021821023427*c_1001_5^7 - 56531609244156447550/2643488021821023427*c_1001_5^6 + 47950027697916642605/2643488021821023427*c_1001_5^5 - 29603693629716238687/2643488021821023427*c_1001_5^4 - 4159827097673740955/2643488021821023427*c_1001_5^3 + 578694844704577691/2643488021821023427*c_1001_5^2 - 3176366664945871994/2643488021821023427*c_1001_5 - 241694531832727957/2643488021821023427, c_0101_0 + 12803846859133150217920/173209265653778918007321*c_1001_5^19 + 45067853623016195268637/173209265653778918007321*c_1001_5^18 + 17948060424245592931878/57736421884592972669107*c_1001_5^17 + 57542229790385883370890/57736421884592972669107*c_1001_5^16 + 139816224573975870830055/57736421884592972669107*c_1001_5^15 - 1044716069692902604665742/173209265653778918007321*c_1001_5^14 - 3806578288053961873325179/173209265653778918007321*c_1001_5^13 - 586185993429372419921234/173209265653778918007321*c_1001_5^12 + 2353745622006772689456664/57736421884592972669107*c_1001_5^11 + 6672541071891985232996594/173209265653778918007321*c_1001_5^10 - 364387381913033897141450/173209265653778918007321*c_1001_5^9 - 1751897157236467157858566/173209265653778918007321*c_1001_5^8 + 2634060667150038497449441/173209265653778918007321*c_1001_5^7 + 2618418412659097760490542/173209265653778918007321*c_1001_5^6 - 147517359948365219331698/57736421884592972669107*c_1001_5^5 + 320176761189814237532863/57736421884592972669107*c_1001_5^4 + 808173067163437816748540/173209265653778918007321*c_1001_5^3 - 976441140157745078994202/173209265653778918007321*c_1001_5^2 - 27989215029691273946612/57736421884592972669107*c_1001_5 - 20382909677315750583074/173209265653778918007321, c_0101_4 + 442540411000990807/2643488021821023427*c_1001_5^19 + 541851523906937977/2643488021821023427*c_1001_5^18 - 82638128775762741/2643488021821023427*c_1001_5^17 + 5156535671062786130/2643488021821023427*c_1001_5^16 + 2440096064968160982/2643488021821023427*c_1001_5^15 - 50242411019263786237/2643488021821023427*c_1001_5^14 - 22139688689516316757/2643488021821023427*c_1001_5^13 + 106822178993660408497/2643488021821023427*c_1001_5^12 + 46571472785182289937/2643488021821023427*c_1001_5^11 - 21480484248063950660/2643488021821023427*c_1001_5^10 - 44280959645666350233/2643488021821023427*c_1001_5^9 + 44517307226288585513/2643488021821023427*c_1001_5^8 + 26782741858862657396/2643488021821023427*c_1001_5^7 - 56531609244156447550/2643488021821023427*c_1001_5^6 + 47950027697916642605/2643488021821023427*c_1001_5^5 - 29603693629716238687/2643488021821023427*c_1001_5^4 - 4159827097673740955/2643488021821023427*c_1001_5^3 + 578694844704577691/2643488021821023427*c_1001_5^2 - 3176366664945871994/2643488021821023427*c_1001_5 - 241694531832727957/2643488021821023427, c_1001_4 - 19867065269666743693835/57736421884592972669107*c_1001_5^19 - 21983274242539320459665/57736421884592972669107*c_1001_5^18 + 13654906874384178023753/57736421884592972669107*c_1001_5^17 - 222663396299927527961957/57736421884592972669107*c_1001_5^16 - 83501292173150846105562/57736421884592972669107*c_1001_5^15 + 2350190639398016631939099/57736421884592972669107*c_1001_5^14 + 775041462226154316380633/57736421884592972669107*c_1001_5^13 - 5720652977211774632480269/57736421884592972669107*c_1001_5^12 - 1950515536403701778938797/57736421884592972669107*c_1001_5^11 + 2972836155006746285424632/57736421884592972669107*c_1001_5^10 + 2771875217667122181940299/57736421884592972669107*c_1001_5^9 - 2761977364071366484593815/57736421884592972669107*c_1001_5^8 - 1676795994689599266175892/57736421884592972669107*c_1001_5^7 + 3620536679440478947409258/57736421884592972669107*c_1001_5^6 - 2012407846154036847554789/57736421884592972669107*c_1001_5^5 + 358080721376223194312425/57736421884592972669107*c_1001_5^4 + 647533581575114137173263/57736421884592972669107*c_1001_5^3 - 111315523116035409953101/57736421884592972669107*c_1001_5^2 + 6179916056959008048102/57736421884592972669107*c_1001_5 - 44356815288267650216355/57736421884592972669107, c_1001_5^20 + 2*c_1001_5^19 + c_1001_5^18 + 12*c_1001_5^17 + 15*c_1001_5^16 - 106*c_1001_5^15 - 134*c_1001_5^14 + 180*c_1001_5^13 + 262*c_1001_5^12 + 56*c_1001_5^11 - 99*c_1001_5^10 + 63*c_1001_5^9 + 159*c_1001_5^8 - 48*c_1001_5^7 + 50*c_1001_5^6 + 39*c_1001_5^5 - 13*c_1001_5^4 - 2*c_1001_5^3 - c_1001_5^2 + c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB