Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 1014866170] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0276 geometric_solution 4.32188598 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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 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.590027742805 0.084004848202 2 0 2 0 0132 2310 1023 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 1 -1 -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.748809253348 0.152502244351 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 1 0 -1 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.608669300149 0.748179946997 4 2 4 5 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -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.702663565349 1.610892659547 5 3 2 3 1023 3201 0132 2310 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.702663565349 1.610892659547 6 4 3 6 0132 1023 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.246080067530 0.295222241227 5 5 6 6 0132 2310 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 0 0 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.848739744803 1.177416233442 ==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_0101_3']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 34092488858110733206551921031601823199406974/6313413736278782946606\ 756032069832260801475*c_0101_6^19 + 54073510975575525331627759985147092113708587/2104471245426260982202\ 252010689944086933825*c_0101_6^18 + 725951601448779736270131070093603499965356382/631341373627878294660\ 6756032069832260801475*c_0101_6^17 + 2925657440617714473888448286095339528937380654/63134137362787829466\ 06756032069832260801475*c_0101_6^16 + 3990805183862762277779553471049451164042061992/63134137362787829466\ 06756032069832260801475*c_0101_6^15 - 1606442471237258343603367022360709719129998048/63134137362787829466\ 06756032069832260801475*c_0101_6^14 - 9070385821674699745401889372731423455983218421/12626827472557565893\ 21351206413966452160295*c_0101_6^13 - 51435106796742663616630575064405691298806340532/2104471245426260982\ 202252010689944086933825*c_0101_6^12 - 204089905592714025754830055284284161369207763147/631341373627878294\ 6606756032069832260801475*c_0101_6^11 - 80507197439660700033931253306006810560850839644/2104471245426260982\ 202252010689944086933825*c_0101_6^10 + 65658468807799104661206672957625614939336793772/2104471245426260982\ 202252010689944086933825*c_0101_6^9 + 268510164019171751335152306746524286588897231773/210447124542626098\ 2202252010689944086933825*c_0101_6^8 + 492563626216076446952150068057511347084757468656/631341373627878294\ 6606756032069832260801475*c_0101_6^7 - 1636371142209789618779561563839247385202967058/25253654945115131786\ 4270241282793290432059*c_0101_6^6 - 98278603651648888355044196458175901734155378153/6313413736278782946\ 606756032069832260801475*c_0101_6^5 - 4820431850501336258847996521249461279057327406/12626827472557565893\ 21351206413966452160295*c_0101_6^4 - 3861681553834326390518721228371671406901309001/63134137362787829466\ 06756032069832260801475*c_0101_6^3 + 238777470503649000858567334127737004755351349/126268274725575658932\ 1351206413966452160295*c_0101_6^2 + 4314424253857649100353240670211454532892141/14648291731505296859876\ 464111530933319725*c_0101_6 + 1478881611070198638476113177684837752\ 99804626/2104471245426260982202252010689944086933825, c_0011_0 - 1, c_0011_1 + 65820963199346264965682442924022254715/106555506097532201630\ 4937726931617259207*c_0101_6^19 + 245687302516946622997910615160671\ 258489/1065555060975322016304937726931617259207*c_0101_6^18 + 1135865015792787216119882873430617079912/10655550609753220163049377\ 26931617259207*c_0101_6^17 + 44394055325331680748300974179629737559\ 57/1065555060975322016304937726931617259207*c_0101_6^16 + 2945728142050535653332216640798924887318/10655550609753220163049377\ 26931617259207*c_0101_6^15 - 69103433918585858510309174601389684276\ 61/1065555060975322016304937726931617259207*c_0101_6^14 - 80536450148298067034051024154620177179633/1065555060975322016304937\ 726931617259207*c_0101_6^13 - 2132836572730862732033882390118838434\ 16898/1065555060975322016304937726931617259207*c_0101_6^12 - 159088471320075307777804099905529718392561/106555506097532201630493\ 7726931617259207*c_0101_6^11 - 267872099554031862052056051624747134\ 646592/1065555060975322016304937726931617259207*c_0101_6^10 + 660056225592246518166233220964544832187750/106555506097532201630493\ 7726931617259207*c_0101_6^9 + 9039737952404468673593570253441655143\ 97383/1065555060975322016304937726931617259207*c_0101_6^8 - 150871105426467042018120255602114794386737/106555506097532201630493\ 7726931617259207*c_0101_6^7 - 5488669920441946763150671520809844238\ 9150/1065555060975322016304937726931617259207*c_0101_6^6 + 40602172252846751325985475660112953208483/1065555060975322016304937\ 726931617259207*c_0101_6^5 - 36269700864784171347050490239705487137\ 564/1065555060975322016304937726931617259207*c_0101_6^4 - 5003165404166083205255053224166903434348/10655550609753220163049377\ 26931617259207*c_0101_6^3 + 488632424111739492809507358494170962767\ 5/1065555060975322016304937726931617259207*c_0101_6^2 - 4558159736995309835275873704010794631/24722855243046914531437070230\ 43195497*c_0101_6 + 147976639341779034305676815557105030501/1065555\ 060975322016304937726931617259207, c_0011_4 + 124915870357406535711174130866986238883/10655550609753220163\ 04937726931617259207*c_0101_6^19 + 494006830848304540654848876168366779519/106555506097532201630493772\ 6931617259207*c_0101_6^18 + 223907910330490294483310633918990780617\ 7/1065555060975322016304937726931617259207*c_0101_6^17 + 8816733927268634067440870113244453236504/10655550609753220163049377\ 26931617259207*c_0101_6^16 + 70708056009047093034599406778149228386\ 00/1065555060975322016304937726931617259207*c_0101_6^15 - 13430929775642469537798496614880383200688/1065555060975322016304937\ 726931617259207*c_0101_6^14 - 1574367702888777608627402699339611927\ 29523/1065555060975322016304937726931617259207*c_0101_6^13 - 437022721159503916445882056096301339750984/106555506097532201630493\ 7726931617259207*c_0101_6^12 - 365807101026507947614882392008312565\ 468993/1065555060975322016304937726931617259207*c_0101_6^11 - 495648049009853697868636616638938400462216/106555506097532201630493\ 7726931617259207*c_0101_6^10 + 122539102394077041054039937333645679\ 7471639/1065555060975322016304937726931617259207*c_0101_6^9 + 2098828062141440814694822534121932601720518/10655550609753220163049\ 37726931617259207*c_0101_6^8 - 644149950401166402141224706418537235\ 38912/1065555060975322016304937726931617259207*c_0101_6^7 - 572716036305487206564750907039046460202021/106555506097532201630493\ 7726931617259207*c_0101_6^6 - 5261734267677867462517043908062718652\ 0313/1065555060975322016304937726931617259207*c_0101_6^5 + 20374392858840112106202060574265766532910/1065555060975322016304937\ 726931617259207*c_0101_6^4 - 18184175991467263549105662379008433515\ 234/1065555060975322016304937726931617259207*c_0101_6^3 + 8837839308738024296572732037393696759254/10655550609753220163049377\ 26931617259207*c_0101_6^2 + 10877155100891110067088009110731198859/\ 2472285524304691453143707023043195497*c_0101_6 - 673330120289354222084654000911388089306/106555506097532201630493772\ 6931617259207, c_0101_0 - 365160328217819016402715723943970437277/10655550609753220163\ 04937726931617259207*c_0101_6^19 - 1296829299506965981242346492965808764497/10655550609753220163049377\ 26931617259207*c_0101_6^18 - 59552943000364833418810456464492419906\ 05/1065555060975322016304937726931617259207*c_0101_6^17 - 23116375082838063181295759982192065091602/1065555060975322016304937\ 726931617259207*c_0101_6^16 - 1017612122464386190508605110499906342\ 1490/1065555060975322016304937726931617259207*c_0101_6^15 + 47948948662913543077250468978031387597861/1065555060975322016304937\ 726931617259207*c_0101_6^14 + 4441110991329233053148249188918680809\ 13813/1065555060975322016304937726931617259207*c_0101_6^13 + 1091135399602979171512246214247891400788599/10655550609753220163049\ 37726931617259207*c_0101_6^12 + 54610130221184523610297642941538611\ 5351584/1065555060975322016304937726931617259207*c_0101_6^11 + 1005668404340763506964090681129692041962742/10655550609753220163049\ 37726931617259207*c_0101_6^10 - 41586693996278046020754415704280648\ 76600715/1065555060975322016304937726931617259207*c_0101_6^9 - 4718931501503768002535942542143060469671333/10655550609753220163049\ 37726931617259207*c_0101_6^8 + 277372156996264291775367515468182846\ 6731089/1065555060975322016304937726931617259207*c_0101_6^7 + 1558593407130618524081847878444529207893517/10655550609753220163049\ 37726931617259207*c_0101_6^6 - 594276471057171103017694783777859637\ 573524/1065555060975322016304937726931617259207*c_0101_6^5 - 19941686905724086267332489023172832495253/1065555060975322016304937\ 726931617259207*c_0101_6^4 + 42551136588581870461192931401032108615\ 501/1065555060975322016304937726931617259207*c_0101_6^3 - 47105826187283880403840820385141393569595/1065555060975322016304937\ 726931617259207*c_0101_6^2 - 1695872674615360658658165090530637530/\ 2472285524304691453143707023043195497*c_0101_6 + 5775233266524487206818440251930206405299/10655550609753220163049377\ 26931617259207, c_0101_1 - 1989818052747572389262610760921554689/1065555060975322016304\ 937726931617259207*c_0101_6^19 + 5503446149839278749444519446877096\ 2280/1065555060975322016304937726931617259207*c_0101_6^18 + 217208867648498034665186127287325319310/106555506097532201630493772\ 6931617259207*c_0101_6^17 + 100908877109103226889747318048443627696\ 9/1065555060975322016304937726931617259207*c_0101_6^16 + 4425789164414781016514364438656133638270/10655550609753220163049377\ 26931617259207*c_0101_6^15 + 41763795629578578618531219482540117494\ 58/1065555060975322016304937726931617259207*c_0101_6^14 - 3576893034149173428897361943581501306236/10655550609753220163049377\ 26931617259207*c_0101_6^13 - 72277431336075707960447909714458459327\ 619/1065555060975322016304937726931617259207*c_0101_6^12 - 219902773933810131629909643987483074719829/106555506097532201630493\ 7726931617259207*c_0101_6^11 - 198114664951507228887008587926323671\ 588051/1065555060975322016304937726931617259207*c_0101_6^10 - 303982767340156616297736843407483372023592/106555506097532201630493\ 7726931617259207*c_0101_6^9 + 5427498488475833796397383956239802045\ 93153/1065555060975322016304937726931617259207*c_0101_6^8 + 1067933833744397652840275723758028592556948/10655550609753220163049\ 37726931617259207*c_0101_6^7 + 905646115007238367260314373593636175\ 32085/1065555060975322016304937726931617259207*c_0101_6^6 - 173738990812848210882028071035629838709957/106555506097532201630493\ 7726931617259207*c_0101_6^5 - 1563595401908980454852844547884390768\ 4261/1065555060975322016304937726931617259207*c_0101_6^4 - 9750029364650643054834467804225953381446/10655550609753220163049377\ 26931617259207*c_0101_6^3 - 873595874686108838991339744471511552278\ 1/1065555060975322016304937726931617259207*c_0101_6^2 + 2634669889075347145270396702079481456/24722855243046914531437070230\ 43195497*c_0101_6 + 1830054692059162032397173774366134149600/106555\ 5060975322016304937726931617259207, c_0101_3 + 23047153880123306146178347819338527879/106555506097532201630\ 4937726931617259207*c_0101_6^19 + 830443472982645009573849258428697\ 91794/1065555060975322016304937726931617259207*c_0101_6^18 + 372652351933671919982054118248725863699/106555506097532201630493772\ 6931617259207*c_0101_6^17 + 144793265159626318542516082313372616036\ 5/1065555060975322016304937726931617259207*c_0101_6^16 + 579875724511671705132554517823937432627/106555506097532201630493772\ 6931617259207*c_0101_6^15 - 353998503090098669575466774726641352651\ 1/1065555060975322016304937726931617259207*c_0101_6^14 - 28690019658521116729891248783764392638899/1065555060975322016304937\ 726931617259207*c_0101_6^13 - 6960759878374147909751409331647092927\ 1330/1065555060975322016304937726931617259207*c_0101_6^12 - 28602536984560227949536754370028411634841/1065555060975322016304937\ 726931617259207*c_0101_6^11 - 3787449121479969847220544313894130896\ 3409/1065555060975322016304937726931617259207*c_0101_6^10 + 285013779210590550938710184920868572324923/106555506097532201630493\ 7726931617259207*c_0101_6^9 + 3459777192793502707533158178566051882\ 76815/1065555060975322016304937726931617259207*c_0101_6^8 - 224775149902741674283043688596326739298951/106555506097532201630493\ 7726931617259207*c_0101_6^7 - 2397196566813452091899231119732329010\ 57909/1065555060975322016304937726931617259207*c_0101_6^6 + 21155505096248316593620031219310481964797/1065555060975322016304937\ 726931617259207*c_0101_6^5 + 24828286408920859145699513833564361304\ 771/1065555060975322016304937726931617259207*c_0101_6^4 - 9542923246121535664770526797645141373865/10655550609753220163049377\ 26931617259207*c_0101_6^3 + 470865589136999625372001674959692045578\ 2/1065555060975322016304937726931617259207*c_0101_6^2 + 4797961279182749803612656980074921367/24722855243046914531437070230\ 43195497*c_0101_6 - 899520023316750062552797117811532546376/1065555\ 060975322016304937726931617259207, c_0101_6^20 + 4*c_0101_6^19 + 18*c_0101_6^18 + 71*c_0101_6^17 + 58*c_0101_6^16 - 112*c_0101_6^15 - 1270*c_0101_6^14 - 3544*c_0101_6^13 - 2958*c_0101_6^12 - 3758*c_0101_6^11 + 9884*c_0101_6^10 + 17631*c_0101_6^9 - 836*c_0101_6^8 - 6160*c_0101_6^7 - 397*c_0101_6^6 + 525*c_0101_6^5 - 79*c_0101_6^4 + 55*c_0101_6^3 + 49*c_0101_6^2 - 8*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB