Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 206409946] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1526 geometric_solution 5.32337714 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482159252573 0.158209953184 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645435323473 0.456178701362 1 3 1 4 0132 0132 1023 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 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.412701699810 1.151614883892 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 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 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.007279719940 0.923116634245 3 6 2 5 3201 1023 0132 3201 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.007279719940 0.923116634245 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 -1 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 1 0 0 -1 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.389672099695 0.341161420847 4 6 6 3 1023 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.490370588067 0.960928690275 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 773220429831565100778598433051600635109/381693265538206445926065494\ 8412056756172*c_0101_6^22 + 652995635334648167500505632954602718882\ 39/1908466327691032229630327474206028378086*c_0101_6^20 - 2402050387815280603923023782071703252141145/38169326553820644592606\ 54948412056756172*c_0101_6^18 + 20793466382836826053337751298411818\ 310966953/3816932655382064459260654948412056756172*c_0101_6^16 - 94697602756394779090738087969368904960104159/3816932655382064459260\ 654948412056756172*c_0101_6^14 + 2358907745152579253995769231751920\ 44773250375/3816932655382064459260654948412056756172*c_0101_6^12 - 85697871242460420930874697072096161521549370/9542331638455161148151\ 63737103014189043*c_0101_6^10 + 34039322332260640131626718090198697\ 6432190155/3816932655382064459260654948412056756172*c_0101_6^8 - 8307183939142564316241608178713366237083345/20089119238852970838213\ 9734126950355588*c_0101_6^6 + 9152634287959517004605916784212036580\ 01707/346993877762005859932786813492005159652*c_0101_6^4 + 296148091588725476139342178681313954550227/346993877762005859932786\ 813492005159652*c_0101_6^2 - 38839274417784623518955951137239600474\ 9271/3816932655382064459260654948412056756172, c_0011_0 - 1, c_0011_1 - 370226076773317263858936482657844/15548853900040999100784809\ 1429528139*c_0101_6^22 + 62510420069550916895558656913944226/155488\ 539000409991007848091429528139*c_0101_6^20 - 1146451822550882190673565030789276671/15548853900040999100784809142\ 9528139*c_0101_6^18 + 9889984397869244661188299160047905043/1554885\ 39000409991007848091429528139*c_0101_6^16 - 44785997319322370792203143567882851429/1554885390004099910078480914\ 29528139*c_0101_6^14 + 110544339655864514582023754359795495581/1554\ 88539000409991007848091429528139*c_0101_6^12 - 158741905302682146461180923707584218438/155488539000409991007848091\ 429528139*c_0101_6^10 + 156612510907230605015533806906594588284/155\ 488539000409991007848091429528139*c_0101_6^8 - 71036482412559369241693685880232822791/1554885390004099910078480914\ 29528139*c_0101_6^6 + 511934145560789509373619275574797807/14135321\ 727309999182531644675411649*c_0101_6^4 - 97085340292569048853155623081218470/1413532172730999918253164467541\ 1649*c_0101_6^2 + 93702856611355720345450410340295184/1554885390004\ 09991007848091429528139, c_0011_4 - 68889881257924182632224121427290413/528661032601393969426683\ 5108603956726*c_0101_6^23 + 5820074143391859167350667192657329988/2\ 643305163006969847133417554301978363*c_0101_6^21 - 214764107184054590893058347281463536041/528661032601393969426683510\ 8603956726*c_0101_6^19 + 1866778389508002048382125459154761005451/5\ 286610326013939694266835108603956726*c_0101_6^17 - 8563468942839043949241175243328810680459/52866103260139396942668351\ 08603956726*c_0101_6^15 + 21620490183681870761131788861006543685317\ /5286610326013939694266835108603956726*c_0101_6^13 - 16085670936920623943685848705902806479101/2643305163006969847133417\ 554301978363*c_0101_6^11 + 3300006712626925956785887589779367839815\ 7/5286610326013939694266835108603956726*c_0101_6^9 - 17080302075953266481028842270763005650471/5286610326013939694266835\ 108603956726*c_0101_6^7 + 263166625136384031302753108798979179929/4\ 80600938728539972206075918963996066*c_0101_6^5 - 31682928352083920847476094847350146041/4806009387285399722060759189\ 63996066*c_0101_6^3 + 29852365313399331440363979925194484085/528661\ 0326013939694266835108603956726*c_0101_6, c_0101_0 + 1429031200156568371898281646165265/1554885390004099910078480\ 91429528139*c_0101_6^23 - 241605410315630638661955436290386405/1554\ 88539000409991007848091429528139*c_0101_6^21 + 4479577051429728319411937903966023531/15548853900040999100784809142\ 9528139*c_0101_6^19 - 39172230268369608831118374338462025025/155488\ 539000409991007848091429528139*c_0101_6^17 + 181479990276441817273871174375837517096/155488539000409991007848091\ 429528139*c_0101_6^15 - 465689089975197106907371327516202450795/155\ 488539000409991007848091429528139*c_0101_6^13 + 708956634897482207726038289921411413804/155488539000409991007848091\ 429528139*c_0101_6^11 - 742397457230915303570659652765157168584/155\ 488539000409991007848091429528139*c_0101_6^9 + 409480232144186908139646096386045192386/155488539000409991007848091\ 429528139*c_0101_6^7 - 7440192312208047716224178147457074379/141353\ 21727309999182531644675411649*c_0101_6^5 + 620167561760470748595534463555619899/141353217273099991825316446754\ 11649*c_0101_6^3 - 782658716782831487374557153264381840/15548853900\ 0409991007848091429528139*c_0101_6, c_0101_1 + 189741385241183593889311936315214/15548853900040999100784809\ 1429528139*c_0101_6^22 - 32013867399251748423971848389617778/155488\ 539000409991007848091429528139*c_0101_6^20 + 583715280779535032572023239306040700/155488539000409991007848091429\ 528139*c_0101_6^18 - 4999435720034151064324106882503629889/15548853\ 9000409991007848091429528139*c_0101_6^16 + 22368895075095539377463556244467373389/1554885390004099910078480914\ 29528139*c_0101_6^14 - 54102763672102427038486361893422391773/15548\ 8539000409991007848091429528139*c_0101_6^12 + 75409133635874220626483966908491627419/1554885390004099910078480914\ 29528139*c_0101_6^10 - 72325942063554838619617027448503092520/15548\ 8539000409991007848091429528139*c_0101_6^8 + 28894453058933946133448306148371530281/1554885390004099910078480914\ 29528139*c_0101_6^6 - 27943227872962223812868451970629517/141353217\ 27309999182531644675411649*c_0101_6^4 + 19444908931308860589115453611662162/1413532172730999918253164467541\ 1649*c_0101_6^2 + 72683312192686102457570062230244121/1554885390004\ 09991007848091429528139, c_0101_3 - 14571704267542691862873830137771511/264330516300696984713341\ 7554301978363*c_0101_6^23 + 2463102620479037494311675917647462001/2\ 643305163006969847133417554301978363*c_0101_6^21 - 45589121742371743280364504715078995861/2643305163006969847133417554\ 301978363*c_0101_6^19 + 397828762457127116043129781154005941715/264\ 3305163006969847133417554301978363*c_0101_6^17 - 1836904814485693649173202752062344937977/26433051630069698471334175\ 54301978363*c_0101_6^15 + 4688736127336700460283942085781679834819/\ 2643305163006969847133417554301978363*c_0101_6^13 - 7090102245915786627519995109217133557285/26433051630069698471334175\ 54301978363*c_0101_6^11 + 7392196305307229886136999016935617091975/\ 2643305163006969847133417554301978363*c_0101_6^9 - 4026536925546871463017752308836731891351/26433051630069698471334175\ 54301978363*c_0101_6^7 + 73608609655027414536850210484268202084/240\ 300469364269986103037959481998033*c_0101_6^5 - 9621304134709670319889662580710374990/24030046936426998610303795948\ 1998033*c_0101_6^3 + 12130488889313429686265661794342824398/2643305\ 163006969847133417554301978363*c_0101_6, c_0101_6^24 - 169*c_0101_6^22 + 3123*c_0101_6^20 - 27200*c_0101_6^18 + 125198*c_0101_6^16 - 317964*c_0101_6^14 + 477525*c_0101_6^12 - 494871*c_0101_6^10 + 264252*c_0101_6^8 - 50738*c_0101_6^6 + 6446*c_0101_6^4 - 650*c_0101_6^2 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB