Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 3229703384] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s711 geometric_solution 5.22061785 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253403068826 0.246175109690 2 0 3 0 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716372519698 1.726140061973 1 3 4 5 0132 3201 0132 0132 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 0 -1 0 1 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.007126702229 0.900193223798 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.007126702229 0.900193223798 4 3 4 2 2310 0132 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367566466268 0.817108239372 5 5 2 3 1230 3012 0132 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 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 1 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.037817130159 1.133884371988 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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_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' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 542498162595671505987976676082518343085/327267897760627952411424737\ 85034428383*c_0101_1^20 - 125344146704650029058096198615210214280/2\ 517445367389445787780190291156494491*c_0101_1^19 + 852896620799720319692586212251895236675/467525568229468503444892482\ 6433489769*c_0101_1^18 - 1032942696741459214372027875643194264067/3\ 2726789776062795241142473785034428383*c_0101_1^17 - 30466112361762678191121719491380885202111/3272678977606279524114247\ 3785034428383*c_0101_1^16 + 166838496404830482236347532751036186325\ 30/32726789776062795241142473785034428383*c_0101_1^15 + 41228318832045841158367440387932710702008/3272678977606279524114247\ 3785034428383*c_0101_1^14 + 174534877035949941134551387074696300993\ 53/4675255682294685034448924826433489769*c_0101_1^13 - 106039295914348946118202671833568578978890/327267897760627952411424\ 73785034428383*c_0101_1^12 - 10741676838537233865102003218770656279\ 5796/32726789776062795241142473785034428383*c_0101_1^11 + 293806010019427014959992925506676804194737/327267897760627952411424\ 73785034428383*c_0101_1^10 - 55938596602760751499785348038787620146\ 5227/32726789776062795241142473785034428383*c_0101_1^9 - 877462930535864558292211558332898659710666/327267897760627952411424\ 73785034428383*c_0101_1^8 - 340633761790337682229139595723609384330\ 486/32726789776062795241142473785034428383*c_0101_1^7 + 145339239838218461976318064126706821150093/327267897760627952411424\ 73785034428383*c_0101_1^6 + 134826384122069776036537389145209591449\ 421/32726789776062795241142473785034428383*c_0101_1^5 + 36166599335916782342281971525227395295162/3272678977606279524114247\ 3785034428383*c_0101_1^4 + 621607456011851258893592806635354155686/\ 32726789776062795241142473785034428383*c_0101_1^3 - 265564404405009025495301390922889221066/327267897760627952411424737\ 85034428383*c_0101_1^2 + 2794595354794180830862638483932506971691/4\ 675255682294685034448924826433489769*c_0101_1 - 12229282907924453732079254700506010397216/3272678977606279524114247\ 3785034428383, c_0011_0 - 1, c_0011_1 - 1149152830548893022473427/13824035127931801915020981613*c_01\ 01_1^20 - 2437651901549998893839710/13824035127931801915020981613*c\ _0101_1^19 + 2034308452361234703933744/1974862161133114559288711659\ *c_0101_1^18 - 14716400090288338041459458/1382403512793180191502098\ 1613*c_0101_1^17 - 40860245275390865452408977/138240351279318019150\ 20981613*c_0101_1^16 + 50095064858176400316509621/13824035127931801\ 915020981613*c_0101_1^15 + 18712263821499748650198116/1382403512793\ 1801915020981613*c_0101_1^14 + 48489327542991596441301592/197486216\ 1133114559288711659*c_0101_1^13 - 522314066580883241373830595/13824\ 035127931801915020981613*c_0101_1^12 + 273265896400865961256411147/13824035127931801915020981613*c_0101_1^\ 11 - 244458699714766184641990670/13824035127931801915020981613*c_01\ 01_1^10 - 689917059057634672316361810/13824035127931801915020981613\ *c_0101_1^9 - 454346737207453068083277912/1382403512793180191502098\ 1613*c_0101_1^8 + 12343899195732039576814802/1382403512793180191502\ 0981613*c_0101_1^7 + 39905864130517697925781475/1382403512793180191\ 5020981613*c_0101_1^6 - 115301910484718701565194980/138240351279318\ 01915020981613*c_0101_1^5 - 222947465094043161634912087/13824035127\ 931801915020981613*c_0101_1^4 - 520448519687271366969028980/1382403\ 5127931801915020981613*c_0101_1^3 - 1202625314929682493847741790/13824035127931801915020981613*c_0101_1\ ^2 - 885226275165660001811402211/1974862161133114559288711659*c_010\ 1_1 + 8544352062671675860751637844/13824035127931801915020981613, c_0011_3 + 10409981470628441009135860266728160/359635052484206541111455\ 755879499213*c_0101_1^20 + 42661259179541170338805973824975224/3596\ 35052484206541111455755879499213*c_0101_1^19 - 10304132359829820792621091831368970/5137643606917236301592225083992\ 8459*c_0101_1^18 - 78682403478303880614360700607043215/359635052484\ 206541111455755879499213*c_0101_1^17 + 524095310039938732935218824639988406/359635052484206541111455755879\ 499213*c_0101_1^16 + 316065087299739046458638023238895292/359635052\ 484206541111455755879499213*c_0101_1^15 - 691119474790432511591833818012637130/359635052484206541111455755879\ 499213*c_0101_1^14 - 477193156889650660339757176817800880/513764360\ 69172363015922250839928459*c_0101_1^13 - 1138354135647627200710548261741591421/35963505248420654111145575587\ 9499213*c_0101_1^12 + 2251162700033517928876321338910279737/3596350\ 52484206541111455755879499213*c_0101_1^11 - 2396605407800141747288036277617923078/35963505248420654111145575587\ 9499213*c_0101_1^10 + 6244384116662906112862860785972565136/3596350\ 52484206541111455755879499213*c_0101_1^9 + 24748463495318377820690192459939438736/3596350524842065411114557558\ 79499213*c_0101_1^8 + 32563389274980591974875932556733960641/359635\ 052484206541111455755879499213*c_0101_1^7 + 19199639282896057681910880309654836946/3596350524842065411114557558\ 79499213*c_0101_1^6 + 4371775109521901307669130813122535998/3596350\ 52484206541111455755879499213*c_0101_1^5 - 1351098846174168629520989793014607076/35963505248420654111145575587\ 9499213*c_0101_1^4 - 1421623556318940602582125131734908406/35963505\ 2484206541111455755879499213*c_0101_1^3 - 599309043358532559392032346711469163/359635052484206541111455755879\ 499213*c_0101_1^2 - 55666011120235509546755047472768900/51376436069\ 172363015922250839928459*c_0101_1 - 119355636267487083265512846383833660/359635052484206541111455755879\ 499213, c_0011_5 + 17675197747685502208102935237614662/359635052484206541111455\ 755879499213*c_0101_1^20 + 54576458896812181438493049751832871/3596\ 35052484206541111455755879499213*c_0101_1^19 - 27212339596065814972746302190436564/5137643606917236301592225083992\ 8459*c_0101_1^18 + 17573581859522579160626764344732081/359635052484\ 206541111455755879499213*c_0101_1^17 + 1004734120930248321427741792199838475/35963505248420654111145575587\ 9499213*c_0101_1^16 - 478010443453522174935503142489723847/35963505\ 2484206541111455755879499213*c_0101_1^15 - 1405199323648252268275279317218948204/35963505248420654111145575587\ 9499213*c_0101_1^14 - 571720848693017263240171652716019452/51376436\ 069172363015922250839928459*c_0101_1^13 + 3094043077238834093945633197227154088/35963505248420654111145575587\ 9499213*c_0101_1^12 + 3825657108140120208977476820560438840/3596350\ 52484206541111455755879499213*c_0101_1^11 - 9729193662480835770011611402917494241/35963505248420654111145575587\ 9499213*c_0101_1^10 + 17620451594164160408598015927737421050/359635\ 052484206541111455755879499213*c_0101_1^9 + 30424026837281483509804015864604058553/3596350524842065411114557558\ 79499213*c_0101_1^8 + 12331444557619112940106713259385037107/359635\ 052484206541111455755879499213*c_0101_1^7 - 2577582023300373674033881258712521631/35963505248420654111145575587\ 9499213*c_0101_1^6 - 3215823720732012564595455744471551345/35963505\ 2484206541111455755879499213*c_0101_1^5 + 213285785024244269566361733059329874/359635052484206541111455755879\ 499213*c_0101_1^4 + 894779554089118867608063856610549693/3596350524\ 84206541111455755879499213*c_0101_1^3 + 213147579427460547772119590257782428/359635052484206541111455755879\ 499213*c_0101_1^2 - 132781716747525589909620523584566821/5137643606\ 9172363015922250839928459*c_0101_1 + 188046224099355110528415868671748124/359635052484206541111455755879\ 499213, c_0101_0 - 19271558137277836718344924826494371/359635052484206541111455\ 755879499213*c_0101_1^20 - 60577573295093969470962452043512209/3596\ 35052484206541111455755879499213*c_0101_1^19 + 28785994361732375779440256541222156/5137643606917236301592225083992\ 8459*c_0101_1^18 - 15291759542110498194016812049183981/359635052484\ 206541111455755879499213*c_0101_1^17 - 1061980215589977869185505304923248688/35963505248420654111145575587\ 9499213*c_0101_1^16 + 445436074435242029659141011699165127/35963505\ 2484206541111455755879499213*c_0101_1^15 + 1405243186406447324366983625183678296/35963505248420654111145575587\ 9499213*c_0101_1^14 + 653926477508212061357742388133877655/51376436\ 069172363015922250839928459*c_0101_1^13 - 2940053386206493830048818692729410746/35963505248420654111145575587\ 9499213*c_0101_1^12 - 3712738412047687560698153058144621970/3596350\ 52484206541111455755879499213*c_0101_1^11 + 9562666616739001020411523542275828156/35963505248420654111145575587\ 9499213*c_0101_1^10 - 19097706406647500814396825671944893740/359635\ 052484206541111455755879499213*c_0101_1^9 - 32790684183928193275730129323569130889/3596350524842065411114557558\ 79499213*c_0101_1^8 - 18547767190618390733705610113036446560/359635\ 052484206541111455755879499213*c_0101_1^7 - 1348511205076327932483930829014779562/35963505248420654111145575587\ 9499213*c_0101_1^6 + 2793555469981988794938078686616865262/35963505\ 2484206541111455755879499213*c_0101_1^5 + 2613954408999486578981931002618512301/35963505248420654111145575587\ 9499213*c_0101_1^4 + 1549161888445687360528345387178494406/35963505\ 2484206541111455755879499213*c_0101_1^3 + 454215565476482836534893543734649861/359635052484206541111455755879\ 499213*c_0101_1^2 + 100271483111428380038874415899499125/5137643606\ 9172363015922250839928459*c_0101_1 - 264835913160329659702693433253904306/359635052484206541111455755879\ 499213, c_0101_1^21 + 3*c_0101_1^20 - 11*c_0101_1^19 + 2*c_0101_1^18 + 56*c_0101_1^17 - 31*c_0101_1^16 - 75*c_0101_1^15 - 225*c_0101_1^14 + 195*c_0101_1^13 + 193*c_0101_1^12 - 541*c_0101_1^11 + 1037*c_0101_1^10 + 1607*c_0101_1^9 + 635*c_0101_1^8 - 238*c_0101_1^7 - 222*c_0101_1^6 - 61*c_0101_1^5 - 4*c_0101_1^4 - 2*c_0101_1^3 - 37*c_0101_1^2 + 22*c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB