Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 509576035] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2973 geometric_solution 6.15338339 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943093279531 1.086799640107 0 3 5 4 0132 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 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.659579843628 0.913781395263 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 -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.659579843628 0.913781395263 6 1 2 6 0132 0132 3201 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095121938297 0.385876575971 2 4 1 4 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820305672514 0.606072969523 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 -1 1 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 0 0 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.419938127068 0.549676452486 3 3 6 6 0132 2310 2031 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 0 0 0 0 0 0 0 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.213348259174 2.665107379732 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 73620718637698745398547100180432/99059917559286816251857*c_0101_6^2\ 8 - 437737363716385775989403704382777/99059917559286816251857*c_010\ 1_6^27 + 820626212858759472902136142977735/99059917559286816251857*\ c_0101_6^26 - 349733527282369938236448591500419/9905991755928681625\ 1857*c_0101_6^25 - 245003228160572945456419158154126/99059917559286\ 816251857*c_0101_6^24 + 121920095318923394042123152915728/990599175\ 59286816251857*c_0101_6^23 - 586092851841186671425695791029349/9905\ 9917559286816251857*c_0101_6^22 - 348755527241545053289044457376737\ /99059917559286816251857*c_0101_6^21 + 932863538404245570754152132275326/99059917559286816251857*c_0101_6^\ 20 + 3352905107675783097810390629458714/99059917559286816251857*c_0\ 101_6^19 + 375660227608059812656725059749523/9905991755928681625185\ 7*c_0101_6^18 - 6202783733699747177963133924358456/9905991755928681\ 6251857*c_0101_6^17 - 6032531340525759238517570275247186/9905991755\ 9286816251857*c_0101_6^16 + 4081289981975874333942693794107150/9905\ 9917559286816251857*c_0101_6^15 + 112767400023488723825187869373512\ 08/99059917559286816251857*c_0101_6^14 + 3723150940709451709029561671549792/99059917559286816251857*c_0101_6\ ^13 - 8695756320337457906661579379097930/99059917559286816251857*c_\ 0101_6^12 - 9430880657593624812665617849846973/99059917559286816251\ 857*c_0101_6^11 + 755326607840537462437299964358987/990599175592868\ 16251857*c_0101_6^10 + 7071004571593960507074413031591355/990599175\ 59286816251857*c_0101_6^9 + 3517574149193731029971924787467097/9905\ 9917559286816251857*c_0101_6^8 - 1640038721739808364693279939705484\ /99059917559286816251857*c_0101_6^7 - 2222984748575847346794239366292147/99059917559286816251857*c_0101_6\ ^6 - 547275989654169279204810760156262/99059917559286816251857*c_01\ 01_6^5 + 300762716754761963545106077430267/99059917559286816251857*\ c_0101_6^4 + 249109630183299305342098171866635/99059917559286816251\ 857*c_0101_6^3 + 75404602559833067986947096066305/99059917559286816\ 251857*c_0101_6^2 + 11143063943461654058728930921004/99059917559286\ 816251857*c_0101_6 + 670329148509728114728596146821/990599175592868\ 16251857, c_0011_0 - 1, c_0011_4 - 1151194026376956779831488012380/3195481211589897298447*c_010\ 1_6^28 + 6804835487101531101886248733879/3195481211589897298447*c_0\ 101_6^27 - 12578425888954212049853863384090/3195481211589897298447*\ c_0101_6^26 + 4922792688197013508498480487399/319548121158989729844\ 7*c_0101_6^25 + 4236690032530928328897416180793/3195481211589897298\ 447*c_0101_6^24 - 1933560944351137111768569308399/31954812115898972\ 98447*c_0101_6^23 + 9109360364134406895875575967011/319548121158989\ 7298447*c_0101_6^22 + 5793328824434950989888126549111/3195481211589\ 897298447*c_0101_6^21 - 14531806082733023365423504609343/3195481211\ 589897298447*c_0101_6^20 - 52957815141533874726516316061354/3195481\ 211589897298447*c_0101_6^19 - 7486542126268996518655561458650/31954\ 81211589897298447*c_0101_6^18 + 97425226479527001561754530427686/31\ 95481211589897298447*c_0101_6^17 + 97529227682607032903841164826460/3195481211589897298447*c_0101_6^16 - 61804591424567289182326253588971/3195481211589897298447*c_0101_6^\ 15 - 179346778767896488478202533040754/3195481211589897298447*c_010\ 1_6^14 - 63156309361688772297832519280955/3195481211589897298447*c_\ 0101_6^13 + 135901371631344538327534875747786/319548121158989729844\ 7*c_0101_6^12 + 152224715180038952334037631685912/31954812115898972\ 98447*c_0101_6^11 - 8562705705103071799786171084096/319548121158989\ 7298447*c_0101_6^10 - 112261408931781736021896814475295/31954812115\ 89897298447*c_0101_6^9 - 58179064600872708283399860433915/319548121\ 1589897298447*c_0101_6^8 + 24986041357411011639870484515592/3195481\ 211589897298447*c_0101_6^7 + 35911946788096854731816233398634/31954\ 81211589897298447*c_0101_6^6 + 9311887076557702835118536961046/3195\ 481211589897298447*c_0101_6^5 - 4702824633042291091273837660721/319\ 5481211589897298447*c_0101_6^4 - 4058803147135768617213817635281/31\ 95481211589897298447*c_0101_6^3 - 1250080126478734960322562113070/3\ 195481211589897298447*c_0101_6^2 - 187285009422546555746293418786/3195481211589897298447*c_0101_6 - 11409272520243481625958458575/3195481211589897298447, c_0101_0 - 447095232435967453198605844062/3195481211589897298447*c_0101\ _6^28 + 2615706681096420528604227209678/3195481211589897298447*c_01\ 01_6^27 - 4714791914244088485070339692794/3195481211589897298447*c_\ 0101_6^26 + 1552677996077465879002010544777/3195481211589897298447*\ c_0101_6^25 + 1893271781946771425121954249162/319548121158989729844\ 7*c_0101_6^24 - 740418977645938434932429899509/31954812115898972984\ 47*c_0101_6^23 + 3486055863144352644560695151841/319548121158989729\ 8447*c_0101_6^22 + 2484676900542389661008141217133/3195481211589897\ 298447*c_0101_6^21 - 5594195843826770807032471055051/31954812115898\ 97298447*c_0101_6^20 - 20929456555545710271942894121540/31954812115\ 89897298447*c_0101_6^19 - 4021183098985314287133040869022/319548121\ 1589897298447*c_0101_6^18 + 38074899895076583549906079768159/319548\ 1211589897298447*c_0101_6^17 + 40090821661477877458125145735146/319\ 5481211589897298447*c_0101_6^16 - 22527509636810613749262718148705/\ 3195481211589897298447*c_0101_6^15 - 71666487747978886145563184445632/3195481211589897298447*c_0101_6^14 - 28013055200460010940207990628850/3195481211589897298447*c_0101_6^\ 13 + 52594155138251338522886056836269/3195481211589897298447*c_0101\ _6^12 + 62405063059806315548808155985873/3195481211589897298447*c_0\ 101_6^11 - 958761077485115257937433881349/3195481211589897298447*c_\ 0101_6^10 - 44692737954154938264384877112719/3195481211589897298447\ *c_0101_6^9 - 24842202937030421486141480055064/31954812115898972984\ 47*c_0101_6^8 + 9172941668611811683069495289993/3195481211589897298\ 447*c_0101_6^7 + 14741169641319200224571736320941/31954812115898972\ 98447*c_0101_6^6 + 4168262476558289415466689111646/3195481211589897\ 298447*c_0101_6^5 - 1815227125533653828898383815486/319548121158989\ 7298447*c_0101_6^4 - 1692651367892743737933719244719/31954812115898\ 97298447*c_0101_6^3 - 537608062257594173236834790869/31954812115898\ 97298447*c_0101_6^2 - 82478102211110286456372691425/319548121158989\ 7298447*c_0101_6 - 5132147384767828294549158396/3195481211589897298\ 447, c_0101_1 - 701724784200424963113932379270/3195481211589897298447*c_0101\ _6^28 + 4149178905063177441233248443904/3195481211589897298447*c_01\ 01_6^27 - 7675261234567335443087453113735/3195481211589897298447*c_\ 0101_6^26 + 3019087870363062037438656018047/3195481211589897298447*\ c_0101_6^25 + 2565707599590637564150503700398/319548121158989729844\ 7*c_0101_6^24 - 1173014296356103781379510205599/3195481211589897298\ 447*c_0101_6^23 + 5552146422298714632429000992308/31954812115898972\ 98447*c_0101_6^22 + 3521665378301769660875239282630/319548121158989\ 7298447*c_0101_6^21 - 8857515174225699874005401997147/3195481211589\ 897298447*c_0101_6^20 - 32265754375750729311650576237509/3195481211\ 589897298447*c_0101_6^19 - 4518240768267543200268519279023/31954812\ 11589897298447*c_0101_6^18 + 59364056043017180775464035848614/31954\ 81211589897298447*c_0101_6^17 + 59360846658528538580959674028665/31\ 95481211589897298447*c_0101_6^16 - 37715617843774152662522118885315/3195481211589897298447*c_0101_6^15 - 109226684756903607385450948651360/3195481211589897298447*c_0101_6\ ^14 - 38371906630421139350691928710105/3195481211589897298447*c_010\ 1_6^13 + 82818910508313279784131554785635/3195481211589897298447*c_\ 0101_6^12 + 92657112893369706237680678391196/3195481211589897298447\ *c_0101_6^11 - 5289301379315112056843262410358/31954812115898972984\ 47*c_0101_6^10 - 68369641757706727818116513083178/31954812115898972\ 98447*c_0101_6^9 - 35383995968590983106132290988439/319548121158989\ 7298447*c_0101_6^8 + 15235841392433274417649638119287/3195481211589\ 897298447*c_0101_6^7 + 21857987304832260261546503723353/31954812115\ 89897298447*c_0101_6^6 + 5660401165128200751804383821453/3195481211\ 589897298447*c_0101_6^5 - 2864706192344314654055159169052/319548121\ 1589897298447*c_0101_6^4 - 2470092863860571008700000539783/31954812\ 11589897298447*c_0101_6^3 - 760554169745078426288180301592/31954812\ 11589897298447*c_0101_6^2 - 113927560488523273919617428009/31954812\ 11589897298447*c_0101_6 - 6939756922982379526239912152/319548121158\ 9897298447, c_0101_2 + 261*c_0101_6^28 - 1442*c_0101_6^27 + 2256*c_0101_6^26 - 15*c_0101_6^25 - 1391*c_0101_6^24 + 67*c_0101_6^23 - 1896*c_0101_6^22 - 2111*c_0101_6^21 + 2787*c_0101_6^20 + 13279*c_0101_6^19 + 6335*c_0101_6^18 - 21431*c_0101_6^17 - 30643*c_0101_6^16 + 5469*c_0101_6^15 + 46071*c_0101_6^14 + 30026*c_0101_6^13 - 25276*c_0101_6^12 - 46412*c_0101_6^11 - 11393*c_0101_6^10 + 26198*c_0101_6^9 + 23022*c_0101_6^8 - 567*c_0101_6^7 - 10329*c_0101_6^6 - 5257*c_0101_6^5 + 250*c_0101_6^4 + 1332*c_0101_6^3 + 639*c_0101_6^2 + 153*c_0101_6 + 18, c_0101_3 - 1516601686395914565912/5521194335453*c_0101_6^28 + 8981735320487304541647/5521194335453*c_0101_6^27 - 16677975281288072253183/5521194335453*c_0101_6^26 + 6713523283317200563870/5521194335453*c_0101_6^25 + 5417724396506476801765/5521194335453*c_0101_6^24 - 2545641228471580756302/5521194335453*c_0101_6^23 + 12030811800695829611909/5521194335453*c_0101_6^22 + 7485174359807652224607/5521194335453*c_0101_6^21 - 19170040636742577497567/5521194335453*c_0101_6^20 - 69542176026082687201748/5521194335453*c_0101_6^19 - 9175173684493285279527/5521194335453*c_0101_6^18 + 128179808013373211740202/5521194335453*c_0101_6^17 + 127116966447867403536512/5521194335453*c_0101_6^16 - 82299992759198770105497/5521194335453*c_0101_6^15 - 235000298499366412250456/5521194335453*c_0101_6^14 - 81076447924144278011537/5521194335453*c_0101_6^13 + 179096246409444839936779/5521194335453*c_0101_6^12 + 198507883125567744264249/5521194335453*c_0101_6^11 - 12692771830744620286209/5521194335453*c_0101_6^10 - 147183413469388972370225/5521194335453*c_0101_6^9 - 75276447957443354945341/5521194335453*c_0101_6^8 + 33211359030275811907947/5521194335453*c_0101_6^7 + 46816528686365110881474/5521194335453*c_0101_6^6 + 11939898070533856796253/5521194335453*c_0101_6^5 - 6196467462256315352511/5521194335453*c_0101_6^4 - 5276426304986662114283/5521194335453*c_0101_6^3 - 1616189205170154986969/5521194335453*c_0101_6^2 - 241118719286728442145/5521194335453*c_0101_6 - 14634501651330209992/5521194335453, c_0101_6^29 - 1442/261*c_0101_6^28 + 752/87*c_0101_6^27 - 5/87*c_0101_6^26 - 1391/261*c_0101_6^25 + 67/261*c_0101_6^24 - 632/87*c_0101_6^23 - 2111/261*c_0101_6^22 + 929/87*c_0101_6^21 + 13279/261*c_0101_6^20 + 6335/261*c_0101_6^19 - 739/9*c_0101_6^18 - 30643/261*c_0101_6^17 + 1823/87*c_0101_6^16 + 5119/29*c_0101_6^15 + 30026/261*c_0101_6^14 - 25276/261*c_0101_6^13 - 46412/261*c_0101_6^12 - 11393/261*c_0101_6^11 + 26198/261*c_0101_6^10 + 2558/29*c_0101_6^9 - 63/29*c_0101_6^8 - 3443/87*c_0101_6^7 - 5257/261*c_0101_6^6 + 250/261*c_0101_6^5 + 148/29*c_0101_6^4 + 71/29*c_0101_6^3 + 152/261*c_0101_6^2 + 19/261*c_0101_6 + 1/261 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB