Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 2884253556] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1145 geometric_solution 5.01590520 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 -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.878133967459 1.348424097593 0 4 4 0 0132 0132 3201 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.262366228283 0.210207654626 5 6 3 0 0132 0132 1230 0132 0 0 0 0 0 1 -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 0 -1 0 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 1.085142692558 0.689611915776 6 5 0 2 2310 3201 0132 3012 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 -1 1 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.085142692558 0.689611915776 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.150966609948 1.923484915143 2 5 3 5 0132 1302 2310 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 1 0 -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.697019010446 0.525407198714 6 2 3 6 3201 0132 3201 2310 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 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.114051114108 0.684504704945 ==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_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], '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_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 4630944315473849450273156030/12463112313393280648107419*c_0101_6^20 - 12937045357643936956573226712/12463112313393280648107419*c_0101_6\ ^19 - 72187862750490719972060011208/12463112313393280648107419*c_01\ 01_6^18 + 753459069809588814466067564/48494600441218990848667*c_010\ 1_6^17 - 878306477745650619252495860/12463112313393280648107419*c_0\ 101_6^16 - 1007228546259338027005430324138/124631123133932806481074\ 19*c_0101_6^15 + 903548252476599314088884391007/1246311231339328064\ 8107419*c_0101_6^14 + 4485793939305986884973349194610/1246311231339\ 3280648107419*c_0101_6^13 - 69731900394290309134955397107/124631123\ 13393280648107419*c_0101_6^12 - 10053723039249942607310998368736/12\ 463112313393280648107419*c_0101_6^11 - 6402491938191567165460972298491/12463112313393280648107419*c_0101_6\ ^10 + 9163043571957098367422124287370/12463112313393280648107419*c_\ 0101_6^9 + 9670160658049322936728905710339/124631123133932806481074\ 19*c_0101_6^8 - 3916282847939986781061093496563/1246311231339328064\ 8107419*c_0101_6^7 - 5837819161141239326406088338642/12463112313393\ 280648107419*c_0101_6^6 + 1380017486146310489869264379416/124631123\ 13393280648107419*c_0101_6^5 + 1980026924490626090913492042751/1246\ 3112313393280648107419*c_0101_6^4 - 565415353313168411294547463330/12463112313393280648107419*c_0101_6^\ 3 - 323412853075389344734076682640/12463112313393280648107419*c_010\ 1_6^2 + 161758307439900604142126356395/12463112313393280648107419*c\ _0101_6 - 19551999968296312507009587827/12463112313393280648107419, c_0011_0 - 1, c_0011_2 + 35454172173762916160914947/12463112313393280648107419*c_0101\ _6^20 - 95392164228634726270121240/12463112313393280648107419*c_010\ 1_6^19 - 560165281836337431410493599/12463112313393280648107419*c_0\ 101_6^18 + 5516254415425389103688353/48494600441218990848667*c_0101\ _6^17 + 106007412166247511127840765/12463112313393280648107419*c_01\ 01_6^16 - 7598465353186282812382070579/12463112313393280648107419*c\ _0101_6^15 + 6093012737697562627098527397/1246311231339328064810741\ 9*c_0101_6^14 + 34530608134057010478127789402/124631123133932806481\ 07419*c_0101_6^13 + 3550731212474599110237756604/124631123133932806\ 48107419*c_0101_6^12 - 74689872934508279958434409833/12463112313393\ 280648107419*c_0101_6^11 - 56901740976659785923300261295/1246311231\ 3393280648107419*c_0101_6^10 + 60128391852562765188150764670/124631\ 12313393280648107419*c_0101_6^9 + 77694318586081070926190373894/124\ 63112313393280648107419*c_0101_6^8 - 18669078457189173319968973872/12463112313393280648107419*c_0101_6^7 - 43225703734357630112003330302/12463112313393280648107419*c_0101_6\ ^6 + 5094768959485134129299300984/12463112313393280648107419*c_0101\ _6^5 + 14069534053034234074259008327/12463112313393280648107419*c_0\ 101_6^4 - 2587223799348985642465709884/12463112313393280648107419*c\ _0101_6^3 - 2290178549763060842466437544/12463112313393280648107419\ *c_0101_6^2 + 904719983937181261340390821/1246311231339328064810741\ 9*c_0101_6 - 97811936069977538239367584/12463112313393280648107419, c_0101_0 - 26644128417754794887936630/12463112313393280648107419*c_0101\ _6^20 + 67543190701204121131472562/12463112313393280648107419*c_010\ 1_6^19 + 431189193761933157002608610/12463112313393280648107419*c_0\ 101_6^18 - 3883827184080596478318099/48494600441218990848667*c_0101\ _6^17 - 228382697835621336426553857/12463112313393280648107419*c_01\ 01_6^16 + 5671285109291854258218075893/12463112313393280648107419*c\ _0101_6^15 - 3726757891306698005422413117/1246311231339328064810741\ 9*c_0101_6^14 - 26449184856264143312136955647/124631123133932806481\ 07419*c_0101_6^13 - 6720248812129218440102192415/124631123133932806\ 48107419*c_0101_6^12 + 54627046891169961806751159505/12463112313393\ 280648107419*c_0101_6^11 + 50782913926556059046732165858/1246311231\ 3393280648107419*c_0101_6^10 - 36450005463491654305188476192/124631\ 12313393280648107419*c_0101_6^9 - 62539570478994297286025577695/124\ 63112313393280648107419*c_0101_6^8 + 4077996993225856737597052612/12463112313393280648107419*c_0101_6^7 + 31384690343851881987625204794/12463112313393280648107419*c_0101_6^6 + 626778468807226082097798124/12463112313393280648107419*c_0101_6^5 - 9546147896434093774243818259/12463112313393280648107419*c_0101_6^\ 4 + 761551915812239852071054233/12463112313393280648107419*c_0101_6\ ^3 + 1546336894124821927502831486/12463112313393280648107419*c_0101\ _6^2 - 504485836772104673676518846/12463112313393280648107419*c_010\ 1_6 + 56336330166703661121588991/12463112313393280648107419, c_0101_1 - 42561222361640213393237064/12463112313393280648107419*c_0101\ _6^20 + 117673009664806140541517911/12463112313393280648107419*c_01\ 01_6^19 + 666371095260272557282420059/12463112313393280648107419*c_\ 0101_6^18 - 6842996781533398562266409/48494600441218990848667*c_010\ 1_6^17 - 36695829988848301029044520/12463112313393280648107419*c_01\ 01_6^16 + 9229032212397598718532250008/12463112313393280648107419*c\ _0101_6^15 - 8017703050448545564709350006/1246311231339328064810741\ 9*c_0101_6^14 - 41362594750929861167268770158/124631123133932806481\ 07419*c_0101_6^13 - 736827581483321608002029696/1246311231339328064\ 8107419*c_0101_6^12 + 92025861096437048080223634708/124631123133932\ 80648107419*c_0101_6^11 + 61906599562089980375251961724/12463112313\ 393280648107419*c_0101_6^10 - 81383634929902552425118888062/1246311\ 2313393280648107419*c_0101_6^9 - 91363830025340775214670817227/1246\ 3112313393280648107419*c_0101_6^8 + 31817662894324452665743595685/12463112313393280648107419*c_0101_6^7 + 54028089478148081072493946135/12463112313393280648107419*c_0101_6\ ^6 - 10145005412907610723378566568/12463112313393280648107419*c_010\ 1_6^5 - 17937881621820944453093645403/12463112313393280648107419*c_\ 0101_6^4 + 4412055628950738057516675318/12463112313393280648107419*\ c_0101_6^3 + 2940406238275991642696650847/1246311231339328064810741\ 9*c_0101_6^2 - 1343211546181039634842330662/12463112313393280648107\ 419*c_0101_6 + 155681962565919741686602431/124631123133932806481074\ 19, c_0101_2 - 51846593231237459987905138/12463112313393280648107419*c_0101\ _6^20 + 142001742478801162119745212/12463112313393280648107419*c_01\ 01_6^19 + 812631212801697232404544684/12463112313393280648107419*c_\ 0101_6^18 - 8226611488865366298293102/48494600441218990848667*c_010\ 1_6^17 - 55344343948022960170292490/12463112313393280648107419*c_01\ 01_6^16 + 11141382110583889553891355031/12463112313393280648107419*\ c_0101_6^15 - 9486795952460195726703520110/124631123133932806481074\ 19*c_0101_6^14 - 50095236962784457175911307451/12463112313393280648\ 107419*c_0101_6^13 - 2538420848433395780120572811/12463112313393280\ 648107419*c_0101_6^12 + 109473840268938314993486829128/124631123133\ 93280648107419*c_0101_6^11 + 77176732667717983005710397090/12463112\ 313393280648107419*c_0101_6^10 - 92401681845978456205147671798/1246\ 3112313393280648107419*c_0101_6^9 - 108093766992056004689115866818/12463112313393280648107419*c_0101_6^\ 8 + 34344341935717473378332921013/12463112313393280648107419*c_0101\ _6^7 + 61304052061936410823555909807/12463112313393280648107419*c_0\ 101_6^6 - 12006231430892402128346413129/12463112313393280648107419*\ c_0101_6^5 - 20388925566610489948118335703/124631123133932806481074\ 19*c_0101_6^4 + 5337746277624747685736023799/1246311231339328064810\ 7419*c_0101_6^3 + 3295170958823769074389190595/12463112313393280648\ 107419*c_0101_6^2 - 1599423476198062106571155501/124631123133932806\ 48107419*c_0101_6 + 197664487368985502236289414/1246311231339328064\ 8107419, c_0101_4 - 22283669028215158515572049/12463112313393280648107419*c_0101\ _6^20 + 55999882472794309297864352/12463112313393280648107419*c_010\ 1_6^19 + 362008623099361265841942130/12463112313393280648107419*c_0\ 101_6^18 - 3220366874724181284784225/48494600441218990848667*c_0101\ _6^17 - 210262816768677069519005080/12463112313393280648107419*c_01\ 01_6^16 + 4749258329318766476721980331/12463112313393280648107419*c\ _0101_6^15 - 3031429929731500458895021883/1246311231339328064810741\ 9*c_0101_6^14 - 22201813141988564673484304867/124631123133932806481\ 07419*c_0101_6^13 - 6021994989669214902024374092/124631123133932806\ 48107419*c_0101_6^12 + 45584219289169605438775724398/12463112313393\ 280648107419*c_0101_6^11 + 43253871807527418229027485988/1246311231\ 3393280648107419*c_0101_6^10 - 29680062154680738106955227907/124631\ 12313393280648107419*c_0101_6^9 - 52626673775556651333617905427/124\ 63112313393280648107419*c_0101_6^8 + 2567567301710757440569979510/12463112313393280648107419*c_0101_6^7 + 26038401198640760017842937240/12463112313393280648107419*c_0101_6^6 + 802393679385408083024984695/12463112313393280648107419*c_0101_6^5 - 7848308221381788190041497078/12463112313393280648107419*c_0101_6^\ 4 + 594644324550179572099042407/12463112313393280648107419*c_0101_6\ ^3 + 1258291738671674105128214453/12463112313393280648107419*c_0101\ _6^2 - 414766847654174594345664684/12463112313393280648107419*c_010\ 1_6 + 55052159287265248427060565/12463112313393280648107419, c_0101_6^21 - 3*c_0101_6^20 - 15*c_0101_6^19 + 45*c_0101_6^18 - 9*c_0101_6^17 - 217*c_0101_6^16 + 240*c_0101_6^15 + 926*c_0101_6^14 - 213*c_0101_6^13 - 2157*c_0101_6^12 - 933*c_0101_6^11 + 2241*c_0101_6^10 + 1661*c_0101_6^9 - 1260*c_0101_6^8 - 1062*c_0101_6^7 + 555*c_0101_6^6 + 354*c_0101_6^5 - 210*c_0101_6^4 - 41*c_0101_6^3 + 49*c_0101_6^2 - 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB