Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 442205927] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2098 geometric_solution 5.60110879 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 1 -2 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 1.024465465711 1.070657363569 3 4 2 0 0132 0132 1230 0132 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 1 0 -1 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.769559194974 0.950662558170 4 3 0 1 2310 3201 0132 3012 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 2 -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.769559194974 0.950662558170 1 5 2 5 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829055726080 0.530848653115 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363512982358 0.620033221622 3 3 5 5 3201 0132 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 -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.579986806210 0.159046835347 4 6 6 4 0132 1230 3012 1023 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.875387412922 0.685558711255 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], '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_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 9038794226421627725527364272797/163153923064555040256274061537*c_01\ 10_5^27 + 9924584467370106527929461348374/1631539230645550402562740\ 61537*c_0110_5^26 - 18561310140261424939139797949894/16315392306455\ 5040256274061537*c_0110_5^25 - 48604892531165496121946472392027/163\ 153923064555040256274061537*c_0110_5^24 + 327633093443988279303559780559314/163153923064555040256274061537*c_\ 0110_5^23 + 670399619033584342248655748927728/163153923064555040256\ 274061537*c_0110_5^22 + 1238576517430500908678709138262584/16315392\ 3064555040256274061537*c_0110_5^21 - 5044382802229479739437409028608833/163153923064555040256274061537*c\ _0110_5^20 - 8309302404038713070238021660303176/1631539230645550402\ 56274061537*c_0110_5^19 + 27663038767327260610306324732031912/16315\ 3923064555040256274061537*c_0110_5^18 + 20284305770972257663923189097979221/163153923064555040256274061537*\ c_0110_5^17 - 73632866368611762229642657025874701/16315392306455504\ 0256274061537*c_0110_5^16 - 35233022239840778780036135221935592/163\ 153923064555040256274061537*c_0110_5^15 + 96121091182740763319663306985441053/163153923064555040256274061537*\ c_0110_5^14 + 47109883589611886342105532627960881/16315392306455504\ 0256274061537*c_0110_5^13 - 62463873666451192731933806908106244/163\ 153923064555040256274061537*c_0110_5^12 - 43803627334795889868799374446469305/163153923064555040256274061537*\ c_0110_5^11 + 18635940518816170340746002508840791/16315392306455504\ 0256274061537*c_0110_5^10 + 25717592298767821449862924649112690/163\ 153923064555040256274061537*c_0110_5^9 - 1316345263850405888355743173703550/163153923064555040256274061537*c\ _0110_5^8 - 8946079720443487112163620015883346/16315392306455504025\ 6274061537*c_0110_5^7 - 1039693734781408525501462203096809/16315392\ 3064555040256274061537*c_0110_5^6 + 1923457617513759497259368801570342/163153923064555040256274061537*c\ _0110_5^5 + 522339005118587283179842624129786/163153923064555040256\ 274061537*c_0110_5^4 - 278553608705151320790164448566512/1631539230\ 64555040256274061537*c_0110_5^3 - 121404771422898124536571173923233\ /163153923064555040256274061537*c_0110_5^2 + 18225528123486464274268502717862/163153923064555040256274061537*c_0\ 110_5 + 23614188605765931078932823277599/16315392306455504025627406\ 1537, c_0011_0 - 1, c_0011_1 + 17013777996944540185145993431862/163153923064555040256274061\ 537*c_0110_5^27 - 22822477334448288706689030468105/1631539230645550\ 40256274061537*c_0110_5^26 + 56061661113100999155540765745600/16315\ 3923064555040256274061537*c_0110_5^25 + 46858067885883424467686894592807/163153923064555040256274061537*c_0\ 110_5^24 - 547611541221654382830085147866429/1631539230645550402562\ 74061537*c_0110_5^23 - 1151734683922768680654252159859894/163153923\ 064555040256274061537*c_0110_5^22 - 2498261543933792753572713947135764/163153923064555040256274061537*c\ _0110_5^21 + 9347545274478739768328877159480112/1631539230645550402\ 56274061537*c_0110_5^20 + 11304309278314004415235026608634652/16315\ 3923064555040256274061537*c_0110_5^19 - 45497999825387764560721977421449616/163153923064555040256274061537*\ c_0110_5^18 - 24237444994412469000340570985356664/16315392306455504\ 0256274061537*c_0110_5^17 + 105857933516865475722864937673659109/16\ 3153923064555040256274061537*c_0110_5^16 + 47646585311494130374051264053813664/163153923064555040256274061537*\ c_0110_5^15 - 121816142532064336007628153650549273/1631539230645550\ 40256274061537*c_0110_5^14 - 67841206759729235148329785802765062/16\ 3153923064555040256274061537*c_0110_5^13 + 70768057493020864953639380460111203/163153923064555040256274061537*\ c_0110_5^12 + 58902940278565480447759820097632608/16315392306455504\ 0256274061537*c_0110_5^11 - 18824375573214981683758344294417042/163\ 153923064555040256274061537*c_0110_5^10 - 31099061623353999562272136397435348/163153923064555040256274061537*\ c_0110_5^9 + 344619712862519676591156048908190/16315392306455504025\ 6274061537*c_0110_5^8 + 10266031368567285129302364168979335/1631539\ 23064555040256274061537*c_0110_5^7 + 1458607893121082833180627432830204/163153923064555040256274061537*c\ _0110_5^6 - 2247941024184110754924474426645092/16315392306455504025\ 6274061537*c_0110_5^5 - 583584967966948787635988308880246/163153923\ 064555040256274061537*c_0110_5^4 + 342162346751176356104124808028736/163153923064555040256274061537*c_\ 0110_5^3 + 126805608314861503576578697642098/1631539230645550402562\ 74061537*c_0110_5^2 - 28615532053011480603152797890862/163153923064\ 555040256274061537*c_0110_5 - 20359195802517409690210746337270/1631\ 53923064555040256274061537, c_0101_0 - 14234414804414682839122181563864/163153923064555040256274061\ 537*c_0110_5^27 + 13824316608286330341844154041244/1631539230645550\ 40256274061537*c_0110_5^26 - 34516245600751076691966449473555/16315\ 3923064555040256274061537*c_0110_5^25 - 68892782177323201040006855974173/163153923064555040256274061537*c_0\ 110_5^24 + 473342558931671073952823682846771/1631539230645550402562\ 74061537*c_0110_5^23 + 1118642107273350725790657269205345/163153923\ 064555040256274061537*c_0110_5^22 + 2290569334161587527392601001046875/163153923064555040256274061537*c\ _0110_5^21 - 7254003897275345323547679078897611/1631539230645550402\ 56274061537*c_0110_5^20 - 12935818445022990679251642727870569/16315\ 3923064555040256274061537*c_0110_5^19 + 38045266292064060451939917626175136/163153923064555040256274061537*\ c_0110_5^18 + 34482140966623668868772854110236081/16315392306455504\ 0256274061537*c_0110_5^17 - 95310197027031875399126206124965476/163\ 153923064555040256274061537*c_0110_5^16 - 66244938933882979753966723020848727/163153923064555040256274061537*\ c_0110_5^15 + 113650531518729746007693361866436521/1631539230645550\ 40256274061537*c_0110_5^14 + 83402112309395223688316721607667763/16\ 3153923064555040256274061537*c_0110_5^13 - 64784396431648392528403053792823612/163153923064555040256274061537*\ c_0110_5^12 - 66172982591284926008339368908160985/16315392306455504\ 0256274061537*c_0110_5^11 + 14149732868618786360183773713590616/163\ 153923064555040256274061537*c_0110_5^10 + 33633904861009439183953028369028403/163153923064555040256274061537*\ c_0110_5^9 + 1910235715886679311481149233436047/1631539230645550402\ 56274061537*c_0110_5^8 - 10910181759844032341638106003704145/163153\ 923064555040256274061537*c_0110_5^7 - 2129529861474736886853609187241296/163153923064555040256274061537*c\ _0110_5^6 + 2339372104352985864449731374804005/16315392306455504025\ 6274061537*c_0110_5^5 + 734821755294253829894586260102606/163153923\ 064555040256274061537*c_0110_5^4 - 352595787234264709721423711861772/163153923064555040256274061537*c_\ 0110_5^3 - 148293030847196285478308272113793/1631539230645550402562\ 74061537*c_0110_5^2 + 26793929125506648301861877175145/163153923064\ 555040256274061537*c_0110_5 + 23337263545486480818187932577209/1631\ 53923064555040256274061537, c_0101_1 - 4474549074780299054115992492134/1631539230645550402562740615\ 37*c_0110_5^27 + 7293042371270381640019383863643/163153923064555040\ 256274061537*c_0110_5^26 - 18110657311082235156919581541636/1631539\ 23064555040256274061537*c_0110_5^25 - 4491112059828796978498372127859/163153923064555040256274061537*c_01\ 10_5^24 + 138752265644943943528892820504517/16315392306455504025627\ 4061537*c_0110_5^23 + 264980248991831554714191143940929/16315392306\ 4555040256274061537*c_0110_5^22 + 617400268344315612364649016851378\ /163153923064555040256274061537*c_0110_5^21 - 2577785177933513498014236823646534/163153923064555040256274061537*c\ _0110_5^20 - 2071471946312997372991968809647532/1631539230645550402\ 56274061537*c_0110_5^19 + 11785870081411091657620421770467914/16315\ 3923064555040256274061537*c_0110_5^18 + 2775901997167645700084298061104958/163153923064555040256274061537*c\ _0110_5^17 - 25402771988778237770344163210521422/163153923064555040\ 256274061537*c_0110_5^16 - 5952488064217927872258696082137080/16315\ 3923064555040256274061537*c_0110_5^15 + 27667044309197797588688931360524755/163153923064555040256274061537*\ c_0110_5^14 + 10966662857707292905281630121271674/16315392306455504\ 0256274061537*c_0110_5^13 - 15903330631043462418696670045111696/163\ 153923064555040256274061537*c_0110_5^12 - 10718161528598452060563848988243433/163153923064555040256274061537*\ c_0110_5^11 + 4771301665153093998502607717835006/163153923064555040\ 256274061537*c_0110_5^10 + 5812887163083668554211091710491823/16315\ 3923064555040256274061537*c_0110_5^9 - 528065827735702263207801939037534/163153923064555040256274061537*c_\ 0110_5^8 - 1926468461203190242463849273604168/163153923064555040256\ 274061537*c_0110_5^7 - 150285879751917645816334962256624/1631539230\ 64555040256274061537*c_0110_5^6 + 426472257393880494519483739633777\ /163153923064555040256274061537*c_0110_5^5 + 83190789703637903414113982889670/163153923064555040256274061537*c_0\ 110_5^4 - 65767121268309078440404290926880/163153923064555040256274\ 061537*c_0110_5^3 - 20540229393591329256093901128899/16315392306455\ 5040256274061537*c_0110_5^2 + 6067997254260423843085509626149/16315\ 3923064555040256274061537*c_0110_5 + 3239275753216516775325363736334/163153923064555040256274061537, c_0101_4 - 2286932873967413406480104393563/1631539230645550402562740615\ 37*c_0110_5^27 + 4280603184782654004821252395255/163153923064555040\ 256274061537*c_0110_5^26 - 10578529700958687313617337433158/1631539\ 23064555040256274061537*c_0110_5^25 + 840188186514423395878151522830/163153923064555040256274061537*c_011\ 0_5^24 + 69245672805032450586432435531894/1631539230645550402562740\ 61537*c_0110_5^23 + 119077583011586305417183999782730/1631539230645\ 55040256274061537*c_0110_5^22 + 295131221753023990079293248819011/1\ 63153923064555040256274061537*c_0110_5^21 - 1375201062218098429992214108371779/163153923064555040256274061537*c\ _0110_5^20 - 689243844755364200399222485389395/16315392306455504025\ 6274061537*c_0110_5^19 + 6016612308615426554769764681504701/1631539\ 23064555040256274061537*c_0110_5^18 - 88902419005838073755356178244501/163153923064555040256274061537*c_0\ 110_5^17 - 12230414259309339645179755853137773/16315392306455504025\ 6274061537*c_0110_5^16 - 226643892844664807879595554104173/16315392\ 3064555040256274061537*c_0110_5^15 + 12820766980161821571193711407199490/163153923064555040256274061537*\ c_0110_5^14 + 2715089106972961368322319765305743/163153923064555040\ 256274061537*c_0110_5^13 - 7476498545873968023311829011654409/16315\ 3923064555040256274061537*c_0110_5^12 - 3606311948491592626549307178649297/163153923064555040256274061537*c\ _0110_5^11 + 2591920475135870858733181337307622/1631539230645550402\ 56274061537*c_0110_5^10 + 2113260947488506042270903726851588/163153\ 923064555040256274061537*c_0110_5^9 - 506102125800544831070679042156788/163153923064555040256274061537*c_\ 0110_5^8 - 718973655139102366694903534531178/1631539230645550402562\ 74061537*c_0110_5^7 + 24904208759709950218148146255662/163153923064\ 555040256274061537*c_0110_5^6 + 164908926804950578054280598313511/1\ 63153923064555040256274061537*c_0110_5^5 + 14098817393284343831045735829829/163153923064555040256274061537*c_0\ 110_5^4 - 25614012462356922013772538919198/163153923064555040256274\ 061537*c_0110_5^3 - 6045010457143672215642033632706/163153923064555\ 040256274061537*c_0110_5^2 + 2642975424246037152122304449602/163153\ 923064555040256274061537*c_0110_5 + 974900579980786262332554977610/163153923064555040256274061537, c_0101_6 - 9691650272298339551182369667699/1631539230645550402562740615\ 37*c_0110_5^27 + 9673238038000538891014339665972/163153923064555040\ 256274061537*c_0110_5^26 - 24375544340719247627663397618934/1631539\ 23064555040256274061537*c_0110_5^25 - 45104632781074281224410726999621/163153923064555040256274061537*c_0\ 110_5^24 + 320533644545675593585046997317570/1631539230645550402562\ 74061537*c_0110_5^23 + 753399233154817365509531851661488/1631539230\ 64555040256274061537*c_0110_5^22 + 1557368797748432233253763240219819/163153923064555040256274061537*c\ _0110_5^21 - 4948908653605915134837138669619183/1631539230645550402\ 56274061537*c_0110_5^20 - 8591098413529962780044711765303144/163153\ 923064555040256274061537*c_0110_5^19 + 25773919418985735966770585432825148/163153923064555040256274061537*\ c_0110_5^18 + 22616549808886744357188173207413460/16315392306455504\ 0256274061537*c_0110_5^17 - 63951785083364115304043524516711589/163\ 153923064555040256274061537*c_0110_5^16 - 43458790674351366561141322630876016/163153923064555040256274061537*\ c_0110_5^15 + 75558000865560684935218356387377333/16315392306455504\ 0256274061537*c_0110_5^14 + 54781129960521702007836879951252761/163\ 153923064555040256274061537*c_0110_5^13 - 42720286353661120229305696572318839/163153923064555040256274061537*\ c_0110_5^12 - 43393546788171485944140955725311468/16315392306455504\ 0256274061537*c_0110_5^11 + 9307367353764508391184875248549445/1631\ 53923064555040256274061537*c_0110_5^10 + 21990061384212478908278088251794575/163153923064555040256274061537*\ c_0110_5^9 + 1213277751994396510941612192245862/1631539230645550402\ 56274061537*c_0110_5^8 - 7111094495854582683624788826830406/1631539\ 23064555040256274061537*c_0110_5^7 - 1379600328995813660739680217168914/163153923064555040256274061537*c\ _0110_5^6 + 1520068431049240379193724495606703/16315392306455504025\ 6274061537*c_0110_5^5 + 477501609845207777957860892011651/163153923\ 064555040256274061537*c_0110_5^4 - 228365155483826068279277382883764/163153923064555040256274061537*c_\ 0110_5^3 - 96443702893738571329157092922048/16315392306455504025627\ 4061537*c_0110_5^2 + 17036454452085258506319463705194/1631539230645\ 55040256274061537*c_0110_5 + 15085483106570381222904851766706/16315\ 3923064555040256274061537, c_0110_5^28 - 2*c_0110_5^27 + 4*c_0110_5^26 + c_0110_5^25 - 35*c_0110_5^24 - 46*c_0110_5^23 - 97*c_0110_5^22 + 653*c_0110_5^21 + 322*c_0110_5^20 - 3229*c_0110_5^19 + 334*c_0110_5^18 + 7640*c_0110_5^17 - 1518*c_0110_5^16 - 9896*c_0110_5^15 + 1112*c_0110_5^14 + 7682*c_0110_5^13 + 544*c_0110_5^12 - 3950*c_0110_5^11 - 1156*c_0110_5^10 + 1477*c_0110_5^9 + 664*c_0110_5^8 - 389*c_0110_5^7 - 219*c_0110_5^6 + 68*c_0110_5^5 + 51*c_0110_5^4 - 8*c_0110_5^3 - 8*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB