Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1242289798] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1603 geometric_solution 5.36629430 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 1 0 -1 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.365572491195 0.325896771084 0 3 0 4 0132 0132 1023 0132 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 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.475841082087 1.358741376689 3 0 4 0 3201 0132 3201 1023 0 0 0 0 0 1 -1 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 -1 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 0 0 0.475841082087 1.358741376689 5 1 5 2 0132 0132 2310 2310 0 0 0 0 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 -1 1 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.265271120869 1.444283790874 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.801333468699 1.254708262211 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435247472802 0.138906989511 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466075331804 0.183718511848 ==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' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 67838511707468990957303602570629797/3164250131359901955433571479091\ 1*c_0110_6^21 + 1804323606417380512124234774463442087/1265700052543\ 96078217342859163644*c_0110_6^19 - 230692577826646684892876931470763329/602714310735219420082585043636\ 4*c_0110_6^17 + 426257738503392383184263052757341917/60271431073521\ 94200825850436364*c_0110_6^15 - 18596522314043503341885129532401237\ 37/21095000875732679702890476527274*c_0110_6^13 + 5971115730477532979983303250246305655/12657000525439607821734285916\ 3644*c_0110_6^11 - 1044112500476888383931099865010699555/6328500262\ 7198039108671429581822*c_0110_6^9 + 1898996797952166640959862400889150383/12657000525439607821734285916\ 3644*c_0110_6^7 - 47666063758670609387563231870418291/9040714661028\ 291301238775654546*c_0110_6^5 - 36164481375125567644163205135294767\ /126570005254396078217342859163644*c_0110_6^3 - 6466531956084984905554403054167897/63285002627198039108671429581822\ *c_0110_6, c_0011_0 - 1, c_0011_4 + 6127932332053074364902683856907/5022619256126828500688208696\ 97*c_0110_6^20 - 80014846209038425509031597690901/10045238512253657\ 00137641739394*c_0110_6^18 + 105063510561401089580572363587747/5022\ 61925612682850068820869697*c_0110_6^16 - 384784271262164629123987848859499/1004523851225365700137641739394*c\ _0110_6^14 + 471035365168100699766542875000465/10045238512253657001\ 37641739394*c_0110_6^12 - 117828047302316216536599357990851/5022619\ 25612682850068820869697*c_0110_6^10 + 44737825100105142714583012389028/502261925612682850068820869697*c_0\ 110_6^8 - 77613973362670194588532011904551/100452385122536570013764\ 1739394*c_0110_6^6 + 21832441063255834621095156745859/1004523851225\ 365700137641739394*c_0110_6^4 + 929774897334123573312622236613/5022\ 61925612682850068820869697*c_0110_6^2 - 104006424959286391946431427390/502261925612682850068820869697, c_0101_0 - 53146357286252338615057327339681/502261925612682850068820869\ 697*c_0110_6^21 + 687097334609779121450996165117205/100452385122536\ 5700137641739394*c_0110_6^19 - 890509389465397185948648247410332/50\ 2261925612682850068820869697*c_0110_6^17 + 3239269523833273853782590189484237/1004523851225365700137641739394*\ c_0110_6^15 - 3914209822569903824016785787207357/100452385122536570\ 0137641739394*c_0110_6^13 + 928940220785633249528200638811548/50226\ 1925612682850068820869697*c_0110_6^11 - 364462680973195879656910481422265/502261925612682850068820869697*c_\ 0110_6^9 + 650669484920495892881715470614913/1004523851225365700137\ 641739394*c_0110_6^7 - 183848969740055614237049435647649/1004523851\ 225365700137641739394*c_0110_6^5 - 3693878699142075570044020922268/502261925612682850068820869697*c_01\ 10_6^3 - 121938689484464704688464051363/502261925612682850068820869\ 697*c_0110_6, c_0101_1 + 21089782127274071030792118631949/502261925612682850068820869\ 697*c_0110_6^20 - 130981531019922277869449721325853/502261925612682\ 850068820869697*c_0110_6^18 + 322503190386337735040996660493137/502\ 261925612682850068820869697*c_0110_6^16 - 575363817158620943479582667887983/502261925612682850068820869697*c_\ 0110_6^14 + 665710818437362471717513107200401/502261925612682850068\ 820869697*c_0110_6^12 - 260911336860952090700501729680943/502261925\ 612682850068820869697*c_0110_6^10 + 146641597205579001946796090343786/502261925612682850068820869697*c_\ 0110_6^8 - 112551875777340610129747345701244/5022619256126828500688\ 20869697*c_0110_6^6 + 17130423970636071231895382385421/502261925612\ 682850068820869697*c_0110_6^4 - 4194165003163320461036088440461/502\ 261925612682850068820869697*c_0110_6^2 - 68975637990816061225021698781/502261925612682850068820869697, c_0101_2 + 8712786966868255075502089180551/1004523851225365700137641739\ 394*c_0110_6^20 - 50968328862077553666692182246259/1004523851225365\ 700137641739394*c_0110_6^18 + 113679413970564517621876099293197/100\ 4523851225365700137641739394*c_0110_6^16 - 94732195457154694902045542507637/502261925612682850068820869697*c_0\ 110_6^14 + 189070656523998668473716466324549/1004523851225365700137\ 641739394*c_0110_6^12 - 4333984539140129364628261701414/50226192561\ 2682850068820869697*c_0110_6^10 + 22411165010255319405163539037839/\ 1004523851225365700137641739394*c_0110_6^8 - 13219437856056167265780617031540/502261925612682850068820869697*c_0\ 110_6^6 - 9193577401496910022553093007757/1004523851225365700137641\ 739394*c_0110_6^4 + 1088140790341548344563012694345/502261925612682\ 850068820869697*c_0110_6^2 - 316670651520968724645730976660/5022619\ 25612682850068820869697, c_0101_3 - 972621944175246565684835732233/10045238512253657001376417393\ 94*c_0110_6^21 + 1423728946994160981871868634999/100452385122536570\ 0137641739394*c_0110_6^19 + 6716318946113740988323384109965/1004523\ 851225365700137641739394*c_0110_6^17 - 437504174506779357482682542761/502261925612682850068820869697*c_011\ 0_6^15 - 7871267450231926839572914955599/10045238512253657001376417\ 39394*c_0110_6^13 + 23085066753834416661957125322344/50226192561268\ 2850068820869697*c_0110_6^11 - 149142760977708719189118727475067/10\ 04523851225365700137641739394*c_0110_6^9 + 15999022252761050978224650608629/502261925612682850068820869697*c_0\ 110_6^7 - 12984323202673934418627661810803/100452385122536570013764\ 1739394*c_0110_6^5 + 15087355164929839881492675301890/5022619256126\ 82850068820869697*c_0110_6^3 - 170844850315986222675920187758/50226\ 1925612682850068820869697*c_0110_6, c_0110_6^22 - 11399/1681*c_0110_6^20 + 768/41*c_0110_6^18 - 59430/1681*c_0110_6^16 + 76476/1681*c_0110_6^14 - 46171/1681*c_0110_6^12 + 17869/1681*c_0110_6^10 - 13432/1681*c_0110_6^8 + 5666/1681*c_0110_6^6 - 323/1681*c_0110_6^4 + 40/1681*c_0110_6^2 - 6/1681 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB