Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 4105529379] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1521 geometric_solution 5.31980420 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 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 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.553115765655 0.943106911002 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068831575791 0.910072532632 3 0 4 1 3201 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 -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.068831575791 0.910072532632 3 1 3 2 2310 0132 3201 2310 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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450779382269 0.945956329483 2 5 1 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 0.339386358076 1.933319586443 4 4 6 6 3201 0132 3201 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.273664486102 0.148981415762 5 6 5 6 2310 2310 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 -1.736100554594 0.441939636077 ==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' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 18134637971374898012462795836988161/2992059201778163790933269615985\ 000*c_0101_6^22 + 2937558035425321095771404044324039/35619752402120\ 9975111103525712500*c_0101_6^21 + 188308909396435216451109287544526\ 799/2992059201778163790933269615985000*c_0101_6^20 - 188670554648809285914846902702865881/498676533629693965155544935997\ 5000*c_0101_6^19 - 95264636750114972847239069245479164/267148143015\ 907481333327644284375*c_0101_6^18 - 668190320796099141997987059765195497/149602960088908189546663480799\ 25000*c_0101_6^17 + 1794007261876586800608974358968516171/124669133\ 4074234912888862339993750*c_0101_6^16 + 3987927780683411481519744324614545397/74801480044454094773331740399\ 62500*c_0101_6^15 - 128244797988232428479723011253206079/3324510224\ 1979597677036329066500*c_0101_6^14 - 61112564541329837559595467131224361/2992059201778163790933269615985\ 0*c_0101_6^13 + 9494149265738300769620949085482299243/1246691334074\ 234912888862339993750*c_0101_6^12 + 12681603399664823431491691722648164732/1870037001111352369333293509\ 990625*c_0101_6^11 - 100396858424939130072623785961601617653/748014\ 8004445409477333174039962500*c_0101_6^10 - 78984109928404394345726317039099209679/4986765336296939651555449359\ 975000*c_0101_6^9 + 286939710361823285232122355818003262359/1496029\ 6008890818954666348079925000*c_0101_6^8 + 26889035387873565059331781101090391039/1246691334074234912888862339\ 993750*c_0101_6^7 - 41658166679305322462423044834004802653/24933826\ 68148469825777724679987500*c_0101_6^6 - 45922958735548050657484017458226992797/2992059201778163790933269615\ 985000*c_0101_6^5 + 53951320948027923749750194320867052069/74801480\ 04445409477333174039962500*c_0101_6^4 + 8142942718201486530937911808242123801/16622551120989798838518164533\ 25000*c_0101_6^3 - 930316640512033941392518373453566069/71239504804\ 2419950222207051425000*c_0101_6^2 - 4118055811370203470238424329783612451/74801480044454094773331740399\ 62500*c_0101_6 + 155067919860082698271916762727816649/4986765336296\ 939651555449359975000, c_0011_0 - 1, c_0011_4 - 375598675386755748411055888533404/63606700718073209841268486\ 734375*c_0101_6^22 + 383222282124718907660836372729856/212022335726\ 91069947089495578125*c_0101_6^21 + 1799305394646951253807383020742229/63606700718073209841268486734375\ *c_0101_6^20 - 1628814037932533000480208601710892/21202233572691069\ 947089495578125*c_0101_6^19 - 13313251904450871400060598461964413/6\ 3606700718073209841268486734375*c_0101_6^18 + 17684280850690504400857339595404837/6360670071807320984126848673437\ 5*c_0101_6^17 + 3654024486106802264636082386796216/4240446714538213\ 989417899115625*c_0101_6^16 - 51032400645887750841883306556907206/6\ 3606700718073209841268486734375*c_0101_6^15 - 8955115675412817212608920826449512/4240446714538213989417899115625*\ c_0101_6^14 + 73050286860017559901308695607626777/63606700718073209\ 841268486734375*c_0101_6^13 + 101834354628882021438630678436330061/\ 21202233572691069947089495578125*c_0101_6^12 - 50238836403359633451589487747774321/6360670071807320984126848673437\ 5*c_0101_6^11 - 5138038018108115558493876051402466/5088536057445856\ 78730147893875*c_0101_6^10 + 14349402231140961856737314080141672/21\ 202233572691069947089495578125*c_0101_6^9 + 176099288305053911570989871738473117/127213401436146419682536973468\ 75*c_0101_6^8 - 13753311073396755814276357749421506/212022335726910\ 69947089495578125*c_0101_6^7 - 215907605281156931680409034355813726\ /21202233572691069947089495578125*c_0101_6^6 + 2871709447064480359859716824692446/63606700718073209841268486734375\ *c_0101_6^5 + 222451930660781117102716467195813101/6360670071807320\ 9841268486734375*c_0101_6^4 + 3094601563868503935049543456238407/21\ 202233572691069947089495578125*c_0101_6^3 - 9687993584605897627961583416390496/21202233572691069947089495578125\ *c_0101_6^2 - 3059857552916692739827291618997908/636067007180732098\ 41268486734375*c_0101_6 + 139107675864305825252420221786099/2120223\ 3572691069947089495578125, c_0011_6 + 208945394368989209107068801834233/63606700718073209841268486\ 734375*c_0101_6^22 - 211806260530032405019212091907757/212022335726\ 91069947089495578125*c_0101_6^21 - 1014940813584268263657049569695458/63606700718073209841268486734375\ *c_0101_6^20 + 901281080492306735798814186520354/212022335726910699\ 47089495578125*c_0101_6^19 + 7464168950197085830513759749994381/636\ 06700718073209841268486734375*c_0101_6^18 - 9719619065784462418295397057359134/63606700718073209841268486734375\ *c_0101_6^17 - 2048168613047805940195364251136048/42404467145382139\ 89417899115625*c_0101_6^16 + 27904507898132853822879448294175582/63\ 606700718073209841268486734375*c_0101_6^15 + 5031907208789923881185207546456284/4240446714538213989417899115625*\ c_0101_6^14 - 39566899453828711146168737144868479/63606700718073209\ 841268486734375*c_0101_6^13 - 57076651015053154520295144734304937/2\ 1202233572691069947089495578125*c_0101_6^12 + 25369883677392437248033154351447522/6360670071807320984126848673437\ 5*c_0101_6^11 + 71802752772902362203365425848222439/127213401436146\ 41968253697346875*c_0101_6^10 - 6010064938118383755652717729344089/\ 21202233572691069947089495578125*c_0101_6^9 - 19728054368866818288901683857173088/2544268028722928393650739469375\ *c_0101_6^8 + 5110629454977496299621558011550892/212022335726910699\ 47089495578125*c_0101_6^7 + 121704983681456100864246737225161447/21\ 202233572691069947089495578125*c_0101_6^6 + 2858205372979245265500127820369408/63606700718073209841268486734375\ *c_0101_6^5 - 126904827282931521045186338444538437/6360670071807320\ 9841268486734375*c_0101_6^4 - 2031140261210916961970709075547174/21\ 202233572691069947089495578125*c_0101_6^3 + 5648404893013801473665681918813952/21202233572691069947089495578125\ *c_0101_6^2 + 1707300371982246684005845457207506/636067007180732098\ 41268486734375*c_0101_6 - 89676721933793649148508063000203/21202233\ 572691069947089495578125, c_0101_0 + 37826819534723688352161664613348/127213401436146419682536973\ 46875*c_0101_6^22 - 7998755833691268891252536667352/848089342907642\ 797883579823125*c_0101_6^21 - 165368452590261461816183538863788/127\ 21340143614641968253697346875*c_0101_6^20 + 167168951832624192410163059633307/4240446714538213989417899115625*c\ _0101_6^19 + 1278081825460499130169232413236658/1272134014361464196\ 8253697346875*c_0101_6^18 - 1889041785818758530695924179343848/1272\ 1340143614641968253697346875*c_0101_6^17 - 1746373463009124434005578504342832/4240446714538213989417899115625*\ c_0101_6^16 + 1115317857876380673629812471723171/254426802872292839\ 3650739469375*c_0101_6^15 + 842083883591464418819128091235472/84808\ 9342907642797883579823125*c_0101_6^14 - 8320169183653113393757421664749339/12721340143614641968253697346875\ *c_0101_6^13 - 9744345983808839281915612736760123/42404467145382139\ 89417899115625*c_0101_6^12 + 7630558315365655899791953511712884/127\ 21340143614641968253697346875*c_0101_6^11 + 62285393732676271033410339570869303/1272134014361464196825369734687\ 5*c_0101_6^10 - 3439696218354978839462851415408562/4240446714538213\ 989417899115625*c_0101_6^9 - 84112833631126000298691145447541402/12\ 721340143614641968253697346875*c_0101_6^8 + 3916585283713336768269484813495304/4240446714538213989417899115625*\ c_0101_6^7 + 3987729814378456074147482308029916/8480893429076427978\ 83579823125*c_0101_6^6 - 5013357874316749697939723691119542/1272134\ 0143614641968253697346875*c_0101_6^5 - 19557815529897608453148083420268806/1272134014361464196825369734687\ 5*c_0101_6^4 + 132014500059489208968193560471167/424044671453821398\ 9417899115625*c_0101_6^3 + 804826530796553658172382985060766/424044\ 6714538213989417899115625*c_0101_6^2 + 171441780785718709037259762351022/12721340143614641968253697346875*\ c_0101_6 - 2531783048873784176689596375221/848089342907642797883579\ 823125, c_0101_1 - 90397881471703963200206933566632/212022335726910699470894955\ 78125*c_0101_6^22 + 275067981503494986245479343933114/2120223357269\ 1069947089495578125*c_0101_6^21 + 434616915192150087181577070049257\ /21202233572691069947089495578125*c_0101_6^20 - 1156213841594407256039006120667103/21202233572691069947089495578125\ *c_0101_6^19 - 3216372959799473950918162178108989/21202233572691069\ 947089495578125*c_0101_6^18 + 4155925199012963758375150163705591/21\ 202233572691069947089495578125*c_0101_6^17 + 526930595434349413462660879736123/848089342907642797883579823125*c_\ 0101_6^16 - 11861625368572984668542332783138588/2120223357269106994\ 7089495578125*c_0101_6^15 - 6438935341128022005717572013267598/4240\ 446714538213989417899115625*c_0101_6^14 + 16455664334723091011667070657896466/2120223357269106994708949557812\ 5*c_0101_6^13 + 73093069523583881033081577449008729/212022335726910\ 69947089495578125*c_0101_6^12 - 9990928847744442199160218911145753/\ 21202233572691069947089495578125*c_0101_6^11 - 30572544906677502256402103254189758/4240446714538213989417899115625\ *c_0101_6^10 + 6518251134392915644300877701949873/21202233572691069\ 947089495578125*c_0101_6^9 + 41583717743909617823271878324979918/42\ 40446714538213989417899115625*c_0101_6^8 - 4047740237028963124282932755352949/21202233572691069947089495578125\ *c_0101_6^7 - 151428497411711871620381388108756944/2120223357269106\ 9947089495578125*c_0101_6^6 - 4223493875642078747568130068870707/21\ 202233572691069947089495578125*c_0101_6^5 + 51422252696121870890223284443390303/2120223357269106994708949557812\ 5*c_0101_6^4 + 3906089870819304499849995810022853/21202233572691069\ 947089495578125*c_0101_6^3 - 6736145305389263755005863298530239/212\ 02233572691069947089495578125*c_0101_6^2 - 894788656447498049126572225453919/21202233572691069947089495578125*\ c_0101_6 + 100325479146973323747167754635606/2120223357269106994708\ 9495578125, c_0101_2 + 40660462782966605127557546153473/636067007180732098412684867\ 34375*c_0101_6^22 - 49222267138283810735562105270827/21202233572691\ 069947089495578125*c_0101_6^21 - 114653002987238631671097382109948/\ 63606700718073209841268486734375*c_0101_6^20 + 202574130288088524360508507358834/21202233572691069947089495578125*\ c_0101_6^19 + 1112516103663125490319517031673901/636067007180732098\ 41268486734375*c_0101_6^18 - 2606377086171537282720804155218634/636\ 06700718073209841268486734375*c_0101_6^17 - 305670594809699750825611002996491/4240446714538213989417899115625*c\ _0101_6^16 + 8357890278073657254337973683860577/6360670071807320984\ 1268486734375*c_0101_6^15 + 689841286212591701158383594549719/42404\ 46714538213989417899115625*c_0101_6^14 - 14468140788256880639581345744279624/6360670071807320984126848673437\ 5*c_0101_6^13 - 8736952164565482449915030567392092/2120223357269106\ 9947089495578125*c_0101_6^12 + 21436432765962892870102818100245922/\ 63606700718073209841268486734375*c_0101_6^11 + 12106666478227146056657855423890541/1272134014361464196825369734687\ 5*c_0101_6^10 - 13430566252822205202470420085979394/212022335726910\ 69947089495578125*c_0101_6^9 - 15863475865046040297685920977921078/\ 12721340143614641968253697346875*c_0101_6^8 + 17110430890985555245295828965760267/2120223357269106994708949557812\ 5*c_0101_6^7 + 16823534155869330414310711989255817/2120223357269106\ 9947089495578125*c_0101_6^6 - 31195910551950763773279267276444827/6\ 3606700718073209841268486734375*c_0101_6^5 - 13395646812658427546681384414026327/6360670071807320984126848673437\ 5*c_0101_6^4 + 2659937794401157168260259724820276/21202233572691069\ 947089495578125*c_0101_6^3 + 379697469169262201550965111535542/2120\ 2233572691069947089495578125*c_0101_6^2 - 632774141766834841446588038664544/63606700718073209841268486734375*\ c_0101_6 - 15688488249601249926155179626608/21202233572691069947089\ 495578125, c_0101_6^23 - 24/11*c_0101_6^22 - 82/11*c_0101_6^21 + 96/11*c_0101_6^20 + 514/11*c_0101_6^19 - 172/11*c_0101_6^18 - 2049/11*c_0101_6^17 + 74/11*c_0101_6^16 + 5202/11*c_0101_6^15 + 122*c_0101_6^14 - 10716/11*c_0101_6^13 - 6412/11*c_0101_6^12 + 19862/11*c_0101_6^11 + 15231/11*c_0101_6^10 - 26417/11*c_0101_6^9 - 21333/11*c_0101_6^8 + 19398/11*c_0101_6^7 + 16427/11*c_0101_6^6 - 6146/11*c_0101_6^5 - 5886/11*c_0101_6^4 + 480/11*c_0101_6^3 + 808/11*c_0101_6^2 + 78/11*c_0101_6 - 9/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB