Magma V2.19-8 Tue Aug 20 2013 23:40:27 on localhost [Seed = 1443902171] Type ? for help. Type -D to quit. Loading file "L11a276__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a276 geometric_solution 9.54212078 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 -1 1 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 -1 3 -2 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 1.216838457477 1.342854200713 0 2 6 5 0132 0321 0132 0132 0 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 1 0 -1 -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.549774718234 0.409136064300 7 0 8 1 0132 0132 0132 0321 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 0 -1 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.922467968015 0.801482968974 9 6 6 0 0132 2031 0321 0132 0 1 1 1 0 0 -1 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 0 0 0 0 3 -3 0 0 -1 1 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.332698058576 0.886202245806 5 8 0 7 3120 0132 0132 1023 0 1 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 0 0 -3 2 1 0 0 0 0 -3 3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453967693217 0.327709679656 9 6 1 4 2103 2103 0132 3120 0 1 0 1 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 1 -1 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.600673656234 0.454313253199 3 5 3 1 1302 2103 0321 0132 0 1 0 1 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 0 3 -3 0 0 0 1 -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.542236986054 0.720111249452 2 9 9 4 0132 1302 3012 1023 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 0 0 0 0 1 -1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773498436574 0.928537492498 10 4 10 2 0132 0132 2310 0132 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 0 3 -3 0 0 0 0 0 0 1 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029633222894 0.550182983988 3 7 5 7 0132 1230 2103 2031 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 0 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.247953283067 1.016478280472 8 8 10 10 0132 3201 2031 1302 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 0 0 0 0.587286413572 0.209478768114 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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_0110_4']), 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_10'], 'c_1100_10' : d['c_0101_10'], 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_2'], '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'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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_10' : d['c_0101_8'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0101_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' : d['c_0011_0'], 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 31984677367637553729051264227/284325536814552982989973209728*c_1001\ _2^11 - 271488036931878615560400779083/2843255368145529829899732097\ 28*c_1001_2^10 + 1369782256676570029812612996183/142162768407276491\ 494986604864*c_1001_2^9 - 22370384600388403812441800651/19474351836\ 61321801301186368*c_1001_2^8 + 12175964290299158599070220098837/142\ 162768407276491494986604864*c_1001_2^7 + 12372531747925324975744702452061/142162768407276491494986604864*c_1\ 001_2^6 + 33677104019833253662583389906411/142162768407276491494986\ 604864*c_1001_2^5 + 103993768272987598777400706325017/1421627684072\ 76491494986604864*c_1001_2^4 + 176855992890008541223889502282957/28\ 4325536814552982989973209728*c_1001_2^3 + 342269834442240104600967029034673/284325536814552982989973209728*c_\ 1001_2^2 + 25729227343962460088927414154029/71081384203638245747493\ 302432*c_1001_2 + 8853546147323297498016429627105/17770346050909561\ 436873325608, c_0011_0 - 1, c_0011_10 + 2483348604939696704747/60857349489416306290662074*c_1001_2^\ 11 - 14711342605298446739109/30428674744708153145331037*c_1001_2^10 + 291110628802900222108309/60857349489416306290662074*c_1001_2^9 - 509018757867268251544535/30428674744708153145331037*c_1001_2^8 + 1648396827678717444404796/30428674744708153145331037*c_1001_2^7 - 2112965754702364495644173/30428674744708153145331037*c_1001_2^6 + 2680440553407901361097000/30428674744708153145331037*c_1001_2^5 + 6514177260640390310430482/30428674744708153145331037*c_1001_2^4 - 15470022130527315460220685/60857349489416306290662074*c_1001_2^3 + 29580793712984982329894954/30428674744708153145331037*c_1001_2^2 - 49819139082910126859873421/60857349489416306290662074*c_1001_2 + 7312895716081358948425866/30428674744708153145331037, c_0011_3 - 35311215390464062079093/243429397957665225162648296*c_1001_2\ ^11 + 245849314210854553927795/243429397957665225162648296*c_1001_2\ ^10 - 311097636372715431042425/30428674744708153145331037*c_1001_2^\ 9 - 851249211436115837215861/121714698978832612581324148*c_1001_2^8 - 7316852868007237199189669/121714698978832612581324148*c_1001_2^7 - 38455350733447937542193937/121714698978832612581324148*c_1001_2^6 - 35496960949395917173291771/121714698978832612581324148*c_1001_2^5 - 140816443380000740376442769/121714698978832612581324148*c_1001_2^4 - 501232310835566420746038831/243429397957665225162648296*c_1001_2^3 - 300810016546587776563400461/243429397957665225162648296*c_1001_2^2 - 241527331322120104882204089/121714698978832612581324148*c_1001_2 + 10170294031188968136800879/30428674744708153145331037, c_0011_5 + 37576457257469795264851/243429397957665225162648296*c_1001_2\ ^11 - 371229341721559635825207/243429397957665225162648296*c_1001_2\ ^10 + 1832849079723210871336949/121714698978832612581324148*c_1001_\ 2^9 - 4139269587144983848898303/121714698978832612581324148*c_1001_\ 2^8 + 16737763415811352968977865/121714698978832612581324148*c_1001\ _2^7 - 1990604021206208567090835/121714698978832612581324148*c_1001\ _2^6 + 10018958529743367746858243/121714698978832612581324148*c_100\ 1_2^5 + 88589833783281962072544673/121714698978832612581324148*c_10\ 01_2^4 - 148974081727040334270024795/243429397957665225162648296*c_\ 1001_2^3 + 24382783466003758244345997/243429397957665225162648296*c\ _1001_2^2 - 50362297322675976209694261/30428674744708153145331037*c\ _1001_2 - 1995348869827171477600143/30428674744708153145331037, c_0011_6 + 8885793398571603416521/60857349489416306290662074*c_1001_2^1\ 1 - 44294983902411410696582/30428674744708153145331037*c_1001_2^10 + 863662686591119156246391/60857349489416306290662074*c_1001_2^9 - 968602539679481655811848/30428674744708153145331037*c_1001_2^8 + 3574693999951154929668768/30428674744708153145331037*c_1001_2^7 - 232656261722824445717890/30428674744708153145331037*c_1001_2^6 - 435658342430359436280546/30428674744708153145331037*c_1001_2^5 + 19169192034508425430350884/30428674744708153145331037*c_1001_2^4 - 40078773043868861520490761/60857349489416306290662074*c_1001_2^3 - 7152146170618094069913984/30428674744708153145331037*c_1001_2^2 - 51096830284275658438984839/60857349489416306290662074*c_1001_2 - 19051009123071223842631633/30428674744708153145331037, c_0101_0 - 1, c_0101_1 - 47509851677228582083839/243429397957665225162648296*c_1001_2\ ^11 + 488920082563947209738079/243429397957665225162648296*c_1001_2\ ^10 - 2415070337329011315553567/121714698978832612581324148*c_1001_\ 2^9 + 6175344618614056855076443/121714698978832612581324148*c_1001_\ 2^8 - 23331350726526222746597049/121714698978832612581324148*c_1001\ _2^7 + 10442467040015666549667527/121714698978832612581324148*c_100\ 1_2^6 - 20740720743374973191246243/121714698978832612581324148*c_10\ 01_2^5 - 114646542825843523314266601/121714698978832612581324148*c_\ 1001_2^4 + 210854170249149596110907535/243429397957665225162648296*\ c_1001_2^3 - 261029133169883616883505629/24342939795766522516264829\ 6*c_1001_2^2 + 89686384238845772988599869/6085734948941630629066207\ 4*c_1001_2 - 5317546846254187470825723/30428674744708153145331037, c_0101_10 + 59294207819115234892859/121714698978832612581324148*c_1001_\ 2^11 - 539528436560530062766489/121714698978832612581324148*c_1001_\ 2^10 + 1333964702836289007411857/30428674744708153145331037*c_1001_\ 2^9 - 4328958872992570804591861/60857349489416306290662074*c_1001_2\ ^8 + 21969020754940251186873227/60857349489416306290662074*c_1001_2\ ^7 + 14560401816544500862061945/60857349489416306290662074*c_1001_2\ ^6 + 27932642198623751469239757/60857349489416306290662074*c_1001_2\ ^5 + 149539412709983901290522347/60857349489416306290662074*c_1001_\ 2^4 + 76334147434360437198757241/121714698978832612581324148*c_1001\ _2^3 + 156607116822502703492883351/121714698978832612581324148*c_10\ 01_2^2 - 75294561271595989504342431/60857349489416306290662074*c_10\ 01_2 - 14964653802491403301240918/30428674744708153145331037, c_0101_8 + 22435873790572524294671/60857349489416306290662074*c_1001_2^\ 11 - 195377466718287720399619/60857349489416306290662074*c_1001_2^1\ 0 + 970687178457744010506640/30428674744708153145331037*c_1001_2^9 - 1273747280295630488945405/30428674744708153145331037*c_1001_2^8 + 7934341454952186987879952/30428674744708153145331037*c_1001_2^7 + 7056505077793106070656031/30428674744708153145331037*c_1001_2^6 + 13890731199457460376245547/30428674744708153145331037*c_1001_2^5 + 55427899052761349354664963/30428674744708153145331037*c_1001_2^4 + 36354912677325274067927333/60857349489416306290662074*c_1001_2^3 + 83119584258444719320475629/60857349489416306290662074*c_1001_2^2 - 46724683533201898482655875/30428674744708153145331037*c_1001_2 - 8385165630907034014707850/30428674744708153145331037, c_0110_4 - 11020217327541225428467/30428674744708153145331037*c_1001_2^\ 11 + 94474117676547752492956/30428674744708153145331037*c_1001_2^10 - 942964903832934163533447/30428674744708153145331037*c_1001_2^9 + 1127056310796192418108210/30428674744708153145331037*c_1001_2^8 - 7707072714589460256986971/30428674744708153145331037*c_1001_2^7 - 8889728260011809398015867/30428674744708153145331037*c_1001_2^6 - 16207665184934741413898858/30428674744708153145331037*c_1001_2^5 - 61975111445757094366206843/30428674744708153145331037*c_1001_2^4 - 43930134376969847826139989/30428674744708153145331037*c_1001_2^3 - 52228408804289339121519698/30428674744708153145331037*c_1001_2^2 + 38156122591687087102714937/30428674744708153145331037*c_1001_2 + 12649867625249103243766169/30428674744708153145331037, c_1001_2^12 - 9*c_1001_2^11 + 90*c_1001_2^10 - 146*c_1001_2^9 + 814*c_1001_2^8 + 382*c_1001_2^7 + 1714*c_1001_2^6 + 5414*c_1001_2^5 + 2191*c_1001_2^4 + 7883*c_1001_2^3 - 2372*c_1001_2^2 + 2816*c_1001_2 - 2336 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB