Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 3347471039] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3306 geometric_solution 6.43532009 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 -1 2 -1 0 0 1 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -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.585564568690 0.939922892201 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 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 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 0 0 0 0.602520086260 0.805477711040 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 1 -1 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 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.602520086260 0.805477711040 3 1 2 3 3012 0132 3201 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349885717458 0.795275490011 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 0 0 1 -1 -1 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 -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 1.150167443251 0.740564362620 2 5 5 1 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649226308176 0.795402754500 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.542779875792 0.235632055054 ==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' : negation(d['1']), 's_2_0' : negation(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_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), '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_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], '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_4']), '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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(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' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], '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_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(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: 34 Groebner basis: [ t - 911217451662183697906079300673548008031361823416299123/272647461024\ 6506257095331121500042709540601642401102528*c_0110_6^33 + 2672556048506666048263179593103004438973252753459533029/13632373051\ 23253128547665560750021354770300821200551264*c_0110_6^31 + 22876334961748183133527910424345579562185883339611968779/3894963728\ 92358036727904445928577529934371663200157504*c_0110_6^29 + 102920566962185174555453151431741776611822825790449672167/681618652\ 561626564273832780375010677385150410600275632*c_0110_6^27 - 7563262552162843195638128058929173654824892339234995676557/13632373\ 05123253128547665560750021354770300821200551264*c_0110_6^25 + 3633843735425296099568354613870453029163070508768535195143/38949637\ 2892358036727904445928577529934371663200157504*c_0110_6^23 - 177811889219358242488899371279211807129988940877554782983/681618652\ 561626564273832780375010677385150410600275632*c_0110_6^21 + 91752151507985124764007587263215990720611444499363391395217/2726474\ 610246506257095331121500042709540601642401102528*c_0110_6^19 - 332546808124317177864760682398940890069437339767131904001423/272647\ 4610246506257095331121500042709540601642401102528*c_0110_6^17 + 368308373470423503967754771002731458130014789842624502265701/272647\ 4610246506257095331121500042709540601642401102528*c_0110_6^15 - 151809382805875526070705743364150186416976520381856387931811/272647\ 4610246506257095331121500042709540601642401102528*c_0110_6^13 + 4552061806780054356453762006949349923412795688287374101899/27264746\ 10246506257095331121500042709540601642401102528*c_0110_6^11 + 334058109760713889800463768046365066683921510694660931963/556423389\ 84622576675414920846939647133481666171451072*c_0110_6^9 - 987922299813694584394639777666051713213534212337636338323/340809326\ 280813282136916390187505338692575205300137816*c_0110_6^7 + 224945765806898752076039014100041768910935972167140888827/340809326\ 280813282136916390187505338692575205300137816*c_0110_6^5 + 102782537021111293694296668224144812968308048723481437499/272647461\ 0246506257095331121500042709540601642401102528*c_0110_6^3 - 592429927326618615658420610457790995327169691830623146139/272647461\ 0246506257095331121500042709540601642401102528*c_0110_6, c_0011_0 - 1, c_0011_4 - 448078877224369539883590731890804369340187109792/86941154663\ 4727760553358138233431986460651033928923*c_0110_6^32 + 2478087979203355163809064259322951840380716205952/86941154663472776\ 0553358138233431986460651033928923*c_0110_6^30 + 79189261914329156186838360478104129050146253151588/8694115466347277\ 60553358138233431986460651033928923*c_0110_6^28 + 231127743671810241150045502956555286763003391438660/869411546634727\ 760553358138233431986460651033928923*c_0110_6^26 - 7292376980996128229089219058679304122858222806874977/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^24 + 10261799521167977676470801786802511236916911692662200/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^22 - 3204784623213641164381419344734857787162951883860920/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^20 + 52710695265561727010540507683560152097825536250403724/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^18 - 146316230860120937833201487339528076781131035886107363/869411546634\ 727760553358138233431986460651033928923*c_0110_6^16 + 172740833715151815133083929632293442039868151457538986/869411546634\ 727760553358138233431986460651033928923*c_0110_6^14 - 141703706758946718711746176954336894343943944057900174/869411546634\ 727760553358138233431986460651033928923*c_0110_6^12 + 88947813672638770731888975357232407870065565641717987/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^10 - 27241669077876938947135633526695592258411327978484988/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^8 - 1303627284212126187352394834349813486898087725455545/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^6 + 3871093254001421132510671607721409034697249335916580/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^4 - 1309916978127818664231165332458279776484704642384621/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^2 + 492585417594943030045606428939913275151283385002927/869411546634727\ 760553358138233431986460651033928923, c_0101_0 - 4022316816110893231653060355950133102154963334287/8694115466\ 34727760553358138233431986460651033928923*c_0110_6^33 + 24717034611772644187120934952536680845210835634028/8694115466347277\ 60553358138233431986460651033928923*c_0110_6^31 + 701169881388824241781386701512361642719838745419635/869411546634727\ 760553358138233431986460651033928923*c_0110_6^29 + 1615516226633313910519764121343000607707050864020603/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^27 - 67438289468729051012168110481651477233781733567411098/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^25 + 130388068674006025149896332668957624202786026498885619/869411546634\ 727760553358138233431986460651033928923*c_0110_6^23 - 20208011026003066743174160337024759697928565596775981/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^21 + 392788517767448869640192012551645343805473189093869428/869411546634\ 727760553358138233431986460651033928923*c_0110_6^19 - 1590536944371019991516216819305659128433769656084983730/86941154663\ 4727760553358138233431986460651033928923*c_0110_6^17 + 1938146365371185179843001134498983620603647778326160196/86941154663\ 4727760553358138233431986460651033928923*c_0110_6^15 - 880574227391373333215360312068459257154832094698037846/869411546634\ 727760553358138233431986460651033928923*c_0110_6^13 + 44175216896108283401648370748450472794417231932877463/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^11 + 87969805617183191657263812708640905363424234335932337/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^9 - 44022514957816238485455067866945414648384835806910731/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^7 + 11086673448660532862093547589636249380115970991935441/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^5 - 999731628364585007692179652837631067670238074930944/869411546634727\ 760553358138233431986460651033928923*c_0110_6^3 - 2109023786027545879079634857740481347360066229688690/86941154663472\ 7760553358138233431986460651033928923*c_0110_6, c_0101_1 + 2701148417901867909779669197155519139756726377632/8694115466\ 34727760553358138233431986460651033928923*c_0110_6^32 - 15191002132580191286612642849323732628216769589911/8694115466347277\ 60553358138233431986460651033928923*c_0110_6^30 - 477533932790143827667841575537948490067473469566279/869411546634727\ 760553358138233431986460651033928923*c_0110_6^28 - 1340174138967430254248772426265317929470516461648319/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^26 + 44366140479694405304733473075893232573685349667294606/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^24 - 65158150358081448750033250763400120166673019037407834/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^22 - 225983989574549151357887618262285649488434205649359/869411546634727\ 760553358138233431986460651033928923*c_0110_6^20 - 285103895264268469343612733286658084270500775081982895/869411546634\ 727760553358138233431986460651033928923*c_0110_6^18 + 909388961276808480215216170397436382807665399499800823/869411546634\ 727760553358138233431986460651033928923*c_0110_6^16 - 963252816288886236464556517273664230535844538215243339/869411546634\ 727760553358138233431986460651033928923*c_0110_6^14 + 450382236267422035933459891935228613144422829788899639/869411546634\ 727760553358138233431986460651033928923*c_0110_6^12 - 76760865663282031384347443333856492287320444112805379/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^10 - 25988043425433458500907506467485078129965199676122175/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^8 + 15782309250992911490773710399244301069638795897918361/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^6 - 2334070571561075082060886022873530494329847086792110/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^4 - 222574253135634450604995328785849013975639210015151/869411546634727\ 760553358138233431986460651033928923*c_0110_6^2 + 1213777753660949053995753128415783713557923434199171/86941154663472\ 7760553358138233431986460651033928923, c_0101_2 + 415829646584269450402204940612296455550217396687/86941154663\ 4727760553358138233431986460651033928923*c_0110_6^32 - 1344705483848704169225771261956204442588717791913/86941154663472776\ 0553358138233431986460651033928923*c_0110_6^30 - 78609839036858240570135545325758773977365712787161/8694115466347277\ 60553358138233431986460651033928923*c_0110_6^28 - 384201703956685756307028249469047934477486416412382/869411546634727\ 760553358138233431986460651033928923*c_0110_6^26 + 6246791688609593457153830509720149276653646037098701/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^24 + 5940329763678969510472131174966026581499474338523191/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^22 - 16303729106701725843688183548143139899164821319285220/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^20 - 46501844897513620540417875405022445884536331483400588/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^18 + 30085410009873566010642173868521435839059443791476943/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^16 + 129935647607165805483427555685401080687029426395639816/869411546634\ 727760553358138233431986460651033928923*c_0110_6^14 - 186016955093138159968326033585448538887319449485341161/869411546634\ 727760553358138233431986460651033928923*c_0110_6^12 + 110642353014884354635152322225229464710366385426001907/869411546634\ 727760553358138233431986460651033928923*c_0110_6^10 - 34422345298645415588459507605142851117415379389744057/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^8 + 947248348391784632548113283524957178965122932008589/869411546634727\ 760553358138233431986460651033928923*c_0110_6^6 + 3509028979742671036938417109473315855394836672057899/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^4 - 2804670395039100952567366013649280550260880015317796/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^2 + 90020682215232219639310063628286298605431991987711/8694115466347277\ 60553358138233431986460651033928923, c_0101_3 - 8421128753371587979074743383994795260364416533601/1738823093\ 269455521106716276466863972921302067857846*c_0110_6^33 + 24313954093696618979520448804294629083620891090500/8694115466347277\ 60553358138233431986460651033928923*c_0110_6^31 + 1484538118895265576236503457670501911839808544813229/17388230932694\ 55521106716276466863972921302067857846*c_0110_6^29 + 1969602847988291651622929504018825740194203419103174/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^27 - 69733709889728113162534143603037609382136580122807118/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^25 + 222234470798157224855740563316496704086243094553926241/173882309326\ 9455521106716276466863972921302067857846*c_0110_6^23 + 8420766322187249754954798504391687248843149678186230/86941154663472\ 7760553358138233431986460651033928923*c_0110_6^21 + 844694320084311525227577070051133896589628120676560069/173882309326\ 9455521106716276466863972921302067857846*c_0110_6^19 - 2991229746568208764326277242982075444403714132899769877/17388230932\ 69455521106716276466863972921302067857846*c_0110_6^17 + 3107204738944747409374848435069591490574983690298170651/17388230932\ 69455521106716276466863972921302067857846*c_0110_6^15 - 1054788797977322802461149742333284220527771529911631087/17388230932\ 69455521106716276466863972921302067857846*c_0110_6^13 - 154944903019158215834805558744244061500995791891317071/173882309326\ 9455521106716276466863972921302067857846*c_0110_6^11 + 240506352918787287230060778896889614445094667983002253/173882309326\ 9455521106716276466863972921302067857846*c_0110_6^9 - 58484586826107983462482642744424185107955670410264849/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^7 + 11766954515287924678297319604750094442045030022160852/8694115466347\ 27760553358138233431986460651033928923*c_0110_6^5 + 2797814256787677232972335687544608800142598516211255/17388230932694\ 55521106716276466863972921302067857846*c_0110_6^3 - 5960513281791028528656068310887844588838215844128367/17388230932694\ 55521106716276466863972921302067857846*c_0110_6, c_0110_6^34 - 6*c_0110_6^32 - 175*c_0110_6^30 - 428*c_0110_6^28 + 16670*c_0110_6^26 - 30107*c_0110_6^24 + 3740*c_0110_6^22 - 100427*c_0110_6^20 + 378909*c_0110_6^18 - 447455*c_0110_6^16 + 209945*c_0110_6^14 - 21505*c_0110_6^12 - 18193*c_0110_6^10 + 10944*c_0110_6^8 - 2824*c_0110_6^6 + 39*c_0110_6^4 + 689*c_0110_6^2 - 56 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB