Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 3221103495] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0144 geometric_solution 3.64276282 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3120 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 1 0 -1 -1 0 1 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.998767005417 0.505165334964 0 1 1 2 0132 3201 2310 3012 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 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.202726077190 0.403252356246 0 0 1 3 3120 0132 1230 3012 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 -1 1 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.004831605859 1.979538130278 4 4 2 0 0132 3201 1230 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 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.275138773845 0.933280598140 3 5 3 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.831670896620 0.794486456829 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534856464990 0.040495713379 5 6 5 6 0132 2310 1023 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.742707110045 0.013206296456 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_3']), 'c_0011_6' : negation(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_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_0'], '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 158987351023317682550865401/347089711332033175832567*c_0101_6^20 + 1308559819158898468875199862/347089711332033175832567*c_0101_6^19 - 11780865982127527126559455309/347089711332033175832567*c_0101_6^18 - 24810535033482206715885953272/347089711332033175832567*c_0101_6^17 + 177097701411996963775989844944/347089711332033175832567*c_0101_6^16 + 75630763454260182868704648531/347089711332033175832567*c_0101_6^1\ 5 - 977992352907487713257111938657/347089711332033175832567*c_0101_\ 6^14 + 171548264465263923113231605659/347089711332033175832567*c_01\ 01_6^13 + 2535298946053036739413452991820/347089711332033175832567*\ c_0101_6^12 - 1028717829866606420775554484097/347089711332033175832\ 567*c_0101_6^11 - 3571438781872916416798686179349/34708971133203317\ 5832567*c_0101_6^10 + 1690149957895217460258893607615/3470897113320\ 33175832567*c_0101_6^9 + 2925844783515024182843254886740/3470897113\ 32033175832567*c_0101_6^8 - 1282282591731672522549562029007/3470897\ 11332033175832567*c_0101_6^7 - 1407397198743205766712908969083/3470\ 89711332033175832567*c_0101_6^6 + 458378651009039310334667877927/34\ 7089711332033175832567*c_0101_6^5 + 372416979923477591454577764559/347089711332033175832567*c_0101_6^4 - 61757827929047815879629308171/347089711332033175832567*c_0101_6^3 - 42952205283088715270068670755/347089711332033175832567*c_0101_6^2 + 392446718754238100527672354/347089711332033175832567*c_0101_6 + 717453860911255380963311447/347089711332033175832567, c_0011_0 - 1, c_0011_3 + 212580153101836982765509/347089711332033175832567*c_0101_6^2\ 0 + 1647221466300021048340252/347089711332033175832567*c_0101_6^19 - 16569844469952136858594637/347089711332033175832567*c_0101_6^18 - 25416429473970577478982170/347089711332033175832567*c_0101_6^17 + 250551045858125274052896851/347089711332033175832567*c_0101_6^16 - 13935968427826822209458342/347089711332033175832567*c_0101_6^15 - 1321354927289119038773750873/347089711332033175832567*c_0101_6^14 + 828401312442113067293941296/347089711332033175832567*c_0101_6^13 + 3101621784669781015187950987/347089711332033175832567*c_0101_6^12 - 2758622290632768067948118791/347089711332033175832567*c_0101_6^11 - 3741241930925491885068703430/347089711332033175832567*c_0101_6^10 + 3881075096689015332597535064/347089711332033175832567*c_0101_6^9 + 2468746728893491996435939453/347089711332033175832567*c_0101_6^8 - 2726456116379403647789086005/347089711332033175832567*c_0101_6^7 - 911615389946657901327220596/347089711332033175832567*c_0101_6^6 + 947857052500531620268163529/347089711332033175832567*c_0101_6^5 + 188143006688508354359885670/347089711332033175832567*c_0101_6^4 - 139767919781061975812246618/347089711332033175832567*c_0101_6^3 - 18890405593996308174393711/347089711332033175832567*c_0101_6^2 + 5262027125762488468640990/347089711332033175832567*c_0101_6 + 428040945531349317922803/347089711332033175832567, c_0101_0 + 109356315616359550405895/347089711332033175832567*c_0101_6^2\ 0 + 946584818287888230010260/347089711332033175832567*c_0101_6^19 - 7596394336775288706880226/347089711332033175832567*c_0101_6^18 - 19383723611080872178435778/347089711332033175832567*c_0101_6^17 + 106405491680004463161702963/347089711332033175832567*c_0101_6^16 + 77841989865126048151424489/347089711332033175832567*c_0101_6^15 - 538683725571365761039387777/347089711332033175832567*c_0101_6^14 - 21892661946269352399502486/347089711332033175832567*c_0101_6^13 + 1208284811916823681951610002/347089711332033175832567*c_0101_6^12 - 289405967844297198448383969/347089711332033175832567*c_0101_6^11 - 1323011716545309147718966745/347089711332033175832567*c_0101_6^10 + 475176200236220627307432176/347089711332033175832567*c_0101_6^9 + 672035552674061821541057737/347089711332033175832567*c_0101_6^8 - 280796254691529588222702322/347089711332033175832567*c_0101_6^7 - 88226903402452510233932513/347089711332033175832567*c_0101_6^6 + 59926663928970095441157653/347089711332033175832567*c_0101_6^5 - 41305898227596339415030263/347089711332033175832567*c_0101_6^4 - 1916411623405595855797675/347089711332033175832567*c_0101_6^3 + 12885754435617979574565517/347089711332033175832567*c_0101_6^2 - 86405224266349979514644/347089711332033175832567*c_0101_6 - 682341663671165255097866/347089711332033175832567, c_0101_1 - 252619317282185773115777/347089711332033175832567*c_0101_6^2\ 0 - 2229211621751050973054238/347089711332033175832567*c_0101_6^19 + 17215733626622242900481471/347089711332033175832567*c_0101_6^18 + 48066730570403832424184555/347089711332033175832567*c_0101_6^17 - 240573494338700597539713035/347089711332033175832567*c_0101_6^16 - 229300535716808482353250551/347089711332033175832567*c_0101_6^15 + 1246105539996992348213416920/347089711332033175832567*c_0101_6^14 + 310267856956579964682670390/347089711332033175832567*c_0101_6^13 - 2958482385090183012482373636/347089711332033175832567*c_0101_6^12 + 73479722815476529315298958/347089711332033175832567*c_0101_6^11 + 3629476369120942431936147985/347089711332033175832567*c_0101_6^10 - 441644218540138426584338992/347089711332033175832567*c_0101_6^9 - 2357508403861247978216214838/347089711332033175832567*c_0101_6^8 + 310648859501269747296680693/347089711332033175832567*c_0101_6^7 + 749075099475717432813696398/347089711332033175832567*c_0101_6^6 - 75204072673116929166987053/347089711332033175832567*c_0101_6^5 - 85944159024928838051070511/347089711332033175832567*c_0101_6^4 + 5628824081427895689766768/347089711332033175832567*c_0101_6^3 + 158218943161394099890846/347089711332033175832567*c_0101_6^2 - 62601346311978593828874/347089711332033175832567*c_0101_6 - 163391456271120365368191/347089711332033175832567, c_0101_3 + 240750868472071491133714/347089711332033175832567*c_0101_6^2\ 0 + 2049166108327047832912818/347089711332033175832567*c_0101_6^19 - 17096030306147051619145092/347089711332033175832567*c_0101_6^18 - 40877647722172156695171671/347089711332033175832567*c_0101_6^17 + 245448667673881447645786018/347089711332033175832567*c_0101_6^16 + 150934160771628990781264582/347089711332033175832567*c_0101_6^15 - 1284763827147990541422668804/347089711332033175832567*c_0101_6^14 + 55967502710357220917382856/347089711332033175832567*c_0101_6^13 + 3077992848522083574654088904/347089711332033175832567*c_0101_6^12 - 923655364437697148426762958/347089711332033175832567*c_0101_6^11 - 3890737737724775407888477078/347089711332033175832567*c_0101_6^10 + 1504056703517716548246731404/347089711332033175832567*c_0101_6^9 + 2782786617592037306797929622/347089711332033175832567*c_0101_6^8 - 1031282615341121101580731034/347089711332033175832567*c_0101_6^7 - 1160908050893621753180601514/347089711332033175832567*c_0101_6^6 + 320510945803355529506061068/347089711332033175832567*c_0101_6^5 + 280634649034396546284613592/347089711332033175832567*c_0101_6^4 - 38968896598051773274663966/347089711332033175832567*c_0101_6^3 - 34325625556362133488362072/347089711332033175832567*c_0101_6^2 + 1138405513987022085815262/347089711332033175832567*c_0101_6 + 1027053565418809129834068/347089711332033175832567, c_0101_5 + 17578929577501823124620/347089711332033175832567*c_0101_6^20 + 180567105891403722945131/347089711332033175832567*c_0101_6^19 - 936905562976288620252615/347089711332033175832567*c_0101_6^18 - 4764024446683209647463434/347089711332033175832567*c_0101_6^17 + 9345044479968309250629712/347089711332033175832567*c_0101_6^16 + 33806444846037548868763297/347089711332033175832567*c_0101_6^15 - 27785783607483353103497649/347089711332033175832567*c_0101_6^14 - 121849478968691594852259161/347089711332033175832567*c_0101_6^13 - 6003559847538821336801363/347089711332033175832567*c_0101_6^12 + 283853883565142375663760948/347089711332033175832567*c_0101_6^11 + 148669207611494181854641294/347089711332033175832567*c_0101_6^10 - 409011293414826480422737618/347089711332033175832567*c_0101_6^9 - 273484947757700065248355147/347089711332033175832567*c_0101_6^8 + 329004948707151224537396880/347089711332033175832567*c_0101_6^7 + 235680658640652284584144889/347089711332033175832567*c_0101_6^6 - 131794689656558427070075186/347089711332033175832567*c_0101_6^5 - 104988019195537786304936193/347089711332033175832567*c_0101_6^4 + 21067481528754808206688101/347089711332033175832567*c_0101_6^3 + 20453551872003665194084707/347089711332033175832567*c_0101_6^2 - 666726481869472688918747/347089711332033175832567*c_0101_6 - 819464858277304116274141/347089711332033175832567, c_0101_6^21 + 8*c_0101_6^20 - 76*c_0101_6^19 - 139*c_0101_6^18 + 1150*c_0101_6^17 + 220*c_0101_6^16 - 6262*c_0101_6^15 + 2486*c_0101_6^14 + 15704*c_0101_6^13 - 10098*c_0101_6^12 - 20998*c_0101_6^11 + 15704*c_0101_6^10 + 16005*c_0101_6^9 - 12186*c_0101_6^8 - 7044*c_0101_6^7 + 4848*c_0101_6^6 + 1700*c_0101_6^5 - 905*c_0101_6^4 - 184*c_0101_6^3 + 62*c_0101_6^2 + 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB