Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2227509412] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s269 geometric_solution 4.43648543 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 3120 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 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.630628770995 0.591015953869 0 1 2 1 0132 1302 0321 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 -1 0 1 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.418105819454 0.611693695799 0 0 1 3 3120 0132 0321 1230 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 0 0 0 1 0 -1 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.760437805568 1.216745755283 2 4 4 0 3012 0132 3201 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885331628900 0.335067450029 3 3 5 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.711015379968 0.913640635242 4 5 5 4 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.351533567817 0.142589889970 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 51355799961823480736356188425230091/9138717326993992817134714730586\ 130*c_0101_4^20 - 6431334194162338796590667129586503/65276552335671\ 3772652479623613295*c_0101_4^19 - 292239616508122004703777073317189\ 973/4569358663496996408567357365293065*c_0101_4^18 - 5928194115077957149179548690525503/11868464061031159502772356792969\ 0*c_0101_4^17 + 66660872694772508935391283645806614/652765523356713\ 772652479623613295*c_0101_4^16 + 9239762852896464841110343887084581\ 91/4569358663496996408567357365293065*c_0101_4^15 - 4983584708230909049891366281627203437/91387173269939928171347147305\ 86130*c_0101_4^14 + 25425005842456012579608829329005319987/91387173\ 26993992817134714730586130*c_0101_4^13 + 2340403416687852251374171066898636601/13055310467134275453049592472\ 26590*c_0101_4^12 - 5967339753985317412561649600976001961/830792484\ 272181165194064975507830*c_0101_4^11 - 46862552822859032350367885836999483/1305531046713427545304959247226\ 590*c_0101_4^10 + 7945510747652031887778590237788758985/18277434653\ 98798563426942946117226*c_0101_4^9 + 8198299126660577858569508933988770729/45693586634969964085673573652\ 93065*c_0101_4^8 + 1571754677619243378516960994742696885/1827743465\ 398798563426942946117226*c_0101_4^7 - 50543071408672119228809249085626337253/9138717326993992817134714730\ 586130*c_0101_4^6 - 80711650968900228887471411113499611/59342320305\ 155797513861783964845*c_0101_4^5 + 38321265379096421703188639750642631977/9138717326993992817134714730\ 586130*c_0101_4^4 - 1818603412768294703055072066886667473/913871732\ 6993992817134714730586130*c_0101_4^3 - 252518547649887234878407781159978685/130553104671342754530495924722\ 659*c_0101_4^2 - 279926406716737775928367180677395561/8307924842721\ 81165194064975507830*c_0101_4 + 52564840021456848363821134630720154\ 7/9138717326993992817134714730586130, c_0011_0 - 1, c_0011_3 + 21117404686518835370065086521443/130553104671342754530495924\ 722659*c_0101_4^20 - 58624955278443792571833953705693/1305531046713\ 42754530495924722659*c_0101_4^19 - 191428705825628775533757034788842/130553104671342754530495924722659\ *c_0101_4^18 + 3032625705048256046855374330020/11868464061031159502\ 772356792969*c_0101_4^17 + 463305911755559424169319678386836/130553\ 104671342754530495924722659*c_0101_4^16 + 322045128678190801953570349229065/130553104671342754530495924722659\ *c_0101_4^15 - 2612188550127036569072157359808230/13055310467134275\ 4530495924722659*c_0101_4^14 + 12842210571775270851978430622267939/\ 130553104671342754530495924722659*c_0101_4^13 - 5152092736253155509877857426778674/13055310467134275453049592472265\ 9*c_0101_4^12 - 2528056796039503257662532321267750/1186846406103115\ 9502772356792969*c_0101_4^11 + 27896848619954781424657752975138221/\ 130553104671342754530495924722659*c_0101_4^10 + 2727151429766879004790922593195231/13055310467134275453049592472265\ 9*c_0101_4^9 - 3507134145071233533187124985706485/13055310467134275\ 4530495924722659*c_0101_4^8 + 622549874246238085083244501818118/130\ 553104671342754530495924722659*c_0101_4^7 - 21878304872007632297014996331384548/1305531046713427545304959247226\ 59*c_0101_4^6 + 1510060428169271273634985049448269/1186846406103115\ 9502772356792969*c_0101_4^5 + 10532990067894731495331244540613885/1\ 30553104671342754530495924722659*c_0101_4^4 - 14627210248677072394555862692679832/1305531046713427545304959247226\ 59*c_0101_4^3 - 198627763556688032510639673079093/13055310467134275\ 4530495924722659*c_0101_4^2 + 281553418916848330646266704439277/118\ 68464061031159502772356792969*c_0101_4 - 566712072262753593563587508888582/130553104671342754530495924722659\ , c_0011_5 + 6446549241283692787982090055011/1305531046713427545304959247\ 22659*c_0101_4^20 - 13410857304031520266745745852337/13055310467134\ 2754530495924722659*c_0101_4^19 - 68745781612930259094721653994154/\ 130553104671342754530495924722659*c_0101_4^18 - 3286700109098686831326252398181/11868464061031159502772356792969*c_\ 0101_4^17 + 128417595746774385413769681125739/130553104671342754530\ 495924722659*c_0101_4^16 + 197215111847359396808044451260851/130553\ 104671342754530495924722659*c_0101_4^15 - 682483056211035347792921616380290/130553104671342754530495924722659\ *c_0101_4^14 + 3405051904352465839694270573355979/13055310467134275\ 4530495924722659*c_0101_4^13 + 895670750267980521397676102852986/13\ 0553104671342754530495924722659*c_0101_4^12 - 68725310629888539253337689678759/1078951278275559954797486981179*c_\ 0101_4^11 + 2238860008555161084690732743722955/13055310467134275453\ 0495924722659*c_0101_4^10 + 3944773393739300612202239095481476/1305\ 53104671342754530495924722659*c_0101_4^9 + 1930722643551540015349789648012143/13055310467134275453049592472265\ 9*c_0101_4^8 - 69827672157479722773242187743116/1305531046713427545\ 30495924722659*c_0101_4^7 - 6499825025514605347579974903528430/1305\ 53104671342754530495924722659*c_0101_4^6 + 3191384222275634292638405470120/1078951278275559954797486981179*c_0\ 101_4^5 + 4332480636937465254508255558392257/1305531046713427545304\ 95924722659*c_0101_4^4 - 729940827902508550104226084843838/13055310\ 4671342754530495924722659*c_0101_4^3 - 2080454541245867518611874847082364/13055310467134275453049592472265\ 9*c_0101_4^2 - 480799465720268773707865101582/107895127827555995479\ 7486981179*c_0101_4 + 269920744894910526051457719141397/13055310467\ 1342754530495924722659, c_0101_0 - 8306467030561305916651555897834/1186846406103115950277235679\ 2969*c_0101_4^20 + 1960151574095511253851951723543/1078951278275559\ 954797486981179*c_0101_4^19 + 78472938552208252688014611846797/1186\ 8464061031159502772356792969*c_0101_4^18 + 3243432252965379768774964128622/11868464061031159502772356792969*c_\ 0101_4^17 - 175919494908499827174249226220696/118684640610311595027\ 72356792969*c_0101_4^16 - 161214164807307953337968064007602/1186846\ 4061031159502772356792969*c_0101_4^15 + 89430300013380398960469876028738/1078951278275559954797486981179*c_\ 0101_4^14 - 4880822412681266698591762194731551/11868464061031159502\ 772356792969*c_0101_4^13 + 1236728481919600615018394777416133/11868\ 464061031159502772356792969*c_0101_4^12 + 10700618754135907069421018781254078/1186846406103115950277235679296\ 9*c_0101_4^11 - 8716118053492914712727361853270126/1186846406103115\ 9502772356792969*c_0101_4^10 - 1838290250132161730026936632206601/1\ 1868464061031159502772356792969*c_0101_4^9 - 107444320478293109086203861408865/11868464061031159502772356792969*\ c_0101_4^8 + 25885890509611351185899300738811/118684640610311595027\ 72356792969*c_0101_4^7 + 8449115028380769823980890681345019/1186846\ 4061031159502772356792969*c_0101_4^6 - 4884225445449078547658809455861231/11868464061031159502772356792969\ *c_0101_4^5 - 4245642083962458582555471269982457/118684640610311595\ 02772356792969*c_0101_4^4 + 4152365269382922568687830255263082/1186\ 8464061031159502772356792969*c_0101_4^3 + 781073470316329398213211009115195/11868464061031159502772356792969*\ c_0101_4^2 - 722246241567994577730700308194530/11868464061031159502\ 772356792969*c_0101_4 + 43776612227669158579399848931713/1186846406\ 1031159502772356792969, c_0101_3 - 31671582487560680810151182873156/130553104671342754530495924\ 722659*c_0101_4^20 + 92969919265524629685618468955289/1305531046713\ 42754530495924722659*c_0101_4^19 + 268174442927814344183168655357988/130553104671342754530495924722659\ *c_0101_4^18 - 7177293034298267739522541586517/11868464061031159502\ 772356792969*c_0101_4^17 - 653144807118422738481166943992042/130553\ 104671342754530495924722659*c_0101_4^16 - 401532669589097824882127962368626/130553104671342754530495924722659\ *c_0101_4^15 + 3906266276496682348259502975875351/13055310467134275\ 4530495924722659*c_0101_4^14 - 19901601481704806790855153186430616/\ 130553104671342754530495924722659*c_0101_4^13 + 11418419654508565555090908134180769/1305531046713427545304959247226\ 59*c_0101_4^12 + 3371762198632629556569383429891999/118684640610311\ 59502772356792969*c_0101_4^11 - 45102628751738533585294376733755861\ /130553104671342754530495924722659*c_0101_4^10 + 6827759511673888468415247558287959/13055310467134275453049592472265\ 9*c_0101_4^9 - 3341724356656880669461207693104635/13055310467134275\ 4530495924722659*c_0101_4^8 + 3477378444724078763353438252408145/13\ 0553104671342754530495924722659*c_0101_4^7 + 30060367289514216365764474680191584/1305531046713427545304959247226\ 59*c_0101_4^6 - 2570826667812046900919190097575822/1186846406103115\ 9502772356792969*c_0101_4^5 - 7711973214659559191447138495947537/13\ 0553104671342754530495924722659*c_0101_4^4 + 17739743121185506542507923146547177/1305531046713427545304959247226\ 59*c_0101_4^3 - 1240923989956664981104754353577439/1305531046713427\ 54530495924722659*c_0101_4^2 - 252409067160302661720596196145033/11\ 868464061031159502772356792969*c_0101_4 + 538491356274012324904366069278498/130553104671342754530495924722659\ , c_0101_4^21 - 2*c_0101_4^20 - 11*c_0101_4^19 - 6*c_0101_4^18 + 21*c_0101_4^17 + 32*c_0101_4^16 - 107*c_0101_4^15 + 517*c_0101_4^14 + 202*c_0101_4^13 - 1381*c_0101_4^12 + 284*c_0101_4^11 + 855*c_0101_4^10 + 133*c_0101_4^9 + 5*c_0101_4^8 - 1013*c_0101_4^7 - 19*c_0101_4^6 + 867*c_0101_4^5 - 203*c_0101_4^4 - 395*c_0101_4^3 + 39*c_0101_4^2 + 47*c_0101_4 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB