Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 896838114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1550 geometric_solution 5.34110624 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 0 -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.001038341316 0.480697836550 0 1 1 0 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2.284860361056 0.809542920927 3 0 5 4 2310 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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.470841966598 0.976687904844 5 4 2 0 0132 1023 3201 0132 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 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.470841966598 0.976687904844 3 6 2 6 1023 0132 0132 1023 0 0 0 0 0 0 1 -1 -1 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 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.891604263398 0.474967102294 3 5 5 2 0132 1230 3012 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.048033715185 0.729886748144 6 4 6 4 2031 0132 1302 1023 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 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.599438760726 0.168771961994 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_2' : 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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), '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_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_2']), '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' : negation(d['c_0011_3']), '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_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], '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_0101_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0101_0, c_0101_1, c_0101_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1043052997185021263096592216227058746/95873394467970149997023758609\ 6999*c_0110_6^20 + 2317284150480324333957351223705101056/9587339446\ 79701499970237586096999*c_0110_6^19 + 16163408714648377696336616486808656522/9587339446797014999702375860\ 96999*c_0110_6^18 - 96920516273093003977984127491274430351/95873394\ 4679701499970237586096999*c_0110_6^17 + 79048691249461661203741955898041022014/9587339446797014999702375860\ 96999*c_0110_6^16 + 936481086309718217589303780718809638502/9587339\ 44679701499970237586096999*c_0110_6^15 - 1252174748951314199737288598597348420673/95873394467970149997023758\ 6096999*c_0110_6^14 - 2885186338827400848668675494113223986475/9587\ 33944679701499970237586096999*c_0110_6^13 + 901978601488000996348033053705768705960/958733944679701499970237586\ 096999*c_0110_6^12 + 3687780387187524517983610089709112005526/95873\ 3944679701499970237586096999*c_0110_6^11 + 1009021746839445370226562149087572390720/95873394467970149997023758\ 6096999*c_0110_6^10 - 2998117678838239842730782096368077455197/9587\ 33944679701499970237586096999*c_0110_6^9 - 1338543180756204232665664882790173293565/95873394467970149997023758\ 6096999*c_0110_6^8 + 1702252596169247496624689662926014862784/95873\ 3944679701499970237586096999*c_0110_6^7 + 621924900958095429088954323679019002793/958733944679701499970237586\ 096999*c_0110_6^6 - 497230604447476749488702591988864374160/9587339\ 44679701499970237586096999*c_0110_6^5 - 206013759999455507740031507349552164389/958733944679701499970237586\ 096999*c_0110_6^4 + 21229283090691708038068034466936165602/95873394\ 4679701499970237586096999*c_0110_6^3 + 34962742301121411858314708568646487491/9587339446797014999702375860\ 96999*c_0110_6^2 + 14627692669232605671590677889523989589/958733944\ 679701499970237586096999*c_0110_6 + 2139126800493545102889495246890456834/95873394467970149997023758609\ 6999, c_0011_0 - 1, c_0011_3 + 58877695113695947798651458339991878/958733944679701499970237\ 586096999*c_0110_6^20 - 133347329728256524657316041721649656/958733\ 944679701499970237586096999*c_0110_6^19 - 906615391813974374156694224178174234/958733944679701499970237586096\ 999*c_0110_6^18 + 5509319415111141106797543574636085339/95873394467\ 9701499970237586096999*c_0110_6^17 - 4698789468765530104830002895441056490/95873394467970149997023758609\ 6999*c_0110_6^16 - 52646722195620645072202413245553998564/958733944\ 679701499970237586096999*c_0110_6^15 + 72891718736006390926208449068494062014/9587339446797014999702375860\ 96999*c_0110_6^14 + 159742938986458451751669196790661992859/9587339\ 44679701499970237586096999*c_0110_6^13 - 57159996741398498458010353446490430957/9587339446797014999702375860\ 96999*c_0110_6^12 - 206307145070026200693378159920537799473/9587339\ 44679701499970237586096999*c_0110_6^11 - 50046121338704826691854627932528170032/9587339446797014999702375860\ 96999*c_0110_6^10 + 171043503859336514234674382738661012781/9587339\ 44679701499970237586096999*c_0110_6^9 + 69934634242956779186391267700059755271/9587339446797014999702375860\ 96999*c_0110_6^8 - 97834421712229905201955370090132118471/958733944\ 679701499970237586096999*c_0110_6^7 - 31899034393441527586028922597634503005/9587339446797014999702375860\ 96999*c_0110_6^6 + 28542904813179835684192720678898542204/958733944\ 679701499970237586096999*c_0110_6^5 + 10879581964595238285095301361516316729/9587339446797014999702375860\ 96999*c_0110_6^4 - 1332911051699776756256580804557336257/9587339446\ 79701499970237586096999*c_0110_6^3 - 1968325786171688677803027615573393229/95873394467970149997023758609\ 6999*c_0110_6^2 - 803613808903309261891760865273340733/958733944679\ 701499970237586096999*c_0110_6 - 1119383153107548032936427555315411\ 45/958733944679701499970237586096999, c_0101_0 + 55901870846257492016773839631339216/958733944679701499970237\ 586096999*c_0110_6^20 - 126220253247384723402328061591322470/958733\ 944679701499970237586096999*c_0110_6^19 - 861981611962746722905540888108672966/958733944679701499970237586096\ 999*c_0110_6^18 + 5225751739977056903161400305454284016/95873394467\ 9701499970237586096999*c_0110_6^17 - 4420789945864678230659455766027489561/95873394467970149997023758609\ 6999*c_0110_6^16 - 50047567912668058894999454664153076557/958733944\ 679701499970237586096999*c_0110_6^15 + 68902435435837012300452116660283000125/9587339446797014999702375860\ 96999*c_0110_6^14 + 152395392070123509092666961132978270416/9587339\ 44679701499970237586096999*c_0110_6^13 - 53707342683525024039270758099175771244/9587339446797014999702375860\ 96999*c_0110_6^12 - 196765743763870140107444697514987848620/9587339\ 44679701499970237586096999*c_0110_6^11 - 48504388596612534191098429088550155976/9587339446797014999702375860\ 96999*c_0110_6^10 + 162740639629671167623063498259908926208/9587339\ 44679701499970237586096999*c_0110_6^9 + 67521558391470875416041423259927923032/9587339446797014999702375860\ 96999*c_0110_6^8 - 93073922801927525547609000043120711857/958733944\ 679701499970237586096999*c_0110_6^7 - 30908216627691384175732298444246943747/9587339446797014999702375860\ 96999*c_0110_6^6 + 27196122842257729964496246243517178783/958733944\ 679701499970237586096999*c_0110_6^5 + 10502736608468742553749698306884735324/9587339446797014999702375860\ 96999*c_0110_6^4 - 1256446214698774663456837448408232482/9587339446\ 79701499970237586096999*c_0110_6^3 - 1889056404166505432567607509094071157/95873394467970149997023758609\ 6999*c_0110_6^2 - 773494150577812915626800178934829135/958733944679\ 701499970237586096999*c_0110_6 - 1081666049374734917434966313569083\ 53/958733944679701499970237586096999, c_0101_1 - 24701108785333301615019019314243954/958733944679701499970237\ 586096999*c_0110_6^20 + 55702452024439916615519994337792486/9587339\ 44679701499970237586096999*c_0110_6^19 + 381017162961737765278418423322080084/958733944679701499970237586096\ 999*c_0110_6^18 - 2307848427907396963936620865061386035/95873394467\ 9701499970237586096999*c_0110_6^17 + 1946835946965713119745230258242869711/95873394467970149997023758609\ 6999*c_0110_6^16 + 22116612522029524414042885526502886507/958733944\ 679701499970237586096999*c_0110_6^15 - 30370295947719391014444888134408986150/9587339446797014999702375860\ 96999*c_0110_6^14 - 67425409855862105479591138140559840495/95873394\ 4679701499970237586096999*c_0110_6^13 + 23441707075912462238060944283445178841/9587339446797014999702375860\ 96999*c_0110_6^12 + 87153859172347449421656186664706112456/95873394\ 4679701499970237586096999*c_0110_6^11 + 21769067555825143693591462201666916686/9587339446797014999702375860\ 96999*c_0110_6^10 - 71914672930234240687159150008974146723/95873394\ 4679701499970237586096999*c_0110_6^9 - 30173169685453778609127590674498962899/9587339446797014999702375860\ 96999*c_0110_6^8 + 41043757270708015726333137406394525077/958733944\ 679701499970237586096999*c_0110_6^7 + 13923208684768683831263578242249015532/9587339446797014999702375860\ 96999*c_0110_6^6 - 12032265729179195869042657972038472696/958733944\ 679701499970237586096999*c_0110_6^5 - 4711329104626415146818684073785653375/95873394467970149997023758609\ 6999*c_0110_6^4 + 552236831133492328382942739442864376/958733944679\ 701499970237586096999*c_0110_6^3 + 840985434866208406346289630511760456/958733944679701499970237586096\ 999*c_0110_6^2 + 345677957476362226442787540272088848/9587339446797\ 01499970237586096999*c_0110_6 + 47829593381445826230935710708701938\ /958733944679701499970237586096999, c_0101_2 + 4660260631517979615006309931257278/9587339446797014999702375\ 86096999*c_0110_6^20 - 11168142466827734119698107752623498/95873394\ 4679701499970237586096999*c_0110_6^19 - 70208074258291762805561494976206660/9587339446797014999702375860969\ 99*c_0110_6^18 + 445010060458478515137842120362101447/9587339446797\ 01499970237586096999*c_0110_6^17 - 431504963833911282646282931165563703/958733944679701499970237586096\ 999*c_0110_6^16 - 4100804624830981623169877350965848987/95873394467\ 9701499970237586096999*c_0110_6^15 + 6292062343412934903410428370496022983/95873394467970149997023758609\ 6999*c_0110_6^14 + 11751236158451198483736011003710821184/958733944\ 679701499970237586096999*c_0110_6^13 - 5867012536804659479757569014128933033/95873394467970149997023758609\ 6999*c_0110_6^12 - 15465406671000215686713670650298741111/958733944\ 679701499970237586096999*c_0110_6^11 - 2304705404685532488134059076077350047/95873394467970149997023758609\ 6999*c_0110_6^10 + 13584458055983526846456441263107089345/958733944\ 679701499970237586096999*c_0110_6^9 + 3983992161559929117765950059850090786/95873394467970149997023758609\ 6999*c_0110_6^8 - 7890283369013105203786559172908646566/95873394467\ 9701499970237586096999*c_0110_6^7 - 1603360202713014705917527190510757359/95873394467970149997023758609\ 6999*c_0110_6^6 + 2228890752945109302185818378632440981/95873394467\ 9701499970237586096999*c_0110_6^5 + 634175257980518424049165029338017148/958733944679701499970237586096\ 999*c_0110_6^4 - 115202770265511835506218960712713642/9587339446797\ 01499970237586096999*c_0110_6^3 - 145306625244891306604707269350883\ 301/958733944679701499970237586096999*c_0110_6^2 - 55353298050098232812361625969838376/9587339446797014999702375860969\ 99*c_0110_6 - 6496922528688033577453057980150515/958733944679701499\ 970237586096999, c_0110_4 - 58597899295061350474809988637449722/958733944679701499970237\ 586096999*c_0110_6^20 + 132697003019351125341062919126555888/958733\ 944679701499970237586096999*c_0110_6^19 + 902484182644186649986402425621382646/958733944679701499970237586096\ 999*c_0110_6^18 - 5483416624195399721212013882546700815/95873394467\ 9701499970237586096999*c_0110_6^17 + 4673447715923416454336355579597252506/95873394467970149997023758609\ 6999*c_0110_6^16 + 52413624388860001387430448990169733638/958733944\ 679701499970237586096999*c_0110_6^15 - 72564411517720010826288219160285350493/9587339446797014999702375860\ 96999*c_0110_6^14 - 159090564267685000652746252969747812911/9587339\ 44679701499970237586096999*c_0110_6^13 + 57173575241297876766674243262356791829/9587339446797014999702375860\ 96999*c_0110_6^12 + 205310707666798678302765073953421411476/9587339\ 44679701499970237586096999*c_0110_6^11 + 49538034390081768009049175219240361057/9587339446797014999702375860\ 96999*c_0110_6^10 - 170352401497003155861835404121451914149/9587339\ 44679701499970237586096999*c_0110_6^9 - 69408427716381392970069084585072118968/9587339446797014999702375860\ 96999*c_0110_6^8 + 97604018008469367180656632889511488267/958733944\ 679701499970237586096999*c_0110_6^7 + 31520067707281451389115321926746292771/9587339446797014999702375860\ 96999*c_0110_6^6 - 28456605552058359086693419634856972368/958733944\ 679701499970237586096999*c_0110_6^5 - 10748404796627411929907576686941545305/9587339446797014999702375860\ 96999*c_0110_6^4 + 1330785426241626533717602395786759466/9587339446\ 79701499970237586096999*c_0110_6^3 + 1954363245998577210450400604372685741/95873394467970149997023758609\ 6999*c_0110_6^2 + 796407337827867008458423557573381366/958733944679\ 701499970237586096999*c_0110_6 + 1105567098167904511857106663067870\ 27/958733944679701499970237586096999, c_0110_6^21 - 2*c_0110_6^20 - 16*c_0110_6^19 + 179/2*c_0110_6^18 - 55*c_0110_6^17 - 1831/2*c_0110_6^16 + 2003/2*c_0110_6^15 + 6085/2*c_0110_6^14 - 511/2*c_0110_6^13 - 3764*c_0110_6^12 - 3551/2*c_0110_6^11 + 2684*c_0110_6^10 + 1957*c_0110_6^9 - 1351*c_0110_6^8 - 1963/2*c_0110_6^7 + 343*c_0110_6^6 + 313*c_0110_6^5 + 26*c_0110_6^4 - 79/2*c_0110_6^3 - 45/2*c_0110_6^2 - 11/2*c_0110_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB