Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 2901225646] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s397 geometric_solution 4.64336006 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -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 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 -2.108518712251 1.651683700026 0 0 3 2 0132 3201 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327292724598 0.365573633545 3 4 1 3 1230 0132 0132 1302 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618457434780 0.738968071875 4 2 2 1 0132 3012 2031 0132 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 -1 1 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.618457434780 0.738968071875 3 2 5 5 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.837202652600 1.178766367218 4 5 4 5 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.108048068542 1.013344496955 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : 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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 130132263849948995642745103/238091903523140819508850*c_0101_3^19 - 990816426469460343401056637/238091903523140819508850*c_0101_3^18 - 119003467983962522433124667/238091903523140819508850*c_0101_3^17 + 917022176567559160466287897/23809190352314081950885*c_0101_3^16 + 1313382128516168523401311029/238091903523140819508850*c_0101_3^15 - 24294949509630410232956959923/119045951761570409754425*c_0101_3^14 - 197563130285257907846656382/119045951761570409754425*c_0101_3^13 + 177369847962858645071075800713/238091903523140819508850*c_0101_3^12 + 32491609443824319443763169861/238091903523140819508850*c_0101_3^1\ 1 - 71040674594767366023957433171/47618380704628163901770*c_0101_3^\ 10 - 103243661339758415415817645931/238091903523140819508850*c_0101\ _3^9 + 179264647207648096591974582129/119045951761570409754425*c_01\ 01_3^8 + 25553270217517464054333655858/119045951761570409754425*c_0\ 101_3^7 - 40241530498310641637884379903/47618380704628163901770*c_0\ 101_3^6 + 28844472214561879867493963923/238091903523140819508850*c_\ 0101_3^5 + 51589321346770323656270404369/238091903523140819508850*c\ _0101_3^4 - 11444554774773168971501339784/119045951761570409754425*\ c_0101_3^3 - 690284525281111976020517611/119045951761570409754425*c\ _0101_3^2 + 200177303599538398928044199/18314761809472370731450*c_0\ 101_3 - 395316183750230643676495207/238091903523140819508850, c_0011_0 - 1, c_0011_2 - 33914471556883010076576/4761838070462816390177*c_0101_3^19 + 253746239574417641279195/4761838070462816390177*c_0101_3^18 + 62505528106016004098669/4761838070462816390177*c_0101_3^17 - 2367737291937876841195190/4761838070462816390177*c_0101_3^16 - 643808702276028348232023/4761838070462816390177*c_0101_3^15 + 12443292947410655610073292/4761838070462816390177*c_0101_3^14 + 1638230028597025416913638/4761838070462816390177*c_0101_3^13 - 45320462157861543864849097/4761838070462816390177*c_0101_3^12 - 13999078194020881134781597/4761838070462816390177*c_0101_3^11 + 88230516078720852421144172/4761838070462816390177*c_0101_3^10 + 36453715313508911416716083/4761838070462816390177*c_0101_3^9 - 84310674218444912745415750/4761838070462816390177*c_0101_3^8 - 20053895882213518259418605/4761838070462816390177*c_0101_3^7 + 46721945547452499907614296/4761838070462816390177*c_0101_3^6 - 4216131302231416282713351/4761838070462816390177*c_0101_3^5 - 12439085870630068628338180/4761838070462816390177*c_0101_3^4 + 4901772115477530225658442/4761838070462816390177*c_0101_3^3 + 467389525986718183717919/4761838070462816390177*c_0101_3^2 - 44217907842878266703262/366295236189447414629*c_0101_3 + 82113445298860111023162/4761838070462816390177, c_0011_5 - 32825336727339820654469/4761838070462816390177*c_0101_3^19 + 234231972125677748535071/4761838070462816390177*c_0101_3^18 + 140588859589641830185128/4761838070462816390177*c_0101_3^17 - 2235548908849928483487906/4761838070462816390177*c_0101_3^16 - 1395124337358166392388130/4761838070462816390177*c_0101_3^15 + 11493545470261948697698538/4761838070462816390177*c_0101_3^14 + 5540246504762824827226451/4761838070462816390177*c_0101_3^13 - 41605305413410970442024413/4761838070462816390177*c_0101_3^12 - 27880039406587955010370199/4761838070462816390177*c_0101_3^11 + 74537259797002267800219730/4761838070462816390177*c_0101_3^10 + 60562223234744572162717746/4761838070462816390177*c_0101_3^9 - 58518473672566316783877585/4761838070462816390177*c_0101_3^8 - 38482498173463440082473369/4761838070462816390177*c_0101_3^7 + 30296795338600460791770989/4761838070462816390177*c_0101_3^6 + 5897435390073944044355944/4761838070462816390177*c_0101_3^5 - 9244484517459200956887466/4761838070462816390177*c_0101_3^4 + 1490850094186747431258634/4761838070462816390177*c_0101_3^3 + 810018428155251864193184/4761838070462816390177*c_0101_3^2 - 17318434054180265077226/366295236189447414629*c_0101_3 + 8075966148556024713845/4761838070462816390177, c_0101_0 - 42031546088812373475/3110279601869899667*c_0101_3^19 + 308649055156926162712/3110279601869899667*c_0101_3^18 + 118583475716084947508/3110279601869899667*c_0101_3^17 - 2905947169355397399229/3110279601869899667*c_0101_3^16 - 1193995453490706514109/3110279601869899667*c_0101_3^15 + 15142259840848511517635/3110279601869899667*c_0101_3^14 + 4060770187072931506104/3110279601869899667*c_0101_3^13 - 55024027518362661633870/3110279601869899667*c_0101_3^12 - 24710216113381571189974/3110279601869899667*c_0101_3^11 + 103833386398553978672543/3110279601869899667*c_0101_3^10 + 58198910554819809811398/3110279601869899667*c_0101_3^9 - 92751247927256196294435/3110279601869899667*c_0101_3^8 - 34778708373586609589257/3110279601869899667*c_0101_3^7 + 50307664415898413121307/3110279601869899667*c_0101_3^6 + 34957041956824298430/3110279601869899667*c_0101_3^5 - 13972443573399285424123/3110279601869899667*c_0101_3^4 + 4368955311201463114585/3110279601869899667*c_0101_3^3 + 771856865330633822092/3110279601869899667*c_0101_3^2 - 41728878910995188922/239252277066915359*c_0101_3 + 61902368406107191857/3110279601869899667, c_0101_1 - 42251175916223135567512/4761838070462816390177*c_0101_3^19 + 316098732239871109960643/4761838070462816390177*c_0101_3^18 + 77862992254192736424172/4761838070462816390177*c_0101_3^17 - 2948605707812626271745012/4761838070462816390177*c_0101_3^16 - 802108735129240393306534/4761838070462816390177*c_0101_3^15 + 15491053939944731024958938/4761838070462816390177*c_0101_3^14 + 2034591661089623222356275/4761838070462816390177*c_0101_3^13 - 56411798219458492163391752/4761838070462816390177*c_0101_3^12 - 17410129443207499881499770/4761838070462816390177*c_0101_3^11 + 109745399978076065006525446/4761838070462816390177*c_0101_3^10 + 45225234920401895220804706/4761838070462816390177*c_0101_3^9 - 104845774240660067554897332/4761838070462816390177*c_0101_3^8 - 24669984925041437340710553/4761838070462816390177*c_0101_3^7 + 58247558092113869576741045/4761838070462816390177*c_0101_3^6 - 5245975800803795312359023/4761838070462816390177*c_0101_3^5 - 15441627346323753130869557/4761838070462816390177*c_0101_3^4 + 6063318012168481314787911/4761838070462816390177*c_0101_3^3 + 559746737275465570488596/4761838070462816390177*c_0101_3^2 - 54183794035950766454547/366295236189447414629*c_0101_3 + 100483230591247032547678/4761838070462816390177, c_0101_3^20 - 8*c_0101_3^19 + 2*c_0101_3^18 + 71*c_0101_3^17 - 17*c_0101_3^16 - 379*c_0101_3^15 + 140*c_0101_3^14 + 1373*c_0101_3^13 - 272*c_0101_3^12 - 2858*c_0101_3^11 + 238*c_0101_3^10 + 3119*c_0101_3^9 - 622*c_0101_3^8 - 1743*c_0101_3^7 + 786*c_0101_3^6 + 334*c_0101_3^5 - 323*c_0101_3^4 + 50*c_0101_3^3 + 25*c_0101_3^2 - 10*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB