Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2345277266] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1739 geometric_solution 5.43876600 oriented_manifold CS_known 0.0000000000000000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531126450967 0.117246721977 2 0 2 0 0132 2310 1023 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 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.673569737797 0.279068480244 1 3 1 4 0132 0132 1023 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 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 1.206350995496 1.470943478824 4 2 6 5 3201 0132 0132 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 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.180280256306 0.960832544290 5 6 2 3 3201 3201 0132 2310 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 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.180280256306 0.960832544290 5 5 3 4 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188636840225 1.005370298744 6 6 4 3 1302 2031 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 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188636840225 1.005370298744 ==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' : negation(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' : negation(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' : d['c_0011_4'], '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' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_5']), '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' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0011_6'], '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_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 164888334025395131018511300942920424103927932692/160193914198487962\ 338093565250684390431579601*c_0101_3^22 + 2216747378878089037874377111664506126869570308105/32038782839697592\ 4676187130501368780863159202*c_0101_3^21 - 10585238126303932669163683721623898828737863180051/3203878283969759\ 24676187130501368780863159202*c_0101_3^20 + 5745416869274458783278221521490334038733664838001/16019391419848796\ 2338093565250684390431579601*c_0101_3^19 - 70602538303227316696948109461422096249637061376878/1601939141984879\ 62338093565250684390431579601*c_0101_3^18 - 228717660995845307331973610389945640193243079526419/320387828396975\ 924676187130501368780863159202*c_0101_3^17 - 775068189348909670051260264030042290671821374058733/320387828396975\ 924676187130501368780863159202*c_0101_3^16 - 821192344117154284984069690543989487449835732501847/160193914198487\ 962338093565250684390431579601*c_0101_3^15 - 1247609525031352929326742500150289617688989208395083/32038782839697\ 5924676187130501368780863159202*c_0101_3^14 - 662019568256997943498943190627734492346110867407466/160193914198487\ 962338093565250684390431579601*c_0101_3^13 + 632072600660408908068909495847662034755151500438661/160193914198487\ 962338093565250684390431579601*c_0101_3^12 + 1112702200909568935514400367337159786084708491700951/16019391419848\ 7962338093565250684390431579601*c_0101_3^11 + 106163564921595722643077964681602966097332377728937/160193914198487\ 962338093565250684390431579601*c_0101_3^10 + 3141749958225766533056002619351352278937774807533509/32038782839697\ 5924676187130501368780863159202*c_0101_3^9 + 910673318487771812734390274576651739378357269167947/160193914198487\ 962338093565250684390431579601*c_0101_3^8 - 1026730426175109330893837435351755233265310756455139/16019391419848\ 7962338093565250684390431579601*c_0101_3^7 - 773636594334201097646705132882679472974653537403703/160193914198487\ 962338093565250684390431579601*c_0101_3^6 - 108029191077739375224963836575694082626901329591039/320387828396975\ 924676187130501368780863159202*c_0101_3^5 + 210926589229481844542373030633384590325355206888837/320387828396975\ 924676187130501368780863159202*c_0101_3^4 + 66984755985321698214965090299646719727086777617740/1601939141984879\ 62338093565250684390431579601*c_0101_3^3 + 13857886176541361049678456602405962569292022320614/1601939141984879\ 62338093565250684390431579601*c_0101_3^2 - 2770536403525112830256908731187883549217517618597/16019391419848796\ 2338093565250684390431579601*c_0101_3 - 966849855893505929342382688109578427158910947664/160193914198487962\ 338093565250684390431579601, c_0011_0 - 1, c_0011_1 - 100603235719229772632754319872514749191613846/16019391419848\ 7962338093565250684390431579601*c_0101_3^22 + 748013998211137617980142318887818620998954614/160193914198487962338\ 093565250684390431579601*c_0101_3^21 - 3750502665341943231355013666831945040599918304/16019391419848796233\ 8093565250684390431579601*c_0101_3^20 + 6090105322058434056456001345862523419872444801/16019391419848796233\ 8093565250684390431579601*c_0101_3^19 - 46967932792353685037884848609718390253307132021/1601939141984879623\ 38093565250684390431579601*c_0101_3^18 - 36992004994575818042428178166376129239356591824/1601939141984879623\ 38093565250684390431579601*c_0101_3^17 - 204379798732285352139421328024986742519249272202/160193914198487962\ 338093565250684390431579601*c_0101_3^16 - 20618219811462579991976692828955476036783263474/9423171423440468372\ 829033250040258260681153*c_0101_3^15 - 105713238493997011596601541665555023336129814170/160193914198487962\ 338093565250684390431579601*c_0101_3^14 - 16780003343974198314656223689209400675036887003/9423171423440468372\ 829033250040258260681153*c_0101_3^13 + 602329230075455831490452828244613738649980783258/160193914198487962\ 338093565250684390431579601*c_0101_3^12 + 281630426270028039106373094937826256760461182042/160193914198487962\ 338093565250684390431579601*c_0101_3^11 - 211117024041606185652384449578970911351682395590/160193914198487962\ 338093565250684390431579601*c_0101_3^10 + 1068530044291785925506234671043348423313673981612/16019391419848796\ 2338093565250684390431579601*c_0101_3^9 - 181965036293460777780394952507034825067193390021/160193914198487962\ 338093565250684390431579601*c_0101_3^8 - 623314551141138816520555575300715872775923713491/160193914198487962\ 338093565250684390431579601*c_0101_3^7 - 8922787574617091609036168044879194727799778659/16019391419848796233\ 8093565250684390431579601*c_0101_3^6 + 55789216231201551594622923976241363284748041862/1601939141984879623\ 38093565250684390431579601*c_0101_3^5 + 33160066666763545303169707924010210931725842341/1601939141984879623\ 38093565250684390431579601*c_0101_3^4 + 10099502867215743879483254963888195980942886044/1601939141984879623\ 38093565250684390431579601*c_0101_3^3 - 4382473586349830980121863048386223238082590338/16019391419848796233\ 8093565250684390431579601*c_0101_3^2 - 628388506813442228764315221424390303109771300/160193914198487962338\ 093565250684390431579601*c_0101_3 + 84045399030994198531232788086852077747231005/1601939141984879623380\ 93565250684390431579601, c_0011_4 + 42139520059411918428557459935019482563982424/160193914198487\ 962338093565250684390431579601*c_0101_3^22 - 321329924977630349900698929841861408906384611/160193914198487962338\ 093565250684390431579601*c_0101_3^21 + 1626404397204830146051878078641605582137310310/16019391419848796233\ 8093565250684390431579601*c_0101_3^20 - 2819531419976291580452096330547553706813753500/16019391419848796233\ 8093565250684390431579601*c_0101_3^19 + 20008973539135114451187672324281976634481551151/1601939141984879623\ 38093565250684390431579601*c_0101_3^18 + 11982725708485650112219637036961406060139194470/1601939141984879623\ 38093565250684390431579601*c_0101_3^17 + 80771868919656354283732414322248998142178625354/1601939141984879623\ 38093565250684390431579601*c_0101_3^16 + 7573272642286785321931661232809563407405365449/94231714234404683728\ 29033250040258260681153*c_0101_3^15 + 7737405902431517569554918191862186008770998931/16019391419848796233\ 8093565250684390431579601*c_0101_3^14 + 5608748223110821954915925683794212809950032422/94231714234404683728\ 29033250040258260681153*c_0101_3^13 - 281697400587845052453123111155763564881795074171/160193914198487962\ 338093565250684390431579601*c_0101_3^12 - 83087377767462479101134446115742940086583250248/1601939141984879623\ 38093565250684390431579601*c_0101_3^11 + 133173066706406831593658641045887599867133104260/160193914198487962\ 338093565250684390431579601*c_0101_3^10 - 449641872749400834505199561281583757204423033319/160193914198487962\ 338093565250684390431579601*c_0101_3^9 + 154402446866749940856196660407956095439730421477/160193914198487962\ 338093565250684390431579601*c_0101_3^8 + 290768679686296458625808221302201937041976792536/160193914198487962\ 338093565250684390431579601*c_0101_3^7 - 47003270257977529550598201152210584602314342799/1601939141984879623\ 38093565250684390431579601*c_0101_3^6 - 49558266120773058611765535256275546998080557516/1601939141984879623\ 38093565250684390431579601*c_0101_3^5 - 11617032242772716400260942251518312660720537560/1601939141984879623\ 38093565250684390431579601*c_0101_3^4 - 970505689875697414788861208231571071554857450/160193914198487962338\ 093565250684390431579601*c_0101_3^3 + 3759694180548555343182831397953226221441017177/16019391419848796233\ 8093565250684390431579601*c_0101_3^2 + 417124965334940718080569464082147266236070102/160193914198487962338\ 093565250684390431579601*c_0101_3 - 165897162636825528638051510642357898845370006/160193914198487962338\ 093565250684390431579601, c_0011_5 + 41215222747029822366386637902869603160012922/160193914198487\ 962338093565250684390431579601*c_0101_3^22 - 296840309247943857823745526422130060854033390/160193914198487962338\ 093565250684390431579601*c_0101_3^21 + 1465646347675478549830023626309302718511095451/16019391419848796233\ 8093565250684390431579601*c_0101_3^20 - 2139761458766904402123081251766152440956727381/16019391419848796233\ 8093565250684390431579601*c_0101_3^19 + 18671458068062811070974069792947709184395185826/1601939141984879623\ 38093565250684390431579601*c_0101_3^18 + 19656439310638548708141992271436293298942107275/1601939141984879623\ 38093565250684390431579601*c_0101_3^17 + 87436894247089868811501633409343708600374733765/1601939141984879623\ 38093565250684390431579601*c_0101_3^16 + 9644517742883554067484330812091692792784295299/94231714234404683728\ 29033250040258260681153*c_0101_3^15 + 78275121188221480356346245850614744446784811072/1601939141984879623\ 38093565250684390431579601*c_0101_3^14 + 7742939160992564018047936707050999001589875162/94231714234404683728\ 29033250040258260681153*c_0101_3^13 - 214822349720480048529746136521762524344459627192/160193914198487962\ 338093565250684390431579601*c_0101_3^12 - 170210673868994722478591336002035098153489292803/160193914198487962\ 338093565250684390431579601*c_0101_3^11 + 60419593803351958049375137130490501699067983618/1601939141984879623\ 38093565250684390431579601*c_0101_3^10 - 427567128652940008210432258225610344816300312293/160193914198487962\ 338093565250684390431579601*c_0101_3^9 - 27658197735130917122990363278424113410220780484/1601939141984879623\ 38093565250684390431579601*c_0101_3^8 + 268261299898705223691871091300624269974072055548/160193914198487962\ 338093565250684390431579601*c_0101_3^7 + 49856883694559315503485653841685495250726529182/1601939141984879623\ 38093565250684390431579601*c_0101_3^6 - 13279935736786024466634224486801310267948761629/1601939141984879623\ 38093565250684390431579601*c_0101_3^5 - 14038967604672925696439454422639418385876500591/1601939141984879623\ 38093565250684390431579601*c_0101_3^4 - 7484578090771908018387525202088846693119803689/16019391419848796233\ 8093565250684390431579601*c_0101_3^3 + 715258736964915857142602448859189698900808357/160193914198487962338\ 093565250684390431579601*c_0101_3^2 + 319855245919095029270527578240976732153817229/160193914198487962338\ 093565250684390431579601*c_0101_3 - 61789882601481402317909597928411076065943248/1601939141984879623380\ 93565250684390431579601, c_0011_6 - 83354742806441740794944097837889085723995346/160193914198487\ 962338093565250684390431579601*c_0101_3^22 + 618170234225574207724444456263991469760418001/160193914198487962338\ 093565250684390431579601*c_0101_3^21 - 3092050744880308695881901704950908300648405761/16019391419848796233\ 8093565250684390431579601*c_0101_3^20 + 4959292878743195982575177582313706147770480881/16019391419848796233\ 8093565250684390431579601*c_0101_3^19 - 38680431607197925522161742117229685818876736977/1601939141984879623\ 38093565250684390431579601*c_0101_3^18 - 31639165019124198820361629308397699359081301745/1601939141984879623\ 38093565250684390431579601*c_0101_3^17 - 168208763166746223095234047731592706742553359119/160193914198487962\ 338093565250684390431579601*c_0101_3^16 - 17217790385170339389415992044901256200189660748/9423171423440468372\ 829033250040258260681153*c_0101_3^15 - 86012527090652997925901164042476930455555810003/1601939141984879623\ 38093565250684390431579601*c_0101_3^14 - 13351687384103385972963862390845211811539907584/9423171423440468372\ 829033250040258260681153*c_0101_3^13 + 496519750308325100982869247677526089226254701363/160193914198487962\ 338093565250684390431579601*c_0101_3^12 + 253298051636457201579725782117778038240072543051/160193914198487962\ 338093565250684390431579601*c_0101_3^11 - 193592660509758789643033778176378101566201087878/160193914198487962\ 338093565250684390431579601*c_0101_3^10 + 877209001402340842715631819507194102020723345612/160193914198487962\ 338093565250684390431579601*c_0101_3^9 - 126744249131619023733206297129531982029509640993/160193914198487962\ 338093565250684390431579601*c_0101_3^8 - 559029979585001682317679312602826207016048848084/160193914198487962\ 338093565250684390431579601*c_0101_3^7 - 2853613436581785952887452689474910648412186383/16019391419848796233\ 8093565250684390431579601*c_0101_3^6 + 62838201857559083078399759743076857266029319145/1601939141984879623\ 38093565250684390431579601*c_0101_3^5 + 25655999847445642096700396674157731046597038151/1601939141984879623\ 38093565250684390431579601*c_0101_3^4 + 8455083780647605433176386410320417764674661139/16019391419848796233\ 8093565250684390431579601*c_0101_3^3 - 4474952917513471200325433846812415920341825534/16019391419848796233\ 8093565250684390431579601*c_0101_3^2 - 736980211254035747351097042323123998389887331/160193914198487962338\ 093565250684390431579601*c_0101_3 + 227687045238306930955961108570768974911313254/160193914198487962338\ 093565250684390431579601, c_0101_0 + 273451217750449600556418911808539989612614872/16019391419848\ 7962338093565250684390431579601*c_0101_3^22 - 2139168270611287157738784908173379682949177928/16019391419848796233\ 8093565250684390431579601*c_0101_3^21 + 10968966076074037386355338605113530504875555238/1601939141984879623\ 38093565250684390431579601*c_0101_3^20 - 20412400961695056230468324892810926622195890278/1601939141984879623\ 38093565250684390431579601*c_0101_3^19 + 133636571178516188812883637086613247193109182301/160193914198487962\ 338093565250684390431579601*c_0101_3^18 + 51602852834765544321832564385193580797858183971/1601939141984879623\ 38093565250684390431579601*c_0101_3^17 + 510843511394483166739263594503307158759159922702/160193914198487962\ 338093565250684390431579601*c_0101_3^16 + 42889145562105076047123241588784151294333674389/9423171423440468372\ 829033250040258260681153*c_0101_3^15 - 110454506664199063675925938791203630474248160374/160193914198487962\ 338093565250684390431579601*c_0101_3^14 + 35503813850131409560454975649013202943863789752/9423171423440468372\ 829033250040258260681153*c_0101_3^13 - 1971830008226906483252709758885066602635773699901/16019391419848796\ 2338093565250684390431579601*c_0101_3^12 - 171749351421903694647292805758634900124928521333/160193914198487962\ 338093565250684390431579601*c_0101_3^11 + 929455516529899982964107592060541204897505787788/160193914198487962\ 338093565250684390431579601*c_0101_3^10 - 3041874242875191843085612801739110439002305318403/16019391419848796\ 2338093565250684390431579601*c_0101_3^9 + 1595573678819495248030184769031955366965086994162/16019391419848796\ 2338093565250684390431579601*c_0101_3^8 + 1634829090736910775944280278338105857846027049612/16019391419848796\ 2338093565250684390431579601*c_0101_3^7 - 580195622478247778922187591566529465317852827538/160193914198487962\ 338093565250684390431579601*c_0101_3^6 - 279334341195884495991231665481646598461452558741/160193914198487962\ 338093565250684390431579601*c_0101_3^5 - 55511297127070752239392662242487619533076384857/1601939141984879623\ 38093565250684390431579601*c_0101_3^4 + 15077517460589180411328723518087658316209065727/1601939141984879623\ 38093565250684390431579601*c_0101_3^3 + 28242913209122580703915149121142290321292622239/1601939141984879623\ 38093565250684390431579601*c_0101_3^2 + 562656947751071768715787185803894386441488414/160193914198487962338\ 093565250684390431579601*c_0101_3 - 1352354766126555732024408672560431522528774996/16019391419848796233\ 8093565250684390431579601, c_0101_3^23 - 7*c_0101_3^22 + 34*c_0101_3^21 - 44*c_0101_3^20 + 439*c_0101_3^19 + 573*c_0101_3^18 + 2172*c_0101_3^17 + 4345*c_0101_3^16 + 2470*c_0101_3^15 + 3104*c_0101_3^14 - 4870*c_0101_3^13 - 5576*c_0101_3^12 + 1072*c_0101_3^11 - 9519*c_0101_3^10 - 2842*c_0101_3^9 + 7440*c_0101_3^8 + 2882*c_0101_3^7 - 748*c_0101_3^6 - 647*c_0101_3^5 - 244*c_0101_3^4 + 12*c_0101_3^3 + 32*c_0101_3^2 + c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB