Magma V2.19-8 Wed Aug 21 2013 01:02:33 on localhost [Seed = 206182390] Type ? for help. Type -D to quit. Loading file "L14n15080__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15080 geometric_solution 12.53400854 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 1 0 -1 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 1 -1 0 -3 0 3 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.801472974572 1.207024954822 0 5 7 6 0132 0132 0132 0132 1 1 0 1 0 0 -1 1 -1 0 1 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 4 -4 3 0 -3 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.670721302201 0.742816742115 7 0 6 8 0132 0132 0132 0132 1 1 0 1 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 -1 4 -3 0 0 -4 4 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.393062051274 0.694314213508 7 9 8 0 2031 0132 2031 0132 1 1 0 1 0 0 0 0 0 0 -1 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 -1 1 0 0 3 -3 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.584697543545 1.047232718543 10 11 0 5 0132 0132 0132 1023 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 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542720144523 0.482992865856 12 1 9 4 0132 0132 1023 1023 1 1 1 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 0 0 0 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551939749472 0.405029854524 10 11 1 2 3120 0321 0132 0132 1 1 1 0 0 0 -1 1 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 0 4 -4 -4 0 0 4 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.630332700438 0.798981940514 2 10 3 1 0132 1230 1302 0132 1 1 1 0 0 -1 0 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 4 0 -4 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584697543545 1.047232718543 11 12 2 3 0321 1302 0132 1302 1 1 1 0 0 0 -1 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 0 3 -3 4 0 -4 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.382531301697 1.090711484964 11 3 5 12 2031 0132 1023 0132 1 1 1 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670721302201 0.742816742115 4 12 7 6 0132 2103 3012 3120 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033664826579 1.091788170734 8 4 9 6 0321 0132 1302 0321 1 0 1 1 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 -1 0 0 1 1 -1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391389493759 0.771447844854 5 10 9 8 0132 2103 0132 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 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.801472974572 1.207024954822 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0011_0']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_3'], 'c_0101_10' : d['c_0101_10'], '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_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' : negation(d['1']), 's_0_5' : negation(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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1010_8'], 'c_1100_4' : negation(d['c_1010_8']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1010_8']), 'c_1100_3' : negation(d['c_1010_8']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1010_8']), 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0101_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_12'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(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_1010_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), '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_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_5, c_0101_9, c_1001_2, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 18817826333547883504/38974140867840022845*c_1010_8^11 + 391077994470140900075/7794828173568004569*c_1010_8^10 + 6461955931590801333283/38974140867840022845*c_1010_8^9 + 8104929172278283775492/12991380289280007615*c_1010_8^8 + 7564554377361272665271/7794828173568004569*c_1010_8^7 + 6069116113418665514776/3543103715258183895*c_1010_8^6 + 40283836170175823579363/38974140867840022845*c_1010_8^5 + 532883796271034394128/506157673608311985*c_1010_8^4 - 19930221502754440327432/38974140867840022845*c_1010_8^3 + 3231540972062672123534/38974140867840022845*c_1010_8^2 - 4809288891783456718606/12991380289280007615*c_1010_8 + 425425813986145851121/4330460096426669205, c_0011_0 - 1, c_0011_10 + 691760188915435/664011259354971*c_1010_8^11 + 2072377842244774/664011259354971*c_1010_8^10 + 8148964222997518/664011259354971*c_1010_8^9 + 1253007827683324/73779028817219*c_1010_8^8 + 21093643135211947/664011259354971*c_1010_8^7 + 822413069140138/60364659941361*c_1010_8^6 + 13063447986459230/664011259354971*c_1010_8^5 - 809841385487515/60364659941361*c_1010_8^4 + 5212021193916641/664011259354971*c_1010_8^3 - 4358337627728362/664011259354971*c_1010_8^2 + 663514582563694/221337086451657*c_1010_8 - 112476469991659/73779028817219, c_0011_3 - 54264263160409/664011259354971*c_1010_8^11 + 424922798495156/664011259354971*c_1010_8^10 + 1504184771528342/664011259354971*c_1010_8^9 + 791730643055830/73779028817219*c_1010_8^8 + 12253141313102336/664011259354971*c_1010_8^7 + 2098221830111858/60364659941361*c_1010_8^6 + 17689242022793860/664011259354971*c_1010_8^5 + 1502222873279113/60364659941361*c_1010_8^4 - 2447992142030486/664011259354971*c_1010_8^3 - 960739054129754/664011259354971*c_1010_8^2 - 1345963147028851/221337086451657*c_1010_8 - 8766680129890/73779028817219, c_0011_6 - 99223575410599/73779028817219*c_1010_8^11 - 1078305788009422/221337086451657*c_1010_8^10 - 4006145404654582/221337086451657*c_1010_8^9 - 6783927567864844/221337086451657*c_1010_8^8 - 3752875030700029/73779028817219*c_1010_8^7 - 712566325080917/20121553313787*c_1010_8^6 - 5565400502526218/221337086451657*c_1010_8^5 + 284462496818471/20121553313787*c_1010_8^4 + 1951345087122218/221337086451657*c_1010_8^3 + 1464708014944018/221337086451657*c_1010_8^2 - 188924539119110/221337086451657*c_1010_8 - 151614561934085/73779028817219, c_0101_0 - 414499717935227/664011259354971*c_1010_8^11 - 1814839558532813/664011259354971*c_1010_8^10 - 6905702182833887/664011259354971*c_1010_8^9 - 4846323115507706/221337086451657*c_1010_8^8 - 26105711903270006/664011259354971*c_1010_8^7 - 2688361381156751/60364659941361*c_1010_8^6 - 27811674145026358/664011259354971*c_1010_8^5 - 1247721961281136/60364659941361*c_1010_8^4 - 3930528342989542/664011259354971*c_1010_8^3 + 1763810311193168/664011259354971*c_1010_8^2 + 286945095548147/73779028817219*c_1010_8 + 96029084756926/73779028817219, c_0101_1 - 1, c_0101_10 + 482187820745638/664011259354971*c_1010_8^11 + 2037706380744511/664011259354971*c_1010_8^10 + 7605649936780165/664011259354971*c_1010_8^9 + 5033339916868385/221337086451657*c_1010_8^8 + 25818220221017020/664011259354971*c_1010_8^7 + 2316050670963727/60364659941361*c_1010_8^6 + 21005888183750102/664011259354971*c_1010_8^5 + 441037499259494/60364659941361*c_1010_8^4 - 271758607547503/664011259354971*c_1010_8^3 - 3150717701331205/664011259354971*c_1010_8^2 - 263864874843160/221337086451657*c_1010_8 - 99257394031931/73779028817219, c_0101_12 + 30421308382481/60364659941361*c_1010_8^11 + 147512603018987/60364659941361*c_1010_8^10 + 540642349642529/60364659941361*c_1010_8^9 + 390466569308857/20121553313787*c_1010_8^8 + 1927746820286834/60364659941361*c_1010_8^7 + 2071596880905277/60364659941361*c_1010_8^6 + 1422008549953273/60364659941361*c_1010_8^5 + 402969615223076/60364659941361*c_1010_8^4 - 382161548932640/60364659941361*c_1010_8^3 - 94677160300310/60364659941361*c_1010_8^2 - 44050115489345/20121553313787*c_1010_8 + 8422304607367/6707184437929, c_0101_3 + 413005579140580/664011259354971*c_1010_8^11 + 1260385023601135/664011259354971*c_1010_8^10 + 4688459816407927/664011259354971*c_1010_8^9 + 2052901593057236/221337086451657*c_1010_8^8 + 10045924588758928/664011259354971*c_1010_8^7 + 155170325872771/60364659941361*c_1010_8^6 + 1584435068225261/664011259354971*c_1010_8^5 - 753117241084960/60364659941361*c_1010_8^4 + 425099790456911/664011259354971*c_1010_8^3 - 522591688984993/664011259354971*c_1010_8^2 + 443210934978080/221337086451657*c_1010_8 + 36340258397207/73779028817219, c_0101_5 + 6774889424227/60364659941361*c_1010_8^11 + 44069194657606/60364659941361*c_1010_8^10 + 176173929869923/60364659941361*c_1010_8^9 + 53509532983658/6707184437929*c_1010_8^8 + 939672386926042/60364659941361*c_1010_8^7 + 1388822422671215/60364659941361*c_1010_8^6 + 1435956055048418/60364659941361*c_1010_8^5 + 1019453543201257/60364659941361*c_1010_8^4 + 338065771965644/60364659941361*c_1010_8^3 - 152294889101635/60364659941361*c_1010_8^2 - 29122075144526/20121553313787*c_1010_8 - 11386048138631/6707184437929, c_0101_9 + 50608121268697/664011259354971*c_1010_8^11 - 88366268671013/664011259354971*c_1010_8^10 - 464581578483923/664011259354971*c_1010_8^9 - 1076848130347724/221337086451657*c_1010_8^8 - 6805134078739250/664011259354971*c_1010_8^7 - 1285255370336552/60364659941361*c_1010_8^6 - 14298596594423008/664011259354971*c_1010_8^5 - 1270383936174124/60364659941361*c_1010_8^4 - 3464168789964496/664011259354971*c_1010_8^3 - 224425698153403/664011259354971*c_1010_8^2 + 246051720841907/73779028817219*c_1010_8 + 105138862551904/73779028817219, c_1001_2 - 144913340115851/221337086451657*c_1010_8^11 - 196704265909826/73779028817219*c_1010_8^10 - 757253453804073/73779028817219*c_1010_8^9 - 4593250369804897/221337086451657*c_1010_8^8 - 8366395130069651/221337086451657*c_1010_8^7 - 831908699095597/20121553313787*c_1010_8^6 - 2864936280420462/73779028817219*c_1010_8^5 - 331804163220158/20121553313787*c_1010_8^4 - 533538542589143/221337086451657*c_1010_8^3 + 299358269496159/73779028817219*c_1010_8^2 + 605708575153237/221337086451657*c_1010_8 + 53292464928048/73779028817219, c_1010_8^12 + 80/23*c_1010_8^11 + 308/23*c_1010_8^10 + 513/23*c_1010_8^9 + 917/23*c_1010_8^8 + 655/23*c_1010_8^7 + 631/23*c_1010_8^6 - 193/23*c_1010_8^5 - 14/23*c_1010_8^4 - 272/23*c_1010_8^3 + 33/23*c_1010_8^2 - 27/23*c_1010_8 + 27/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.340 seconds, Total memory usage: 32.09MB