Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 2118115921] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s230 geometric_solution 4.38656685 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 2 2031 0132 1302 0132 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 -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 0 0 0.417885254646 0.596308523663 2 0 2 3 3120 0132 3012 0132 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 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.639928968361 0.599893232504 3 1 0 1 1023 1230 0132 3120 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 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.639928968361 0.599893232504 4 2 1 4 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908794760989 0.352757854960 3 5 5 3 0132 0132 3201 1023 0 0 0 0 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 1.101989711659 0.210713972585 4 4 5 5 2310 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 1.408173534435 0.205053919790 ==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' : 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' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_2'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0011_2'])})} 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_0101_2, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 525750774532816516221456374913549/33092655168225409491768733062608*\ c_0101_5^18 + 747196916841028420825574788467505/8273163792056352372\ 942183265652*c_0101_5^17 - 415243046971503042646772594679759/330926\ 55168225409491768733062608*c_0101_5^16 - 5646620807489325925616515715979401/33092655168225409491768733062608\ *c_0101_5^15 - 90229166047830270805346028541850205/3309265516822540\ 9491768733062608*c_0101_5^14 + 59449602769295613440675835655123205/\ 33092655168225409491768733062608*c_0101_5^13 - 86742040583210436928055978960469819/3309265516822540949176873306260\ 8*c_0101_5^12 + 705213354441307316522418940424729335/33092655168225\ 409491768733062608*c_0101_5^11 + 4506492733537561568807557675046145\ 5/33092655168225409491768733062608*c_0101_5^10 - 76010768015941136526567689216104787/2363761083444672106554909504472\ *c_0101_5^9 + 70718743913618349250635242616732377/23637610834446721\ 06554909504472*c_0101_5^8 - 944282384066121965673065046510805695/33\ 092655168225409491768733062608*c_0101_5^7 - 126459367385093212907990823794019107/165463275841127047458843665313\ 04*c_0101_5^6 - 2683778714916330040490989835416623/3376801547778103\ 00936415643496*c_0101_5^5 - 4176699149177493593580111115074115/3376\ 80154777810300936415643496*c_0101_5^4 - 1618473449160169627980707857340871/295470135430584013319363688059*c\ _0101_5^3 - 63742022535068074133882966193327089/3309265516822540949\ 1768733062608*c_0101_5^2 - 462451960871928077115863732154539/675360\ 309555620601872831286992*c_0101_5 - 412393245313219804368178485468853/2068290948014088093235545816413, c_0011_0 - 1, c_0011_2 + 122062880598859363033564089419/41365818960281761864710916328\ 26*c_0101_5^18 + 728119714053424423901087169149/4136581896028176186\ 471091632826*c_0101_5^17 + 150776683735529859395685125093/413658189\ 6028176186471091632826*c_0101_5^16 - 1057279988787800247972057273483/4136581896028176186471091632826*c_0\ 101_5^15 - 10732819054783323296816808889150/20682909480140880932355\ 45816413*c_0101_5^14 + 3682434219270541350418274918548/206829094801\ 4088093235545816413*c_0101_5^13 - 12561266565054932419824395109650/\ 2068290948014088093235545816413*c_0101_5^12 + 167296860043491718513911448038319/4136581896028176186471091632826*c\ _0101_5^11 + 22973506883614774231732611189663/206829094801408809323\ 5545816413*c_0101_5^10 - 12144239174799729218146891093169/295470135\ 430584013319363688059*c_0101_5^9 + 19900005608960902393658748147519/590940270861168026638727376118*c_0\ 101_5^8 - 265214195711808194995763483173489/41365818960281761864710\ 91632826*c_0101_5^7 + 5695160713471322696749379544529/2068290948014\ 088093235545816413*c_0101_5^6 - 28539735855048780565197914869699/59\ 0940270861168026638727376118*c_0101_5^5 - 6827893509086897669559309036979/295470135430584013319363688059*c_01\ 01_5^4 - 13731676248167597845605780161219/5909402708611680266387273\ 76118*c_0101_5^3 - 51044132572814649951076406301439/413658189602817\ 6186471091632826*c_0101_5^2 - 1763044285326903174228021867687/59094\ 0270861168026638727376118*c_0101_5 - 1806767034672736347951329387817/2068290948014088093235545816413, c_0101_2 + 738683058791997809899073448087/41365818960281761864710916328\ 26*c_0101_5^18 + 2135006533730195193467280979004/206829094801408809\ 3235545816413*c_0101_5^17 - 154916303292129201586903850821/41365818\ 96028176186471091632826*c_0101_5^16 - 3928257918196823941336444243312/2068290948014088093235545816413*c_0\ 101_5^15 - 63822867485011044573613624372752/20682909480140880932355\ 45816413*c_0101_5^14 + 35560844091879692952892639522380/20682909480\ 14088093235545816413*c_0101_5^13 - 118255449192669800159718138730293/4136581896028176186471091632826*c\ _0101_5^12 + 492480894917305858729258470917511/20682909480140880932\ 35545816413*c_0101_5^11 + 151641006149519780911525293775931/4136581\ 896028176186471091632826*c_0101_5^10 - 103539297893091542036922833195347/295470135430584013319363688059*c_\ 0101_5^9 + 175251394436534818944792149686893/5909402708611680266387\ 27376118*c_0101_5^8 - 621878128363401475827086234956522/20682909480\ 14088093235545816413*c_0101_5^7 - 203909524003036458947423378709717\ /2068290948014088093235545816413*c_0101_5^6 - 34871033510436347455086349469919/295470135430584013319363688059*c_0\ 101_5^5 - 41052277272311974960872000240425/295470135430584013319363\ 688059*c_0101_5^4 - 47029710676009630587750172372573/59094027086116\ 8026638727376118*c_0101_5^3 - 59806045901465707751032372018881/2068\ 290948014088093235545816413*c_0101_5^2 - 5199925552323144719698569639785/590940270861168026638727376118*c_01\ 01_5 - 4527713083681953416476201075831/2068290948014088093235545816\ 413, c_0101_3 - 196989861473928524010310810269/20682909480140880932355458164\ 13*c_0101_5^18 - 1137787436279209590010901895961/206829094801408809\ 3235545816413*c_0101_5^17 + 56710755202693700355094792650/206829094\ 8014088093235545816413*c_0101_5^16 + 4270535404075674849089712371705/4136581896028176186471091632826*c_0\ 101_5^15 + 67864409952613954270160205033701/41365818960281761864710\ 91632826*c_0101_5^14 - 38388929195294616828201475310327/41365818960\ 28176186471091632826*c_0101_5^13 + 30067149334221460812120167081134/2068290948014088093235545816413*c_\ 0101_5^12 - 517736322041827688594199462967523/413658189602817618647\ 1091632826*c_0101_5^11 - 43622414433701332010039923743297/206829094\ 8014088093235545816413*c_0101_5^10 + 57689325164085479193309147551953/295470135430584013319363688059*c_0\ 101_5^9 - 100422179932711517401260870677261/59094027086116802663872\ 7376118*c_0101_5^8 + 637493288610810929756592971476533/413658189602\ 8176186471091632826*c_0101_5^7 + 158488814209637029605725072366611/\ 2068290948014088093235545816413*c_0101_5^6 + 9974124635289922133329996714755/295470135430584013319363688059*c_01\ 01_5^5 + 27116135160100929813294118220137/2954701354305840133193636\ 88059*c_0101_5^4 + 22861806497051530176124515144199/590940270861168\ 026638727376118*c_0101_5^3 + 62468975494250069683519150975707/41365\ 81896028176186471091632826*c_0101_5^2 + 2022459706158205246652267669283/295470135430584013319363688059*c_01\ 01_5 + 3382796368577045716607605378774/2068290948014088093235545816\ 413, c_0101_4 + 532831863804099677874247612949/41365818960281761864710916328\ 26*c_0101_5^18 + 1487260103177333051067945025062/206829094801408809\ 3235545816413*c_0101_5^17 - 767827991138194439942295943099/41365818\ 96028176186471091632826*c_0101_5^16 - 5876013582074592974344656846245/4136581896028176186471091632826*c_0\ 101_5^15 - 45375694610327614429300796691027/20682909480140880932355\ 45816413*c_0101_5^14 + 69979227117971710289095889770175/41365818960\ 28176186471091632826*c_0101_5^13 - 43936142251163186493330533221056/2068290948014088093235545816413*c_\ 0101_5^12 + 358553050536747691178073554062475/206829094801408809323\ 5545816413*c_0101_5^11 - 19325604042878623106316663270499/413658189\ 6028176186471091632826*c_0101_5^10 - 81098662207943457406426272981801/295470135430584013319363688059*c_0\ 101_5^9 + 80710562159016215991404966831128/295470135430584013319363\ 688059*c_0101_5^8 - 493221117238274713301040477528396/2068290948014\ 088093235545816413*c_0101_5^7 - 128816254046419467911615385126773/2\ 068290948014088093235545816413*c_0101_5^6 - 10086887243884097498182656147409/295470135430584013319363688059*c_0\ 101_5^5 - 28548378723986331628638017294318/295470135430584013319363\ 688059*c_0101_5^4 - 9065295683182272830093419752430/295470135430584\ 013319363688059*c_0101_5^3 - 12089743757781970621794474937276/20682\ 90948014088093235545816413*c_0101_5^2 - 2152637194241061379893108775787/590940270861168026638727376118*c_01\ 01_5 - 1848403929420176811658186420857/2068290948014088093235545816\ 413, c_0101_5^19 + 6*c_0101_5^18 + c_0101_5^17 - 11*c_0101_5^16 - 175*c_0101_5^15 + 59*c_0101_5^14 - 129*c_0101_5^13 + 1289*c_0101_5^12 + 509*c_0101_5^11 - 2000*c_0101_5^10 + 1246*c_0101_5^9 - 1199*c_0101_5^8 - 1052*c_0101_5^7 - 646*c_0101_5^6 - 938*c_0101_5^5 - 588*c_0101_5^4 - 229*c_0101_5^3 - 81*c_0101_5^2 - 26*c_0101_5 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB