Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 3364443573] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2981 geometric_solution 6.15912224 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785403021172 0.515465505968 0 3 5 4 0132 0321 0132 0132 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 0 -1 1 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.677405062003 1.038707577908 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 1.622789716628 0.834703983846 5 6 0 1 1023 0132 0132 0321 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677405062003 1.038707577908 6 5 1 6 3012 3201 0132 1230 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276455249505 0.529274586314 6 3 4 1 2310 1023 2310 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 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.180346139749 1.495608061907 4 3 5 4 3012 0132 3201 1230 0 0 0 0 0 -1 0 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 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.276455249505 0.529274586314 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : 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_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 44066401737883954754790/204702374531904259115677*c_0101_5^18 + 128340270234991555241947/204702374531904259115677*c_0101_5^17 - 66022430224811225317227/204702374531904259115677*c_0101_5^16 - 378332728951449941636554/204702374531904259115677*c_0101_5^15 - 698949253297059547290522/204702374531904259115677*c_0101_5^14 - 285347273818464088436188/204702374531904259115677*c_0101_5^13 - 749863292101503752806142/204702374531904259115677*c_0101_5^12 - 594997616755559453069833/204702374531904259115677*c_0101_5^11 + 1708289951331135768369324/204702374531904259115677*c_0101_5^10 + 909004533711210862379595/204702374531904259115677*c_0101_5^9 + 1942451788003824546565786/204702374531904259115677*c_0101_5^8 - 1293455222006669389943846/204702374531904259115677*c_0101_5^7 - 4330139899801148469699372/204702374531904259115677*c_0101_5^6 - 3658083482618606691113951/204702374531904259115677*c_0101_5^5 + 1405497656958341810006164/204702374531904259115677*c_0101_5^4 + 2939828876025697756285920/204702374531904259115677*c_0101_5^3 + 4357972987794718107722124/204702374531904259115677*c_0101_5^2 + 2168499807152114329424955/204702374531904259115677*c_0101_5 + 1459375559787292318345752/204702374531904259115677, c_0011_0 - 1, c_0011_3 - 259626391719405037358/4294455409760229212217*c_0101_5^18 - 546275830205512624645/4294455409760229212217*c_0101_5^17 + 324685067742016962234/1431485136586743070739*c_0101_5^16 + 1831097763357649980634/4294455409760229212217*c_0101_5^15 + 776081490898375348175/1431485136586743070739*c_0101_5^14 - 1429970344026133098052/4294455409760229212217*c_0101_5^13 + 3551463957469633719157/4294455409760229212217*c_0101_5^12 + 310800745894359221812/4294455409760229212217*c_0101_5^11 - 12230759075334842471596/4294455409760229212217*c_0101_5^10 + 3217315567153835293603/4294455409760229212217*c_0101_5^9 - 8561987701165609302856/4294455409760229212217*c_0101_5^8 + 5320313952562117661917/1431485136586743070739*c_0101_5^7 + 17812499504462412845858/4294455409760229212217*c_0101_5^6 + 1461391443304105909345/4294455409760229212217*c_0101_5^5 - 25177658997252153890602/4294455409760229212217*c_0101_5^4 - 4886269018337597489291/4294455409760229212217*c_0101_5^3 - 5679970539071226273526/4294455409760229212217*c_0101_5^2 + 892058096297614210604/1431485136586743070739*c_0101_5 + 601447556642906422873/4294455409760229212217, c_0011_4 + 259626391719405037358/4294455409760229212217*c_0101_5^18 + 546275830205512624645/4294455409760229212217*c_0101_5^17 - 324685067742016962234/1431485136586743070739*c_0101_5^16 - 1831097763357649980634/4294455409760229212217*c_0101_5^15 - 776081490898375348175/1431485136586743070739*c_0101_5^14 + 1429970344026133098052/4294455409760229212217*c_0101_5^13 - 3551463957469633719157/4294455409760229212217*c_0101_5^12 - 310800745894359221812/4294455409760229212217*c_0101_5^11 + 12230759075334842471596/4294455409760229212217*c_0101_5^10 - 3217315567153835293603/4294455409760229212217*c_0101_5^9 + 8561987701165609302856/4294455409760229212217*c_0101_5^8 - 5320313952562117661917/1431485136586743070739*c_0101_5^7 - 17812499504462412845858/4294455409760229212217*c_0101_5^6 - 1461391443304105909345/4294455409760229212217*c_0101_5^5 + 25177658997252153890602/4294455409760229212217*c_0101_5^4 + 4886269018337597489291/4294455409760229212217*c_0101_5^3 + 5679970539071226273526/4294455409760229212217*c_0101_5^2 - 892058096297614210604/1431485136586743070739*c_0101_5 - 601447556642906422873/4294455409760229212217, c_0101_0 + 126377950531636287661/4294455409760229212217*c_0101_5^18 + 88610743933415203652/4294455409760229212217*c_0101_5^17 - 312031035487879363375/1431485136586743070739*c_0101_5^16 - 437610689311495051871/4294455409760229212217*c_0101_5^15 + 132580140228484509043/1431485136586743070739*c_0101_5^14 + 2990441464958229398195/4294455409760229212217*c_0101_5^13 - 1726616374831754090774/4294455409760229212217*c_0101_5^12 + 2094396618443361451399/4294455409760229212217*c_0101_5^11 + 7177536845552734878308/4294455409760229212217*c_0101_5^10 - 9565536588734446003532/4294455409760229212217*c_0101_5^9 + 2157434554647346786865/4294455409760229212217*c_0101_5^8 - 4374274150586776917639/1431485136586743070739*c_0101_5^7 - 863491959392479145809/4294455409760229212217*c_0101_5^6 + 15469644218908193885386/4294455409760229212217*c_0101_5^5 + 22907537977738895467307/4294455409760229212217*c_0101_5^4 - 12103235788988627992877/4294455409760229212217*c_0101_5^3 - 8396219880567396977902/4294455409760229212217*c_0101_5^2 - 3452667035682189602792/1431485136586743070739*c_0101_5 - 3792788701547344848851/4294455409760229212217, c_0101_1 - 245487780377264494306/4294455409760229212217*c_0101_5^18 - 603214899944024733221/4294455409760229212217*c_0101_5^17 + 234384288883120638433/1431485136586743070739*c_0101_5^16 + 1925940146255703157871/4294455409760229212217*c_0101_5^15 + 926601730789113824813/1431485136586743070739*c_0101_5^14 - 271107089607934628594/4294455409760229212217*c_0101_5^13 + 3594772266990458080283/4294455409760229212217*c_0101_5^12 + 2102956903398352280513/4294455409760229212217*c_0101_5^11 - 10506294116787448985309/4294455409760229212217*c_0101_5^10 + 634442182991346695780/4294455409760229212217*c_0101_5^9 - 6908119118791671982595/4294455409760229212217*c_0101_5^8 + 3935094771606027130241/1431485136586743070739*c_0101_5^7 + 20974195290668633714848/4294455409760229212217*c_0101_5^6 + 8090746053411044719163/4294455409760229212217*c_0101_5^5 - 18403962344475886760567/4294455409760229212217*c_0101_5^4 - 10986219120859024269229/4294455409760229212217*c_0101_5^3 - 8786712132286546419962/4294455409760229212217*c_0101_5^2 - 1117813995715718614766/1431485136586743070739*c_0101_5 - 1401221055805060112758/4294455409760229212217, c_0101_2 - 30533600969916040268/4294455409760229212217*c_0101_5^18 - 315099509009449915993/4294455409760229212217*c_0101_5^17 - 215718218582464214761/1431485136586743070739*c_0101_5^16 + 616306927052936076097/4294455409760229212217*c_0101_5^15 + 911687674611561266891/1431485136586743070739*c_0101_5^14 + 3699664270283241437216/4294455409760229212217*c_0101_5^13 + 1686550481288953153330/4294455409760229212217*c_0101_5^12 + 3191673355884690539164/4294455409760229212217*c_0101_5^11 + 2664847399086155200724/4294455409760229212217*c_0101_5^10 - 10429626045881562016007/4294455409760229212217*c_0101_5^9 - 7033983300455015081038/4294455409760229212217*c_0101_5^8 - 1297751383454691984337/1431485136586743070739*c_0101_5^7 + 7699123420916694609212/4294455409760229212217*c_0101_5^6 + 31768083340771324093858/4294455409760229212217*c_0101_5^5 + 15808575960155928626963/4294455409760229212217*c_0101_5^4 - 16822426718560731698729/4294455409760229212217*c_0101_5^3 - 22857910285796080387801/4294455409760229212217*c_0101_5^2 - 4994733556448558611922/1431485136586743070739*c_0101_5 - 9746683807075113405149/4294455409760229212217, c_0101_5^19 + 3*c_0101_5^18 - c_0101_5^17 - 8*c_0101_5^16 - 17*c_0101_5^15 - 10*c_0101_5^14 - 21*c_0101_5^13 - 16*c_0101_5^12 + 33*c_0101_5^11 + 18*c_0101_5^10 + 54*c_0101_5^9 - 22*c_0101_5^8 - 97*c_0101_5^7 - 102*c_0101_5^6 + 6*c_0101_5^5 + 54*c_0101_5^4 + 105*c_0101_5^3 + 71*c_0101_5^2 + 37*c_0101_5 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB