Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2261195328] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2215 geometric_solution 5.66111586 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 -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 -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.246293633494 0.270169089048 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910906893704 1.751269499526 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 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.053445271168 0.836127567429 5 4 2 1 3201 3201 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.053445271168 0.836127567429 4 4 3 2 1230 3012 2310 0132 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 0 0 0 1 0 -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.255943001631 0.927590400053 6 6 2 3 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208869798441 1.465645499563 5 6 5 6 0132 2310 2310 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.538595444924 0.620792662069 ==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' : negation(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' : negation(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_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 200614456322444144923013928569013201/102393336895464411427140263291\ 9501*c_0101_3^19 - 51449554866285848271223117027899652/787641053042\ 03393405492510224577*c_0101_3^18 - 183554657622489248301257868760293951/787641053042033934054925102245\ 77*c_0101_3^17 + 4613629671899284927830454910912094485/102393336895\ 4644114271402632919501*c_0101_3^16 - 14961642029841753924657111559297368655/1023933368954644114271402632\ 919501*c_0101_3^15 - 452912103430633473465796423358434705/102393336\ 8954644114271402632919501*c_0101_3^14 + 207293375726775582041051931992881699301/102393336895464411427140263\ 2919501*c_0101_3^13 - 55162515243116867635332934582856838442/102393\ 3368954644114271402632919501*c_0101_3^12 - 1107086486402952814503188558712369153353/10239333689546441142714026\ 32919501*c_0101_3^11 + 1513111387613600609720854660095878357991/102\ 3933368954644114271402632919501*c_0101_3^10 + 16156238160519046906883414986605999617/1023933368954644114271402632\ 919501*c_0101_3^9 - 1061232512019583328131522125842169596188/102393\ 3368954644114271402632919501*c_0101_3^8 + 34772752142231743255505371972615543177/7876410530420339340549251022\ 4577*c_0101_3^7 + 17465232816599569892120909766438001834/7876410530\ 4203393405492510224577*c_0101_3^6 - 17713515001650125861601080187366777018/7876410530420339340549251022\ 4577*c_0101_3^5 + 16312088880717065849233810112141155901/1023933368\ 954644114271402632919501*c_0101_3^4 + 51546217604426495321913620216855452764/1023933368954644114271402632\ 919501*c_0101_3^3 - 1020709191038898446136950015843212382/787641053\ 04203393405492510224577*c_0101_3^2 - 3337076806782568692270518194422991639/10239333689546441142714026329\ 19501*c_0101_3 + 659888015635662382349971105431535594/1023933368954\ 644114271402632919501, c_0011_0 - 1, c_0011_1 + 200100868704950432522939500/62461621970026481685561070757*c_\ 0101_3^19 - 9347171725428277320276158360/62461621970026481685561070\ 757*c_0101_3^18 + 14112458899875841543689408238/6246162197002648168\ 5561070757*c_0101_3^17 + 136946953589736543976090806927/62461621970\ 026481685561070757*c_0101_3^16 - 37153671963916517869047279668/6246\ 1621970026481685561070757*c_0101_3^15 + 537077056668279137491020550745/62461621970026481685561070757*c_0101\ _3^14 + 1038760710641097183370908642699/624616219700264816855610707\ 57*c_0101_3^13 - 8192022279077662160144382491401/624616219700264816\ 85561070757*c_0101_3^12 - 10769461201895535890656105034248/62461621\ 970026481685561070757*c_0101_3^11 + 40763490895681580138329453114209/62461621970026481685561070757*c_01\ 01_3^10 - 5071620254164593135597372041654/6246162197002648168556107\ 0757*c_0101_3^9 - 34693529494882144038383177958766/6246162197002648\ 1685561070757*c_0101_3^8 + 11261271429787711706392523893342/6246162\ 1970026481685561070757*c_0101_3^7 + 9870609021212586608155800768678/62461621970026481685561070757*c_010\ 1_3^6 - 6490833711832462279817508442349/624616219700264816855610707\ 57*c_0101_3^5 - 439324129666098147421300011889/62461621970026481685\ 561070757*c_0101_3^4 + 2180157385700071717339802189805/624616219700\ 26481685561070757*c_0101_3^3 - 54365644057825651244578692402/624616\ 21970026481685561070757*c_0101_3^2 - 269282263171053909109127030652/62461621970026481685561070757*c_0101\ _3 + 15299365811655358800029525040/62461621970026481685561070757, c_0011_3 + 64415511412902579884031162206/62461621970026481685561070757*\ c_0101_3^19 - 138983713331411437613268932240/6246162197002648168556\ 1070757*c_0101_3^18 - 954540068193773991759125842753/62461621970026\ 481685561070757*c_0101_3^17 + 422376858274885714450591052806/624616\ 21970026481685561070757*c_0101_3^16 - 3965624831487580015705181764839/62461621970026481685561070757*c_010\ 1_3^15 - 5113409280222852852306836664070/62461621970026481685561070\ 757*c_0101_3^14 + 62205747683051144233176550983468/6246162197002648\ 1685561070757*c_0101_3^13 + 56751302063488584514973850931478/624616\ 21970026481685561070757*c_0101_3^12 - 313219051689966187268782192832879/62461621970026481685561070757*c_0\ 101_3^11 + 105629324440097193790673887277835/6246162197002648168556\ 1070757*c_0101_3^10 + 254768259105965219233209933135838/62461621970\ 026481685561070757*c_0101_3^9 - 133863960358090775193793842234814/6\ 2461621970026481685561070757*c_0101_3^8 - 70602592224431754941971478627348/62461621970026481685561070757*c_01\ 01_3^7 + 64876503172991232590680870586173/6246162197002648168556107\ 0757*c_0101_3^6 - 2372059063186548280004027312673/62461621970026481\ 685561070757*c_0101_3^5 - 19787707042506250674649001912921/62461621\ 970026481685561070757*c_0101_3^4 + 3199752599459833839168637554017/62461621970026481685561070757*c_010\ 1_3^3 + 2951908384692291426571107153317/624616219700264816855610707\ 57*c_0101_3^2 - 203281144602990901525353973252/62461621970026481685\ 561070757*c_0101_3 - 110730888216955395683369795408/624616219700264\ 81685561070757, c_0011_4 - 92613317129161604435159050455/62461621970026481685561070757*\ c_0101_3^19 + 199671215634252257879267300870/6246162197002648168556\ 1070757*c_0101_3^18 + 1373553730327897955245938885422/6246162197002\ 6481685561070757*c_0101_3^17 - 605687229891449240730042469691/62461\ 621970026481685561070757*c_0101_3^16 + 5685760167371473171208583651397/62461621970026481685561070757*c_010\ 1_3^15 + 7350209609413323297782269591780/62461621970026481685561070\ 757*c_0101_3^14 - 89469279668752056550551061950182/6246162197002648\ 1685561070757*c_0101_3^13 - 81881548247502717435432012094035/624616\ 21970026481685561070757*c_0101_3^12 + 450917383429434118928033048222362/62461621970026481685561070757*c_0\ 101_3^11 - 149319861616882344188065198760482/6246162197002648168556\ 1070757*c_0101_3^10 - 369608088386826206301294041597312/62461621970\ 026481685561070757*c_0101_3^9 + 188082567450905403768621836798335/6\ 2461621970026481685561070757*c_0101_3^8 + 107057525200850647200069755098929/62461621970026481685561070757*c_0\ 101_3^7 - 92078094330474383602140702408106/624616219700264816855610\ 70757*c_0101_3^6 + 1117450844517407787465452353751/6246162197002648\ 1685561070757*c_0101_3^5 + 28851810633541508055199043474097/6246162\ 1970026481685561070757*c_0101_3^4 - 4211909167634953274764796649284/62461621970026481685561070757*c_010\ 1_3^3 - 4470165060893741297941603303435/624616219700264816855610707\ 57*c_0101_3^2 + 191767582411377648020756630741/62461621970026481685\ 561070757*c_0101_3 + 149056401203789388352276285238/624616219700264\ 81685561070757, c_0011_5 - 29581572034361355196285580817/62461621970026481685561070757*\ c_0101_3^19 + 87442996004588470495524042819/62461621970026481685561\ 070757*c_0101_3^18 + 381378569175655902444151478988/624616219700264\ 81685561070757*c_0101_3^17 - 529684811799873577692827115842/6246162\ 1970026481685561070757*c_0101_3^16 + 2060507882863167545907559231603/62461621970026481685561070757*c_010\ 1_3^15 + 839382908988862102238832773620/624616219700264816855610707\ 57*c_0101_3^14 - 30033908569003861425356069226100/62461621970026481\ 685561070757*c_0101_3^13 - 2856021297841905727270335138462/62461621\ 970026481685561070757*c_0101_3^12 + 158867038745328501706397071717528/62461621970026481685561070757*c_0\ 101_3^11 - 167213560388829043636538055608492/6246162197002648168556\ 1070757*c_0101_3^10 - 49598300509225514065299420404181/624616219700\ 26481685561070757*c_0101_3^9 + 136626208516210243399745886220422/62\ 461621970026481685561070757*c_0101_3^8 - 30618932888784941145722573700407/62461621970026481685561070757*c_01\ 01_3^7 - 39799653824473759622486772104890/6246162197002648168556107\ 0757*c_0101_3^6 + 23877852077537183187813524885864/6246162197002648\ 1685561070757*c_0101_3^5 + 3331340278298770842352162523896/62461621\ 970026481685561070757*c_0101_3^4 - 6504900418705532285496685587879/62461621970026481685561070757*c_010\ 1_3^3 + 448931633946937791437508014222/6246162197002648168556107075\ 7*c_0101_3^2 + 599226433061336749674147415916/624616219700264816855\ 61070757*c_0101_3 - 1950179320557866916223188106/624616219700264816\ 85561070757, c_0101_1 - 62436641045679400371687791060/62461621970026481685561070757*\ c_0101_3^19 + 145824402728461473014383417758/6246162197002648168556\ 1070757*c_0101_3^18 + 900519870468513628653366975981/62461621970026\ 481685561070757*c_0101_3^17 - 571652182529869293897009409695/624616\ 21970026481685561070757*c_0101_3^16 + 3925146241766294725531543297137/62461621970026481685561070757*c_010\ 1_3^15 + 4255749136561223553538878274153/62461621970026481685561070\ 757*c_0101_3^14 - 61119039309517499015848116446380/6246162197002648\ 1685561070757*c_0101_3^13 - 44265255511995146252021701946009/624616\ 21970026481685561070757*c_0101_3^12 + 312653743884474191668244200050765/62461621970026481685561070757*c_0\ 101_3^11 - 156166469819840970989915412277070/6246162197002648168556\ 1070757*c_0101_3^10 - 224831121148080658798175358069909/62461621970\ 026481685561070757*c_0101_3^9 + 167588648420559596839341736921984/6\ 2461621970026481685561070757*c_0101_3^8 + 45115836201373102638261105428211/62461621970026481685561070757*c_01\ 01_3^7 - 69143624214035880356704717588168/6246162197002648168556107\ 0757*c_0101_3^6 + 11133213097133147984084370168159/6246162197002648\ 1685561070757*c_0101_3^5 + 17259327269034910877904072313822/6246162\ 1970026481685561070757*c_0101_3^4 - 5381614083142348917419283698385/62461621970026481685561070757*c_010\ 1_3^3 - 2284334831458985081243216613764/624616219700264816855610707\ 57*c_0101_3^2 + 375607642130233350862938169500/62461621970026481685\ 561070757*c_0101_3 + 82530932301541928693854830814/6246162197002648\ 1685561070757, c_0101_3^20 - 3*c_0101_3^19 - 13*c_0101_3^18 + 19*c_0101_3^17 - 67*c_0101_3^16 - 27*c_0101_3^15 + 1032*c_0101_3^14 + 70*c_0101_3^13 - 5602*c_0101_3^12 + 5699*c_0101_3^11 + 2554*c_0101_3^10 - 5214*c_0101_3^9 + 504*c_0101_3^8 + 1846*c_0101_3^7 - 767*c_0101_3^6 - 290*c_0101_3^5 + 279*c_0101_3^4 + 18*c_0101_3^3 - 37*c_0101_3^2 - 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB