Magma V2.19-8 Wed Aug 21 2013 01:02:27 on localhost [Seed = 3634283305] Type ? for help. Type -D to quit. Loading file "L14n15028__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15028 geometric_solution 12.20972879 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319777329474 0.808935157953 0 5 7 6 0132 0132 0132 0132 1 1 0 1 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 -1 1 0 1 0 0 -1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525464846957 1.408548721209 8 0 9 7 0132 0132 0132 0132 1 1 0 1 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 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.600139687114 1.237302112547 10 5 11 0 0132 1230 0132 0132 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577368336930 1.069123979752 10 9 0 8 3120 1023 0132 1023 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 0 0 0 0 0 0 -1 1 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.975160783816 0.723091299003 12 1 3 9 0132 0132 3012 2031 1 1 1 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 0 -1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338335553629 0.490630685699 8 10 1 11 2103 2103 0132 3012 1 1 1 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 -1 0 1 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.288492340590 0.704174212037 10 12 2 1 2103 1302 0132 0132 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 0 0 0 0 0 0 0 1 -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.288492340590 0.704174212037 2 12 6 4 0132 0132 2103 1023 1 1 1 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 1 -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.455889196812 0.621000508148 4 5 11 2 1023 1302 3012 0132 1 1 1 1 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542325776536 0.273536929243 3 6 7 4 0132 2103 2103 3120 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 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.214800213967 0.637585149927 12 9 6 3 2031 1230 1230 0132 1 1 1 1 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 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.236491117031 0.731782948374 5 8 11 7 0132 0132 1302 2031 1 1 0 1 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798169637781 0.910961053789 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0101_0'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_1001_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : negation(d['c_0101_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_9'], 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_4']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_4'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_6'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0110_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0101_9, c_0110_6, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 4098828745160701357/12472322390017785*c_1001_11^17 + 615026628157685305/4988928956007114*c_1001_11^16 - 29199451584572755129/24944644780035570*c_1001_11^15 - 161364923950569073/8314881593345190*c_1001_11^14 - 49129947323581369/24969614394430*c_1001_11^13 - 3813217529757648575/4988928956007114*c_1001_11^12 - 8609827685393122763/4157440796672595*c_1001_11^11 - 35562569889483190949/24944644780035570*c_1001_11^10 - 6294619704252615938/4157440796672595*c_1001_11^9 - 32037184229493142481/24944644780035570*c_1001_11^8 - 13870900089127005251/24944644780035570*c_1001_11^7 - 6176327912284934767/8314881593345190*c_1001_11^6 + 1996684935716061533/8314881593345190*c_1001_11^5 - 944744547528044507/2771627197781730*c_1001_11^4 + 4911126579525255973/12472322390017785*c_1001_11^3 - 511023713092992784/4157440796672595*c_1001_11^2 + 1853850724730146232/12472322390017785*c_1001_11 - 251370429719447837/8314881593345190, c_0011_0 - 1, c_0011_10 - 5003826566882/164879666733*c_1001_11^17 + 1398031065071/164879666733*c_1001_11^16 - 16094490196843/164879666733*c_1001_11^15 - 1384379108159/109919777822*c_1001_11^14 - 466174847613/2970804806*c_1001_11^13 - 12343042010989/164879666733*c_1001_11^12 - 9049331468195/54959888911*c_1001_11^11 - 38377076087989/329759333466*c_1001_11^10 - 6494266660663/54959888911*c_1001_11^9 - 32004634726627/329759333466*c_1001_11^8 - 12772033590013/329759333466*c_1001_11^7 - 5897833349307/109919777822*c_1001_11^6 + 1084400372646/54959888911*c_1001_11^5 - 2568757632523/109919777822*c_1001_11^4 + 4450113932198/164879666733*c_1001_11^3 - 967434371239/109919777822*c_1001_11^2 + 2913485930447/329759333466*c_1001_11 - 268497903641/109919777822, c_0011_11 - 1507871481415/164879666733*c_1001_11^17 + 2901228132443/329759333466*c_1001_11^16 - 7621782848521/329759333466*c_1001_11^15 + 2001218369679/109919777822*c_1001_11^14 - 26697551205/1485402403*c_1001_11^13 + 8336719472063/329759333466*c_1001_11^12 + 623512858140/54959888911*c_1001_11^11 + 6700465870901/164879666733*c_1001_11^10 + 2274228511990/54959888911*c_1001_11^9 + 15891871479427/329759333466*c_1001_11^8 + 17599860346345/329759333466*c_1001_11^7 + 3279412152391/109919777822*c_1001_11^6 + 2027490289212/54959888911*c_1001_11^5 + 279453464166/54959888911*c_1001_11^4 + 1969995163303/164879666733*c_1001_11^3 - 564417862191/109919777822*c_1001_11^2 + 192241871617/329759333466*c_1001_11 - 216669002628/54959888911, c_0011_4 - 902156780902/54959888911*c_1001_11^17 + 109549905612/54959888911*c_1001_11^16 - 6606626385359/109919777822*c_1001_11^15 - 1006227912651/109919777822*c_1001_11^14 - 164626318695/1485402403*c_1001_11^13 - 2610478077438/54959888911*c_1001_11^12 - 13767549567493/109919777822*c_1001_11^11 - 4490655140008/54959888911*c_1001_11^10 - 10203068401411/109919777822*c_1001_11^9 - 8058056886511/109919777822*c_1001_11^8 - 3670933565577/109919777822*c_1001_11^7 - 2067491158155/54959888911*c_1001_11^6 + 1461551061901/109919777822*c_1001_11^5 - 881407361894/54959888911*c_1001_11^4 + 2597917122633/109919777822*c_1001_11^3 - 940493154349/109919777822*c_1001_11^2 + 1054001468413/109919777822*c_1001_11 - 178152485060/54959888911, c_0011_6 - 624567230066/54959888911*c_1001_11^17 + 2012606539404/54959888911*c_1001_11^16 - 4848566731385/109919777822*c_1001_11^15 + 11619760831869/109919777822*c_1001_11^14 - 52248436941/1485402403*c_1001_11^13 + 8271606647935/54959888911*c_1001_11^12 + 5170095646657/109919777822*c_1001_11^11 + 8324758172026/54959888911*c_1001_11^10 + 13067888805821/109919777822*c_1001_11^9 + 12935290340821/109919777822*c_1001_11^8 + 13347653446393/109919777822*c_1001_11^7 + 2431584448345/54959888911*c_1001_11^6 + 8978534444897/109919777822*c_1001_11^5 - 1146845218013/54959888911*c_1001_11^4 + 4036392195643/109919777822*c_1001_11^3 - 3391148363543/109919777822*c_1001_11^2 + 886231304101/109919777822*c_1001_11 - 577364603871/54959888911, c_0101_0 - 974918140144/164879666733*c_1001_11^17 + 467453100007/164879666733*c_1001_11^16 - 9504319716691/329759333466*c_1001_11^15 - 81850014677/109919777822*c_1001_11^14 - 167806675539/2970804806*c_1001_11^13 - 4407527853269/164879666733*c_1001_11^12 - 7539820501421/109919777822*c_1001_11^11 - 9422756704729/164879666733*c_1001_11^10 - 3480657191014/54959888911*c_1001_11^9 - 9318967113532/164879666733*c_1001_11^8 - 12233525035973/329759333466*c_1001_11^7 - 3861747399245/109919777822*c_1001_11^6 - 437331548353/109919777822*c_1001_11^5 - 776933568374/54959888911*c_1001_11^4 + 1566564575434/164879666733*c_1001_11^3 - 143201126670/54959888911*c_1001_11^2 + 1378631927611/329759333466*c_1001_11 + 28175848781/109919777822, c_0101_1 - 1, c_0101_2 + 1507871481415/164879666733*c_1001_11^17 - 2901228132443/329759333466*c_1001_11^16 + 7621782848521/329759333466*c_1001_11^15 - 2001218369679/109919777822*c_1001_11^14 + 26697551205/1485402403*c_1001_11^13 - 8336719472063/329759333466*c_1001_11^12 - 623512858140/54959888911*c_1001_11^11 - 6700465870901/164879666733*c_1001_11^10 - 2274228511990/54959888911*c_1001_11^9 - 15891871479427/329759333466*c_1001_11^8 - 17599860346345/329759333466*c_1001_11^7 - 3279412152391/109919777822*c_1001_11^6 - 2027490289212/54959888911*c_1001_11^5 - 279453464166/54959888911*c_1001_11^4 - 1969995163303/164879666733*c_1001_11^3 + 564417862191/109919777822*c_1001_11^2 - 192241871617/329759333466*c_1001_11 + 216669002628/54959888911, c_0101_3 - 3009979757018/164879666733*c_1001_11^17 + 3891489242228/164879666733*c_1001_11^16 - 24886092299999/329759333466*c_1001_11^15 + 3244454390758/54959888911*c_1001_11^14 - 179056746215/1485402403*c_1001_11^13 + 8230948219589/164879666733*c_1001_11^12 - 10157988054421/109919777822*c_1001_11^11 + 1508603576441/329759333466*c_1001_11^10 - 1664206373577/54959888911*c_1001_11^9 - 5924205043663/329759333466*c_1001_11^8 + 2792271727231/164879666733*c_1001_11^7 - 1509027026942/54959888911*c_1001_11^6 + 5015751112919/109919777822*c_1001_11^5 - 4001023749687/109919777822*c_1001_11^4 + 6947945078579/164879666733*c_1001_11^3 - 2781149788221/109919777822*c_1001_11^2 + 2483535229312/164879666733*c_1001_11 - 356215735097/54959888911, c_0101_5 - 191119592261/164879666733*c_1001_11^17 + 4825415349277/329759333466*c_1001_11^16 - 1221232177721/329759333466*c_1001_11^15 + 5559054001657/109919777822*c_1001_11^14 + 25087228621/2970804806*c_1001_11^13 + 29739545714413/329759333466*c_1001_11^12 + 2638481019571/54959888911*c_1001_11^11 + 17060414027650/164879666733*c_1001_11^10 + 8834829139665/109919777822*c_1001_11^9 + 13675933055758/164879666733*c_1001_11^8 + 23437107986957/329759333466*c_1001_11^7 + 2044808695156/54959888911*c_1001_11^6 + 2099518643323/54959888911*c_1001_11^5 - 251077196621/54959888911*c_1001_11^4 + 4347887844361/329759333466*c_1001_11^3 - 857343295963/54959888911*c_1001_11^2 + 1076235733901/329759333466*c_1001_11 - 700890601379/109919777822, c_0101_9 + 1074796594859/164879666733*c_1001_11^17 - 6600318787639/329759333466*c_1001_11^16 + 10641969285593/329759333466*c_1001_11^15 - 7075414264245/109919777822*c_1001_11^14 + 123727521191/2970804806*c_1001_11^13 - 29753342227597/329759333466*c_1001_11^12 - 99549571079/54959888911*c_1001_11^11 - 13248377631958/164879666733*c_1001_11^10 - 5955946170821/109919777822*c_1001_11^9 - 9664490951461/164879666733*c_1001_11^8 - 21750672634067/329759333466*c_1001_11^7 - 1215071091252/54959888911*c_1001_11^6 - 2865064203566/54959888911*c_1001_11^5 + 798521498205/54959888911*c_1001_11^4 - 9986619843787/329759333466*c_1001_11^3 + 1117359410845/54959888911*c_1001_11^2 - 2851009773395/329759333466*c_1001_11 + 686691503469/109919777822, c_0110_6 - 641141851649/54959888911*c_1001_11^17 - 580217234797/109919777822*c_1001_11^16 - 2202538321021/54959888911*c_1001_11^15 - 2057534304520/54959888911*c_1001_11^14 - 109613293641/1485402403*c_1001_11^13 - 10680333340319/109919777822*c_1001_11^12 - 11307923396827/109919777822*c_1001_11^11 - 7249964445284/54959888911*c_1001_11^10 - 12303374089249/109919777822*c_1001_11^9 - 6101748107031/54959888911*c_1001_11^8 - 4279395582708/54959888911*c_1001_11^7 - 6636509443621/109919777822*c_1001_11^6 - 2945083381893/109919777822*c_1001_11^5 - 733812846222/54959888911*c_1001_11^4 - 228829968797/109919777822*c_1001_11^3 + 429237492839/54959888911*c_1001_11^2 + 8910378518/54959888911*c_1001_11 + 292345467668/54959888911, c_1001_11^18 - 17/26*c_1001_11^17 + 115/26*c_1001_11^16 - 27/26*c_1001_11^15 + 225/26*c_1001_11^14 + 17/13*c_1001_11^13 + 135/13*c_1001_11^12 + 70/13*c_1001_11^11 + 231/26*c_1001_11^10 + 185/26*c_1001_11^9 + 67/13*c_1001_11^8 + 75/13*c_1001_11^7 + 21/26*c_1001_11^6 + 45/13*c_1001_11^5 - 41/26*c_1001_11^4 + 3/2*c_1001_11^3 - 17/13*c_1001_11^2 + 9/26*c_1001_11 - 9/26 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB