Magma V2.19-8 Wed Aug 21 2013 00:50:54 on localhost [Seed = 3802462194] Type ? for help. Type -D to quit. Loading file "L10a62__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a62 geometric_solution 11.67700727 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 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 1 -1 0 0 -1 1 1 0 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788557192989 0.651622631602 0 4 6 5 0132 0132 0132 0132 0 0 0 1 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 -4 4 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422826273579 0.518382778381 7 0 8 0 0132 0132 0132 0213 1 1 0 1 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 1 0 0 -1 1 -3 4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788557192989 0.651622631602 7 6 8 0 2031 3012 1302 0132 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 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.611052226869 0.474265112589 9 1 10 11 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 1 -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 0 0 0 -1 0 9 -8 0 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624176572433 0.874925582057 7 9 1 11 1023 0132 0132 2031 0 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137986246515 0.765366892108 3 7 12 1 1230 0321 0132 0132 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 0 0 0 0 0.184264315936 0.477710240385 2 5 3 6 0132 1023 1302 0321 0 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621314682508 0.733636093908 3 12 12 2 2031 3120 3201 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 -1 0 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 0.005756690865 0.587814673105 4 5 10 10 0132 0132 2103 0321 0 1 0 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 -1 1 1 0 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233786810707 1.279909201480 9 9 11 4 2103 0321 2103 0132 0 1 0 1 0 0 0 0 0 0 1 -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 -1 1 0 0 0 9 -9 1 3 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233786810707 1.279909201480 10 5 4 12 2103 1302 0132 1302 0 1 0 1 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 -9 0 8 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095800564192 0.514542309372 8 8 11 6 2310 3120 2031 0132 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 1 -1 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.983340943101 1.701053316138 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_5'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : d['c_1010_11'], 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_3_10' : 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' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_11']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_1010_11']), 'c_1100_1' : negation(d['c_1010_11']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1010_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_3']})} 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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_6, c_0110_5, c_1001_4, c_1010_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 803765524307848615236/179739549526753073671*c_1010_11^14 - 4347227816603701769745/179739549526753073671*c_1010_11^13 - 1172297313139148258008/179739549526753073671*c_1010_11^12 + 23110749731308935066246/179739549526753073671*c_1010_11^11 - 649809711682649874242/3391312255221756107*c_1010_11^10 + 5274486840139085507647/179739549526753073671*c_1010_11^9 + 6042352098890009900804/16339959047886643061*c_1010_11^8 - 96227375055619435757213/179739549526753073671*c_1010_11^7 + 35668680664298211185481/179739549526753073671*c_1010_11^6 + 54733745226950222264371/179739549526753073671*c_1010_11^5 - 7550143832363856331339/16339959047886643061*c_1010_11^4 + 3393411304978232883339/16339959047886643061*c_1010_11^3 - 3866377788956129895391/179739549526753073671*c_1010_11^2 + 1660098108421275364133/179739549526753073671*c_1010_11 + 206310369124578042144/179739549526753073671, c_0011_0 - 1, c_0011_10 - 4368395730118130576/16339959047886643061*c_1010_11^14 - 14927130873017164564/16339959047886643061*c_1010_11^13 + 36978214267321009116/16339959047886643061*c_1010_11^12 + 117551351086856447210/16339959047886643061*c_1010_11^11 - 8437140953241902816/308301114111068737*c_1010_11^10 + 503375531051200732999/16339959047886643061*c_1010_11^9 + 164275077189516480108/16339959047886643061*c_1010_11^8 - 1226939896905311677388/16339959047886643061*c_1010_11^7 + 1536107025908852983858/16339959047886643061*c_1010_11^6 - 498978381876558076416/16339959047886643061*c_1010_11^5 - 912834925297876441165/16339959047886643061*c_1010_11^4 + 1343427817045729186922/16339959047886643061*c_1010_11^3 - 791735171027734408072/16339959047886643061*c_1010_11^2 + 221778052461293713237/16339959047886643061*c_1010_11 - 17598247593588472592/16339959047886643061, c_0011_12 + 44053696885367677828/16339959047886643061*c_1010_11^14 + 173976095523393301389/16339959047886643061*c_1010_11^13 - 283651384081532838253/16339959047886643061*c_1010_11^12 - 1363039944395617780186/16339959047886643061*c_1010_11^11 + 70506019355583533237/308301114111068737*c_1010_11^10 - 2976155015839451866859/16339959047886643061*c_1010_11^9 - 3094683417822789600648/16339959047886643061*c_1010_11^8 + 10279992327096918191062/16339959047886643061*c_1010_11^7 - 9621969125390582225973/16339959047886643061*c_1010_11^6 + 210176280422153823077/16339959047886643061*c_1010_11^5 + 8235737839596549869089/16339959047886643061*c_1010_11^4 - 8390466941168374660127/16339959047886643061*c_1010_11^3 + 3770487539618688969276/16339959047886643061*c_1010_11^2 - 898730558772673599375/16339959047886643061*c_1010_11 + 172700360982365489847/16339959047886643061, c_0011_3 + 6798939734091868836/16339959047886643061*c_1010_11^14 + 16062901640994050521/16339959047886643061*c_1010_11^13 - 96257657043066747432/16339959047886643061*c_1010_11^12 - 189189689050869041829/16339959047886643061*c_1010_11^11 + 17508985894307235156/308301114111068737*c_1010_11^10 - 1057152627662773217893/16339959047886643061*c_1010_11^9 - 293499707494608736676/16339959047886643061*c_1010_11^8 + 2520948700252159629961/16339959047886643061*c_1010_11^7 - 3166111179397544158204/16339959047886643061*c_1010_11^6 + 866850739983609709255/16339959047886643061*c_1010_11^5 + 2009888219844968439501/16339959047886643061*c_1010_11^4 - 2692444987142074250959/16339959047886643061*c_1010_11^3 + 1384474916171634868725/16339959047886643061*c_1010_11^2 - 291903607915349953227/16339959047886643061*c_1010_11 + 63128871780622626870/16339959047886643061, c_0011_6 + 113239133966824108932/16339959047886643061*c_1010_11^14 + 476098361694607022133/16339959047886643061*c_1010_11^13 - 591595940534535011935/16339959047886643061*c_1010_11^12 - 3562545464688904437065/16339959047886643061*c_1010_11^11 + 165069734111268612023/308301114111068737*c_1010_11^10 - 5875618662966220622262/16339959047886643061*c_1010_11^9 - 8950532654916746800939/16339959047886643061*c_1010_11^8 + 24236072234188335911273/16339959047886643061*c_1010_11^7 - 19782874896086553900597/16339959047886643061*c_1010_11^6 - 3076041509653162421463/16339959047886643061*c_1010_11^5 + 20198186846101493062151/16339959047886643061*c_1010_11^4 - 17458004824418766229400/16339959047886643061*c_1010_11^3 + 6349635767659361082146/16339959047886643061*c_1010_11^2 - 1098597332483532522982/16339959047886643061*c_1010_11 + 284310207866676873185/16339959047886643061, c_0011_8 + 2627575615417601684/16339959047886643061*c_1010_11^14 + 22977035656559609885/16339959047886643061*c_1010_11^13 + 52751525044871988498/16339959047886643061*c_1010_11^12 - 58877693247545073611/16339959047886643061*c_1010_11^11 - 3131983767112441784/308301114111068737*c_1010_11^10 + 274991736685222906316/16339959047886643061*c_1010_11^9 - 113120112163157941090/16339959047886643061*c_1010_11^8 - 443128273835754416905/16339959047886643061*c_1010_11^7 + 704282686148835871100/16339959047886643061*c_1010_11^6 - 148027297278320207533/16339959047886643061*c_1010_11^5 - 489793430563347270462/16339959047886643061*c_1010_11^4 + 508271349040178603036/16339959047886643061*c_1010_11^3 - 61583311742763309237/16339959047886643061*c_1010_11^2 - 45014904099702539461/16339959047886643061*c_1010_11 - 33005622060498946263/16339959047886643061, c_0101_0 - 1, c_0101_10 + 66255787165894906496/16339959047886643061*c_1010_11^14 + 272514669824440252448/16339959047886643061*c_1010_11^13 - 372903839018996948080/16339959047886643061*c_1010_11^12 - 2056156046854108190036/16339959047886643061*c_1010_11^11 + 100570704199662612688/308301114111068737*c_1010_11^10 - 3849713820441193290840/16339959047886643061*c_1010_11^9 - 5088961748720554604871/16339959047886643061*c_1010_11^8 + 14764127483809336972832/16339959047886643061*c_1010_11^7 - 12720934798722013289336/16339959047886643061*c_1010_11^6 - 1201500056455368715632/16339959047886643061*c_1010_11^5 + 12341538647523120421408/16339959047886643061*c_1010_11^4 - 11192510586266792013104/16339959047886643061*c_1010_11^3 + 4258150799960646455284/16339959047886643061*c_1010_11^2 - 678454361610587563716/16339959047886643061*c_1010_11 + 153875298005004036075/16339959047886643061, c_0101_12 + 1, c_0101_6 + 1676126310768/2577790066063*c_1010_11^14 + 6374424471924/2577790066063*c_1010_11^13 - 12211093539202/2577790066063*c_1010_11^12 - 52038734044826/2577790066063*c_1010_11^11 + 153422369419706/2577790066063*c_1010_11^10 - 116370686881157/2577790066063*c_1010_11^9 - 137494393153912/2577790066063*c_1010_11^8 + 423759328291104/2577790066063*c_1010_11^7 - 375349321878514/2577790066063*c_1010_11^6 - 38832989662276/2577790066063*c_1010_11^5 + 368887791901873/2577790066063*c_1010_11^4 - 324046250141834/2577790066063*c_1010_11^3 + 104587139467659/2577790066063*c_1010_11^2 - 7981307241521/2577790066063*c_1010_11 + 6944439694760/2577790066063, c_0110_5 - 13440821360731230736/16339959047886643061*c_1010_11^14 - 56552034062539580164/16339959047886643061*c_1010_11^13 + 67879463138902373704/16339959047886643061*c_1010_11^12 + 412358849060962025978/16339959047886643061*c_1010_11^11 - 19505373076277169720/308301114111068737*c_1010_11^10 + 764568595976659827680/16339959047886643061*c_1010_11^9 + 948431468995028182284/16339959047886643061*c_1010_11^8 - 2850030345339928128644/16339959047886643061*c_1010_11^7 + 2537611892719489909218/16339959047886643061*c_1010_11^6 + 49030150117268988704/16339959047886643061*c_1010_11^5 - 2266361117429274839613/16339959047886643061*c_1010_11^4 + 2255661365128682864158/16339959047886643061*c_1010_11^3 - 1022962969268531352940/16339959047886643061*c_1010_11^2 + 259705722925981662944/16339959047886643061*c_1010_11 - 34162194385062199216/16339959047886643061, c_1001_4 + 571456720568150464/16339959047886643061*c_1010_11^14 + 675356335246220024/16339959047886643061*c_1010_11^13 - 11027023802071742206/16339959047886643061*c_1010_11^12 - 12282349627116459224/16339959047886643061*c_1010_11^11 + 1936002716238617244/308301114111068737*c_1010_11^10 - 136914855884018699648/16339959047886643061*c_1010_11^9 - 14017038225638443348/16339959047886643061*c_1010_11^8 + 286274314797008760938/16339959047886643061*c_1010_11^7 - 397877160127044433268/16339959047886643061*c_1010_11^6 + 126105084780884231395/16339959047886643061*c_1010_11^5 + 259699393060095099862/16339959047886643061*c_1010_11^4 - 344201490551604200772/16339959047886643061*c_1010_11^3 + 168980178741045855476/16339959047886643061*c_1010_11^2 - 10640757003782545428/16339959047886643061*c_1010_11 - 12979753707703835377/16339959047886643061, c_1010_11^15 + 17/4*c_1010_11^14 - 5*c_1010_11^13 - 63/2*c_1010_11^12 + 76*c_1010_11^11 - 197/4*c_1010_11^10 - 323/4*c_1010_11^9 + 211*c_1010_11^8 - 335/2*c_1010_11^7 - 133/4*c_1010_11^6 + 178*c_1010_11^5 - 297/2*c_1010_11^4 + 101/2*c_1010_11^3 - 27/4*c_1010_11^2 + 7/4*c_1010_11 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB