Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 2766485573] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1981 geometric_solution 5.55057992 oriented_manifold CS_known -0.0000000000000002 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 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.557845688081 0.120786972266 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 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.729822509629 0.249973935872 1 3 1 4 0132 0132 1023 0132 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 1 0 -1 0 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 1.053065791538 1.082299342700 5 2 4 6 0132 0132 3012 0132 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 -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.926991501132 0.948625287977 6 3 2 5 1023 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.926991501132 0.948625287977 3 5 4 5 0132 1302 0132 2031 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 0 0 0 0 0 0 0 0.523103087061 0.462464945179 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 0.847920933962 0.691437889739 ==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' : 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_4'], 'c_1100_5' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 131915911429578262991608092/187640756624329693007219*c_0101_3*c_010\ 1_5^18 - 122957816134231610371717128/187640756624329693007219*c_010\ 1_3*c_0101_5^17 - 1975762509556120514431896316/18764075662432969300\ 7219*c_0101_3*c_0101_5^16 + 7112180224746470857374038079/1876407566\ 24329693007219*c_0101_3*c_0101_5^15 + 180139383836533860216062801/187640756624329693007219*c_0101_3*c_010\ 1_5^14 - 48209131962671171330244166692/187640756624329693007219*c_0\ 101_3*c_0101_5^13 + 69112019142570297200448843240/18764075662432969\ 3007219*c_0101_3*c_0101_5^12 + 7491608829616219129020730494/1443390\ 4355717668692863*c_0101_3*c_0101_5^11 - 261079810333993538352057245291/187640756624329693007219*c_0101_3*c_\ 0101_5^10 - 49777036505689682799357992146/187640756624329693007219*\ c_0101_3*c_0101_5^9 + 474330291743104313196022040338/18764075662432\ 9693007219*c_0101_3*c_0101_5^8 - 223133865861515909168772770315/187\ 640756624329693007219*c_0101_3*c_0101_5^7 - 180323839218707993660259398985/187640756624329693007219*c_0101_3*c_\ 0101_5^6 + 78054288816341742812395335431/187640756624329693007219*c\ _0101_3*c_0101_5^5 + 39103963465628565052057560755/1876407566243296\ 93007219*c_0101_3*c_0101_5^4 + 184840393155315610667425351/18764075\ 6624329693007219*c_0101_3*c_0101_5^3 - 5008106415959040313163795650/187640756624329693007219*c_0101_3*c_01\ 01_5^2 - 1070912456610705749397006134/187640756624329693007219*c_01\ 01_3*c_0101_5 + 201996568828914369644754544/18764075662432969300721\ 9*c_0101_3, c_0011_0 - 1, c_0011_1 + 156765993168354734992748/187640756624329693007219*c_0101_5^1\ 8 - 139465538514635488229751/187640756624329693007219*c_0101_5^17 - 2346545821049542573893203/187640756624329693007219*c_0101_5^16 + 8343928063011182974901883/187640756624329693007219*c_0101_5^15 + 459857318141306590340623/187640756624329693007219*c_0101_5^14 - 56853267204849280691931129/187640756624329693007219*c_0101_5^13 + 79644262625064323450789287/187640756624329693007219*c_0101_5^12 + 116446433729890710855356490/187640756624329693007219*c_0101_5^11 - 23149348175659353981885120/14433904355717668692863*c_0101_5^10 - 67342361040093652592474964/187640756624329693007219*c_0101_5^9 + 545428753232136828102634876/187640756624329693007219*c_0101_5^8 - 241953173278880890827196241/187640756624329693007219*c_0101_5^7 - 198361823642845236493059779/187640756624329693007219*c_0101_5^6 + 5184587131889450318279911/14433904355717668692863*c_0101_5^5 + 43040334749312214025578266/187640756624329693007219*c_0101_5^4 + 6497268745921068663223444/187640756624329693007219*c_0101_5^3 - 4770985376330476485750857/187640756624329693007219*c_0101_5^2 - 95638196164083720949455/14433904355717668692863*c_0101_5 + 53041714699607918298465/187640756624329693007219, c_0011_4 + 136566087024870820718447/187640756624329693007219*c_0101_3*c\ _0101_5^18 - 41114424190880730940431/187640756624329693007219*c_010\ 1_3*c_0101_5^17 - 2114986760022710141625225/18764075662432969300721\ 9*c_0101_3*c_0101_5^16 + 6063311371981808108769573/1876407566243296\ 93007219*c_0101_3*c_0101_5^15 + 4671535440807780551742623/187640756\ 624329693007219*c_0101_3*c_0101_5^14 - 49230302850969664249686093/187640756624329693007219*c_0101_3*c_0101\ _5^13 + 40118202741829690617562455/187640756624329693007219*c_0101_\ 3*c_0101_5^12 + 142105577207066099687412778/18764075662432969300721\ 9*c_0101_3*c_0101_5^11 - 201479835363103344560089524/18764075662432\ 9693007219*c_0101_3*c_0101_5^10 - 213896205576672196622893258/18764\ 0756624329693007219*c_0101_3*c_0101_5^9 + 438810681333346496896212870/187640756624329693007219*c_0101_3*c_010\ 1_5^8 + 73025577076508801631847562/187640756624329693007219*c_0101_\ 3*c_0101_5^7 - 296589841272072205842199082/187640756624329693007219\ *c_0101_3*c_0101_5^6 - 50676352594394998579663405/18764075662432969\ 3007219*c_0101_3*c_0101_5^5 + 78812391779491495313999378/1876407566\ 24329693007219*c_0101_3*c_0101_5^4 + 27783577622562049242845875/187640756624329693007219*c_0101_3*c_0101\ _5^3 - 2334622487146320394549096/187640756624329693007219*c_0101_3*\ c_0101_5^2 - 3503798039662633268742847/187640756624329693007219*c_0\ 101_3*c_0101_5 - 653420712005007744759707/187640756624329693007219*\ c_0101_3, c_0101_0 + 79837113022419143053727/187640756624329693007219*c_0101_3*c_\ 0101_5^18 + 54167596821079223015542/187640756624329693007219*c_0101\ _3*c_0101_5^17 - 1305510534277895176861280/187640756624329693007219\ *c_0101_3*c_0101_5^16 + 2371973200201542277967674/18764075662432969\ 3007219*c_0101_3*c_0101_5^15 + 6883796334884228777214867/1876407566\ 24329693007219*c_0101_3*c_0101_5^14 - 28497291604640139677867623/187640756624329693007219*c_0101_3*c_0101\ _5^13 - 4939916603408498857739678/187640756624329693007219*c_0101_3\ *c_0101_5^12 + 122434730851265952889889504/187640756624329693007219\ *c_0101_3*c_0101_5^11 - 58869482592257983558642866/1876407566243296\ 93007219*c_0101_3*c_0101_5^10 - 21104678574777066658632745/14433904\ 355717668692863*c_0101_3*c_0101_5^9 + 219052034116751151698704969/187640756624329693007219*c_0101_3*c_010\ 1_5^8 + 315152966832124944667455280/187640756624329693007219*c_0101\ _3*c_0101_5^7 - 285351584229523395046810735/18764075662432969300721\ 9*c_0101_3*c_0101_5^6 - 133541568671936067370247952/187640756624329\ 693007219*c_0101_3*c_0101_5^5 + 70611002878034721728572740/18764075\ 6624329693007219*c_0101_3*c_0101_5^4 + 45154512289121772676512935/187640756624329693007219*c_0101_3*c_0101\ _5^3 + 3690000229302048596546284/187640756624329693007219*c_0101_3*\ c_0101_5^2 - 5401837584551318486240716/187640756624329693007219*c_0\ 101_3*c_0101_5 - 1343784691596214602265783/187640756624329693007219\ *c_0101_3, c_0101_1 - 244171508431219098529718/187640756624329693007219*c_0101_5^1\ 8 + 151080137884206218394155/187640756624329693007219*c_0101_5^17 + 3715718788604627877292874/187640756624329693007219*c_0101_5^16 - 12010964802408913324781427/187640756624329693007219*c_0101_5^15 - 4266626996402520897053389/187640756624329693007219*c_0101_5^14 + 88510703650353667458944178/187640756624329693007219*c_0101_5^13 - 100185269624555472934444064/187640756624329693007219*c_0101_5^12 - 215801598404465063618960247/187640756624329693007219*c_0101_5^11 + 421628476580155478432992932/187640756624329693007219*c_0101_5^10 + 17888988764111066803003672/14433904355717668692863*c_0101_5^9 - 827584476915492811466341625/187640756624329693007219*c_0101_5^8 + 149430519205155403534370903/187640756624329693007219*c_0101_5^7 + 421312624317190077177693629/187640756624329693007219*c_0101_5^6 - 31249064043299515254493419/187640756624329693007219*c_0101_5^5 - 97463493901342956355108248/187640756624329693007219*c_0101_5^4 - 25597786619705642458033332/187640756624329693007219*c_0101_5^3 + 5245928000312327960492171/187640756624329693007219*c_0101_5^2 + 3922254334502774602956464/187640756624329693007219*c_0101_5 + 538615345698909699048407/187640756624329693007219, c_0101_3^2 - 104705969916583610299967/187640756624329693007219*c_0101_5\ ^18 + 6670522893792279166387/187640756624329693007219*c_0101_5^17 + 1647374528803412753098928/187640756624329693007219*c_0101_5^16 - 4283660050707391675212915/187640756624329693007219*c_0101_5^15 - 4956919945703185562098397/187640756624329693007219*c_0101_5^14 + 2916995236669112160942282/14433904355717668692863*c_0101_5^13 - 21921201743809484854334235/187640756624329693007219*c_0101_5^12 - 122919244249497052434085557/187640756624329693007219*c_0101_5^11 + 139118321468150851943223960/187640756624329693007219*c_0101_5^10 + 212674725823930995486510832/187640756624329693007219*c_0101_5^9 - 335079383554150349057869496/187640756624329693007219*c_0101_5^8 - 137775183814503508978495951/187640756624329693007219*c_0101_5^7 + 279082770576445517721280431/187640756624329693007219*c_0101_5^6 + 54092205264441116769746130/187640756624329693007219*c_0101_5^5 - 68915493549537902477383574/187640756624329693007219*c_0101_5^4 - 25146386026070574023558643/187640756624329693007219*c_0101_5^3 + 150579242431392497156749/187640756624329693007219*c_0101_5^2 + 3409746035511851987278824/187640756624329693007219*c_0101_5 + 560782296942542659332401/187640756624329693007219, c_0101_5^19 - c_0101_5^18 - 15*c_0101_5^17 + 55*c_0101_5^16 - c_0101_5^15 - 370*c_0101_5^14 + 548*c_0101_5^13 + 734*c_0101_5^12 - 2070*c_0101_5^11 - 312*c_0101_5^10 + 3782*c_0101_5^9 - 1881*c_0101_5^8 - 1554*c_0101_5^7 + 788*c_0101_5^6 + 389*c_0101_5^5 - 51*c_0101_5^4 - 69*c_0101_5^3 - 10*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB