Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 1124261776] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1246 geometric_solution 5.14224541 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 0 1 -1 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.549231376982 0.760520745251 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 0 -1 0 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 -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.943105460736 0.910995233181 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 0 -1 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 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.943105460736 0.910995233181 3 1 2 3 3201 0132 3201 2310 0 0 0 0 0 -1 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 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.255181706439 0.744893222803 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 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 0 0 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 1.489748210076 0.380166247420 4 4 6 6 3201 0132 3201 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430611083627 0.393812759228 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.220303231875 0.473867092117 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : negation(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_1'], 'c_1100_3' : 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_0011_4'], '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' : d['c_0011_4'], '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_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), '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' : d['c_0011_4'], '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: 21 Groebner basis: [ t - 988369640950526280629907690170908/8155134286426307323246887397303*c\ _0101_6^20 + 1093655042753254747679698456944078/8155134286426307323\ 246887397303*c_0101_6^19 - 7355521950051641625288439067233899/81551\ 34286426307323246887397303*c_0101_6^18 + 16468953604379762283340296504767471/8155134286426307323246887397303\ *c_0101_6^17 + 7307063197102100713304758157379836/81551342864263073\ 23246887397303*c_0101_6^16 - 2299674312531988464750091353245198/815\ 5134286426307323246887397303*c_0101_6^15 + 25171094376154788367385852182244473/8155134286426307323246887397303\ *c_0101_6^14 - 113801674289189731059351387279497973/815513428642630\ 7323246887397303*c_0101_6^13 - 31773207037933149864809473610801643/\ 8155134286426307323246887397303*c_0101_6^12 + 154457878961632721316332030876000014/815513428642630732324688739730\ 3*c_0101_6^11 + 27118729128262459535191764594774452/815513428642630\ 7323246887397303*c_0101_6^10 - 158820617223330008375884278737129872\ /8155134286426307323246887397303*c_0101_6^9 + 117330644380610625375166033223018293/815513428642630732324688739730\ 3*c_0101_6^8 - 31616522688084648997356194083279612/8155134286426307\ 323246887397303*c_0101_6^7 + 43412838751777334526766571469374198/81\ 55134286426307323246887397303*c_0101_6^6 - 70490281903987474789549598846358018/8155134286426307323246887397303\ *c_0101_6^5 + 6074751347209914723972010777117388/815513428642630732\ 3246887397303*c_0101_6^4 + 53359588010860793121653077716122389/8155\ 134286426307323246887397303*c_0101_6^3 - 56332517579001278024198747576970095/8155134286426307323246887397303\ *c_0101_6^2 + 26992510200183989948092255510726722/81551342864263073\ 23246887397303*c_0101_6 - 4695248651027644693020362982751731/815513\ 4286426307323246887397303, c_0011_0 - 1, c_0011_4 + 1332917532206031242135323673844/8155134286426307323246887397\ 303*c_0101_6^20 - 3282926176832358546058862985942/81551342864263073\ 23246887397303*c_0101_6^19 + 10222229475403663856119228096691/81551\ 34286426307323246887397303*c_0101_6^18 - 34431810763223050252357399190098/8155134286426307323246887397303*c_\ 0101_6^17 + 8692714051749699456322626670264/81551342864263073232468\ 87397303*c_0101_6^16 + 40256533677420265001133555047682/81551342864\ 26307323246887397303*c_0101_6^15 - 12491050263935428815479560110860/8155134286426307323246887397303*c_\ 0101_6^14 + 199393723684868361311379944596438/815513428642630732324\ 6887397303*c_0101_6^13 - 133368477655262820669174849177389/81551342\ 86426307323246887397303*c_0101_6^12 - 456180330773721482551808554779844/8155134286426307323246887397303*c\ _0101_6^11 + 102584499644962738013604574886819/81551342864263073232\ 46887397303*c_0101_6^10 + 526662636088947345124632219837562/8155134\ 286426307323246887397303*c_0101_6^9 - 231111529096713947825096021234061/8155134286426307323246887397303*c\ _0101_6^8 + 17416180859236171674174686220087/8155134286426307323246\ 887397303*c_0101_6^7 - 92075781384392865821769348892775/81551342864\ 26307323246887397303*c_0101_6^6 + 180535629662363916298237341618256\ /8155134286426307323246887397303*c_0101_6^5 - 47671350032798211955312730676198/8155134286426307323246887397303*c_\ 0101_6^4 - 145136454314220366192884103348604/8155134286426307323246\ 887397303*c_0101_6^3 + 123518497087433128789739892127633/8155134286\ 426307323246887397303*c_0101_6^2 - 53599930949458665888828610160717/8155134286426307323246887397303*c_\ 0101_6 + 7133955956527180495407026338382/81551342864263073232468873\ 97303, c_0011_6 - 31920048202131469178665811231608/815513428642630732324688739\ 7303*c_0101_6^20 + 22598597970695474662821225807408/815513428642630\ 7323246887397303*c_0101_6^19 - 229295080037490944745487843223140/81\ 55134286426307323246887397303*c_0101_6^18 + 440483635301824511831376233758889/8155134286426307323246887397303*c\ _0101_6^17 + 405779741528633508113009197415326/81551342864263073232\ 46887397303*c_0101_6^16 + 93962317095120718419831989542497/81551342\ 86426307323246887397303*c_0101_6^15 + 862132564847508160702035575080242/8155134286426307323246887397303*c\ _0101_6^14 - 3315798543016053809600180224583672/8155134286426307323\ 246887397303*c_0101_6^13 - 2310208731036367691311526333066793/81551\ 34286426307323246887397303*c_0101_6^12 + 4015438787817469458850066319215056/8155134286426307323246887397303*\ c_0101_6^11 + 2389592293528170613383593521626911/815513428642630732\ 3246887397303*c_0101_6^10 - 4186868911314410367320870760104541/8155\ 134286426307323246887397303*c_0101_6^9 + 2138941096218877031761699909462783/8155134286426307323246887397303*\ c_0101_6^8 - 187246489359650412026715006661873/81551342864263073232\ 46887397303*c_0101_6^7 + 1420737223319606256283372150065871/8155134\ 286426307323246887397303*c_0101_6^6 - 1706842336909908796382196962324723/8155134286426307323246887397303*\ c_0101_6^5 - 457308973510570279516621458626032/81551342864263073232\ 46887397303*c_0101_6^4 + 1515324201249862363553405224200361/8155134\ 286426307323246887397303*c_0101_6^3 - 1218911734275076276030484843707540/8155134286426307323246887397303*\ c_0101_6^2 + 401149052149839296005945179627709/81551342864263073232\ 46887397303*c_0101_6 - 15418972213823301982835962528401/81551342864\ 26307323246887397303, c_0101_0 - 27078274484040654557676489732456/815513428642630732324688739\ 7303*c_0101_6^20 + 16427576260740014251718465823704/815513428642630\ 7323246887397303*c_0101_6^19 - 194718646232563840769409292289308/81\ 55134286426307323246887397303*c_0101_6^18 + 354261857155143276241178256671079/8155134286426307323246887397303*c\ _0101_6^17 + 367144027901059440677680965050063/81551342864263073232\ 46887397303*c_0101_6^16 + 135683652420389409455379594701655/8155134\ 286426307323246887397303*c_0101_6^15 + 780622310155489116720079123801036/8155134286426307323246887397303*c\ _0101_6^14 - 2712021827069865119188290246161842/8155134286426307323\ 246887397303*c_0101_6^13 - 2179582177438932681137948406543824/81551\ 34286426307323246887397303*c_0101_6^12 + 3018013875444499696465320497374671/8155134286426307323246887397303*\ c_0101_6^11 + 2104859469555766990011179024299330/815513428642630732\ 3246887397303*c_0101_6^10 - 3193887243798915293802811368362243/8155\ 134286426307323246887397303*c_0101_6^9 + 1758147072536197453128600667683176/8155134286426307323246887397303*\ c_0101_6^8 - 110124364138292300332334242144461/81551342864263073232\ 46887397303*c_0101_6^7 + 1168104915214092576987419643039552/8155134\ 286426307323246887397303*c_0101_6^6 - 1358542413538995423135354757793033/8155134286426307323246887397303*\ c_0101_6^5 - 432613247605642697902231451393314/81551342864263073232\ 46887397303*c_0101_6^4 + 1210730113553763650938520943271873/8155134\ 286426307323246887397303*c_0101_6^3 - 966422010571938904151448262641295/8155134286426307323246887397303*c\ _0101_6^2 + 308495292036514356253782441579556/815513428642630732324\ 6887397303*c_0101_6 - 13010894184890673487409596510602/815513428642\ 6307323246887397303, c_0101_1 + 7909759483998110996962605873284/8155134286426307323246887397\ 303*c_0101_6^20 - 8679097010123028031806847988254/81551342864263073\ 23246887397303*c_0101_6^19 + 58244043155147206741018018358559/81551\ 34286426307323246887397303*c_0101_6^18 - 131644809555066472415603602723330/8155134286426307323246887397303*c\ _0101_6^17 - 64240774968426270190648233716262/815513428642630732324\ 6887397303*c_0101_6^16 + 19592837833382023399678926324594/815513428\ 6426307323246887397303*c_0101_6^15 - 192231855395504386361844526659419/8155134286426307323246887397303*c\ _0101_6^14 + 929991462628036185187618105604669/81551342864263073232\ 46887397303*c_0101_6^13 + 305494137132000689427405353878456/8155134\ 286426307323246887397303*c_0101_6^12 - 1245815460354310656053810250245241/8155134286426307323246887397303*\ c_0101_6^11 - 303874314922700540432319494517966/8155134286426307323\ 246887397303*c_0101_6^10 + 1183854878000871383237203124190697/81551\ 34286426307323246887397303*c_0101_6^9 - 971106297114339598113398072340663/8155134286426307323246887397303*c\ _0101_6^8 + 257310626155790827239186509811490/815513428642630732324\ 6887397303*c_0101_6^7 - 238302688827865756306346162013562/815513428\ 6426307323246887397303*c_0101_6^6 + 597194675926397645692693742670463/8155134286426307323246887397303*c\ _0101_6^5 - 14127830062740523325439460120571/8155134286426307323246\ 887397303*c_0101_6^4 - 433167325055837875554777418402040/8155134286\ 426307323246887397303*c_0101_6^3 + 448506509165422777706022667725919/8155134286426307323246887397303*c\ _0101_6^2 - 205622101535265695025244962275735/815513428642630732324\ 6887397303*c_0101_6 + 7902061454064813180273462766471/8155134286426\ 307323246887397303, c_0101_2 - 12014364625815190299231631175464/815513428642630732324688739\ 7303*c_0101_6^20 + 7990310322217823037480292004640/8155134286426307\ 323246887397303*c_0101_6^19 - 86838989730482762008295893546680/8155\ 134286426307323246887397303*c_0101_6^18 + 162422045147200419053630474567357/8155134286426307323246887397303*c\ _0101_6^17 + 153753003697620297317308155913531/81551342864263073232\ 46887397303*c_0101_6^16 + 52282610834226369572439490287043/81551342\ 86426307323246887397303*c_0101_6^15 + 342630823665099005772682509882654/8155134286426307323246887397303*c\ _0101_6^14 - 1228098664579942785597391729036369/8155134286426307323\ 246887397303*c_0101_6^13 - 903118450438119247539798518994941/815513\ 4286426307323246887397303*c_0101_6^12 + 1384075217570072223842464919233022/8155134286426307323246887397303*\ c_0101_6^11 + 862630466233555749119461921930812/8155134286426307323\ 246887397303*c_0101_6^10 - 1433069431987971187060578214439703/81551\ 34286426307323246887397303*c_0101_6^9 + 883032368957493182903825326324594/8155134286426307323246887397303*c\ _0101_6^8 - 125240512377499675988010649132390/815513428642630732324\ 6887397303*c_0101_6^7 + 503128980483896615460858718659012/815513428\ 6426307323246887397303*c_0101_6^6 - 635620219888278307692924296318458/8155134286426307323246887397303*c\ _0101_6^5 - 152541104636439310945045773131068/815513428642630732324\ 6887397303*c_0101_6^4 + 546298302516001646215026077650344/815513428\ 6426307323246887397303*c_0101_6^3 - 456254912786971602663864503765502/8155134286426307323246887397303*c\ _0101_6^2 + 165398071579015339274433967830398/815513428642630732324\ 6887397303*c_0101_6 - 9777369109717681309098152623321/8155134286426\ 307323246887397303, c_0101_6^21 - 3/2*c_0101_6^20 + 31/4*c_0101_6^19 - 39/2*c_0101_6^18 - 7/4*c_0101_6^17 + 7*c_0101_6^16 - 99/4*c_0101_6^15 + 251/2*c_0101_6^14 - 39/4*c_0101_6^13 - 729/4*c_0101_6^12 + 99/4*c_0101_6^11 + 751/4*c_0101_6^10 - 689/4*c_0101_6^9 + 62*c_0101_6^8 - 191/4*c_0101_6^7 + 88*c_0101_6^6 - 29*c_0101_6^5 - 117/2*c_0101_6^4 + 305/4*c_0101_6^3 - 87/2*c_0101_6^2 + 21/2*c_0101_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB