Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 2581071356] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s747 geometric_solution 5.27967729 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 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 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.357772376664 0.578387692611 3 2 4 0 0132 3012 0132 0132 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 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.661154378998 0.991734811576 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 0 1 -1 -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.661154378998 0.991734811576 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919121549983 1.014126012138 2 5 5 1 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271458627164 0.581584325001 5 4 4 5 3012 0132 1023 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.946957898039 0.745467106603 ==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_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_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_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 488430707449065085318769198/2630034490691064146049317*c_0101_5^20 - 219307641468030732707580019/2630034490691064146049317*c_0101_5^19 - 3811034216671594284260399465/2630034490691064146049317*c_0101_5^18 - 4149332792170398860845641512/2630034490691064146049317*c_0101_5^17 - 18146523421899113147232904245/2630034490691064146049317*c_0101_5^16 + 59452656240722845133926357460/2630034490691064146049317*c_0101_5^\ 15 + 43719073422225178582176564092/2630034490691064146049317*c_0101\ _5^14 - 70666565852141094026991768490/2630034490691064146049317*c_0\ 101_5^13 + 67662045807665735318175769807/2630034490691064146049317*\ c_0101_5^12 + 10419836677131257565700998253/26300344906910641460493\ 17*c_0101_5^11 - 231081317100486245917242819021/2630034490691064146\ 049317*c_0101_5^10 + 125175143639566435428967779828/263003449069106\ 4146049317*c_0101_5^9 + 223166085907838873490309225883/263003449069\ 1064146049317*c_0101_5^8 - 261779843184305147929830010798/263003449\ 0691064146049317*c_0101_5^7 - 108102487235679373525722583367/263003\ 4490691064146049317*c_0101_5^6 + 155987867583382695496792748581/263\ 0034490691064146049317*c_0101_5^5 - 13818097220836467010607149635/2630034490691064146049317*c_0101_5^4 - 54473418258615465822961526120/2630034490691064146049317*c_0101_5^3 + 2482963293625615876868522867/2630034490691064146049317*c_0101_5^2 + 2545664192428620539595538601/2630034490691064146049317*c_0101_5 - 1142165642704011559732830693/2630034490691064146049317, c_0011_0 - 1, c_0011_1 + 15536402134091347715502185/2630034490691064146049317*c_0101_\ 5^20 - 8112615774802010603440739/2630034490691064146049317*c_0101_5\ ^19 - 120067686029978717427438983/2630034490691064146049317*c_0101_\ 5^18 - 123803877008140618559615236/2630034490691064146049317*c_0101\ _5^17 - 572244285368413655274320480/2630034490691064146049317*c_010\ 1_5^16 + 1930778919375385331662218208/2630034490691064146049317*c_0\ 101_5^15 + 1230349531031103938131211111/2630034490691064146049317*c\ _0101_5^14 - 2256976145454982696672631651/2630034490691064146049317\ *c_0101_5^13 + 2319563758175508352218724137/26300344906910641460493\ 17*c_0101_5^12 + 70357525963535293896228188/26300344906910641460493\ 17*c_0101_5^11 - 7226493220694555514776569335/263003449069106414604\ 9317*c_0101_5^10 + 4454381431715699325376185864/2630034490691064146\ 049317*c_0101_5^9 + 6535370499073201070090099993/263003449069106414\ 6049317*c_0101_5^8 - 8511296222234252218840773306/26300344906910641\ 46049317*c_0101_5^7 - 2708136613927490933564917734/2630034490691064\ 146049317*c_0101_5^6 + 4771762081595323060970897756/263003449069106\ 4146049317*c_0101_5^5 - 708398713044535778331379423/263003449069106\ 4146049317*c_0101_5^4 - 1519196185665889662535173298/26300344906910\ 64146049317*c_0101_5^3 + 87298537760065251721410423/263003449069106\ 4146049317*c_0101_5^2 + 54218815142180861357978308/2630034490691064\ 146049317*c_0101_5 - 27428436640015785977562923/2630034490691064146\ 049317, c_0011_4 - 31034171475372118988112045/2630034490691064146049317*c_0101_\ 5^20 + 14743691917760649787633944/2630034490691064146049317*c_0101_\ 5^19 + 241198517421373409923916979/2630034490691064146049317*c_0101\ _5^18 + 257896838317994970490182020/2630034490691064146049317*c_010\ 1_5^17 + 1150492722635072549874091064/2630034490691064146049317*c_0\ 101_5^16 - 3804925305311639444255493429/2630034490691064146049317*c\ _0101_5^15 - 2659654730297092451780943418/2630034490691064146049317\ *c_0101_5^14 + 4480010983169641257987878698/26300344906910641460493\ 17*c_0101_5^13 - 4429384487059696881792736340/263003449069106414604\ 9317*c_0101_5^12 - 447946542186667549005898093/26300344906910641460\ 49317*c_0101_5^11 + 14574268203968877302263364488/26300344906910641\ 46049317*c_0101_5^10 - 8289113533724324898188334228/263003449069106\ 4146049317*c_0101_5^9 - 13709489633560059034273193298/2630034490691\ 064146049317*c_0101_5^8 + 16711605459485904567672424801/26300344906\ 91064146049317*c_0101_5^7 + 6280389955251018709601689886/2630034490\ 691064146049317*c_0101_5^6 - 9685877517239712718940743603/263003449\ 0691064146049317*c_0101_5^5 + 1083650774464892222957300726/26300344\ 90691064146049317*c_0101_5^4 + 3256509786389922568734028680/2630034\ 490691064146049317*c_0101_5^3 - 149847995571433500951829919/2630034\ 490691064146049317*c_0101_5^2 - 136207614046382189053604782/2630034\ 490691064146049317*c_0101_5 + 63134612286495516687925511/2630034490\ 691064146049317, c_0101_0 + 9891024186991287495606041/2630034490691064146049317*c_0101_5\ ^20 - 3282570142470323415791193/2630034490691064146049317*c_0101_5^\ 19 - 78309975250776151666416638/2630034490691064146049317*c_0101_5^\ 18 - 92421047037762822422269652/2630034490691064146049317*c_0101_5^\ 17 - 372895606286691912040536809/2630034490691064146049317*c_0101_5\ ^16 + 1163523085148414330999012042/2630034490691064146049317*c_0101\ _5^15 + 1047423263679055129755987187/2630034490691064146049317*c_01\ 01_5^14 - 1415461043043663384050198074/2630034490691064146049317*c_\ 0101_5^13 + 1198920960919422872817656484/2630034490691064146049317*\ c_0101_5^12 + 462022840236813091756940128/2630034490691064146049317\ *c_0101_5^11 - 4785290243215322374182305162/26300344906910641460493\ 17*c_0101_5^10 + 2057787764606954030906426315/263003449069106414604\ 9317*c_0101_5^9 + 5066607921747685609976657819/26300344906910641460\ 49317*c_0101_5^8 - 5072535652217871438424989556/2630034490691064146\ 049317*c_0101_5^7 - 2921727701766159075750490090/263003449069106414\ 6049317*c_0101_5^6 + 3275597915650604486894202907/26300344906910641\ 46049317*c_0101_5^5 + 9499305631507044482116437/2630034490691064146\ 049317*c_0101_5^4 - 1274927090937315679281593783/263003449069106414\ 6049317*c_0101_5^3 + 11398653085068322732224463/2630034490691064146\ 049317*c_0101_5^2 + 66887757698851030507943800/26300344906910641460\ 49317*c_0101_5 - 28338097965966398248517838/26300344906910641460493\ 17, c_0101_1 - 19570845799100300825727072/2630034490691064146049317*c_0101_\ 5^20 + 8231484251374308524679624/2630034490691064146049317*c_0101_5\ ^19 + 152975683019723885043362004/2630034490691064146049317*c_0101_\ 5^18 + 170589392281447323448463251/2630034490691064146049317*c_0101\ _5^17 + 731635425036338048169989199/2630034490691064146049317*c_010\ 1_5^16 - 2361648857053430993120849768/2630034490691064146049317*c_0\ 101_5^15 - 1820237208982105903892824075/2630034490691064146049317*c\ _0101_5^14 + 2783893532580393184396562751/2630034490691064146049317\ *c_0101_5^13 - 2628066652071664651461337915/26300344906910641460493\ 17*c_0101_5^12 - 503780230902346584152500342/2630034490691064146049\ 317*c_0101_5^11 + 9262338491309160323878882244/26300344906910641460\ 49317*c_0101_5^10 - 4749650312242302223244725925/263003449069106414\ 6049317*c_0101_5^9 - 9104352590968548831294780312/26300344906910641\ 46049317*c_0101_5^8 + 10256203577884827142060111463/263003449069106\ 4146049317*c_0101_5^7 + 4634257851284172996978686421/26300344906910\ 64146049317*c_0101_5^6 - 6175436353685728104414525493/2630034490691\ 064146049317*c_0101_5^5 + 396755455869891142030458982/2630034490691\ 064146049317*c_0101_5^4 + 2222295540464116836861279208/263003449069\ 1064146049317*c_0101_5^3 - 63997200427082781637571459/2630034490691\ 064146049317*c_0101_5^2 - 103413792853463923760520376/2630034490691\ 064146049317*c_0101_5 + 46039573178042116243371086/2630034490691064\ 146049317, c_0101_5^21 - 8*c_0101_5^19 - 12*c_0101_5^18 - 41*c_0101_5^17 + 105*c_0101_5^16 + 144*c_0101_5^15 - 104*c_0101_5^14 + 74*c_0101_5^13 + 83*c_0101_5^12 - 463*c_0101_5^11 + 44*c_0101_5^10 + 570*c_0101_5^9 - 330*c_0101_5^8 - 460*c_0101_5^7 + 218*c_0101_5^6 + 114*c_0101_5^5 - 123*c_0101_5^4 - 45*c_0101_5^3 + 7*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB