Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3448525099] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1877 geometric_solution 5.50507192 oriented_manifold CS_known -0.0000000000000003 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 1 -1 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.483906254401 0.340187275085 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 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 1.133080238257 0.632074588013 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -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 1.107258018487 0.798237198668 5 2 4 1 1023 1230 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 0 0 0 1 0 0 -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 1.107258018487 0.798237198668 4 2 3 4 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369863341128 0.536237889227 6 3 2 6 0132 1023 0132 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 -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.838399343601 0.461189063892 5 6 6 5 0132 1230 3012 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 1.545450421942 0.461725392249 ==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' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 144846608931012854673574282562855/200658203302208615736058440363168\ *c_0101_6^17 + 200692194308265626564457013277261/100329101651104307\ 868029220181584*c_0101_6^16 + 4192382096843959017312575401525/17357\ 9760642048975550223564328*c_0101_6^15 + 1319513546783717359090416897445549/33443033883701435956009740060528\ *c_0101_6^14 + 7127000459706101404484856217532449/50164550825552153\ 934014610090792*c_0101_6^13 + 852614596874621808502324910154979/590\ 1711861829665168707601187152*c_0101_6^12 + 20870959297697614318365575514322369/6688606776740287191201948012105\ 6*c_0101_6^11 + 6925150009702488486971098716941125/6688606776740287\ 1912019480121056*c_0101_6^10 + 120694628332742325218075222300751/69\ 6729872577113249083536251261*c_0101_6^9 - 109716350183834911962308904403285/33443033883701435956009740060528*\ c_0101_6^8 - 36468877781374070478555698720960075/100329101651104307\ 868029220181584*c_0101_6^7 + 42825204658875196665119506210137475/20\ 0658203302208615736058440363168*c_0101_6^6 - 4180862041862596585361906515698505/11803423723659330337415202374304\ *c_0101_6^5 - 10591764802979553174928828628546435/20065820330220861\ 5736058440363168*c_0101_6^4 + 2595967014487286982154778400157579/25\ 082275412776076967007305045396*c_0101_6^3 - 31446962623002984859991961170355967/2006582033022086157360584403631\ 68*c_0101_6^2 + 8983431504298367903794440738376159/1003291016511043\ 07868029220181584*c_0101_6 - 2091593531971093597715157980186587/200\ 658203302208615736058440363168, c_0011_0 - 1, c_0011_1 + 2689900740944353347713479/153882766526639162721829401*c_0101\ _6^17 + 8521886823640790376472055/153882766526639162721829401*c_010\ 1_6^16 + 93899077353622449822923642/153882766526639162721829401*c_0\ 101_6^15 + 61910676123414293755284170/51294255508879720907276467*c_\ 0101_6^14 + 620459999566666679563393631/153882766526639162721829401\ *c_0101_6^13 + 812614748746219590916759016/153882766526639162721829\ 401*c_0101_6^12 + 529379728354504147138677384/512942555088797209072\ 76467*c_0101_6^11 + 369748351314220404943675966/5129425550887972090\ 7276467*c_0101_6^10 + 433817294858411662653993085/51294255508879720\ 907276467*c_0101_6^9 + 173363113664441870097124366/5129425550887972\ 0907276467*c_0101_6^8 - 1048624085587079566436278184/15388276652663\ 9162721829401*c_0101_6^7 + 279201918959846667298552778/153882766526\ 639162721829401*c_0101_6^6 - 1396824080809220916593122108/153882766\ 526639162721829401*c_0101_6^5 - 562971511572413042224000579/1538827\ 66526639162721829401*c_0101_6^4 - 16325402187630942540495452/153882\ 766526639162721829401*c_0101_6^3 - 413169282029722436294614754/153882766526639162721829401*c_0101_6^2 + 90602873651634365199461413/153882766526639162721829401*c_0101_6 - 32072260854477543140197319/153882766526639162721829401, c_0011_3 - 19755123089814847144861823/820708088142075534516423472*c_010\ 1_6^17 - 34739865934273637849241165/410354044071037767258211736*c_0\ 101_6^16 - 176598822678345003789221839/205177022035518883629105868*\ c_0101_6^15 - 791713591937751041046385563/4103540440710377672582117\ 36*c_0101_6^14 - 1209850495576168856349325213/205177022035518883629\ 105868*c_0101_6^13 - 3514289781406512606486402391/41035404407103776\ 7258211736*c_0101_6^12 - 12221741678232788758115940835/820708088142\ 075534516423472*c_0101_6^11 - 9585603990002518134965152583/82070808\ 8142075534516423472*c_0101_6^10 - 504256872350579525542567619/51294\ 255508879720907276467*c_0101_6^9 - 1376088461204509621514905333/410354044071037767258211736*c_0101_6^8 + 4901703066536246097576639879/410354044071037767258211736*c_0101_6\ ^7 + 2342729082845031395682338661/820708088142075534516423472*c_010\ 1_6^6 + 7345032988797259585738944969/820708088142075534516423472*c_\ 0101_6^5 + 6015895234533680812629628347/820708088142075534516423472\ *c_0101_6^4 + 12794265009580965002773833/10258851101775944181455293\ 4*c_0101_6^3 + 2130657048595557898210582815/82070808814207553451642\ 3472*c_0101_6^2 - 60031557002295848974766827/4103540440710377672582\ 11736*c_0101_6 - 638407759665486849478304165/8207080881420755345164\ 23472, c_0101_0 - 3420092944631928680442572/153882766526639162721829401*c_0101\ _6^17 - 11444388792663979902523438/153882766526639162721829401*c_01\ 01_6^16 - 119887606697090588648236852/153882766526639162721829401*c\ _0101_6^15 - 83986291158732670433408236/51294255508879720907276467*\ c_0101_6^14 - 778134423305684595471956083/1538827665266391627218294\ 01*c_0101_6^13 - 1043736345273488780347726504/153882766526639162721\ 829401*c_0101_6^12 - 604949846201515887590181951/512942555088797209\ 07276467*c_0101_6^11 - 386527235175652223993941784/5129425550887972\ 0907276467*c_0101_6^10 - 290022472313621979497477489/51294255508879\ 720907276467*c_0101_6^9 - 11863557488629687641630076/51294255508879\ 720907276467*c_0101_6^8 + 1982154553820069683416667846/153882766526\ 639162721829401*c_0101_6^7 + 217540700207932054799529830/1538827665\ 26639162721829401*c_0101_6^6 + 1142159862907142130402676568/1538827\ 66526639162721829401*c_0101_6^5 + 859524345062528284016931620/15388\ 2766526639162721829401*c_0101_6^4 - 248882729578080218013463109/153882766526639162721829401*c_0101_6^3 + 169762070861580052894306585/153882766526639162721829401*c_0101_6^2 - 49946118047355874051141952/153882766526639162721829401*c_0101_6 - 130374366713632296683938073/153882766526639162721829401, c_0101_1 + 1671037913789505631289786/51294255508879720907276467*c_0101_\ 6^17 + 5564305769885076491567976/51294255508879720907276467*c_0101_\ 6^16 + 59005836328962932075401615/51294255508879720907276467*c_0101\ _6^15 + 124307449014903645895493028/51294255508879720907276467*c_01\ 01_6^14 + 397772427511986228906164592/51294255508879720907276467*c_\ 0101_6^13 + 556577168775958519804131058/51294255508879720907276467*\ c_0101_6^12 + 1025357166453430125847089523/512942555088797209072764\ 67*c_0101_6^11 + 802167231540990585214832538/5129425550887972090727\ 6467*c_0101_6^10 + 802038652101057759197278177/51294255508879720907\ 276467*c_0101_6^9 + 392047134716148405332545518/5129425550887972090\ 7276467*c_0101_6^8 - 731741250633120703755180571/512942555088797209\ 07276467*c_0101_6^7 + 35213050380363160208800535/512942555088797209\ 07276467*c_0101_6^6 - 828629171580642070889864115/51294255508879720\ 907276467*c_0101_6^5 - 569482208765816532523729107/5129425550887972\ 0907276467*c_0101_6^4 + 63922509066001860180681188/5129425550887972\ 0907276467*c_0101_6^3 - 319663314479751005815958897/512942555088797\ 20907276467*c_0101_6^2 + 63270316860776556803087923/512942555088797\ 20907276467*c_0101_6 + 56566547638563230165541966/51294255508879720\ 907276467, c_0101_3 - 5573136455425020032359433/820708088142075534516423472*c_0101\ _6^17 - 9595433059163580950285907/410354044071037767258211736*c_010\ 1_6^16 - 50549310258047153219850357/205177022035518883629105868*c_0\ 101_6^15 - 222834669230126059290569997/410354044071037767258211736*\ c_0101_6^14 - 370917476576904376591712243/2051770220355188836291058\ 68*c_0101_6^13 - 1088228965895021997247692745/410354044071037767258\ 211736*c_0101_6^12 - 4287125036130237090895637237/82070808814207553\ 4516423472*c_0101_6^11 - 3714785737574824868308473105/8207080881420\ 75534516423472*c_0101_6^10 - 286023429513010346030019230/5129425550\ 8879720907276467*c_0101_6^9 - 1134548847912931469280858011/41035404\ 4071037767258211736*c_0101_6^8 + 436750622367719039917609825/410354\ 044071037767258211736*c_0101_6^7 - 89885756300641430153767933/820708088142075534516423472*c_0101_6^6 + 3845260645123412397408002767/820708088142075534516423472*c_0101_6^5 + 1271680423475635794542899421/820708088142075534516423472*c_0101_6\ ^4 + 181592564205195825964721815/102588511017759441814552934*c_0101\ _6^3 + 744654982462552632133995817/820708088142075534516423472*c_01\ 01_6^2 - 36847879877980769390525797/410354044071037767258211736*c_0\ 101_6 + 625463886545793783779094157/820708088142075534516423472, c_0101_6^18 + 3*c_0101_6^17 + 34*c_0101_6^16 + 62*c_0101_6^15 + 206*c_0101_6^14 + 238*c_0101_6^13 + 455*c_0101_6^12 + 210*c_0101_6^11 + 213*c_0101_6^10 + 6*c_0101_6^9 - 548*c_0101_6^8 + 171*c_0101_6^7 - 374*c_0101_6^6 - 176*c_0101_6^5 + 183*c_0101_6^4 - 169*c_0101_6^3 + 77*c_0101_6^2 + 29*c_0101_6 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB