Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 2867541607] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1611 geometric_solution 5.36912954 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 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 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 1.621836016304 0.325014002421 0 3 5 4 0132 1230 0132 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004561621521 0.742876672252 2 0 2 0 2031 0132 1302 1023 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 -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.570995304844 0.387150558800 4 5 1 0 0132 0132 3012 0132 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 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 1.004561621521 0.742876672252 3 6 1 6 0132 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 -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 1.098425225083 0.494168749030 5 3 5 1 2031 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163041814147 0.919766469759 4 4 6 6 3201 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539478939252 0.324079937698 ==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' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0110_2']})} 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_3, c_0110_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 138998922473728988439242183727/2451822346824883143349542950*c_0110_\ 6^17 + 32480544775058417585164676321/7355467040474649430048628850*c\ _0110_6^16 - 1181594557029610193123158113774/1225911173412441571674\ 771475*c_0110_6^15 + 135169173262107186386829601691/735546704047464\ 9430048628850*c_0110_6^14 - 105720710081171316310306074359/17940163\ 513352803487923485*c_0110_6^13 + 26312218498533669586473619438631/7\ 355467040474649430048628850*c_0110_6^12 - 53673313589669820125084305289843/3677733520237324715024314425*c_011\ 0_6^11 + 34248826498952148206315955943264/1225911173412441571674771\ 475*c_0110_6^10 - 42832231251884929274769201508357/2451822346824883\ 143349542950*c_0110_6^9 + 35019599694410663109757759823354/73554670\ 4047464943004862885*c_0110_6^8 - 183452916573140640100030306789369/\ 7355467040474649430048628850*c_0110_6^7 + 28582904459505354357323242128001/1225911173412441571674771475*c_011\ 0_6^6 - 51104643956149274226626706223036/36777335202373247150243144\ 25*c_0110_6^5 - 56129805504977663651443983268363/367773352023732471\ 5024314425*c_0110_6^4 + 5754991084881764565599773511309/14710934080\ 94929886009725770*c_0110_6^3 - 3728420684324101651547515390892/7355\ 46704047464943004862885*c_0110_6^2 + 13620080238071350522875900083851/7355467040474649430048628850*c_011\ 0_6 + 4569753836499140162734993725667/7355467040474649430048628850, c_0011_0 - 1, c_0011_3 + 358404184213693662253/70353582405305111717347*c_0110_6^17 + 366762625720507481824/70353582405305111717347*c_0110_6^16 + 5733009244609771513043/70353582405305111717347*c_0110_6^15 + 6775476328122214422557/70353582405305111717347*c_0110_6^14 + 31749024285255807882358/70353582405305111717347*c_0110_6^13 + 21350539797077065163838/70353582405305111717347*c_0110_6^12 + 37247155101001264526304/70353582405305111717347*c_0110_6^11 - 34852853605578334157718/70353582405305111717347*c_0110_6^10 - 151564148718261266389451/70353582405305111717347*c_0110_6^9 + 25994451983172554060646/70353582405305111717347*c_0110_6^8 - 291618740985477756864421/70353582405305111717347*c_0110_6^7 + 256480043832298351983874/70353582405305111717347*c_0110_6^6 - 348906712766326938060923/70353582405305111717347*c_0110_6^5 + 160337093730703957314200/70353582405305111717347*c_0110_6^4 - 30689963411388167144244/70353582405305111717347*c_0110_6^3 - 88770451155201765859873/70353582405305111717347*c_0110_6^2 + 201424610120913222216701/70353582405305111717347*c_0110_6 + 1509218775363567611668/70353582405305111717347, c_0101_0 - 230067648695530792982/70353582405305111717347*c_0110_6^17 - 1151191363520565547491/70353582405305111717347*c_0110_6^16 - 2194612051045855341884/70353582405305111717347*c_0110_6^15 - 20026592177835489210290/70353582405305111717347*c_0110_6^14 + 3079894161893690285127/70353582405305111717347*c_0110_6^13 - 109588941417889101783430/70353582405305111717347*c_0110_6^12 + 166615147827385007618368/70353582405305111717347*c_0110_6^11 - 307335416206784038560882/70353582405305111717347*c_0110_6^10 + 832050641750897782840623/70353582405305111717347*c_0110_6^9 - 966210008841464201047731/70353582405305111717347*c_0110_6^8 + 1247862511077455254143051/70353582405305111717347*c_0110_6^7 - 1405179211288625355424730/70353582405305111717347*c_0110_6^6 + 1208541469831706828274236/70353582405305111717347*c_0110_6^5 - 496591040181150935912439/70353582405305111717347*c_0110_6^4 - 103376520993347184181438/70353582405305111717347*c_0110_6^3 + 431917039151092313219152/70353582405305111717347*c_0110_6^2 - 283620126704010780217634/70353582405305111717347*c_0110_6 - 5271105989915809451531/70353582405305111717347, c_0101_1 - 28767292916931782498525/70353582405305111717347*c_0110_6^17 + 5525511030196153649368/70353582405305111717347*c_0110_6^16 - 489593569729227589517766/70353582405305111717347*c_0110_6^15 + 64585650114385033362211/70353582405305111717347*c_0110_6^14 - 2995768987834248273113671/70353582405305111717347*c_0110_6^13 + 2146954607581323177090006/70353582405305111717347*c_0110_6^12 - 7642304110308271516112144/70353582405305111717347*c_0110_6^11 + 14983042222858719247815084/70353582405305111717347*c_0110_6^10 - 10531120048881833896275054/70353582405305111717347*c_0110_6^9 + 25197983342050102283774274/70353582405305111717347*c_0110_6^8 - 15274718548917802988552983/70353582405305111717347*c_0110_6^7 + 13489126961073037077577978/70353582405305111717347*c_0110_6^6 - 8287260402825695995985044/70353582405305111717347*c_0110_6^5 - 6893822684102871132883598/70353582405305111717347*c_0110_6^4 + 2725902796544288943791937/70353582405305111717347*c_0110_6^3 - 2775830488402883703748629/70353582405305111717347*c_0110_6^2 + 1090752622793073392603794/70353582405305111717347*c_0110_6 + 207809748540977101988125/70353582405305111717347, c_0101_3 + 9882959487007900391174/70353582405305111717347*c_0110_6^17 - 2337960935723272649268/70353582405305111717347*c_0110_6^16 + 167844568288951490741304/70353582405305111717347*c_0110_6^15 - 29763533631675060335964/70353582405305111717347*c_0110_6^14 + 1022579929673255869503031/70353582405305111717347*c_0110_6^13 - 785078574382356052738031/70353582405305111717347*c_0110_6^12 + 2610548530154827999562342/70353582405305111717347*c_0110_6^11 - 5244938847240496308655492/70353582405305111717347*c_0110_6^10 + 3731846489907509563568026/70353582405305111717347*c_0110_6^9 - 8598443522837205212452606/70353582405305111717347*c_0110_6^8 + 5532533863407188919928012/70353582405305111717347*c_0110_6^7 - 4431116068501198434381612/70353582405305111717347*c_0110_6^6 + 2846619488708528282933202/70353582405305111717347*c_0110_6^5 + 2414330432096008976924836/70353582405305111717347*c_0110_6^4 - 1265009462891440479270235/70353582405305111717347*c_0110_6^3 + 922102796276518552347766/70353582405305111717347*c_0110_6^2 - 409895924968064314116565/70353582405305111717347*c_0110_6 - 75285327851506298858799/70353582405305111717347, c_0110_2 + 21579139904446648412507/70353582405305111717347*c_0110_6^17 - 663444820126154443579/70353582405305111717347*c_0110_6^16 + 366945505461976995497376/70353582405305111717347*c_0110_6^15 + 10223807088807637801524/70353582405305111717347*c_0110_6^14 + 2245698296604680852577363/70353582405305111717347*c_0110_6^13 - 1256851387657128303614646/70353582405305111717347*c_0110_6^12 + 5513466613342165759868033/70353582405305111717347*c_0110_6^11 - 10384564360441878990654643/70353582405305111717347*c_0110_6^10 + 6233572687404553499621272/70353582405305111717347*c_0110_6^9 - 17903788627758633999606873/70353582405305111717347*c_0110_6^8 + 8805198029734447896898942/70353582405305111717347*c_0110_6^7 - 8730419574512440298256272/70353582405305111717347*c_0110_6^6 + 5012982273625798809777717/70353582405305111717347*c_0110_6^5 + 5700328839949168739405337/70353582405305111717347*c_0110_6^4 - 1072541179799085825599437/70353582405305111717347*c_0110_6^3 + 1770649462676538905414022/70353582405305111717347*c_0110_6^2 - 626303411683812038419608/70353582405305111717347*c_0110_6 - 185320434785748162607115/70353582405305111717347, c_0110_6^18 + 17*c_0110_6^16 + c_0110_6^15 + 104*c_0110_6^14 - 55*c_0110_6^13 + 253*c_0110_6^12 - 473*c_0110_6^11 + 271*c_0110_6^10 - 818*c_0110_6^9 + 376*c_0110_6^8 - 381*c_0110_6^7 + 215*c_0110_6^6 + 286*c_0110_6^5 - 47*c_0110_6^4 + 85*c_0110_6^3 - 26*c_0110_6^2 - 13*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB