Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 846442194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1996 geometric_solution 5.55898938 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534129097403 0.135655083512 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -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 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.623804591366 0.677847284082 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 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 0 0 0 0 0 0.887512615065 1.282599510567 2 5 1 4 3012 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 1 -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 0 0 0 0.887512615065 1.282599510567 2 3 6 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.676855225354 0.560772186765 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 1 -1 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 -1 1 -1 0 0 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.872755646957 0.752198110668 6 4 4 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092285802309 0.890116408377 ==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_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 10186231885943897945562913127896513204732842832/5225011364178527248\ 912941671181797297601*c_0101_5^24 - 400090718577023955032826867504227768450773177808/365750795492496907\ 42390591698272581083207*c_0101_5^23 - 193771170319261230342075344217623192238072922192/121916931830832302\ 47463530566090860361069*c_0101_5^22 + 959004013710229937803524684838506272667502470448/365750795492496907\ 42390591698272581083207*c_0101_5^21 + 4351873900741752874589797886508673841983252160420/36575079549249690\ 742390591698272581083207*c_0101_5^20 + 5195256171817756704013808469955803205054916831540/36575079549249690\ 742390591698272581083207*c_0101_5^19 - 1441751041224044145155185155981125905379559879545/36575079549249690\ 742390591698272581083207*c_0101_5^18 - 1385074936965307337133875991840393037040792004253/40638977276944100\ 82487843522030286787023*c_0101_5^17 - 16753286987033115308774505963739851997423281514439/3657507954924969\ 0742390591698272581083207*c_0101_5^16 - 7689446670832736957760492566399681397328465388995/36575079549249690\ 742390591698272581083207*c_0101_5^15 + 7792671990664877389126473440134919629979561300477/36575079549249690\ 742390591698272581083207*c_0101_5^14 + 2406991366867959159321317468982451039886827579726/52250113641785272\ 48912941671181797297601*c_0101_5^13 + 1607255167517284826534643015668692219630246193697/40638977276944100\ 82487843522030286787023*c_0101_5^12 + 883851486577615953572874681933920495236376987980/522501136417852724\ 8912941671181797297601*c_0101_5^11 - 179782717447521513123190519751545295129869688153/121916931830832302\ 47463530566090860361069*c_0101_5^10 - 3068304489355658088846744921039185929025941021246/36575079549249690\ 742390591698272581083207*c_0101_5^9 - 2817525582998268482974194306149611879420221130547/36575079549249690\ 742390591698272581083207*c_0101_5^8 - 1742608063808037487022384913513921615116631765605/36575079549249690\ 742390591698272581083207*c_0101_5^7 - 260975530911418457527953210887233706656281404953/121916931830832302\ 47463530566090860361069*c_0101_5^6 - 83449390726119493604904559352946628021062831179/1219169318308323024\ 7463530566090860361069*c_0101_5^5 - 37558246597585037059890314314219665216874202510/3657507954924969074\ 2390591698272581083207*c_0101_5^4 + 12584155037896289036814260984232298270815696817/3657507954924969074\ 2390591698272581083207*c_0101_5^3 + 763877862494036655053994028985968219496104210/281346765763459159556\ 8507053713275467939*c_0101_5^2 + 3564598965477832778760229358990540\ 684618577695/36575079549249690742390591698272581083207*c_0101_5 + 524604492623201829882340536992291313786742550/365750795492496907423\ 90591698272581083207, c_0011_0 - 1, c_0011_3 - 491395525540594933957177478567944901986544/28134676576345915\ 95568507053713275467939*c_0101_5^24 - 390324044927695538157199756971270716675872/401923951090655942224072\ 436244753638277*c_0101_5^23 - 1311121892851627635082482555395905161\ 818000/937822552544863865189502351237758489313*c_0101_5^22 + 6475606515934774148810043844492573208310896/28134676576345915955685\ 07053713275467939*c_0101_5^21 + 29299404165315095808904573313682766\ 160414068/2813467657634591595568507053713275467939*c_0101_5^20 + 35355375994292097583710831238455472174120720/2813467657634591595568\ 507053713275467939*c_0101_5^19 - 1187114404828067619100546061499525\ 822720787/401923951090655942224072436244753638277*c_0101_5^18 - 9153110505892665593764059184171780480778932/31260751751495462172983\ 4117079252829771*c_0101_5^17 - 162708165230022926680607858664190120\ 94057683/401923951090655942224072436244753638277*c_0101_5^16 - 57124370044811091751507479114112540867390151/2813467657634591595568\ 507053713275467939*c_0101_5^15 + 4592218608866232241508807727655215\ 1969485967/2813467657634591595568507053713275467939*c_0101_5^14 + 111340002948547042214856050956899960688953566/281346765763459159556\ 8507053713275467939*c_0101_5^13 + 113222127310810113414799438099434\ 58975718376/312607517514954621729834117079252829771*c_0101_5^12 + 49258533520177608770585278106212077508359734/2813467657634591595568\ 507053713275467939*c_0101_5^11 + 3071904173979281748147768299511357\ 1147960/44658216787850660247119159582750404253*c_0101_5^10 - 19077099197682601482790840613251183371069749/2813467657634591595568\ 507053713275467939*c_0101_5^9 - 28568631407069073761250635924143461\ 47139991/401923951090655942224072436244753638277*c_0101_5^8 - 13282687441823610165004077409704822423146101/2813467657634591595568\ 507053713275467939*c_0101_5^7 - 10074926185201271863556128477840268\ 4072250/44658216787850660247119159582750404253*c_0101_5^6 - 105974768771570083863726823313607950613281/133974650363551980741357\ 478748251212759*c_0101_5^5 - 43880578020778601196676733649057446554\ 7053/2813467657634591595568507053713275467939*c_0101_5^4 + 40634580540151998324280086732310378331309/2813467657634591595568507\ 053713275467939*c_0101_5^3 + 71792709931540863664731514865095742030\ 378/2813467657634591595568507053713275467939*c_0101_5^2 + 30888196785439704229970025514478592096376/2813467657634591595568507\ 053713275467939*c_0101_5 + 5833523536396329260291301310383814688785\ /2813467657634591595568507053713275467939, c_0011_6 + 232545593268066888777577279814194515409456/28134676576345915\ 95568507053713275467939*c_0101_5^24 + 186081061944269976765573925079511587716016/401923951090655942224072\ 436244753638277*c_0101_5^23 + 6299570847003759159501759723960583002\ 70144/937822552544863865189502351237758489313*c_0101_5^22 - 3101568494075977167404268291824328498793168/28134676576345915955685\ 07053713275467939*c_0101_5^21 - 14075321311526660707277764006538119\ 201395236/2813467657634591595568507053713275467939*c_0101_5^20 - 16869499645463373805427147033155533502199300/2813467657634591595568\ 507053713275467939*c_0101_5^19 + 6190829173617591860857670198493246\ 53049419/401923951090655942224072436244753638277*c_0101_5^18 + 4421865311231481230000527294946856011580285/31260751751495462172983\ 4117079252829771*c_0101_5^17 + 774136353370729024934547020238580067\ 6564846/401923951090655942224072436244753638277*c_0101_5^16 + 26130962569131881097843057967388574686714011/2813467657634591595568\ 507053713275467939*c_0101_5^15 - 2315929644253443432055763563756599\ 5181293969/2813467657634591595568507053713275467939*c_0101_5^14 - 53296886580708828745523647571631820960472479/2813467657634591595568\ 507053713275467939*c_0101_5^13 - 5282549808961389223757819459685557\ 876756712/312607517514954621729834117079252829771*c_0101_5^12 - 22136205493776725042095464902330337704748040/2813467657634591595568\ 507053713275467939*c_0101_5^11 - 1073025634214659996101076697439990\ 2198198/133974650363551980741357478748251212759*c_0101_5^10 + 9015395284252394649259152055557358801265365/28134676576345915955685\ 07053713275467939*c_0101_5^9 + 130285768822383062792876319981428221\ 3685183/401923951090655942224072436244753638277*c_0101_5^8 + 6017840431545507823515195912606373037433095/28134676576345915955685\ 07053713275467939*c_0101_5^7 + 139008984712732639614687124817110830\ 985043/133974650363551980741357478748251212759*c_0101_5^6 + 17089153308817311097885253227240162044031/4465821678785066024711915\ 9582750404253*c_0101_5^5 + 2472114125942454402739727033973280817184\ 95/2813467657634591595568507053713275467939*c_0101_5^4 - 2130633219498184087849681257721778672389/28134676576345915955685070\ 53713275467939*c_0101_5^3 - 309623483404472402268386759932381753097\ 08/2813467657634591595568507053713275467939*c_0101_5^2 - 14356465970344590215631035451436776548141/2813467657634591595568507\ 053713275467939*c_0101_5 - 2499740796693491889687674353387197222383\ /2813467657634591595568507053713275467939, c_0101_0 + 766690404219135284854777368465006166763600/40192395109065594\ 2224072436244753638277*c_0101_5^24 + 4317573343074317741651702234726915348555584/40192395109065594222407\ 2436244753638277*c_0101_5^23 + 211409019867638750248730436754967217\ 1609280/133974650363551980741357478748251212759*c_0101_5^22 - 10158844389121498991369756296659144526750064/4019239510906559422240\ 72436244753638277*c_0101_5^21 - 46959729120181578202268389320854556\ 555490588/401923951090655942224072436244753638277*c_0101_5^20 - 56869676541049637804944243409230725279285592/4019239510906559422240\ 72436244753638277*c_0101_5^19 + 14055630893030086106378159227722729\ 958299283/401923951090655942224072436244753638277*c_0101_5^18 + 14884448699673863372872357614092380473029394/4465821678785066024711\ 9159582750404253*c_0101_5^17 + 182989009575450853346595227775118398\ 610436848/401923951090655942224072436244753638277*c_0101_5^16 + 87332307633929187784077830973076943084028449/4019239510906559422240\ 72436244753638277*c_0101_5^15 - 80865854068894528049410109314591871\ 660338795/401923951090655942224072436244753638277*c_0101_5^14 - 182503808373533388699109148630156343525177611/401923951090655942224\ 072436244753638277*c_0101_5^13 - 1779076009854786037680048837268648\ 9362873790/44658216787850660247119159582750404253*c_0101_5^12 - 71066285008254870790184632172790749824711883/4019239510906559422240\ 72436244753638277*c_0101_5^11 + 11969173523960877764374029320677295\ 31861964/133974650363551980741357478748251212759*c_0101_5^10 + 33033113068023562654764353040525058115662505/4019239510906559422240\ 72436244753638277*c_0101_5^9 + 312643892990399672450944926394216069\ 01224951/401923951090655942224072436244753638277*c_0101_5^8 + 19624351376830907456289213133503509504497558/4019239510906559422240\ 72436244753638277*c_0101_5^7 + 297947633189543805219178687533669430\ 2645830/133974650363551980741357478748251212759*c_0101_5^6 + 973114064566999549607603850589098869497834/133974650363551980741357\ 478748251212759*c_0101_5^5 + 47415078081803740402390317349437714148\ 6537/401923951090655942224072436244753638277*c_0101_5^4 - 130069580823495991436233154541054425421290/401923951090655942224072\ 436244753638277*c_0101_5^3 - 11336326175865675459893200893209618769\ 7445/401923951090655942224072436244753638277*c_0101_5^2 - 41866283410749454982592725196143678471425/4019239510906559422240724\ 36244753638277*c_0101_5 - 6783126592288090903654133496832386949039/\ 401923951090655942224072436244753638277, c_0101_1 - 87905488482734165043055905964488722605072/401923951090655942\ 224072436244753638277*c_0101_5^24 - 538362940745049602177329611071663747838512/401923951090655942224072\ 436244753638277*c_0101_5^23 - 3182842908827614011583647379294063575\ 11248/133974650363551980741357478748251212759*c_0101_5^22 + 887434740206082149775441138222584427859936/401923951090655942224072\ 436244753638277*c_0101_5^21 + 6039632507485720025224173697539569756\ 391356/401923951090655942224072436244753638277*c_0101_5^20 + 8906768364368698888083372649233606327282284/40192395109065594222407\ 2436244753638277*c_0101_5^19 + 790829331223725703628193340388740891\ 965925/401923951090655942224072436244753638277*c_0101_5^18 - 1868912011491895102950994254170441537638327/44658216787850660247119\ 159582750404253*c_0101_5^17 - 2785563790611729805196237806035705359\ 4510167/401923951090655942224072436244753638277*c_0101_5^16 - 18068326110704851421115307346785599373329346/4019239510906559422240\ 72436244753638277*c_0101_5^15 + 66686221178237534125315513516904601\ 96072038/401923951090655942224072436244753638277*c_0101_5^14 + 25958311232954870480827687288600853675696980/4019239510906559422240\ 72436244753638277*c_0101_5^13 + 29940013649420830038849226615988919\ 99152664/44658216787850660247119159582750404253*c_0101_5^12 + 14658085493312663455429185042175520566155244/4019239510906559422240\ 72436244753638277*c_0101_5^11 + 59663548241510019478508457262725562\ 5401309/133974650363551980741357478748251212759*c_0101_5^10 - 4595287237993018030230570499847189794715776/40192395109065594222407\ 2436244753638277*c_0101_5^9 - 5236496434644525971233678778984782138\ 187729/401923951090655942224072436244753638277*c_0101_5^8 - 3551037787332922791616318999841998501849946/40192395109065594222407\ 2436244753638277*c_0101_5^7 - 5820898364533120816609311340298171389\ 75226/133974650363551980741357478748251212759*c_0101_5^6 - 68610473637627081576966002602944911496804/4465821678785066024711915\ 9582750404253*c_0101_5^5 - 1330685865147171784851699056633858078544\ 23/401923951090655942224072436244753638277*c_0101_5^4 + 15263895289891445154453963663571168818478/4019239510906559422240724\ 36244753638277*c_0101_5^3 + 215314699091608039578435256350251792239\ 45/401923951090655942224072436244753638277*c_0101_5^2 + 9038119038568290635808940873318442354762/40192395109065594222407243\ 6244753638277*c_0101_5 + 2166761032938334828920426406515957246038/4\ 01923951090655942224072436244753638277, c_0101_2 - 1634619862601113059648330382094917184646560/2813467657634591\ 595568507053713275467939*c_0101_5^24 - 9279812054208935137905125929245266353437616/28134676576345915955685\ 07053713275467939*c_0101_5^23 - 46330593545750203719604878480553417\ 37124128/937822552544863865189502351237758489313*c_0101_5^22 + 21294134732622213962826822878749997458783712/2813467657634591595568\ 507053713275467939*c_0101_5^21 + 1015208246802677709999652022926724\ 53477391752/2813467657634591595568507053713275467939*c_0101_5^20 + 125294254756426830268568003167158620895783796/281346765763459159556\ 8507053713275467939*c_0101_5^19 - 273322625746365474771106681715751\ 55136580742/2813467657634591595568507053713275467939*c_0101_5^18 - 32310257002425152309361413997489415392668241/3126075175149546217298\ 34117079252829771*c_0101_5^17 - 40251771303883915216958960790607692\ 4296378076/2813467657634591595568507053713275467939*c_0101_5^16 - 195232267790411240552138736529913333798763074/281346765763459159556\ 8507053713275467939*c_0101_5^15 + 176075635609941714181483563528604\ 391770742923/2813467657634591595568507053713275467939*c_0101_5^14 + 402332960638364942075392906366444679941405787/281346765763459159556\ 8507053713275467939*c_0101_5^13 + 391945946194893843825394338905206\ 22633338978/312607517514954621729834117079252829771*c_0101_5^12 + 154377521106756228928682124270865533812829086/281346765763459159556\ 8507053713275467939*c_0101_5^11 - 355902725219810162770238478866453\ 5377036823/937822552544863865189502351237758489313*c_0101_5^10 - 73917553212055934458181926238364542850563306/2813467657634591595568\ 507053713275467939*c_0101_5^9 - 68381009567161666106068172339620888\ 318229296/2813467657634591595568507053713275467939*c_0101_5^8 - 42347266021780368014321495775220519464257557/2813467657634591595568\ 507053713275467939*c_0101_5^7 - 63782910984626848093678478244018026\ 56158026/937822552544863865189502351237758489313*c_0101_5^6 - 2042467683604970221577108102201142550292833/93782255254486386518950\ 2351237758489313*c_0101_5^5 - 9167036557390494892068071757970471482\ 75556/2813467657634591595568507053713275467939*c_0101_5^4 + 296369490907222259589853847880859561330520/281346765763459159556850\ 7053713275467939*c_0101_5^3 + 2362576696591152863544370719300634043\ 02001/2813467657634591595568507053713275467939*c_0101_5^2 + 81476852505740739692183387807488523649892/2813467657634591595568507\ 053713275467939*c_0101_5 + 1222426641559981442574063109372521376078\ 3/2813467657634591595568507053713275467939, c_0101_5^25 + 115/19*c_0101_5^24 + 202/19*c_0101_5^23 - 187/19*c_0101_5^22 - 5089/76*c_0101_5^21 - 7587/76*c_0101_5^20 - 3659/304*c_0101_5^19 + 55831/304*c_0101_5^18 + 11863/38*c_0101_5^17 + 64397/304*c_0101_5^16 - 18651/304*c_0101_5^15 - 86465/304*c_0101_5^14 - 93443/304*c_0101_5^13 - 26855/152*c_0101_5^12 - 2357/76*c_0101_5^11 + 3517/76*c_0101_5^10 + 17797/304*c_0101_5^9 + 12753/304*c_0101_5^8 + 3317/152*c_0101_5^7 + 1275/152*c_0101_5^6 + 635/304*c_0101_5^5 + 9/152*c_0101_5^4 - 33/152*c_0101_5^3 - 17/152*c_0101_5^2 - 9/304*c_0101_5 - 1/304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB