Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1882320061] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0350 geometric_solution 4.37508373 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 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 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.883417331917 0.475912408850 0 2 3 0 0132 0132 0132 3201 0 0 0 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 -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 0 0 0.492337088844 0.928081134034 3 1 4 3 2310 0132 0132 3201 0 0 0 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 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.243125151718 0.638185895764 4 2 2 1 1023 2310 3201 0132 0 0 0 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 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.243125151718 0.638185895764 5 3 5 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.694123399628 1.810741139019 4 4 6 6 0132 3201 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.248804366084 0.244316935253 6 5 6 5 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.567473464365 0.640928945180 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_1_1' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 86408162855390332492614294997/3978114638790282641419974760*c_0101_4\ ^14 - 176579052361662021035903329907/1989057319395141320709987380*c\ _0101_4^13 - 2999162175997911384233522464/9945286596975706603549936\ 9*c_0101_4^12 - 230377581560751442229990691957/79562292775805652828\ 3994952*c_0101_4^11 - 326340944703939544690475515739/49726432984878\ 5330177496845*c_0101_4^10 + 263044486472251865091757058307/19890573\ 19395141320709987380*c_0101_4^9 - 1406775694454349814006030922187/9\ 94528659697570660354993690*c_0101_4^8 + 951913910896659624882583134705/795622927758056528283994952*c_0101_4\ ^7 - 113241518018345811108227196281/99452865969757066035499369*c_01\ 01_4^6 + 8407979345989560947482191502571/39781146387902826414199747\ 60*c_0101_4^5 - 1855317502469219350359375532833/1989057319395141320\ 709987380*c_0101_4^4 + 1789237331260920197047454201029/397811463879\ 0282641419974760*c_0101_4^3 - 59784188798579125722267667047/3978114\ 638790282641419974760*c_0101_4^2 + 372463514903246041235262816627/3978114638790282641419974760*c_0101_\ 4 - 13528981521436736872951945843/1989057319395141320709987380, c_0011_0 - 1, c_0011_3 - 36076670841598081928256650/99452865969757066035499369*c_0101\ _4^14 - 147556536978626701637224931/99452865969757066035499369*c_01\ 01_4^13 - 51276214500781326298469814/99452865969757066035499369*c_0\ 101_4^12 - 487768460293019155458075521/99452865969757066035499369*c\ _0101_4^11 - 1108999599430651462098650281/9945286596975706603549936\ 9*c_0101_4^10 + 195709789709148507972455511/99452865969757066035499\ 369*c_0101_4^9 - 2417916445087472443340502471/994528659697570660354\ 99369*c_0101_4^8 + 1851122030160172121560395207/9945286596975706603\ 5499369*c_0101_4^7 - 1953640327784701632899455170/99452865969757066\ 035499369*c_0101_4^6 + 3353047428969397124282430181/994528659697570\ 66035499369*c_0101_4^5 - 1513783553230443521087902851/9945286596975\ 7066035499369*c_0101_4^4 + 755193904709378616599214749/994528659697\ 57066035499369*c_0101_4^3 + 161007846065474033445204659/99452865969\ 757066035499369*c_0101_4^2 + 176350368967498465241092214/9945286596\ 9757066035499369*c_0101_4 - 42233641074005172854734322/994528659697\ 57066035499369, c_0011_6 + 9637529181152786626792354/99452865969757066035499369*c_0101_\ 4^14 + 40590326569232502085808932/99452865969757066035499369*c_0101\ _4^13 + 18607241518496184070570234/99452865969757066035499369*c_010\ 1_4^12 + 132606392995847871593812619/99452865969757066035499369*c_0\ 101_4^11 + 312896627317309160668047682/99452865969757066035499369*c\ _0101_4^10 - 14264422790548980099750363/99452865969757066035499369*\ c_0101_4^9 + 645831404391276324844012171/99452865969757066035499369\ *c_0101_4^8 - 418653000890737722062080689/9945286596975706603549936\ 9*c_0101_4^7 + 462649847709764513804540159/994528659697570660354993\ 69*c_0101_4^6 - 815622388671266248943561133/99452865969757066035499\ 369*c_0101_4^5 + 247127654378665773121095612/9945286596975706603549\ 9369*c_0101_4^4 - 159612402173733485625303255/994528659697570660354\ 99369*c_0101_4^3 - 63427905962801623995083825/994528659697570660354\ 99369*c_0101_4^2 - 41813017349303814612678295/994528659697570660354\ 99369*c_0101_4 + 49243700134975745814600317/99452865969757066035499\ 369, c_0101_0 + 14994489450055054920296129/99452865969757066035499369*c_0101\ _4^14 + 94995068827748973274858184/99452865969757066035499369*c_010\ 1_4^13 + 172228937459651794435181744/99452865969757066035499369*c_0\ 101_4^12 + 305133790049194770575395259/99452865969757066035499369*c\ _0101_4^11 + 931356039163409648656278925/99452865969757066035499369\ *c_0101_4^10 + 1107140990240279773631867200/99452865969757066035499\ 369*c_0101_4^9 + 1212886778481201186342051353/994528659697570660354\ 99369*c_0101_4^8 + 1344764063032729877951356137/9945286596975706603\ 5499369*c_0101_4^7 - 248467869962338119847103023/994528659697570660\ 35499369*c_0101_4^6 - 301087580276404243442627713/99452865969757066\ 035499369*c_0101_4^5 - 2197954811671855178306472803/994528659697570\ 66035499369*c_0101_4^4 - 4159771670726262750434343/9945286596975706\ 6035499369*c_0101_4^3 - 454934354663532698584801646/994528659697570\ 66035499369*c_0101_4^2 - 53715645181840788961976255/994528659697570\ 66035499369*c_0101_4 - 126249827417072367132332429/9945286596975706\ 6035499369, c_0101_1 - 2393973136964713562389769/99452865969757066035499369*c_0101_\ 4^14 + 7713492876865184697443936/99452865969757066035499369*c_0101_\ 4^13 + 60117016817286013177380833/99452865969757066035499369*c_0101\ _4^12 - 42183672130609447133890811/99452865969757066035499369*c_010\ 1_4^11 + 143768899665344403304496075/99452865969757066035499369*c_0\ 101_4^10 + 436315230606703095597101541/99452865969757066035499369*c\ _0101_4^9 - 520318652359071435142550519/99452865969757066035499369*\ c_0101_4^8 + 1287054054278270236831288550/9945286596975706603549936\ 9*c_0101_4^7 - 1581480313050882074959098437/99452865969757066035499\ 369*c_0101_4^6 + 1538013175773695624108274571/994528659697570660354\ 99369*c_0101_4^5 - 2076027467762729164033177135/9945286596975706603\ 5499369*c_0101_4^4 + 1498489194704497678260787891/99452865969757066\ 035499369*c_0101_4^3 - 525125255908898898324445370/9945286596975706\ 6035499369*c_0101_4^2 + 46846841656503454067811975/9945286596975706\ 6035499369*c_0101_4 - 99401425150793513677403178/994528659697570660\ 35499369, c_0101_2 + 9571418777222857301838014/99452865969757066035499369*c_0101_\ 4^14 + 26298960246472915285900116/99452865969757066035499369*c_0101\ _4^13 - 36337233421936256044487553/99452865969757066035499369*c_010\ 1_4^12 + 120544373402018237855619252/99452865969757066035499369*c_0\ 101_4^11 + 120231185588513202150949531/99452865969757066035499369*c\ _0101_4^10 - 408120824001211299694665367/99452865969757066035499369\ *c_0101_4^9 + 774513046043238437928774875/9945286596975706603549936\ 9*c_0101_4^8 - 1396855046806669833712356859/99452865969757066035499\ 369*c_0101_4^7 + 1394833619433099062213148279/994528659697570660354\ 99369*c_0101_4^6 - 1831914146289072500141609542/9945286596975706603\ 5499369*c_0101_4^5 + 1818887919517137181482802491/99452865969757066\ 035499369*c_0101_4^4 - 1124443333510855541913066303/994528659697570\ 66035499369*c_0101_4^3 + 406665896603626600636491395/99452865969757\ 066035499369*c_0101_4^2 - 146635855596893621565337342/9945286596975\ 7066035499369*c_0101_4 + 78622243322270391606926358/994528659697570\ 66035499369, c_0101_4^15 + 47/11*c_0101_4^14 + 25/11*c_0101_4^13 + 155/11*c_0101_4^12 + 361/11*c_0101_4^11 + 13/11*c_0101_4^10 + 744/11*c_0101_4^9 - 485/11*c_0101_4^8 + 555/11*c_0101_4^7 - 1048/11*c_0101_4^6 + 353/11*c_0101_4^5 - 282/11*c_0101_4^4 + 36/11*c_0101_4^3 - 81/11*c_0101_4^2 - 2/11*c_0101_4 - 5/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB