Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 2631729334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0082 geometric_solution 3.62704008 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 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.324605362858 0.044293843534 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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 -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 1.114186783358 0.035734817241 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 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 1.190511982583 0.090841986129 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 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 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.334381747562 0.485262914291 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 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 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.204650924125 0.405801778333 4 6 6 6 0132 2310 1302 3201 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 -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.006708699596 1.011297551174 5 5 4 5 2031 2310 0132 3201 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 -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.006708699596 1.011297551174 ==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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 28898810608816378293241713934114/1069882593412515481223692453477*c_\ 0101_4^19 - 3705210301160738870681205561273/82298661031731960094130\ 188729*c_0101_4^18 + 478691199383810527942382664662166/106988259341\ 2515481223692453477*c_0101_4^17 + 232571297090082059800606224686021\ 0/1069882593412515481223692453477*c_0101_4^16 + 1387307333697999035932933079882378/1069882593412515481223692453477*\ c_0101_4^15 - 7468486170005337744047716590876358/106988259341251548\ 1223692453477*c_0101_4^14 - 16528165833056811712575860536922145/106\ 9882593412515481223692453477*c_0101_4^13 + 1323040111066323178840530068920913/1069882593412515481223692453477*\ c_0101_4^12 + 1866904379288007334878829613287672/822986610317319600\ 94130188729*c_0101_4^11 + 16130363479607857700633530979700777/10698\ 82593412515481223692453477*c_0101_4^10 - 16203692040875999320793307441038873/1069882593412515481223692453477\ *c_0101_4^9 - 4906836779413556421005190641021517/152840370487502211\ 603384636211*c_0101_4^8 + 17014645991663022513049278626526232/10698\ 82593412515481223692453477*c_0101_4^7 + 34971680161328029065757352446943075/1069882593412515481223692453477\ *c_0101_4^6 - 14429822924265413811372150556139044/10698825934125154\ 81223692453477*c_0101_4^5 - 13659749458637853680982122903075688/106\ 9882593412515481223692453477*c_0101_4^4 + 4769460344969888869682994147436054/1069882593412515481223692453477*\ c_0101_4^3 + 181455530048248780373476624200527/15284037048750221160\ 3384636211*c_0101_4^2 - 290196827523841337911733879945551/106988259\ 3412515481223692453477*c_0101_4 + 11381649506333085013511810175966/\ 1069882593412515481223692453477, c_0011_0 - 1, c_0011_1 + 1696886582675266351001081706/11756951575961708584875741247*c\ _0101_4^19 + 2431797483116045401303483095/1175695157596170858487574\ 1247*c_0101_4^18 - 28318031306245412219114719514/117569515759617085\ 84875741247*c_0101_4^17 - 129467197816404002636825943135/1175695157\ 5961708584875741247*c_0101_4^16 - 57067520349282717522752074755/117\ 56951575961708584875741247*c_0101_4^15 + 425307997690238598079523199769/11756951575961708584875741247*c_0101\ _4^14 + 859003353540889359147221055662/1175695157596170858487574124\ 7*c_0101_4^13 - 198813462849042723900550315030/11756951575961708584\ 875741247*c_0101_4^12 - 1207267994846573034458471761272/11756951575\ 961708584875741247*c_0101_4^11 - 685489648622693968070197018530/117\ 56951575961708584875741247*c_0101_4^10 + 928224145271776240041732702788/11756951575961708584875741247*c_0101\ _4^9 + 1640939974077152221520856640271/1175695157596170858487574124\ 7*c_0101_4^8 - 1257787664253117187836793066084/11756951575961708584\ 875741247*c_0101_4^7 - 1480969357329937050361646520656/117569515759\ 61708584875741247*c_0101_4^6 + 981091434800379925703028858177/11756\ 951575961708584875741247*c_0101_4^5 + 393472164213231574803124778462/11756951575961708584875741247*c_0101\ _4^4 - 283742511600697679031458119775/11756951575961708584875741247\ *c_0101_4^3 - 1108375240833153760870984733/117569515759617085848757\ 41247*c_0101_4^2 + 25409124018232173501886207778/117569515759617085\ 84875741247*c_0101_4 + 2397429906635904916999266934/117569515759617\ 08584875741247, c_0011_6 + 1716008751140587468531115404/11756951575961708584875741247*c\ _0101_4^19 + 3368954988157709595466302551/1175695157596170858487574\ 1247*c_0101_4^18 - 27010175414564824782072853436/117569515759617085\ 84875741247*c_0101_4^17 - 145589209076998075932317067299/1175695157\ 5961708584875741247*c_0101_4^16 - 132401395052402605456562705982/11\ 756951575961708584875741247*c_0101_4^15 + 373939931537353015964145338037/11756951575961708584875741247*c_0101\ _4^14 + 1080972105054156201184352577938/117569515759617085848757412\ 47*c_0101_4^13 + 336347773209140928806327290771/1175695157596170858\ 4875741247*c_0101_4^12 - 1149493038762651060277562735116/1175695157\ 5961708584875741247*c_0101_4^11 - 1341026784993473684728465017335/1\ 1756951575961708584875741247*c_0101_4^10 + 347134966119173409138683674147/11756951575961708584875741247*c_0101\ _4^9 + 1972778333237881792945362737919/1175695157596170858487574124\ 7*c_0101_4^8 - 260979465336511916382897562667/117569515759617085848\ 75741247*c_0101_4^7 - 1833596452566778584115607409737/1175695157596\ 1708584875741247*c_0101_4^6 + 42835443814399927163910949150/1175695\ 1575961708584875741247*c_0101_4^5 + 633887374490301645723203299440/11756951575961708584875741247*c_0101\ _4^4 + 41595798368789413962621406678/11756951575961708584875741247*\ c_0101_4^3 - 54833045522338550394363629774/117569515759617085848757\ 41247*c_0101_4^2 + 969892357992291171776758/11756951575961708584875\ 741247*c_0101_4 + 3670568759173556893521545762/11756951575961708584\ 875741247, c_0101_0 + 2007783589325264015497034150/11756951575961708584875741247*c\ _0101_4^19 + 4634601610530699850558682003/1175695157596170858487574\ 1247*c_0101_4^18 - 30485799281928877285595612195/117569515759617085\ 84875741247*c_0101_4^17 - 181705354614634729190808103179/1175695157\ 5961708584875741247*c_0101_4^16 - 209980578304474505034578979757/11\ 756951575961708584875741247*c_0101_4^15 + 404263490982356856741090648727/11756951575961708584875741247*c_0101\ _4^14 + 1435412589678598824996483510239/117569515759617085848757412\ 47*c_0101_4^13 + 785351036517501288079873743949/1175695157596170858\ 4875741247*c_0101_4^12 - 1359842682980800941210639539322/1175695157\ 5961708584875741247*c_0101_4^11 - 2106460711699553751055153746588/1\ 1756951575961708584875741247*c_0101_4^10 - 25925016288918439807506247719/11756951575961708584875741247*c_0101_\ 4^9 + 2677850920949585180667085438229/11756951575961708584875741247\ *c_0101_4^8 + 509911978204785797928356185481/1175695157596170858487\ 5741247*c_0101_4^7 - 2473267008861203292300776450833/11756951575961\ 708584875741247*c_0101_4^6 - 725249653859922887478520989691/1175695\ 1575961708584875741247*c_0101_4^5 + 919084316588846689088315741457/11756951575961708584875741247*c_0101\ _4^4 + 401379852146716757341776441476/11756951575961708584875741247\ *c_0101_4^3 - 104079520064947814086000585744/1175695157596170858487\ 5741247*c_0101_4^2 - 59301713158645429821443131731/1175695157596170\ 8584875741247*c_0101_4 + 4694962670764328237148294438/1175695157596\ 1708584875741247, c_0101_2 + 3076527652890438868319968446/11756951575961708584875741247*c\ _0101_4^19 + 6955904900511971102731279380/1175695157596170858487574\ 1247*c_0101_4^18 - 47216819072726970601553602065/117569515759617085\ 84875741247*c_0101_4^17 - 276445680235207909478476561573/1175695157\ 5961708584875741247*c_0101_4^16 - 305777519216391906712792687713/11\ 756951575961708584875741247*c_0101_4^15 + 647131050244552981679564217866/11756951575961708584875741247*c_0101\ _4^14 + 2175148925534751181589202365818/117569515759617085848757412\ 47*c_0101_4^13 + 1060267579943055133963883972653/117569515759617085\ 84875741247*c_0101_4^12 - 2212910737484552283475721755938/117569515\ 75961708584875741247*c_0101_4^11 - 3105558565260819634406201667249/11756951575961708584875741247*c_010\ 1_4^10 + 198382568364653341437654223332/117569515759617085848757412\ 47*c_0101_4^9 + 4113441168517659450249012053709/1175695157596170858\ 4875741247*c_0101_4^8 + 518514112985430496199224025921/117569515759\ 61708584875741247*c_0101_4^7 - 3949648344170155030957289845998/1175\ 6951575961708584875741247*c_0101_4^6 - 761210012721674581494872294535/11756951575961708584875741247*c_0101\ _4^5 + 1523708701222155725480395653451/1175695157596170858487574124\ 7*c_0101_4^4 + 398161244620163224924215729957/117569515759617085848\ 75741247*c_0101_4^3 - 128662895490409976444831105297/11756951575961\ 708584875741247*c_0101_4^2 - 65197438038052009585823782211/11756951\ 575961708584875741247*c_0101_4 + 973089906880606319206897010/117569\ 51575961708584875741247, c_0101_3 + 294124724529322282875159213/11756951575961708584875741247*c_\ 0101_4^19 - 277406532637688658456524725/117569515759617085848757412\ 47*c_0101_4^18 - 6109907395272634121050411940/117569515759617085848\ 75741247*c_0101_4^17 - 11154454722309380471220594529/11756951575961\ 708584875741247*c_0101_4^16 + 46607384336887654006497055657/1175695\ 1575961708584875741247*c_0101_4^15 + 113939524944151209813864172744/11756951575961708584875741247*c_0101\ _4^14 - 12168447558476194054488754456/11756951575961708584875741247\ *c_0101_4^13 - 432900607177716109287031630953/117569515759617085848\ 75741247*c_0101_4^12 - 248969695201193720293025522687/1175695157596\ 1708584875741247*c_0101_4^11 + 352457888823954372002226959784/11756\ 951575961708584875741247*c_0101_4^10 + 582361013394030163657683769881/11756951575961708584875741247*c_0101\ _4^9 + 39344840933270385498356064429/11756951575961708584875741247*\ c_0101_4^8 - 971352785133784739120085908024/11756951575961708584875\ 741247*c_0101_4^7 + 24017934696565195376427063997/11756951575961708\ 584875741247*c_0101_4^6 + 838748687294800249586630207894/1175695157\ 5961708584875741247*c_0101_4^5 - 99557676127774199053167838245/1175\ 6951575961708584875741247*c_0101_4^4 - 234092910297423083888247161881/11756951575961708584875741247*c_0101\ _4^3 + 8654370767770454407099253016/11756951575961708584875741247*c\ _0101_4^2 + 14670162283575869270084595694/1175695157596170858487574\ 1247*c_0101_4 + 8754880001389259777338548358/1175695157596170858487\ 5741247, c_0101_4^20 + 2*c_0101_4^19 - 16*c_0101_4^18 - 86*c_0101_4^17 - 75*c_0101_4^16 + 242*c_0101_4^15 + 659*c_0101_4^14 + 148*c_0101_4^13 - 854*c_0101_4^12 - 848*c_0101_4^11 + 367*c_0101_4^10 + 1382*c_0101_4^9 - 178*c_0101_4^8 - 1403*c_0101_4^7 + 73*c_0101_4^6 + 637*c_0101_4^5 + 13*c_0101_4^4 - 100*c_0101_4^3 - 12*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB