Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1157945701] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s262 geometric_solution 4.42567297 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 -2 1 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 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.067986418502 0.375395631075 0 4 4 0 0132 0132 3201 1023 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 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.580735247844 0.680796078886 3 0 3 5 2310 0132 2103 0132 0 0 0 0 0 2 -1 -1 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 -1 0 1 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.316730588511 1.120727807402 2 5 2 0 2103 2310 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 -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.316730588511 1.120727807402 1 1 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.702241589977 0.163638340444 5 5 2 3 1230 3012 0132 3201 0 0 0 0 0 -1 1 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 1 -1 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.766482985648 0.826282717803 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 197936509724961134019778240/7536513937871855434538747*c_0101_4^21 + 890983419094318572413175496/7536513937871855434538747*c_0101_4^20 - 375566624577048743868808192/7536513937871855434538747*c_0101_4^19 - 2257501970279612611502723854/7536513937871855434538747*c_0101_4^18 + 74732017900791050967062040/1076644848267407919219821*c_0101_4^17 - 30259085452191503700309472/7536513937871855434538747*c_0101_4^16 + 20438817917058040275025284642/7536513937871855434538747*c_0101_4^15 - 5290437531131871831978914768/1076644848267407919219821*c_0101_4^1\ 4 - 8073829199782296250913169140/7536513937871855434538747*c_0101_4\ ^13 + 99952667727666727011155354343/7536513937871855434538747*c_010\ 1_4^12 - 94779437310810105557185936485/7536513937871855434538747*c_\ 0101_4^11 - 63245874902926358045150233783/7536513937871855434538747\ *c_0101_4^10 + 148047267578439193905859376061/753651393787185543453\ 8747*c_0101_4^9 - 38851006708249938675952512700/7536513937871855434\ 538747*c_0101_4^8 - 85544366153139137485518643451/75365139378718554\ 34538747*c_0101_4^7 + 8816248598667838803660451052/1076644848267407\ 919219821*c_0101_4^6 + 2981500118289323264518917972/107664484826740\ 7919219821*c_0101_4^5 - 24589096560407071593879331329/7536513937871\ 855434538747*c_0101_4^4 - 2747545717361893136610887398/753651393787\ 1855434538747*c_0101_4^3 + 3546856355708137392405643766/75365139378\ 71855434538747*c_0101_4^2 + 536567823786259763522843124/75365139378\ 71855434538747*c_0101_4 - 220530938712027934454427069/7536513937871\ 855434538747, c_0011_0 - 1, c_0011_3 - 56624428760223641950147304/7536513937871855434538747*c_0101_\ 4^21 + 274642447402982775682547071/7536513937871855434538747*c_0101\ _4^20 - 83105070045481429556962992/7536513937871855434538747*c_0101\ _4^19 - 1031416004898453330967119152/7536513937871855434538747*c_01\ 01_4^18 + 14751782879316924138512260/1076644848267407919219821*c_01\ 01_4^17 + 1558021552939514247374335544/7536513937871855434538747*c_\ 0101_4^16 + 7420483156968405240005237637/7536513937871855434538747*\ c_0101_4^15 - 1925041024298149497047629351/107664484826740791921982\ 1*c_0101_4^14 - 14097569440148653823158896330/753651393787185543453\ 8747*c_0101_4^13 + 38584724541379248671609163627/753651393787185543\ 4538747*c_0101_4^12 - 3334803649295920719977086515/7536513937871855\ 434538747*c_0101_4^11 - 43441619255442814520666151087/7536513937871\ 855434538747*c_0101_4^10 + 25944216456731337088055083353/7536513937\ 871855434538747*c_0101_4^9 + 21725408079785222348589057934/75365139\ 37871855434538747*c_0101_4^8 - 23610318089433438901249507933/753651\ 3937871855434538747*c_0101_4^7 - 635563675444428362933168252/107664\ 4848267407919219821*c_0101_4^6 + 1309257943996020595948420596/10766\ 44848267407919219821*c_0101_4^5 + 588559985463157289663910827/75365\ 13937871855434538747*c_0101_4^4 - 1699483739987659132547002707/7536\ 513937871855434538747*c_0101_4^3 - 253534942581790540924851672/7536513937871855434538747*c_0101_4^2 + 154940664362756872263253078/7536513937871855434538747*c_0101_4 + 23983725466256690426274482/7536513937871855434538747, c_0011_5 - 167619879888733986650567888/7536513937871855434538747*c_0101\ _4^21 + 526574233726533231858031782/7536513937871855434538747*c_010\ 1_4^20 + 780810008685654793848828013/7536513937871855434538747*c_01\ 01_4^19 - 2156286712041141218456543445/7536513937871855434538747*c_\ 0101_4^18 - 548214381786940930770405837/1076644848267407919219821*c\ _0101_4^17 - 172360536529691841512515296/7536513937871855434538747*\ c_0101_4^16 + 24018963169354962036795878709/75365139378718554345387\ 47*c_0101_4^15 + 83764708443331772641432749/10766448482674079192198\ 21*c_0101_4^14 - 58656581711138133726558086094/75365139378718554345\ 38747*c_0101_4^13 + 19007464311480821629482693490/75365139378718554\ 34538747*c_0101_4^12 + 65308071877381436657127805214/75365139378718\ 55434538747*c_0101_4^11 - 44980484563753973588178800951/75365139378\ 71855434538747*c_0101_4^10 - 40118609907561534393331372363/75365139\ 37871855434538747*c_0101_4^9 + 43137454361131394240745155392/753651\ 3937871855434538747*c_0101_4^8 + 17787114583755399547320700582/7536\ 513937871855434538747*c_0101_4^7 - 2850183989743761235765417917/1076644848267407919219821*c_0101_4^6 - 1019320816376241409107329188/1076644848267407919219821*c_0101_4^5 + 4067277998702468953238372526/7536513937871855434538747*c_0101_4^4 + 1912186796886687662370873390/7536513937871855434538747*c_0101_4^3 - 187279822973947564561348887/7536513937871855434538747*c_0101_4^2 - 176673245468524659980769527/7536513937871855434538747*c_0101_4 - 12790519083922071059050456/7536513937871855434538747, c_0101_1 - 83535000337227984100799920/7536513937871855434538747*c_0101_\ 4^21 + 323758892276431907845089034/7536513937871855434538747*c_0101\ _4^20 + 174971519900070746471141179/7536513937871855434538747*c_010\ 1_4^19 - 1285297430524886994678910791/7536513937871855434538747*c_0\ 101_4^18 - 149771670585357352831858544/1076644848267407919219821*c_\ 0101_4^17 + 1009478674709889455322942246/7536513937871855434538747*\ c_0101_4^16 + 11649149342569834026441154903/75365139378718554345387\ 47*c_0101_4^15 - 1194442088125006880759754017/107664484826740791921\ 9821*c_0101_4^14 - 26403394304336137697083724854/753651393787185543\ 4538747*c_0101_4^13 + 29919972952220920615571245743/753651393787185\ 5434538747*c_0101_4^12 + 18229592349953237942363063981/753651393787\ 1855434538747*c_0101_4^11 - 41091251150091161309719487173/753651393\ 7871855434538747*c_0101_4^10 + 3387526075373962856301271390/7536513\ 937871855434538747*c_0101_4^9 + 27418310923558478822396914127/75365\ 13937871855434538747*c_0101_4^8 - 9119683013557591661771869957/7536\ 513937871855434538747*c_0101_4^7 - 1365882372756244237898567900/1076644848267407919219821*c_0101_4^6 + 491264644301107034862902310/1076644848267407919219821*c_0101_4^5 + 1897669240648441879372518271/7536513937871855434538747*c_0101_4^4 - 369333773780669520526768672/7536513937871855434538747*c_0101_4^3 - 232340793565220479753935287/7536513937871855434538747*c_0101_4^2 + 18484596103911041036335996/7536513937871855434538747*c_0101_4 - 458460342843900190770334/7536513937871855434538747, c_0101_2 + 404154373200888704713472688/7536513937871855434538747*c_0101\ _4^21 - 1106954293472084284171527978/7536513937871855434538747*c_01\ 01_4^20 - 2394199168886478442697105315/7536513937871855434538747*c_\ 0101_4^19 + 4510195596121467451460676179/7536513937871855434538747*\ c_0101_4^18 + 1593276791313352245853150640/107664484826740791921982\ 1*c_0101_4^17 + 3796828352285857862389556694/7536513937871855434538\ 747*c_0101_4^16 - 57049595028102068750338111584/7536513937871855434\ 538747*c_0101_4^15 - 3304575241085411432642655385/10766448482674079\ 19219821*c_0101_4^14 + 141672027548820423118256107678/7536513937871\ 855434538747*c_0101_4^13 + 2234521802069178361666514873/75365139378\ 71855434538747*c_0101_4^12 - 178275080977603729036565968461/7536513\ 937871855434538747*c_0101_4^11 + 64745451238499612510684073913/7536\ 513937871855434538747*c_0101_4^10 + 137106319607054605397011383265/7536513937871855434538747*c_0101_4^9 - 84820435883764848259434846043/7536513937871855434538747*c_0101_4^\ 8 - 73117119212514005030468838847/7536513937871855434538747*c_0101_\ 4^7 + 6082470660592291530342832746/1076644848267407919219821*c_0101\ _4^6 + 3805131312054695359675846564/1076644848267407919219821*c_010\ 1_4^5 - 8132153855184414782615354675/7536513937871855434538747*c_01\ 01_4^4 - 5630131999698245528493445695/7536513937871855434538747*c_0\ 101_4^3 + 109056150358119191833299661/7536513937871855434538747*c_0\ 101_4^2 + 479746203578715454403379942/7536513937871855434538747*c_0\ 101_4 + 55707678948041814621716987/7536513937871855434538747, c_0101_4^22 - 27/8*c_0101_4^21 - 17/4*c_0101_4^20 + 121/8*c_0101_4^19 + 167/8*c_0101_4^18 - 9*c_0101_4^17 - 1191/8*c_0101_4^16 + 129/4*c_0101_4^15 + 3173/8*c_0101_4^14 - 1721/8*c_0101_4^13 - 939/2*c_0101_4^12 + 1781/4*c_0101_4^11 + 535/2*c_0101_4^10 - 887/2*c_0101_4^9 - 269/4*c_0101_4^8 + 1917/8*c_0101_4^7 + 7*c_0101_4^6 - 569/8*c_0101_4^5 - 7/2*c_0101_4^4 + 11*c_0101_4^3 + 3/2*c_0101_4^2 - 3/4*c_0101_4 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB