Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2715827525] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0620 geometric_solution 4.62213579 oriented_manifold CS_known 0.0000000000000000 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 1.739963654960 0.294773751615 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 -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 1.120829413526 0.906570892163 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.266868399887 0.185530784299 2 4 5 4 0132 2310 0132 3201 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 0 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.318034050543 1.574801670703 5 3 2 3 0132 2310 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 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 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.318034050543 1.574801670703 4 6 6 3 0132 0132 1023 0132 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 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.325819746945 0.215139865493 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 -1 0 0 1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.124390342939 1.130121991722 ==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' : 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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : 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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), '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_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : 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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 93003118947674983701095/1807751710239052137778*c_0101_6^13 + 707386175232082736292255/1807751710239052137778*c_0101_6^12 - 21588931232182878498047660/903875855119526068889*c_0101_6^11 + 253370490830652857557390233/903875855119526068889*c_0101_6^10 - 1339426205347741505189032259/903875855119526068889*c_0101_6^9 + 7846925771900618659370251687/1807751710239052137778*c_0101_6^8 - 13869034648725759826249759629/1807751710239052137778*c_0101_6^7 + 446036745992968893521278806/53169167948207415817*c_0101_6^6 - 4987548705939430203438978047/903875855119526068889*c_0101_6^5 + 3468696425582459355093074877/1807751710239052137778*c_0101_6^4 - 147283593335011268750754665/903875855119526068889*c_0101_6^3 - 163547785539506679279208703/1807751710239052137778*c_0101_6^2 + 435817714213461125117110/22045752563890879729*c_0101_6 + 141554838230915443559833/1807751710239052137778, c_0011_0 - 1, c_0011_1 - 6622612189788085/44717550839535253*c_0101_6^13 - 49719655589241035/44717550839535253*c_0101_6^12 + 3084492482857806694/44717550839535253*c_0101_6^11 - 36338193598871810031/44717550839535253*c_0101_6^10 + 192145280193235760548/44717550839535253*c_0101_6^9 - 556045007428182509583/44717550839535253*c_0101_6^8 + 955134377899990081021/44717550839535253*c_0101_6^7 - 997514492101593051820/44717550839535253*c_0101_6^6 + 616399935782011780532/44717550839535253*c_0101_6^5 - 196267411642291774416/44717550839535253*c_0101_6^4 + 9980474569354750448/44717550839535253*c_0101_6^3 + 11340223640819696136/44717550839535253*c_0101_6^2 - 1863089059355299724/44717550839535253*c_0101_6 - 155068791271929735/44717550839535253, c_0011_4 + 6646968014414590/44717550839535253*c_0101_6^13 + 79793617192466653/44717550839535253*c_0101_6^12 - 2805286298267233089/44717550839535253*c_0101_6^11 + 23183835490771843728/44717550839535253*c_0101_6^10 - 58328109959612950555/44717550839535253*c_0101_6^9 - 7433105231142978839/44717550839535253*c_0101_6^8 + 257825133358166676669/44717550839535253*c_0101_6^7 - 436733422284704025050/44717550839535253*c_0101_6^6 + 299227876622606734406/44717550839535253*c_0101_6^5 - 68710261560336960595/44717550839535253*c_0101_6^4 - 11470809392947956289/44717550839535253*c_0101_6^3 + 4765858228103663488/44717550839535253*c_0101_6^2 + 182379468168104545/44717550839535253*c_0101_6 - 8640230118729695/44717550839535253, c_0101_0 + 5850026156557778/44717550839535253*c_0101_6^13 + 43741986630625356/44717550839535253*c_0101_6^12 - 2727161845976606740/44717550839535253*c_0101_6^11 + 32171004581023660778/44717550839535253*c_0101_6^10 - 170176789383299586211/44717550839535253*c_0101_6^9 + 490728979719893396792/44717550839535253*c_0101_6^8 - 832945271093696336842/44717550839535253*c_0101_6^7 + 843380266756948376014/44717550839535253*c_0101_6^6 - 481349305542861773736/44717550839535253*c_0101_6^5 + 119301301302483663660/44717550839535253*c_0101_6^4 + 11128312688217383853/44717550839535253*c_0101_6^3 - 10234724707654440368/44717550839535253*c_0101_6^2 + 661072948809561847/44717550839535253*c_0101_6 + 118963938183437304/44717550839535253, c_0101_2 - 10356960791549472/44717550839535253*c_0101_6^13 - 86219124260504470/44717550839535253*c_0101_6^12 + 4749839650333107505/44717550839535253*c_0101_6^11 - 52987026923514095110/44717550839535253*c_0101_6^10 + 258669390813696629416/44717550839535253*c_0101_6^9 - 671112815759443428018/44717550839535253*c_0101_6^8 + 985178866832650716232/44717550839535253*c_0101_6^7 - 799892631018896962872/44717550839535253*c_0101_6^6 + 303502927951179832706/44717550839535253*c_0101_6^5 - 8173082134504168446/44717550839535253*c_0101_6^4 - 22817200819223493775/44717550839535253*c_0101_6^3 + 2389800932452410213/44717550839535253*c_0101_6^2 + 387878645088846628/44717550839535253*c_0101_6 + 20307688220822929/44717550839535253, c_0101_3 + 102310721679783809/44717550839535253*c_0101_6^13 + 933062623396623466/44717550839535253*c_0101_6^12 - 46111264019379376477/44717550839535253*c_0101_6^11 + 487425696530462351217/44717550839535253*c_0101_6^10 - 2197892815163643570996/44717550839535253*c_0101_6^9 + 5186339983456998229019/44717550839535253*c_0101_6^8 - 6866905188285601041441/44717550839535253*c_0101_6^7 + 5004698598191290101887/44717550839535253*c_0101_6^6 - 1676940253239398430498/44717550839535253*c_0101_6^5 - 8777741367433219686/44717550839535253*c_0101_6^4 + 131697285492005286303/44717550839535253*c_0101_6^3 - 11214190463736115915/44717550839535253*c_0101_6^2 - 3167577359722708183/44717550839535253*c_0101_6 - 84198975255483754/44717550839535253, c_0101_6^14 + 8*c_0101_6^13 - 461*c_0101_6^12 + 5268*c_0101_6^11 - 26779*c_0101_6^10 + 74371*c_0101_6^9 - 122398*c_0101_6^8 + 121199*c_0101_6^7 - 68311*c_0101_6^6 + 16985*c_0101_6^5 + 1448*c_0101_6^4 - 1444*c_0101_6^3 + 85*c_0101_6^2 + 28*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB