Magma V2.19-8 Tue Aug 20 2013 17:56:04 on localhost [Seed = 54703301] Type ? for help. Type -D to quit. Loading file "11_229__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_229 geometric_solution 9.48716106 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 2031 0132 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 1 0 -1 0 0 0 0 2 1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485628443694 0.569683239905 0 3 5 4 0132 2103 0132 0132 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 -1 0 1 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.502512818593 0.681261994736 3 0 6 0 3012 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.873122785768 0.967011902842 6 1 0 2 1023 2103 0132 1230 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 1 -1 0 0 0 0 0 1 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172768621211 1.688640252962 7 8 1 9 0132 0132 0132 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 -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.311947596394 0.885276984560 9 8 7 1 0213 0213 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410424127097 1.382886056910 8 3 7 2 3201 1023 1230 0132 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 1 -1 0 0 -1 1 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298790333570 0.950637433325 4 5 9 6 0132 1230 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.802758638425 0.664586486902 9 4 5 6 1230 0132 0213 2310 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 -1 0 -2 3 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.547319378478 0.704203991486 5 8 4 7 0213 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.124453427672 1.305647816151 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0110_2']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : d['c_0011_4'], '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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_7']), 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : negation(d['c_1001_7']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : negation(d['c_1001_7']), 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0101_0'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0110_2']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : negation(d['c_0101_2']), '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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : 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_0101_7' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0011_5'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0110_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 71023960420101487816429118/866046328268894590036605*c_1001_7^19 - 323164379750023598573685058/2598138984806683770109815*c_1001_7^18 - 1269545081961526872341057/57736421884592972669107*c_1001_7^17 - 562186960503936992017665399/577364218845929726691070*c_1001_7^16 - 263146786716043322817048043/346418531307557836014642*c_1001_7^15 + 7845641255592734685145976444/866046328268894590036605*c_1001_7^14 + 3434281964553026735212621001/519627796961336754021963*c_1001_7^13 - 2072216417878027319899490451/115472843769185945338214*c_1001_7^12 - 33243496311581432853459237688/2598138984806683770109815*c_1001_7^11 + 4079559627933000191673716446/2598138984806683770109815*c_1001_7^1\ 0 + 6334816520598484184687257453/866046328268894590036605*c_1001_7^\ 9 - 22604845592755802694478439794/2598138984806683770109815*c_1001_\ 7^8 - 45708893946431399843204936597/5196277969613367540219630*c_100\ 1_7^7 + 14185014841871139145944661489/1732092656537789180073210*c_1\ 001_7^6 - 42071654520518651934188462179/5196277969613367540219630*c\ _1001_7^5 + 3711093144885459876619164829/5196277969613367540219630*\ c_1001_7^4 + 1928508133958802630025697833/2598138984806683770109815\ *c_1001_7^3 - 171547344023697523238910142/866046328268894590036605*\ c_1001_7^2 + 450414911855910074335166314/2598138984806683770109815*\ c_1001_7 - 853621090014505332469255331/5196277969613367540219630, c_0011_0 - 1, c_0011_3 - 19867065269666743693835/57736421884592972669107*c_1001_7^19 - 21983274242539320459665/57736421884592972669107*c_1001_7^18 + 13654906874384178023753/57736421884592972669107*c_1001_7^17 - 222663396299927527961957/57736421884592972669107*c_1001_7^16 - 83501292173150846105562/57736421884592972669107*c_1001_7^15 + 2350190639398016631939099/57736421884592972669107*c_1001_7^14 + 775041462226154316380633/57736421884592972669107*c_1001_7^13 - 5720652977211774632480269/57736421884592972669107*c_1001_7^12 - 1950515536403701778938797/57736421884592972669107*c_1001_7^11 + 2972836155006746285424632/57736421884592972669107*c_1001_7^10 + 2771875217667122181940299/57736421884592972669107*c_1001_7^9 - 2761977364071366484593815/57736421884592972669107*c_1001_7^8 - 1676795994689599266175892/57736421884592972669107*c_1001_7^7 + 3620536679440478947409258/57736421884592972669107*c_1001_7^6 - 2012407846154036847554789/57736421884592972669107*c_1001_7^5 + 358080721376223194312425/57736421884592972669107*c_1001_7^4 + 647533581575114137173263/57736421884592972669107*c_1001_7^3 - 111315523116035409953101/57736421884592972669107*c_1001_7^2 + 6179916056959008048102/57736421884592972669107*c_1001_7 - 44356815288267650216355/57736421884592972669107, c_0011_4 - 83624862880226580517175/173209265653778918007321*c_1001_7^19 - 157088106719113035476159/173209265653778918007321*c_1001_7^18 - 26127910944577087983384/57736421884592972669107*c_1001_7^17 - 337920412866672885705545/57736421884592972669107*c_1001_7^16 - 377642249573574504016857/57736421884592972669107*c_1001_7^15 + 8838627343215974618861807/173209265653778918007321*c_1001_7^14 + 10018393927034339881349822/173209265653778918007321*c_1001_7^13 - 14727699401561251474753844/173209265653778918007321*c_1001_7^12 - 6376930885992157098696821/57736421884592972669107*c_1001_7^11 - 5501974624782353194839967/173209265653778918007321*c_1001_7^10 + 6972117924621382923154717/173209265653778918007321*c_1001_7^9 - 5645590318557311312725786/173209265653778918007321*c_1001_7^8 - 11241674713600426128286151/173209265653778918007321*c_1001_7^7 + 3908047346240112488371688/173209265653778918007321*c_1001_7^6 - 1986928165268811110463902/57736421884592972669107*c_1001_7^5 - 405417180359890324339759/57736421884592972669107*c_1001_7^4 - 365222534646421407054154/173209265653778918007321*c_1001_7^3 + 257537239708004093458403/173209265653778918007321*c_1001_7^2 + 66665937994356635214526/57736421884592972669107*c_1001_7 - 153204070026003748125008/173209265653778918007321, c_0011_5 - 42330347197902268816868/173209265653778918007321*c_1001_7^19 - 54857297706707382634415/173209265653778918007321*c_1001_7^18 + 3431172523340149138716/57736421884592972669107*c_1001_7^17 - 162767407805236703733197/57736421884592972669107*c_1001_7^16 - 92893777193506115223730/57736421884592972669107*c_1001_7^15 + 4851299288642160112464194/173209265653778918007321*c_1001_7^14 + 2454598456897347415873823/173209265653778918007321*c_1001_7^13 - 10839622249631511963123767/173209265653778918007321*c_1001_7^12 - 1737347462307660823561652/57736421884592972669107*c_1001_7^11 + 3899571870871390825413800/173209265653778918007321*c_1001_7^10 + 4845183524313998775215344/173209265653778918007321*c_1001_7^9 - 5533076667769642575850519/173209265653778918007321*c_1001_7^8 - 4179630760405008665751941/173209265653778918007321*c_1001_7^7 + 6191464386528394641842240/173209265653778918007321*c_1001_7^6 - 1394357685146938221774993/57736421884592972669107*c_1001_7^5 + 161301529119178538175930/57736421884592972669107*c_1001_7^4 + 832156479045691405167194/173209265653778918007321*c_1001_7^3 - 184054655512679091926404/173209265653778918007321*c_1001_7^2 - 78787902572302764934924/57736421884592972669107*c_1001_7 - 97453967698282733109896/173209265653778918007321, c_0011_9 - c_1001_7, c_0101_0 + 19867065269666743693835/57736421884592972669107*c_1001_7^19 + 21983274242539320459665/57736421884592972669107*c_1001_7^18 - 13654906874384178023753/57736421884592972669107*c_1001_7^17 + 222663396299927527961957/57736421884592972669107*c_1001_7^16 + 83501292173150846105562/57736421884592972669107*c_1001_7^15 - 2350190639398016631939099/57736421884592972669107*c_1001_7^14 - 775041462226154316380633/57736421884592972669107*c_1001_7^13 + 5720652977211774632480269/57736421884592972669107*c_1001_7^12 + 1950515536403701778938797/57736421884592972669107*c_1001_7^11 - 2972836155006746285424632/57736421884592972669107*c_1001_7^10 - 2771875217667122181940299/57736421884592972669107*c_1001_7^9 + 2761977364071366484593815/57736421884592972669107*c_1001_7^8 + 1676795994689599266175892/57736421884592972669107*c_1001_7^7 - 3620536679440478947409258/57736421884592972669107*c_1001_7^6 + 2012407846154036847554789/57736421884592972669107*c_1001_7^5 - 358080721376223194312425/57736421884592972669107*c_1001_7^4 - 647533581575114137173263/57736421884592972669107*c_1001_7^3 + 111315523116035409953101/57736421884592972669107*c_1001_7^2 - 6179916056959008048102/57736421884592972669107*c_1001_7 + 44356815288267650216355/57736421884592972669107, c_0101_1 - 442540411000990807/2643488021821023427*c_1001_7^19 - 541851523906937977/2643488021821023427*c_1001_7^18 + 82638128775762741/2643488021821023427*c_1001_7^17 - 5156535671062786130/2643488021821023427*c_1001_7^16 - 2440096064968160982/2643488021821023427*c_1001_7^15 + 50242411019263786237/2643488021821023427*c_1001_7^14 + 22139688689516316757/2643488021821023427*c_1001_7^13 - 106822178993660408497/2643488021821023427*c_1001_7^12 - 46571472785182289937/2643488021821023427*c_1001_7^11 + 21480484248063950660/2643488021821023427*c_1001_7^10 + 44280959645666350233/2643488021821023427*c_1001_7^9 - 44517307226288585513/2643488021821023427*c_1001_7^8 - 26782741858862657396/2643488021821023427*c_1001_7^7 + 56531609244156447550/2643488021821023427*c_1001_7^6 - 47950027697916642605/2643488021821023427*c_1001_7^5 + 29603693629716238687/2643488021821023427*c_1001_7^4 + 4159827097673740955/2643488021821023427*c_1001_7^3 - 578694844704577691/2643488021821023427*c_1001_7^2 + 3176366664945871994/2643488021821023427*c_1001_7 + 241694531832727957/2643488021821023427, c_0101_2 + 442540411000990807/2643488021821023427*c_1001_7^19 + 541851523906937977/2643488021821023427*c_1001_7^18 - 82638128775762741/2643488021821023427*c_1001_7^17 + 5156535671062786130/2643488021821023427*c_1001_7^16 + 2440096064968160982/2643488021821023427*c_1001_7^15 - 50242411019263786237/2643488021821023427*c_1001_7^14 - 22139688689516316757/2643488021821023427*c_1001_7^13 + 106822178993660408497/2643488021821023427*c_1001_7^12 + 46571472785182289937/2643488021821023427*c_1001_7^11 - 21480484248063950660/2643488021821023427*c_1001_7^10 - 44280959645666350233/2643488021821023427*c_1001_7^9 + 44517307226288585513/2643488021821023427*c_1001_7^8 + 26782741858862657396/2643488021821023427*c_1001_7^7 - 56531609244156447550/2643488021821023427*c_1001_7^6 + 47950027697916642605/2643488021821023427*c_1001_7^5 - 29603693629716238687/2643488021821023427*c_1001_7^4 - 4159827097673740955/2643488021821023427*c_1001_7^3 + 578694844704577691/2643488021821023427*c_1001_7^2 - 3176366664945871994/2643488021821023427*c_1001_7 - 241694531832727957/2643488021821023427, c_0110_2 + 12803846859133150217920/173209265653778918007321*c_1001_7^19 + 45067853623016195268637/173209265653778918007321*c_1001_7^18 + 17948060424245592931878/57736421884592972669107*c_1001_7^17 + 57542229790385883370890/57736421884592972669107*c_1001_7^16 + 139816224573975870830055/57736421884592972669107*c_1001_7^15 - 1044716069692902604665742/173209265653778918007321*c_1001_7^14 - 3806578288053961873325179/173209265653778918007321*c_1001_7^13 - 586185993429372419921234/173209265653778918007321*c_1001_7^12 + 2353745622006772689456664/57736421884592972669107*c_1001_7^11 + 6672541071891985232996594/173209265653778918007321*c_1001_7^10 - 364387381913033897141450/173209265653778918007321*c_1001_7^9 - 1751897157236467157858566/173209265653778918007321*c_1001_7^8 + 2634060667150038497449441/173209265653778918007321*c_1001_7^7 + 2618418412659097760490542/173209265653778918007321*c_1001_7^6 - 147517359948365219331698/57736421884592972669107*c_1001_7^5 + 320176761189814237532863/57736421884592972669107*c_1001_7^4 + 808173067163437816748540/173209265653778918007321*c_1001_7^3 - 976441140157745078994202/173209265653778918007321*c_1001_7^2 - 27989215029691273946612/57736421884592972669107*c_1001_7 - 20382909677315750583074/173209265653778918007321, c_1001_7^20 + 2*c_1001_7^19 + c_1001_7^18 + 12*c_1001_7^17 + 15*c_1001_7^16 - 106*c_1001_7^15 - 134*c_1001_7^14 + 180*c_1001_7^13 + 262*c_1001_7^12 + 56*c_1001_7^11 - 99*c_1001_7^10 + 63*c_1001_7^9 + 159*c_1001_7^8 - 48*c_1001_7^7 + 50*c_1001_7^6 + 39*c_1001_7^5 - 13*c_1001_7^4 - 2*c_1001_7^3 - c_1001_7^2 + c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB