Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 273780009] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2367 geometric_solution 5.73469177 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.355092003665 0.860705348885 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.940637273389 1.113024065531 1 3 0 4 1230 2310 0132 2310 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 0 0 -1 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.940637273389 1.113024065531 1 5 5 2 0132 0132 1023 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.754146065214 0.359709125731 2 6 6 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -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.137391282022 0.369075160731 5 3 3 5 3201 0132 1023 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 0 0 0 0 0 0 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.096762705175 0.431703318616 4 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 -1 0 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 0 0 1 0 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 1.932412827871 2.626719072544 ==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' : negation(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' : 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_0101_6'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], '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_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 17209608026273489395179462895618275/9483217763419144226347817438096\ 96*c_0101_6^19 - 28391371053936340935155209302971477/11854022204273\ 9302829347717976212*c_0101_6^18 - 260818748421759766817867886861594\ 837/237080444085478605658695435952424*c_0101_6^17 - 70518782127658371226196042614165359/1299070926495773181691481840835\ 2*c_0101_6^16 - 3109889676197072787309269201500081991/2370804440854\ 78605658695435952424*c_0101_6^15 - 1475608930048744158532819328325141567/49911672439048127507093775989\ 984*c_0101_6^14 - 964474126295248148854931346805755086/296350555106\ 84825707336929494053*c_0101_6^13 - 4597441509789244297596414784929151027/13547453947741634609068310625\ 8528*c_0101_6^12 - 8422570890011498665912437254870559797/9483217763\ 41914422634781743809696*c_0101_6^11 + 379499201324849583081012160023420093/677372697387081730453415531292\ 64*c_0101_6^10 + 4297319661291167921234587782543068919/474160888170\ 957211317390871904848*c_0101_6^9 + 596816529581564482525898727849231381/677372697387081730453415531292\ 64*c_0101_6^8 - 1857865930184403790822556806372811693/4741608881709\ 57211317390871904848*c_0101_6^7 + 130098884736749490561516228285803\ 3577/474160888170957211317390871904848*c_0101_6^6 + 3490454750143332603680960463513859379/94832177634191442263478174380\ 9696*c_0101_6^5 + 163357672981041731696290435795910811/948321776341\ 914422634781743809696*c_0101_6^4 - 632913836376058958395505313327070091/474160888170957211317390871904\ 848*c_0101_6^3 - 606563793673921072510622885457713103/9483217763419\ 14422634781743809696*c_0101_6^2 + 342430583138122513733066651309013\ 5/12990709264957731816914818408352*c_0101_6 + 78331237129345343423629890554836791/9483217763419144226347817438096\ 96, c_0011_0 - 1, c_0011_1 - 23292159396227437554516183/7683447111922433421658524629*c_01\ 01_6^19 - 5242400392812039884157860513/1229351537907589347465363940\ 64*c_0101_6^18 - 26483446316627126258880366515/12293515379075893474\ 6536394064*c_0101_6^17 - 1718455786916623693977926995/1684043202613\ 136092418306768*c_0101_6^16 - 167426449447904495381636065421/614675\ 76895379467373268197032*c_0101_6^15 - 85951356571218199745077180967/15366894223844866843317049258*c_0101_\ 6^14 - 726949769003334237186203220597/12293515379075893474653639406\ 4*c_0101_6^13 - 160919716185348367819218545217/12293515379075893474\ 6536394064*c_0101_6^12 + 512742408338957175740938884021/61467576895\ 379467373268197032*c_0101_6^11 + 2113160462408239406598434820093/12\ 2935153790758934746536394064*c_0101_6^10 + 2086445637598386058508512050703/122935153790758934746536394064*c_01\ 01_6^9 + 1254935551016375538471960159391/12293515379075893474653639\ 4064*c_0101_6^8 + 238591617345289541706338097481/122935153790758934\ 746536394064*c_0101_6^7 + 110763136669622684366476653469/1229351537\ 90758934746536394064*c_0101_6^6 + 158175089031374373189513956075/12\ 2935153790758934746536394064*c_0101_6^5 + 157408993010473668678600595897/61467576895379467373268197032*c_0101\ _6^4 - 199892434168187745966440509775/12293515379075893474653639406\ 4*c_0101_6^3 - 363935479476757924508466695781/122935153790758934746\ 536394064*c_0101_6^2 + 45400702403180252988569773/21050540032664201\ 1552288346*c_0101_6 - 34891324167079343967952488013/122935153790758\ 934746536394064, c_0011_4 - 2912785362000190459036652341/122935153790758934746536394064*\ c_0101_6^19 - 36413053545153240811576507801/12293515379075893474653\ 6394064*c_0101_6^18 - 151008428973093439793081531827/12293515379075\ 8934746536394064*c_0101_6^17 - 2615037137600407250906131443/4210108\ 00653284023104576692*c_0101_6^16 - 781438292622234130977900197813/61467576895379467373268197032*c_0101\ _6^15 - 3603862026901714127931755418479/122935153790758934746536394\ 064*c_0101_6^14 - 2606724521439964689477531172905/12293515379075893\ 4746536394064*c_0101_6^13 - 850211369172746531877759714857/30733788\ 447689733686634098516*c_0101_6^12 + 1008022812281825664302373987499/122935153790758934746536394064*c_01\ 01_6^11 + 96785392089866678024316329627/122935153790758934746536394\ 064*c_0101_6^10 + 470609798642401568443702305577/122935153790758934\ 746536394064*c_0101_6^9 - 61697277469930436190679210099/12293515379\ 0758934746536394064*c_0101_6^8 - 2173958929191222825039895937125/12\ 2935153790758934746536394064*c_0101_6^7 + 866594030643012195533187090431/122935153790758934746536394064*c_010\ 1_6^6 - 33899081834527028219738498975/7683447111922433421658524629*\ c_0101_6^5 + 166593354182840314862450230123/12293515379075893474653\ 6394064*c_0101_6^4 + 10230990510566327753358593371/1229351537907589\ 34746536394064*c_0101_6^3 - 11569866031719918391570809955/614675768\ 95379467373268197032*c_0101_6^2 + 4379007755014858102835559221/1684\ 043202613136092418306768*c_0101_6 - 331079805208820371814706114/7683447111922433421658524629, c_0101_0 + 24467783829294698013843198323/122935153790758934746536394064\ *c_0101_6^19 + 313424369443372471571966261829/122935153790758934746\ 536394064*c_0101_6^18 + 1358893445851039645495817512219/12293515379\ 0758934746536394064*c_0101_6^17 + 46256493985147189004468614127/842\ 021601306568046209153384*c_0101_6^16 + 7434692209222372635626251330763/61467576895379467373268197032*c_010\ 1_6^15 + 33136780151613074039941284264893/1229351537907589347465363\ 94064*c_0101_6^14 + 28352014196163564468830018971705/12293515379075\ 8934746536394064*c_0101_6^13 + 14298125903837680101491335363925/614\ 67576895379467373268197032*c_0101_6^12 - 7981927779480629934756897357805/122935153790758934746536394064*c_01\ 01_6^11 - 14213465616627981021258910637647/122935153790758934746536\ 394064*c_0101_6^10 - 13285292669514951419877604961353/1229351537907\ 58934746536394064*c_0101_6^9 - 8139067235675501589723057940161/1229\ 35153790758934746536394064*c_0101_6^8 + 9609776982338532987703421074285/122935153790758934746536394064*c_01\ 01_6^7 - 5271730071463362423783840233947/12293515379075893474653639\ 4064*c_0101_6^6 - 1152764365254384287487206507553/61467576895379467\ 373268197032*c_0101_6^5 + 726500260775362452016167737147/1229351537\ 90758934746536394064*c_0101_6^4 + 2303756494750718372170257609281/1\ 22935153790758934746536394064*c_0101_6^3 + 19410645250589471169897596913/7683447111922433421658524629*c_0101_6\ ^2 - 8888446749578619138921115463/1684043202613136092418306768*c_01\ 01_6 + 4985705108732239228772745185/61467576895379467373268197032, c_0101_1 + 7227815240250419867298075985/122935153790758934746536394064*\ c_0101_6^19 + 42458025395208601076289621511/61467576895379467373268\ 197032*c_0101_6^18 + 76202480071730065073183184735/3073378844768973\ 3686634098516*c_0101_6^17 + 21766221604396790844729155795/168404320\ 2613136092418306768*c_0101_6^16 + 1176005226777204765409398442715/6\ 1467576895379467373268197032*c_0101_6^15 + 5513066535884496777364096603853/122935153790758934746536394064*c_01\ 01_6^14 - 166606311452872021370312507133/15366894223844866843317049\ 258*c_0101_6^13 + 1018265274377935473495078615857/12293515379075893\ 4746536394064*c_0101_6^12 - 10902896129123568675785510300915/122935\ 153790758934746536394064*c_0101_6^11 - 536027991447448022160747558399/61467576895379467373268197032*c_0101\ _6^10 - 30259798289797340753115848803/30733788447689733686634098516\ *c_0101_6^9 + 1065529000642959313284432607921/614675768953794673732\ 68197032*c_0101_6^8 + 449086872507959926757226512539/76834471119224\ 33421658524629*c_0101_6^7 - 2002502873519492492983912791249/6146757\ 6895379467373268197032*c_0101_6^6 + 1989404027908444657415725805653/122935153790758934746536394064*c_01\ 01_6^5 + 97756557928851102298158317353/1229351537907589347465363940\ 64*c_0101_6^4 - 130942650515349861069717358679/61467576895379467373\ 268197032*c_0101_6^3 + 49641273717416835145074661015/12293515379075\ 8934746536394064*c_0101_6^2 - 5191180989957698558670080107/16840432\ 02613136092418306768*c_0101_6 + 21381112338045966259691259287/12293\ 5153790758934746536394064, c_0101_5 + 47910756084134359575578942783/122935153790758934746536394064\ *c_0101_6^19 + 310015007850240526737269389791/614675768953794673732\ 68197032*c_0101_6^18 + 343125550367362827363921197011/1536689422384\ 4866843317049258*c_0101_6^17 + 186595025241010464160642362833/16840\ 43202613136092418306768*c_0101_6^16 + 15550078372192782239954784899897/61467576895379467373268197032*c_01\ 01_6^15 + 69897670103212034336006139876643/122935153790758934746536\ 394064*c_0101_6^14 + 16844373412851278265889305740593/3073378844768\ 9733686634098516*c_0101_6^13 + 70826950559131416469598058237019/122\ 935153790758934746536394064*c_0101_6^12 + 2452612925407374098649080756859/122935153790758934746536394064*c_01\ 01_6^11 - 9461341989023415682816511144887/6146757689537946737326819\ 7032*c_0101_6^10 - 2868129060816867734136283008007/1536689422384486\ 6843317049258*c_0101_6^9 - 9735777464829453814319653812643/61467576\ 895379467373268197032*c_0101_6^8 + 3575630390955216398934922739085/30733788447689733686634098516*c_010\ 1_6^7 - 5218280664060202809043228951933/614675768953794673732681970\ 32*c_0101_6^6 - 6474281917814046479768453257897/1229351537907589347\ 46536394064*c_0101_6^5 + 1396803554773297360923366773151/1229351537\ 90758934746536394064*c_0101_6^4 + 1767926956118489040444530013121/6\ 1467576895379467373268197032*c_0101_6^3 + 850732213204401185519187930373/122935153790758934746536394064*c_010\ 1_6^2 - 10413768783201028942684475285/1684043202613136092418306768*\ c_0101_6 - 18003296938742890312822946011/12293515379075893474653639\ 4064, c_0101_6^20 + 13*c_0101_6^19 + 58*c_0101_6^18 + 287*c_0101_6^17 + 663*c_0101_6^16 + 1483*c_0101_6^15 + 1463*c_0101_6^14 + 1497*c_0101_6^13 + 96*c_0101_6^12 - 431*c_0101_6^11 - 454*c_0101_6^10 - 390*c_0101_6^9 + 310*c_0101_6^8 - 190*c_0101_6^7 - 177*c_0101_6^6 + 32*c_0101_6^5 + 77*c_0101_6^4 + 21*c_0101_6^3 - 22*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB