Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 762097755] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3070 geometric_solution 6.23517885 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 0 0 0 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.202023651174 0.370406233237 2 0 3 0 0132 2310 0132 0132 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.663103400785 1.710360109929 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 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.332285181889 0.597307392690 6 5 4 1 0132 3201 3201 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 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.332285181889 0.597307392690 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074927851197 0.888244302913 5 5 3 2 1230 3012 2310 0132 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 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.471946052304 0.875035465643 3 6 2 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.069611778329 0.933938757562 ==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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_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' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 530927198924123087780760739009915/1802277146859988120754336174697*c\ _0101_4^18 + 6703451033376813310366374679799/6279711313101003905067\ 373431*c_0101_4^17 - 16645988369912705584611302328045176/1802277146\ 859988120754336174697*c_0101_4^16 + 500982569289810875083487306748330/600759048953329373584778724899*c_\ 0101_4^15 + 45950268384471675832037569447031588/1802277146859988120\ 754336174697*c_0101_4^14 + 43390176695766993568200054071127035/1802\ 277146859988120754336174697*c_0101_4^13 - 23832535140363769646066654965620791/600759048953329373584778724899*\ c_0101_4^12 - 285168325559395821554025988570143661/1802277146859988\ 120754336174697*c_0101_4^11 + 13384457308235143706211451305683957/2\ 57468163837141160107762310671*c_0101_4^10 + 732735761179711845448375207373268436/180227714685998812075433617469\ 7*c_0101_4^9 - 36347487673949241359919773685528443/2574681638371411\ 60107762310671*c_0101_4^8 - 517507349768558375368185539270649971/18\ 02277146859988120754336174697*c_0101_4^7 + 416331009153591369492826733365817/35338767585489963152045807347*c_0\ 101_4^6 + 48577139292161260983320869049860795/600759048953329373584\ 778724899*c_0101_4^5 + 110305321666503436923805271231172610/1802277\ 146859988120754336174697*c_0101_4^4 - 47817352362797379349634827242791926/1802277146859988120754336174697\ *c_0101_4^3 - 18746171155736663017668032632525067/18022771468599881\ 20754336174697*c_0101_4^2 + 6090758866651267274964744419303591/1802\ 277146859988120754336174697*c_0101_4 + 1484553082923625835596477220782340/1802277146859988120754336174697, c_0011_0 - 1, c_0011_1 + 150858960805270714023104623/123131594374529488334654381*c_01\ 01_4^18 + 551734793127047721757277735/123131594374529488334654381*c\ _0101_4^17 - 4716104678934929286565373485/1231315943745294883346543\ 81*c_0101_4^16 + 253125109078071662563266665/1231315943745294883346\ 54381*c_0101_4^15 + 13224157512293082706501896055/12313159437452948\ 8334654381*c_0101_4^14 + 12686368425164304970687481618/123131594374\ 529488334654381*c_0101_4^13 - 20280276631087547793379846122/1231315\ 94374529488334654381*c_0101_4^12 - 81911310079811494696018125937/123131594374529488334654381*c_0101_4^\ 11 + 24653789804168029373067191912/123131594374529488334654381*c_01\ 01_4^10 + 211273942278375510959596929157/12313159437452948833465438\ 1*c_0101_4^9 - 67194289319345415829356433281/1231315943745294883346\ 54381*c_0101_4^8 - 155275817691789624513561198138/12313159437452948\ 8334654381*c_0101_4^7 + 6152375233982028814899379564/12313159437452\ 9488334654381*c_0101_4^6 + 44485314953822025081325502409/1231315943\ 74529488334654381*c_0101_4^5 + 30872288739117690399680564098/123131\ 594374529488334654381*c_0101_4^4 - 13440224212222277562008605208/123131594374529488334654381*c_0101_4^\ 3 - 6507340393763117906383003332/123131594374529488334654381*c_0101\ _4^2 + 2363815783286957273322531521/123131594374529488334654381*c_0\ 101_4 + 531608060751237323204469252/123131594374529488334654381, c_0011_3 - 68468559076462570777021514/123131594374529488334654381*c_010\ 1_4^18 - 246509845501484370212667293/123131594374529488334654381*c_\ 0101_4^17 + 2155109852199476777863969832/12313159437452948833465438\ 1*c_0101_4^16 - 235128516566441537040646850/12313159437452948833465\ 4381*c_0101_4^15 - 6007299678670332089422019748/1231315943745294883\ 34654381*c_0101_4^14 - 5420492967910197439384757364/123131594374529\ 488334654381*c_0101_4^13 + 9563745307261494037048039803/12313159437\ 4529488334654381*c_0101_4^12 + 36708616245293514241431437051/123131\ 594374529488334654381*c_0101_4^11 - 13339028066934456427229283876/123131594374529488334654381*c_0101_4^\ 10 - 95500849344763234885579506614/123131594374529488334654381*c_01\ 01_4^9 + 35900037873899244399545749800/123131594374529488334654381*\ c_0101_4^8 + 69289646495050984276981376380/123131594374529488334654\ 381*c_0101_4^7 - 6617475941033207936144706448/123131594374529488334\ 654381*c_0101_4^6 - 20408795895981943868345404004/12313159437452948\ 8334654381*c_0101_4^5 - 13274835827878076637541191486/1231315943745\ 29488334654381*c_0101_4^4 + 7072994478909721007335034755/1231315943\ 74529488334654381*c_0101_4^3 + 2664998590985775321354103125/1231315\ 94374529488334654381*c_0101_4^2 - 1259399462482431365559688145/1231\ 31594374529488334654381*c_0101_4 - 148282359753747772196657383/123131594374529488334654381, c_0011_5 - 62960469781629227821235070/123131594374529488334654381*c_010\ 1_4^18 - 230432522954627057249216617/123131594374529488334654381*c_\ 0101_4^17 + 1966164223739831373040767828/12313159437452948833465438\ 1*c_0101_4^16 - 108223198436233267288331615/12313159437452948833465\ 4381*c_0101_4^15 - 5483639434238426375924690914/1231315943745294883\ 34654381*c_0101_4^14 - 5241960081168365840166170068/123131594374529\ 488334654381*c_0101_4^13 + 8351427124846809702581894792/12313159437\ 4529488334654381*c_0101_4^12 + 33914479190441091241407615315/123131\ 594374529488334654381*c_0101_4^11 - 10292204849734388730094883835/123131594374529488334654381*c_0101_4^\ 10 - 87296763200317924021662114520/123131594374529488334654381*c_01\ 01_4^9 + 28853156364740826155197719269/123131594374529488334654381*\ c_0101_4^8 + 63164741229400515704393457552/123131594374529488334654\ 381*c_0101_4^7 - 4500481648367279467421209887/123131594374529488334\ 654381*c_0101_4^6 - 17421260468719010903089300765/12313159437452948\ 8334654381*c_0101_4^5 - 11644949917187562224972694463/1231315943745\ 29488334654381*c_0101_4^4 + 5851520332744994598092650543/1231315943\ 74529488334654381*c_0101_4^3 + 2339035042492494037398816644/1231315\ 94374529488334654381*c_0101_4^2 - 1156140969507751590781998590/1231\ 31594374529488334654381*c_0101_4 - 124867323097478008295146329/123131594374529488334654381, c_0101_1 + 44277889800720414399921208/123131594374529488334654381*c_010\ 1_4^18 + 170049959239132657815329813/123131594374529488334654381*c_\ 0101_4^17 - 1354475423171255751618069714/12313159437452948833465438\ 1*c_0101_4^16 - 177959079541447586288740383/12313159437452948833465\ 4381*c_0101_4^15 + 3898380966802928470972162440/1231315943745294883\ 34654381*c_0101_4^14 + 4402299696162141560946493116/123131594374529\ 488334654381*c_0101_4^13 - 5284271274460694172787693205/12313159437\ 4529488334654381*c_0101_4^12 - 25053683517987239869108568295/123131\ 594374529488334654381*c_0101_4^11 + 2976214921549105191530392852/123131594374529488334654381*c_0101_4^1\ 0 + 63277854394034508989372147924/123131594374529488334654381*c_010\ 1_4^9 - 8962560067054446206048110882/123131594374529488334654381*c_\ 0101_4^8 - 49362507247039300228770492170/12313159437452948833465438\ 1*c_0101_4^7 - 5309421216381460131112410062/12313159437452948833465\ 4381*c_0101_4^6 + 13697047981817627427064750927/1231315943745294883\ 34654381*c_0101_4^5 + 10881344170104193387335797518/123131594374529\ 488334654381*c_0101_4^4 - 2806817158894802770438220163/123131594374\ 529488334654381*c_0101_4^3 - 2410770645249811898987990951/123131594\ 374529488334654381*c_0101_4^2 + 534303059921437185884089075/1231315\ 94374529488334654381*c_0101_4 + 171346542606153136406028474/1231315\ 94374529488334654381, c_0101_3 - 134186050327596599338025511/123131594374529488334654381*c_01\ 01_4^18 - 497078105886183326738443185/123131594374529488334654381*c\ _0101_4^17 + 4171612275196070647137020847/1231315943745294883346543\ 81*c_0101_4^16 - 29704350644629123826017352/12313159437452948833465\ 4381*c_0101_4^15 - 11775446695266077268905341764/123131594374529488\ 334654381*c_0101_4^14 - 11793615986318200872362385271/1231315943745\ 29488334654381*c_0101_4^13 + 17519971200957520835482912767/12313159\ 4374529488334654381*c_0101_4^12 + 73584165095182585748291534981/123\ 131594374529488334654381*c_0101_4^11 - 18675857577256030539484947850/123131594374529488334654381*c_0101_4^\ 10 - 188831386472294622406882077899/123131594374529488334654381*c_0\ 101_4^9 + 51731478966963155881177769923/123131594374529488334654381\ *c_0101_4^8 + 141036595428723261054611204919/1231315943745294883346\ 54381*c_0101_4^7 - 672254735155308631967568182/12313159437452948833\ 4654381*c_0101_4^6 - 40024714599798818533264835879/1231315943745294\ 88334654381*c_0101_4^5 - 28495566501240950124230753670/123131594374\ 529488334654381*c_0101_4^4 + 10870608131927964545511427273/12313159\ 4374529488334654381*c_0101_4^3 + 6387603800456485422723600351/12313\ 1594374529488334654381*c_0101_4^2 - 1932996151011467891224517649/123131594374529488334654381*c_0101_4 - 477463734308228330810220314/123131594374529488334654381, c_0101_4^19 + 4*c_0101_4^18 - 30*c_0101_4^17 - 9*c_0101_4^16 + 88*c_0101_4^15 + 114*c_0101_4^14 - 105*c_0101_4^13 - 588*c_0101_4^12 - 23*c_0101_4^11 + 1452*c_0101_4^10 + 33*c_0101_4^9 - 1172*c_0101_4^8 - 310*c_0101_4^7 + 303*c_0101_4^6 + 304*c_0101_4^5 - 19*c_0101_4^4 - 72*c_0101_4^3 + c_0101_4^2 + 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB