Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 762097687] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2439 geometric_solution 5.78551838 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.106467904136 0.610985063103 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 1 -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 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.080544274034 0.730728316339 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -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.426713072510 0.566013506809 5 6 4 1 1023 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0.426713072510 0.566013506809 2 3 4 4 0132 3201 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 0.562399386578 1.582006588932 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.842537247039 0.663685186348 3 6 2 6 1023 1302 0132 2031 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 0 0 0 0 0 0 0 0.667967347353 0.345851383190 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1289428433899171502146127013185984/16029054721489044902229730911451\ *c_0110_6^20 - 7443394712562930382459849765497600/16029054721489044\ 902229730911451*c_0110_6^19 - 6077881386000344906234425248431972/16\ 029054721489044902229730911451*c_0110_6^18 + 6012900910534114868232290960478132/16029054721489044902229730911451\ *c_0110_6^17 + 13606751752421837173928445629000528/1602905472148904\ 4902229730911451*c_0110_6^16 + 31506208196424241848793605535747831/\ 16029054721489044902229730911451*c_0110_6^15 + 11508937952132681322877334439833556/1602905472148904490222973091145\ 1*c_0110_6^14 - 18388171398301791888887905713911205/160290547214890\ 44902229730911451*c_0110_6^13 + 25456991693664763674870114791869994\ /16029054721489044902229730911451*c_0110_6^12 + 26704663985809351673234908292550365/1602905472148904490222973091145\ 1*c_0110_6^11 + 15352548925359135471256003108163321/160290547214890\ 44902229730911451*c_0110_6^10 + 20888711231166886537428441268703455\ /16029054721489044902229730911451*c_0110_6^9 - 26524552292861869199277633885317920/1602905472148904490222973091145\ 1*c_0110_6^8 - 23239482083818981707467739640932212/1602905472148904\ 4902229730911451*c_0110_6^7 + 8987622825026273154915525981303015/16\ 029054721489044902229730911451*c_0110_6^6 - 216822712933461122867809171018035/16029054721489044902229730911451*\ c_0110_6^5 - 2886939176250738500313374894404265/1602905472148904490\ 2229730911451*c_0110_6^4 + 3497880071782589380183271151991217/16029\ 054721489044902229730911451*c_0110_6^3 - 2741243072219593581935560500841341/16029054721489044902229730911451\ *c_0110_6^2 - 49607846555796299433735839555980/16029054721489044902\ 229730911451*c_0110_6 + 173526732646873900990718958900197/160290547\ 21489044902229730911451, c_0011_0 - 1, c_0011_3 + 17187051711157731984263711033776/160290547214890449022297309\ 11451*c_0110_6^20 + 133076858909522337497162839766512/1602905472148\ 9044902229730911451*c_0110_6^19 + 277956563499075251803637816649413\ /16029054721489044902229730911451*c_0110_6^18 + 95640817940596351079807288626152/16029054721489044902229730911451*c\ _0110_6^17 - 292315958360570723122496439547047/16029054721489044902\ 229730911451*c_0110_6^16 - 762257869564099980142402423630160/160290\ 54721489044902229730911451*c_0110_6^15 - 1004328409273418150856639095685179/16029054721489044902229730911451\ *c_0110_6^14 - 169004542203549415902272813232568/160290547214890449\ 02229730911451*c_0110_6^13 - 53046466776030004259254541054249/16029\ 054721489044902229730911451*c_0110_6^12 - 1039443934410768362475146478888398/16029054721489044902229730911451\ *c_0110_6^11 - 955404251921755948664026188883816/160290547214890449\ 02229730911451*c_0110_6^10 - 779262330080030425373820219262558/1602\ 9054721489044902229730911451*c_0110_6^9 - 278990303790412760996238406040246/16029054721489044902229730911451*\ c_0110_6^8 + 799807426625129371987048011146741/16029054721489044902\ 229730911451*c_0110_6^7 + 474926362905386174448885446037473/1602905\ 4721489044902229730911451*c_0110_6^6 - 96717690651206721793802880740838/16029054721489044902229730911451*c\ _0110_6^5 + 156236087606584957277619641171402/160290547214890449022\ 29730911451*c_0110_6^4 + 86473085422665882079549575354733/160290547\ 21489044902229730911451*c_0110_6^3 - 23139062790003619552226772493057/16029054721489044902229730911451*c\ _0110_6^2 + 36863853833975865911719209832310/1602905472148904490222\ 9730911451*c_0110_6 + 18000803743582929020790875425150/160290547214\ 89044902229730911451, c_0101_0 + 6319431905260812644909826576/1623853178147000800550068981*c_\ 0110_6^20 + 38916192541666808911232054400/1623853178147000800550068\ 981*c_0110_6^19 + 42370376167515057625726590159/1623853178147000800\ 550068981*c_0110_6^18 - 25854493109421211642975050803/1623853178147\ 000800550068981*c_0110_6^17 - 81394581887175172870881934203/1623853\ 178147000800550068981*c_0110_6^16 - 171228852813588360441495503030/1623853178147000800550068981*c_0110_\ 6^15 - 102993420444467540415785832541/1623853178147000800550068981*\ c_0110_6^14 + 95936804494444331160273722556/16238531781470008005500\ 68981*c_0110_6^13 - 92446877085297408124587852494/16238531781470008\ 00550068981*c_0110_6^12 - 200979648260789579765611621974/1623853178\ 147000800550068981*c_0110_6^11 - 88779972085394903495266615819/1623\ 853178147000800550068981*c_0110_6^10 - 104117471836124141782619127095/1623853178147000800550068981*c_0110_\ 6^9 + 97679102439384582467315760119/1623853178147000800550068981*c_\ 0110_6^8 + 176737535746075599782133218237/1623853178147000800550068\ 981*c_0110_6^7 - 28974180749960686852583572645/16238531781470008005\ 50068981*c_0110_6^6 - 24593414511865376668777604763/162385317814700\ 0800550068981*c_0110_6^5 + 39386246318232605584680119198/1623853178\ 147000800550068981*c_0110_6^4 - 11145112485842048784698768589/16238\ 53178147000800550068981*c_0110_6^3 - 74343675282158491364934048/1623853178147000800550068981*c_0110_6^2 + 7371898741983931540090749327/1623853178147000800550068981*c_0110_6 + 33274199220386705058548442/1623853178147000800550068981, c_0101_1 + 754050303600902070232814672/1623853178147000800550068981*c_0\ 110_6^20 + 5290802035632316800027520288/162385317814700080055006898\ 1*c_0110_6^19 + 9480277468453009513329149691/1623853178147000800550\ 068981*c_0110_6^18 + 2957888656465714640579025479/16238531781470008\ 00550068981*c_0110_6^17 - 14347444290350986552955737902/16238531781\ 47000800550068981*c_0110_6^16 - 31506523795671896850642243586/16238\ 53178147000800550068981*c_0110_6^15 - 31529493080737802763776156738/1623853178147000800550068981*c_0110_6\ ^14 - 2720724548973919486727670410/1623853178147000800550068981*c_0\ 110_6^13 + 10466590680128236374264567793/16238531781470008005500689\ 81*c_0110_6^12 - 31549614969420129076218056084/16238531781470008005\ 50068981*c_0110_6^11 - 42815803374879424302113014715/16238531781470\ 00800550068981*c_0110_6^10 - 18311856381588456973999883056/16238531\ 78147000800550068981*c_0110_6^9 + 1491993407542924570053358490/1623\ 853178147000800550068981*c_0110_6^8 + 36328867473345427469246518398/1623853178147000800550068981*c_0110_6\ ^7 + 23379447105558034273907694037/1623853178147000800550068981*c_0\ 110_6^6 - 10718409542272720636017899720/162385317814700080055006898\ 1*c_0110_6^5 - 5875250871507400897356822344/16238531781470008005500\ 68981*c_0110_6^4 + 5326250612181460028683398452/1623853178147000800\ 550068981*c_0110_6^3 + 729601005298375550524403856/1623853178147000\ 800550068981*c_0110_6^2 - 242177244569592156696849961/1623853178147\ 000800550068981*c_0110_6 + 1271010809522748068355655395/16238531781\ 47000800550068981, c_0101_2 - 22935034447099261331989339084336/160290547214890449022297309\ 11451*c_0110_6^20 - 162582269622983667449567204255024/1602905472148\ 9044902229730911451*c_0110_6^19 - 284422677998761389388315066482173\ /16029054721489044902229730911451*c_0110_6^18 - 43711756942595747984964340599052/16029054721489044902229730911451*c\ _0110_6^17 + 389489668431979851977204217413571/16029054721489044902\ 229730911451*c_0110_6^16 + 883816399031767333214944259240819/160290\ 54721489044902229730911451*c_0110_6^15 + 935442961008474515600472689563040/16029054721489044902229730911451*\ c_0110_6^14 - 18637088226289634739081637692652/16029054721489044902\ 229730911451*c_0110_6^13 - 333705263551362420677023208564/160290547\ 21489044902229730911451*c_0110_6^12 + 1097599961363350654122623705281069/16029054721489044902229730911451\ *c_0110_6^11 + 986408634973408887539817398566447/160290547214890449\ 02229730911451*c_0110_6^10 + 624595534466482996703576251122164/1602\ 9054721489044902229730911451*c_0110_6^9 + 29348110007359830362799661638164/16029054721489044902229730911451*c\ _0110_6^8 - 982601965202010012025627472912298/160290547214890449022\ 29730911451*c_0110_6^7 - 438345064369439141984045760162697/16029054\ 721489044902229730911451*c_0110_6^6 + 240924609940739523878745225254554/16029054721489044902229730911451*\ c_0110_6^5 - 104147477792785387894649981958106/16029054721489044902\ 229730911451*c_0110_6^4 - 90520625561305679407604015531965/16029054\ 721489044902229730911451*c_0110_6^3 + 54817236490607515419300067228672/16029054721489044902229730911451*c\ _0110_6^2 - 32171240116572263924179930938794/1602905472148904490222\ 9730911451*c_0110_6 - 14419766366855172848836788346716/160290547214\ 89044902229730911451, c_0101_4 - 10613614820233804042519316015184/160290547214890449022297309\ 11451*c_0110_6^20 - 89159827278678339637980268986768/16029054721489\ 044902229730911451*c_0110_6^19 - 226834100490719350399246855892171/\ 16029054721489044902229730911451*c_0110_6^18 - 163215779287397699826360040403472/16029054721489044902229730911451*\ c_0110_6^17 + 205978788548996284627029347145292/1602905472148904490\ 2229730911451*c_0110_6^16 + 582295985316351806319880521654598/16029\ 054721489044902229730911451*c_0110_6^15 + 888364836026676405914454888128874/16029054721489044902229730911451*\ c_0110_6^14 + 449190005313477896325735106664937/1602905472148904490\ 2229730911451*c_0110_6^13 - 134239689397610026462191881254575/16029\ 054721489044902229730911451*c_0110_6^12 + 811137418299565726054310241685149/16029054721489044902229730911451*\ c_0110_6^11 + 1029888762060538807067908792282817/160290547214890449\ 02229730911451*c_0110_6^10 + 562871665089256726585792848813569/1602\ 9054721489044902229730911451*c_0110_6^9 + 514907707910347797597203214720090/16029054721489044902229730911451*\ c_0110_6^8 - 559934068009762490373325252540710/16029054721489044902\ 229730911451*c_0110_6^7 - 644758973170856330899287475343719/1602905\ 4721489044902229730911451*c_0110_6^6 + 100540511864392830451352873166545/16029054721489044902229730911451*\ c_0110_6^5 - 105360421645439904841954099976233/16029054721489044902\ 229730911451*c_0110_6^4 - 196803759822753182191556103836738/1602905\ 4721489044902229730911451*c_0110_6^3 + 54047309917095295248738946052578/16029054721489044902229730911451*c\ _0110_6^2 - 24235710423288099343576495479475/1602905472148904490222\ 9730911451*c_0110_6 - 21084243325229352015634233314582/160290547214\ 89044902229730911451, c_0110_6^21 + 6*c_0110_6^20 + 95/16*c_0110_6^19 - 65/16*c_0110_6^18 - 47/4*c_0110_6^17 - 26*c_0110_6^16 - 55/4*c_0110_6^15 + 215/16*c_0110_6^14 - 275/16*c_0110_6^13 - 55/2*c_0110_6^12 - 217/16*c_0110_6^11 - 261/16*c_0110_6^10 + 129/8*c_0110_6^9 + 371/16*c_0110_6^8 - 73/16*c_0110_6^7 - 3/2*c_0110_6^6 + 89/16*c_0110_6^5 - 7/4*c_0110_6^4 + 1/4*c_0110_6^3 + 13/16*c_0110_6^2 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB