Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2496989268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2132 geometric_solution 5.62003492 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442666970070 0.317669463593 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.066208800464 0.752400512602 1 4 3 5 0132 0132 3012 0132 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 -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 1.165293877539 0.886977088908 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 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 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 1.165293877539 0.886977088908 4 2 3 4 3201 0132 1023 2310 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 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.003945664824 0.708891672176 6 3 2 6 0132 1023 0132 3201 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 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.767751844049 0.315567866714 5 5 6 6 0132 2310 2031 1302 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.329062667010 0.788080254085 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : 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' : 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' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 178454828422050000557651136018769530625/204611629468849869754647479\ 650251462*c_0101_6^23 + 580197965078284547583161041851750170936/102\ 305814734424934877323739825125731*c_0101_6^21 + 3543370249037911363155050390123011790463/68203876489616623251549159\ 883417154*c_0101_6^19 + 12405788478537718302932641249898815243721/1\ 02305814734424934877323739825125731*c_0101_6^17 - 23494754194248640299749308157388124889003/6820387648961662325154915\ 9883417154*c_0101_6^15 - 127519115159478261056218662870447425809592\ /102305814734424934877323739825125731*c_0101_6^13 - 16309999893775598592747244836918606252220/1023058147344249348773237\ 39825125731*c_0101_6^11 + 34457044316411973782491190123662701397951\ 3/102305814734424934877323739825125731*c_0101_6^9 + 1457589187062210038303618898720825667841/12950103130939865174344777\ 19305389*c_0101_6^7 + 5401899638306992737335112238648648285397/6820\ 3876489616623251549159883417154*c_0101_6^5 - 1167571674540482929323439866723252760205/10230581473442493487732373\ 9825125731*c_0101_6^3 - 145484836695704388795069221650682526215/102\ 305814734424934877323739825125731*c_0101_6, c_0011_0 - 1, c_0011_1 + 1625574687099508969125418336009771/3453360834917297379825273\ 918147704*c_0101_6^22 + 2666126608589235026321339237505093/86334020\ 8729324344956318479536926*c_0101_6^20 + 12180207711430704157717404050141401/4316701043646621724781592397684\ 63*c_0101_6^18 + 115806776085175853670690519097892351/1726680417458\ 648689912636959073852*c_0101_6^16 - 314546085103786383640527496960419465/172668041745864868991263695907\ 3852*c_0101_6^14 - 1180314864999733012990452954888633661/1726680417\ 458648689912636959073852*c_0101_6^12 - 430594112813947988569307528996645701/345336083491729737982527391814\ 7704*c_0101_6^10 + 3130926679586089381504230870810001451/1726680417\ 458648689912636959073852*c_0101_6^8 + 1228689154989978524401449197476182585/17266804174586486899126369590\ 73852*c_0101_6^6 + 263362555100585660402901776401055547/34533608349\ 17297379825273918147704*c_0101_6^4 + 2573345530777275469411116426050191/17266804174586486899126369590738\ 52*c_0101_6^2 - 2712860279961013804558281167366069/3453360834917297\ 379825273918147704, c_0011_3 - 6573829274109195886693393395747263/1726680417458648689912636\ 959073852*c_0101_6^23 - 41702534985270184841222667066909987/1726680\ 417458648689912636959073852*c_0101_6^21 - 384982521775234111689126396947143573/172668041745864868991263695907\ 3852*c_0101_6^19 - 852982236183957415557431685668335153/17266804174\ 58648689912636959073852*c_0101_6^17 + 2730949819186104053509383108747782499/17266804174586486899126369590\ 73852*c_0101_6^15 + 8959468198945352646494225510578450635/172668041\ 7458648689912636959073852*c_0101_6^13 - 106979690733113805403350780480134583/863340208729324344956318479536\ 926*c_0101_6^11 - 12665855729772842365636226346892532353/8633402087\ 29324344956318479536926*c_0101_6^9 - 1116364255643584738429659297198058790/43167010436466217247815923976\ 8463*c_0101_6^7 + 51857667608301229477621384898064001/1726680417458\ 648689912636959073852*c_0101_6^5 + 76921530441053376840597860740278575/1726680417458648689912636959073\ 852*c_0101_6^3 + 2148336614171212380881661196165101/863340208729324\ 344956318479536926*c_0101_6, c_0101_0 + 2987609203225459122670925620367421/3453360834917297379825273\ 918147704*c_0101_6^22 + 9731107313765313837288211892679613/17266804\ 17458648689912636959073852*c_0101_6^20 + 89094848237275275215626308834175365/1726680417458648689912636959073\ 852*c_0101_6^18 + 52182923016803134105784239735600145/4316701043646\ 62172478159239768463*c_0101_6^16 - 146921236380970231041021623345423079/431670104364662172478159239768\ 463*c_0101_6^14 - 535529837590117555914587408851228804/431670104364\ 662172478159239768463*c_0101_6^12 - 594443927109282883258637531038433861/345336083491729737982527391814\ 7704*c_0101_6^10 + 5768191090008234172970057868330729269/1726680417\ 458648689912636959073852*c_0101_6^8 + 1994479638712131680511044178346460189/17266804174586486899126369590\ 73852*c_0101_6^6 + 299063154271972763228422715689595557/34533608349\ 17297379825273918147704*c_0101_6^4 - 3360478675743511459438078798430974/43167010436466217247815923976846\ 3*c_0101_6^2 - 1430025985756985226144452731625141/34533608349172973\ 79825273918147704, c_0101_1 - 1125914009245076193807813144438821/3453360834917297379825273\ 918147704*c_0101_6^22 - 1859337742866054118072089055877585/86334020\ 8729324344956318479536926*c_0101_6^20 - 16946362113680219639227978351954209/8633402087293243449563184795369\ 26*c_0101_6^18 - 81615100587189615111395287436789017/17266804174586\ 48689912636959073852*c_0101_6^16 + 215347971439896443129470644376967653/172668041745864868991263695907\ 3852*c_0101_6^14 + 829641201856204343791051456642012299/17266804174\ 58648689912636959073852*c_0101_6^12 + 354522351446212709427734206467608999/345336083491729737982527391814\ 7704*c_0101_6^10 - 2188046537863414501349098004391076889/1726680417\ 458648689912636959073852*c_0101_6^8 - 944444318683340545783749842194310375/172668041745864868991263695907\ 3852*c_0101_6^6 - 101102763585801997276787097717707013/345336083491\ 7297379825273918147704*c_0101_6^4 + 4464300424854678780539249151890963/17266804174586486899126369590738\ 52*c_0101_6^2 + 821816766648575651689837790143775/34533608349172973\ 79825273918147704, c_0101_3 - 14394339377418999610756729112893353/345336083491729737982527\ 3918147704*c_0101_6^23 - 44566843450225435186938926637836599/172668\ 0417458648689912636959073852*c_0101_6^21 - 414580023525141423182558838001319077/172668041745864868991263695907\ 3852*c_0101_6^19 - 435045679043032987459389325773092475/86334020872\ 9324344956318479536926*c_0101_6^17 + 782703458888151646719907015552356346/431670104364662172478159239768\ 463*c_0101_6^15 + 4677235440232816656211085032540342625/86334020872\ 9324344956318479536926*c_0101_6^13 - 3436367522795589712996062789295119183/34533608349172973798252739181\ 47704*c_0101_6^11 - 27681513509122721556620193224471320261/17266804\ 17458648689912636959073852*c_0101_6^9 - 670647218084446127300502553510097161/172668041745864868991263695907\ 3852*c_0101_6^7 + 1526340107986859397688972980158640943/34533608349\ 17297379825273918147704*c_0101_6^5 + 6226836353167031817607248902612087/86334020872932434495631847953692\ 6*c_0101_6^3 - 22710318037772865914790757828898487/3453360834917297\ 379825273918147704*c_0101_6, c_0101_6^24 + 265/41*c_0101_6^22 + 2432/41*c_0101_6^20 + 5606/41*c_0101_6^18 - 16408/41*c_0101_6^16 - 57944/41*c_0101_6^14 - 5265/41*c_0101_6^12 + 158427/41*c_0101_6^10 + 46728/41*c_0101_6^8 + 2207/41*c_0101_6^6 - 569/41*c_0101_6^4 - 49/41*c_0101_6^2 + 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB