Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 240095980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0529 geometric_solution 4.54392576 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 2.732882199773 0.245143781986 0 2 2 0 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.432089873350 0.188959708392 1 1 3 4 2310 0132 0132 0132 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 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.215555969802 1.098926202302 4 5 4 2 1302 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798373434300 0.610798763465 5 3 2 3 2310 2031 0132 3012 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 0 0 0 0 0 0 0 0 0 0.798373434300 0.610798763465 6 3 4 6 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 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.333886770607 0.281532818253 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 -1 1 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 1 -1 0 1 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.026707948019 1.885110055208 ==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_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1075312746808612481627/78150203070222410099*c_0101_6^14 + 5334266783418481848614/78150203070222410099*c_0101_6^13 + 8513297213690311102569/78150203070222410099*c_0101_6^12 + 164129004289569558667/78150203070222410099*c_0101_6^11 - 150005020040993909418281/78150203070222410099*c_0101_6^10 - 150440125412776623810196/78150203070222410099*c_0101_6^9 + 13119700758292321147121/78150203070222410099*c_0101_6^8 + 139187397678694339073334/78150203070222410099*c_0101_6^7 + 69069392710122359118474/11164314724317487157*c_0101_6^6 + 76359990473638322344737/11164314724317487157*c_0101_6^5 + 46421909892212313016409/11164314724317487157*c_0101_6^4 + 4749624311965800037457/11164314724317487157*c_0101_6^3 - 90761092913787556511061/78150203070222410099*c_0101_6^2 - 28224702220134551839264/78150203070222410099*c_0101_6 - 2146148417098799832300/78150203070222410099, c_0011_0 - 1, c_0011_1 - 1841790690952914885/78150203070222410099*c_0101_6^14 - 8284379020576459144/78150203070222410099*c_0101_6^13 - 9369435968900755878/78150203070222410099*c_0101_6^12 + 11398223003475483758/78150203070222410099*c_0101_6^11 + 264485347901255780039/78150203070222410099*c_0101_6^10 + 137265183327118447274/78150203070222410099*c_0101_6^9 - 279864735990852898461/78150203070222410099*c_0101_6^8 - 367857106578199479660/78150203070222410099*c_0101_6^7 - 90251516260317974344/11164314724317487157*c_0101_6^6 - 64091288699695662948/11164314724317487157*c_0101_6^5 + 38311960756707689632/11164314724317487157*c_0101_6^4 + 98549553378921944792/11164314724317487157*c_0101_6^3 + 346626936152095937984/78150203070222410099*c_0101_6^2 + 3576899932934032340/78150203070222410099*c_0101_6 - 47917468502148277363/78150203070222410099, c_0011_3 - 489782059634215/11064732135101573*c_0101_6^14 - 2304460709601550/11064732135101573*c_0101_6^13 - 3253430214480323/11064732135101573*c_0101_6^12 + 924301431744623/11064732135101573*c_0101_6^11 + 68318885365789061/11064732135101573*c_0101_6^10 + 50898798597987490/11064732135101573*c_0101_6^9 - 24205324521294879/11064732135101573*c_0101_6^8 - 61363115712785251/11064732135101573*c_0101_6^7 - 201126349467097698/11064732135101573*c_0101_6^6 - 179118017361876283/11064732135101573*c_0101_6^5 - 85359724760696017/11064732135101573*c_0101_6^4 + 12958524979215787/11064732135101573*c_0101_6^3 + 40281726707423794/11064732135101573*c_0101_6^2 - 18083533321717161/11064732135101573*c_0101_6 - 3778632742103743/11064732135101573, c_0101_0 + 7387845046521648298/78150203070222410099*c_0101_6^14 + 40330662316157760948/78150203070222410099*c_0101_6^13 + 75049850721595182322/78150203070222410099*c_0101_6^12 + 22668334646734364388/78150203070222410099*c_0101_6^11 - 1039367680047665653088/78150203070222410099*c_0101_6^10 - 1540920997791932214364/78150203070222410099*c_0101_6^9 - 187292677565035555768/78150203070222410099*c_0101_6^8 + 1120860531181700235855/78150203070222410099*c_0101_6^7 + 523514028617387517488/11164314724317487157*c_0101_6^6 + 730683416060598200021/11164314724317487157*c_0101_6^5 + 490423391291550153987/11164314724317487157*c_0101_6^4 + 119432580737436133746/11164314724317487157*c_0101_6^3 - 580395310953578940502/78150203070222410099*c_0101_6^2 - 301112678630562061240/78150203070222410099*c_0101_6 - 1896965997327504260/78150203070222410099, c_0101_2 - 9428339934654758448/78150203070222410099*c_0101_6^14 - 49721998101552086970/78150203070222410099*c_0101_6^13 - 88106532746419726820/78150203070222410099*c_0101_6^12 - 19128316908861687474/78150203070222410099*c_0101_6^11 + 1323577150339467927398/78150203070222410099*c_0101_6^10 + 1730634861743099411138/78150203070222410099*c_0101_6^9 + 133926087329581506424/78150203070222410099*c_0101_6^8 - 1400065998460685565497/78150203070222410099*c_0101_6^7 - 660197488537411496874/11164314724317487157*c_0101_6^6 - 835173946469230481315/11164314724317487157*c_0101_6^5 - 537329678822786375423/11164314724317487157*c_0101_6^4 - 101883085598832763038/11164314724317487157*c_0101_6^3 + 1059285394588629309777/78150203070222410099*c_0101_6^2 + 439558509190134866047/78150203070222410099*c_0101_6 - 5021695377065416830/78150203070222410099, c_0101_5 - 4190445137778328376/78150203070222410099*c_0101_6^14 - 19796572932684909238/78150203070222410099*c_0101_6^13 - 28130772789511777824/78150203070222410099*c_0101_6^12 + 7927941666055378456/78150203070222410099*c_0101_6^11 + 586346331185126577314/78150203070222410099*c_0101_6^10 + 449262367736605929421/78150203070222410099*c_0101_6^9 - 207932283631513524285/78150203070222410099*c_0101_6^8 - 560753707897989427833/78150203070222410099*c_0101_6^7 - 256146773458512723202/11164314724317487157*c_0101_6^6 - 226427613242694342323/11164314724317487157*c_0101_6^5 - 102941822605396410160/11164314724317487157*c_0101_6^4 + 42894712973921462902/11164314724317487157*c_0101_6^3 + 511702915035585066422/78150203070222410099*c_0101_6^2 + 533398799350669494/78150203070222410099*c_0101_6 + 12110153833815462041/78150203070222410099, c_0101_6^15 + 5*c_0101_6^14 + 8*c_0101_6^13 - 140*c_0101_6^11 - 145*c_0101_6^10 + 22*c_0101_6^9 + 133*c_0101_6^8 + 451*c_0101_6^7 + 504*c_0101_6^6 + 280*c_0101_6^5 + 21*c_0101_6^4 - 100*c_0101_6^3 - 21*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB