Magma V2.19-8 Tue Aug 20 2013 16:18:34 on localhost [Seed = 2033771595] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2748 geometric_solution 5.98859922 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 -1 2 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 -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.549129669690 0.421863222313 0 3 5 3 0132 2031 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 0.529775723805 0.667785241187 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874210317398 1.121525962670 1 5 1 0 1302 0132 2031 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849412996517 0.688231882486 5 6 0 6 0132 0132 0132 1023 0 0 0 0 0 1 -2 1 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 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 1.275021635166 0.933841818262 4 3 2 1 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549129669690 0.421863222313 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 -1 0 1 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 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.504199509172 0.250394503145 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_0, c_0101_1, c_0101_2, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 479787272956062944053161167/6278453488254769451228*c_1001_0^18 - 2892988423340179604941095689/6278453488254769451228*c_1001_0^17 + 15949666695505767375901949359/12556906976509538902456*c_1001_0^16 - 27728508210045983645541602845/12556906976509538902456*c_1001_0^15 + 42975202174321061628231087905/12556906976509538902456*c_1001_0^14 - 2685823605661023765816512687/545952477239545169672*c_1001_0^13 + 6367856214759033225924241216/1569613372063692362807*c_1001_0^12 + 31561019908328707492093056969/12556906976509538902456*c_1001_0^11 - 196080739912350542545701192129/12556906976509538902456*c_1001_0^10 + 440169297145940783462617068763/12556906976509538902456*c_1001_0^9 - 339749144024145784543671327361/6278453488254769451228*c_1001_0^8 + 722656846241874100197130198727/12556906976509538902456*c_1001_0^7 - 540947056945875434837254042581/12556906976509538902456*c_1001_0^6 + 70869946075625084154903731375/3139226744127384725614*c_1001_0^5 - 78303857725492380463778914449/12556906976509538902456*c_1001_0^4 - 337131811911668714071128201/545952477239545169672*c_1001_0^3 + 1211615930643275670111686079/1569613372063692362807*c_1001_0^2 - 771737493020142320390218553/12556906976509538902456*c_1001_0 - 131607665154860311323981841/6278453488254769451228, c_0011_0 - 1, c_0011_3 + 121918111499471674529263/3139226744127384725614*c_1001_0^18 - 349628521828128880533132/1569613372063692362807*c_1001_0^17 + 1826809645525013093535683/3139226744127384725614*c_1001_0^16 - 3017994263589506910155261/3139226744127384725614*c_1001_0^15 + 4650237495948988773782217/3139226744127384725614*c_1001_0^14 - 143449005806137170665083/68244059654943146209*c_1001_0^13 + 2356173397828737631681485/1569613372063692362807*c_1001_0^12 + 2572973735255849384902013/1569613372063692362807*c_1001_0^11 - 23273534283270422459277005/3139226744127384725614*c_1001_0^10 + 49399030381478924123542397/3139226744127384725614*c_1001_0^9 - 72845141687466321682879201/3139226744127384725614*c_1001_0^8 + 72426997828961676793488893/3139226744127384725614*c_1001_0^7 - 25098582239548287209764017/1569613372063692362807*c_1001_0^6 + 11826478248640463330799387/1569613372063692362807*c_1001_0^5 - 4371709698245278007504027/3139226744127384725614*c_1001_0^4 - 79359849098918889395971/136488119309886292418*c_1001_0^3 + 398162476979531810587823/1569613372063692362807*c_1001_0^2 + 3064084642604644964524/1569613372063692362807*c_1001_0 - 9453463370859105401524/1569613372063692362807, c_0101_0 - 67383230802047827127472/1569613372063692362807*c_1001_0^18 + 404445409518441436278157/1569613372063692362807*c_1001_0^17 - 1107493204176609386504068/1569613372063692362807*c_1001_0^16 + 1910927234243076138939135/1569613372063692362807*c_1001_0^15 - 5910031748468673900882377/3139226744127384725614*c_1001_0^14 + 184565043251771358376581/68244059654943146209*c_1001_0^13 - 3439320168711354922018526/1569613372063692362807*c_1001_0^12 - 4669123364041909688346235/3139226744127384725614*c_1001_0^11 + 27382943694901664961323367/3139226744127384725614*c_1001_0^10 - 60917451714792409281196741/3139226744127384725614*c_1001_0^9 + 93457580976389302753877717/3139226744127384725614*c_1001_0^8 - 98423368250407862185231385/3139226744127384725614*c_1001_0^7 + 36387027107707939190954975/1569613372063692362807*c_1001_0^6 - 18809033556799240585963726/1569613372063692362807*c_1001_0^5 + 9921820639244644461487241/3139226744127384725614*c_1001_0^4 + 56478854158946801315339/136488119309886292418*c_1001_0^3 - 1264799541356330218873621/3139226744127384725614*c_1001_0^2 + 93001010079428508294183/3139226744127384725614*c_1001_0 + 15323187240449642578168/1569613372063692362807, c_0101_1 + 193111736502995355162656/1569613372063692362807*c_1001_0^18 - 2333151117141288602343747/3139226744127384725614*c_1001_0^17 + 3218464826507464605499589/1569613372063692362807*c_1001_0^16 - 11188358070949860727943051/3139226744127384725614*c_1001_0^15 + 17322813812226334386747989/3139226744127384725614*c_1001_0^14 - 1083216229879509000461647/136488119309886292418*c_1001_0^13 + 10278132516442528859299492/1569613372063692362807*c_1001_0^12 + 6389009678603844829991270/1569613372063692362807*c_1001_0^11 - 39585546783258735975475084/1569613372063692362807*c_1001_0^10 + 177583636100209948750476103/3139226744127384725614*c_1001_0^9 - 274129685047734776574034641/3139226744127384725614*c_1001_0^8 + 291365169689840620048019605/3139226744127384725614*c_1001_0^7 - 217658291207121197419419525/3139226744127384725614*c_1001_0^6 + 56929313872628299418331820/1569613372063692362807*c_1001_0^5 - 15646821878393927656219196/1569613372063692362807*c_1001_0^4 - 140891775673488667900089/136488119309886292418*c_1001_0^3 + 3830014713985732536066421/3139226744127384725614*c_1001_0^2 - 135548679345931823308549/1569613372063692362807*c_1001_0 - 49332251012182492697978/1569613372063692362807, c_0101_2 - 12612918852965035/193803181502732*c_1001_0^18 + 38301039699930953/96901590751366*c_1001_0^17 - 212488453802750339/193803181502732*c_1001_0^16 + 371037168472956601/193803181502732*c_1001_0^15 - 143606662473292501/48450795375683*c_1001_0^14 + 206668254082802401/48450795375683*c_1001_0^13 - 172412303908405828/48450795375683*c_1001_0^12 - 407115106040782045/193803181502732*c_1001_0^11 + 651989107914949637/48450795375683*c_1001_0^10 - 1468822248700833449/48450795375683*c_1001_0^9 + 4550422214562627401/96901590751366*c_1001_0^8 - 4860171369650444493/96901590751366*c_1001_0^7 + 1822094231796930476/48450795375683*c_1001_0^6 - 954584228685417373/48450795375683*c_1001_0^5 + 525683284268576663/96901590751366*c_1001_0^4 + 58560738184866775/96901590751366*c_1001_0^3 - 137529755905967089/193803181502732*c_1001_0^2 + 10031857954449245/193803181502732*c_1001_0 + 1916194085509441/96901590751366, c_0110_6 + 330889758215534597501367/6278453488254769451228*c_1001_0^18 - 984986887496969700552293/3139226744127384725614*c_1001_0^17 + 1337058216354216459494957/1569613372063692362807*c_1001_0^16 - 9149296881770701110279599/6278453488254769451228*c_1001_0^15 + 3529483858174397522509096/1569613372063692362807*c_1001_0^14 - 439706983874017267349229/136488119309886292418*c_1001_0^13 + 16016555918479865142036881/6278453488254769451228*c_1001_0^12 + 3026002983117845518066217/1569613372063692362807*c_1001_0^11 - 16661554853238693254601312/1569613372063692362807*c_1001_0^10 + 36659905919044025750490041/1569613372063692362807*c_1001_0^9 - 223073273874768609549674621/6278453488254769451228*c_1001_0^8 + 232117149721444270557750745/6278453488254769451228*c_1001_0^7 - 84451206592825035487371461/3139226744127384725614*c_1001_0^6 + 85098177305322956374601633/6278453488254769451228*c_1001_0^5 - 20593056296881196930748299/6278453488254769451228*c_1001_0^4 - 92428964916019019529843/136488119309886292418*c_1001_0^3 + 774297283141908347692407/1569613372063692362807*c_1001_0^2 - 68269412173505897060807/3139226744127384725614*c_1001_0 - 84007853253570823734051/6278453488254769451228, c_1001_0^19 - 70/11*c_1001_0^18 + 205/11*c_1001_0^17 - 379/11*c_1001_0^16 + 599/11*c_1001_0^15 - 873/11*c_1001_0^14 + 821/11*c_1001_0^13 + 166/11*c_1001_0^12 - 2368/11*c_1001_0^11 + 527*c_1001_0^10 - 9477/11*c_1001_0^9 + 10891/11*c_1001_0^8 - 816*c_1001_0^7 + 5329/11*c_1001_0^6 - 1989/11*c_1001_0^5 + 214/11*c_1001_0^4 + 140/11*c_1001_0^3 - 46/11*c_1001_0^2 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB