Magma V2.19-8 Tue Aug 20 2013 16:18:55 on localhost [Seed = 442206060] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3090 geometric_solution 6.25754502 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 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 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.798188448140 0.832083661315 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0.522323485282 0.869413790096 3 0 4 5 2310 0132 3201 2310 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 0 0 0 1 0 0 -1 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.522323485282 0.869413790096 6 1 2 6 0132 0132 3201 3201 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 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.117357712289 0.505764920972 2 4 1 4 2310 2310 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.947688573744 1.303834837607 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 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 -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.238926614874 0.563091248546 3 3 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.326770542478 2.089841396792 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], '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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 6947761843350297134658194328822519872/38910127408996122753365880883\ *c_0101_6^31 - 35411468100356937931676346545122449464/3891012740899\ 6122753365880883*c_0101_6^30 - 921320341258891901008480220596159260\ 0/38910127408996122753365880883*c_0101_6^29 + 343669502885297600033020531009958259012/389101274089961227533658808\ 83*c_0101_6^28 - 543306693962646914459965786093944149580/3891012740\ 8996122753365880883*c_0101_6^27 - 472552866819620553739300931166457\ 101040/38910127408996122753365880883*c_0101_6^26 + 3739287452939061860780627834868479625649/77820254817992245506731761\ 766*c_0101_6^25 - 2220090661563928773479116294854370832743/77820254\ 817992245506731761766*c_0101_6^24 - 3284001030563592059000077656673872520311/77820254817992245506731761\ 766*c_0101_6^23 + 7384042904514617360500571212632834434509/77820254\ 817992245506731761766*c_0101_6^22 - 16883676504483114419232029625238535255/522283589382498291991488334*\ c_0101_6^21 - 5818320502162343555964180793156566547365/389101274089\ 96122753365880883*c_0101_6^20 + 48676145082915957267899365030062612\ 30471/38910127408996122753365880883*c_0101_6^19 + 7297390235950122322093775813167501032045/38910127408996122753365880\ 883*c_0101_6^18 - 13671206391496730814926248411926335123679/7782025\ 4817992245506731761766*c_0101_6^17 - 7491591177731011117003963719493923586827/38910127408996122753365880\ 883*c_0101_6^16 + 6249931129133198408176306490292048763962/38910127\ 408996122753365880883*c_0101_6^15 + 5970305067388784596412315029959411501419/38910127408996122753365880\ 883*c_0101_6^14 - 28626211946752764131663999563790811968/2611417946\ 91249145995744167*c_0101_6^13 - 76111619347199184275899516010825221\ 86453/77820254817992245506731761766*c_0101_6^12 + 4810627108685693268069045484568162236271/77820254817992245506731761\ 766*c_0101_6^11 + 2245638887919297903134943168423857096729/38910127\ 408996122753365880883*c_0101_6^10 - 1001694968494145788035760695751048271129/38910127408996122753365880\ 883*c_0101_6^9 - 1275339800135777438550066376161812287004/389101274\ 08996122753365880883*c_0101_6^8 + 892062659303965064598898583869069\ 29223/38910127408996122753365880883*c_0101_6^7 + 498956044330320674088693638929724083015/389101274089961227533658808\ 83*c_0101_6^6 + 161994753749019812899765406903198198507/38910127408\ 996122753365880883*c_0101_6^5 - 56868707200358323548927877772933995\ 323/38910127408996122753365880883*c_0101_6^4 - 56995149543354752512577880533492063149/3891012740899612275336588088\ 3*c_0101_6^3 - 36187118202055483014452853334774909833/7782025481799\ 2245506731761766*c_0101_6^2 - 2749150089999699041247051343456030841\ /38910127408996122753365880883*c_0101_6 - 169018021675231596366685001778363968/38910127408996122753365880883, c_0011_0 - 1, c_0011_4 - 359578281370376998838931942133496144/38910127408996122753365\ 880883*c_0101_6^31 + 1882838194927741637341136080061621462/38910127\ 408996122753365880883*c_0101_6^30 + 175696778450277087587229931835875532/38910127408996122753365880883*\ c_0101_6^29 - 17581133206597563790310790507048876731/38910127408996\ 122753365880883*c_0101_6^28 + 3042502994987790124848231330863273133\ 0/38910127408996122753365880883*c_0101_6^27 + 18425642341048378341321506441036346703/3891012740899612275336588088\ 3*c_0101_6^26 - 758236613435312675902042040115135930997/31128101927\ 1968982026927047064*c_0101_6^25 + 277675221159844379657890722246535\ 989605/155640509635984491013463523532*c_0101_6^24 + 131828671565522342163943719495354722411/778202548179922455067317617\ 66*c_0101_6^23 - 186030805226620785031397942418414612908/3891012740\ 8996122753365880883*c_0101_6^22 + 472919776229464340037881355227907\ 7743/2089134357529993167965953336*c_0101_6^21 + 2165116742041032053506632367354251048935/31128101927196898202692704\ 7064*c_0101_6^20 - 2135794666509070624845274991960664334989/3112810\ 19271968982026927047064*c_0101_6^19 - 2618740694798048663106359547170377846289/31128101927196898202692704\ 7064*c_0101_6^18 + 2886499022070253675784795453430045965061/3112810\ 19271968982026927047064*c_0101_6^17 + 659726292767490419970990514435526749849/778202548179922455067317617\ 66*c_0101_6^16 - 1298150192554978747005359984447118903433/155640509\ 635984491013463523532*c_0101_6^15 - 260636630385983416752523800283258498819/389101274089961227533658808\ 83*c_0101_6^14 + 5884639470636117075691003707759306735/104456717876\ 4996583982976668*c_0101_6^13 + 132638602659747836669212176518199779\ 6585/311281019271968982026927047064*c_0101_6^12 - 491999694196894581169884082646489720477/155640509635984491013463523\ 532*c_0101_6^11 - 793029338809783991133267822973230305557/311281019\ 271968982026927047064*c_0101_6^10 + 208430926044317642522922196101219862627/155640509635984491013463523\ 532*c_0101_6^9 + 463658539054203242332360821633926967513/3112810192\ 71968982026927047064*c_0101_6^8 - 253472684581918081796451599043060\ 75533/155640509635984491013463523532*c_0101_6^7 - 93353896188459288263809094016544954155/1556405096359844910134635235\ 32*c_0101_6^6 - 56454179735777665865307409962592022521/311281019271\ 968982026927047064*c_0101_6^5 + 22475744514724386385158856236504076\ 727/311281019271968982026927047064*c_0101_6^4 + 21091949757188005430440443787290064517/3112810192719689820269270470\ 64*c_0101_6^3 + 6580892171294832009341437039642799369/3112810192719\ 68982026927047064*c_0101_6^2 + 495438665724450361545156397283606687\ /155640509635984491013463523532*c_0101_6 + 15152131462677249057548422149710123/77820254817992245506731761766, c_0101_0 + 369788317190787578352296010946523584/38910127408996122753365\ 880883*c_0101_6^31 - 1962056071261527890901581373056225352/38910127\ 408996122753365880883*c_0101_6^30 - 32429201017439173371439224251772480/38910127408996122753365880883*c\ _0101_6^29 + 18015842753070142489711104580172987992/389101274089961\ 22753365880883*c_0101_6^28 - 32514782787336319015505317643631036732\ /38910127408996122753365880883*c_0101_6^27 - 16131956753122739011874930784451441754/3891012740899612275336588088\ 3*c_0101_6^26 + 194652670235345993009410523131697214755/77820254817\ 992245506731761766*c_0101_6^25 - 7810590382130541068157136273016755\ 7608/38910127408996122753365880883*c_0101_6^24 - 237276080725726666891105714562679837547/155640509635984491013463523\ 532*c_0101_6^23 + 766535951321213562154728991299430034945/155640509\ 635984491013463523532*c_0101_6^22 - 2794158814202520137901282778652837749/1044567178764996583982976668*\ c_0101_6^21 - 529976189535677444578175483859742845255/7782025481799\ 2245506731761766*c_0101_6^20 + 574018428587300180772325661418086195\ 201/77820254817992245506731761766*c_0101_6^19 + 311024064545989717815650261665905166606/389101274089961227533658808\ 83*c_0101_6^18 - 1524720409653862947069152101723134490063/155640509\ 635984491013463523532*c_0101_6^17 - 308105301144227963552040173792149818449/389101274089961227533658808\ 83*c_0101_6^16 + 1364736012835381157277726901557133175965/155640509\ 635984491013463523532*c_0101_6^15 + 240911792589154686735048136245780184322/389101274089961227533658808\ 83*c_0101_6^14 - 3086937244509702388344393180451085177/522283589382\ 498291991488334*c_0101_6^13 - 6097137454775661133315426843113784260\ 01/155640509635984491013463523532*c_0101_6^12 + 515826288799686351184063722154466247945/155640509635984491013463523\ 532*c_0101_6^11 + 91846289300398536052079675906731259810/3891012740\ 8996122753365880883*c_0101_6^10 - 221721181046152319589155198892119\ 824349/155640509635984491013463523532*c_0101_6^9 - 219638603553119984486462339605356081407/155640509635984491013463523\ 532*c_0101_6^8 + 32897277691258992478303515703273375097/15564050963\ 5984491013463523532*c_0101_6^7 + 9063179994556178078530450476902167\ 8959/155640509635984491013463523532*c_0101_6^6 + 6284936773627648003340656208259905553/38910127408996122753365880883\ *c_0101_6^5 - 11554110757417705657561514288191243359/15564050963598\ 4491013463523532*c_0101_6^4 - 1004232819483809020459479173111349830\ 7/155640509635984491013463523532*c_0101_6^3 - 761664961458052632964649141660778960/38910127408996122753365880883*\ c_0101_6^2 - 224649084252518305268873904568215663/77820254817992245\ 506731761766*c_0101_6 - 13493712746561972737942890468577789/7782025\ 4817992245506731761766, c_0101_1 - 236475058520636065287754529364609848/38910127408996122753365\ 880883*c_0101_6^31 + 1235916672986802801136867217128509345/38910127\ 408996122753365880883*c_0101_6^30 + 128067669043595325641321075162437123/38910127408996122753365880883*\ c_0101_6^29 - 23125312349168638962384269700677125909/77820254817992\ 245506731761766*c_0101_6^28 + 3978732620482099477341163614945356836\ 5/77820254817992245506731761766*c_0101_6^27 + 24666216414339451469901876362808668851/7782025481799224550673176176\ 6*c_0101_6^26 - 995723750323946370806126174582619334719/62256203854\ 3937964053854094128*c_0101_6^25 + 719847344480937950279603263364411\ 862255/622562038543937964053854094128*c_0101_6^24 + 351311771249197714207564167129953200197/311281019271968982026927047\ 064*c_0101_6^23 - 243877114905533088706059897747467873297/778202548\ 17992245506731761766*c_0101_6^22 + 6072094596880584543710511713820280301/4178268715059986335931906672*\ c_0101_6^21 + 1430482454507111162894863384985770062279/311281019271\ 968982026927047064*c_0101_6^20 - 1390626672644535324997308489796181\ 077225/311281019271968982026927047064*c_0101_6^19 - 1739673594286802549459086210376546913343/31128101927196898202692704\ 7064*c_0101_6^18 + 470907012693125131546705732152437697537/77820254\ 817992245506731761766*c_0101_6^17 + 3517341739141208507061672298854745055655/62256203854393796405385409\ 4128*c_0101_6^16 - 1694047291638955957009766818434002363303/3112810\ 19271968982026927047064*c_0101_6^15 - 1392618707591748174406986613044523445665/31128101927196898202692704\ 7064*c_0101_6^14 + 7674438530048235382594470807874409293/2089134357\ 529993167965953336*c_0101_6^13 + 1774356804810752650170984436035830\ 257885/622562038543937964053854094128*c_0101_6^12 - 1282629318273150180329247985926676884499/62256203854393796405385409\ 4128*c_0101_6^11 - 1060131560196130320829704748530736334549/6225620\ 38543937964053854094128*c_0101_6^10 + 541333142535045056092302871403361439359/622562038543937964053854094\ 128*c_0101_6^9 + 617673981580521320062975689431195044317/6225620385\ 43937964053854094128*c_0101_6^8 - 621587065231686506781237551402069\ 42311/622562038543937964053854094128*c_0101_6^7 - 30946374850998009091595595291015874079/7782025481799224550673176176\ 6*c_0101_6^6 - 76366210549474463146779590814472728353/6225620385439\ 37964053854094128*c_0101_6^5 + 146867914279459565791760638282827640\ 77/311281019271968982026927047064*c_0101_6^4 + 7031281453510039911155495638956743093/15564050963598449101346352353\ 2*c_0101_6^3 + 4421425685234672841685565997984718363/31128101927196\ 8982026927047064*c_0101_6^2 + 1339548078270499323996545704009910977\ /622562038543937964053854094128*c_0101_6 + 41196948769122897883521380567273533/311281019271968982026927047064, c_0101_2 - 128*c_0101_6^31 + 624*c_0101_6^30 + 304*c_0101_6^29 - 6232*c_0101_6^28 + 8568*c_0101_6^27 + 10440*c_0101_6^26 - 31297*c_0101_6^25 + 12519*c_0101_6^24 + 32218*c_0101_6^23 - 57527*c_0101_6^22 + 7439*c_0101_6^21 + 107320*c_0101_6^20 - 59888*c_0101_6^19 - 150539*c_0101_6^18 + 85685*c_0101_6^17 + 163566*c_0101_6^16 - 72307*c_0101_6^15 - 134329*c_0101_6^14 + 43816*c_0101_6^13 + 87097*c_0101_6^12 - 21999*c_0101_6^11 - 51045*c_0101_6^10 + 5542*c_0101_6^9 + 27287*c_0101_6^8 + 5318*c_0101_6^7 - 9080*c_0101_6^6 - 5548*c_0101_6^5 + 68*c_0101_6^4 + 1300*c_0101_6^3 + 637*c_0101_6^2 + 153*c_0101_6 + 18, c_0101_3 + 109620627180331484436728960/10006583312175056833*c_0101_6^31 - 583832983763113849815721616/10006583312175056833*c_0101_6^30 + 2776172203942240120711868/10006583312175056833*c_0101_6^29 + 5336733297685108746160963364/10006583312175056833*c_0101_6^28 - 9744488822461957718381033998/10006583312175056833*c_0101_6^27 - 4553976382620660842250185982/10006583312175056833*c_0101_6^26 + 28871754675329246398355197839/10006583312175056833*c_0101_6^25 - 94952922340945780043069920609/40026333248700227332*c_0101_6^24 - 67711398051564512091158046657/40026333248700227332*c_0101_6^23 + 56942946672617149089390689940/10006583312175056833*c_0101_6^22 - 32035294538257909408853006400/10006583312175056833*c_0101_6^21 - 310187622136599685670343810409/40026333248700227332*c_0101_6^20 + 86322989033427802311639012434/10006583312175056833*c_0101_6^19 + 180175969429232179941946083631/20013166624350113666*c_0101_6^18 - 228299268334191209989977049065/20013166624350113666*c_0101_6^17 - 88692274074915252673215455966/10006583312175056833*c_0101_6^16 + 408406969855462825741249468877/40026333248700227332*c_0101_6^15 + 69073466696549393672657883844/10006583312175056833*c_0101_6^14 - 137671506291558494990697699961/20013166624350113666*c_0101_6^13 - 87203611029986299695528843835/20013166624350113666*c_0101_6^12 + 154453016661165934632827198203/40026333248700227332*c_0101_6^11 + 105333467763665717722147037593/40026333248700227332*c_0101_6^10 - 66735956176069961120450317993/40026333248700227332*c_0101_6^9 - 63458251682908297685686227449/40026333248700227332*c_0101_6^8 + 10514530841238290970299867629/40026333248700227332*c_0101_6^7 + 26419122024634389726546074773/40026333248700227332*c_0101_6^6 + 3530381105886284742216601837/20013166624350113666*c_0101_6^5 - 3444958823683920857583059259/40026333248700227332*c_0101_6^4 - 725350142556131635153567972/10006583312175056833*c_0101_6^3 - 217105163631977110299995569/10006583312175056833*c_0101_6^2 - 63312593343967875836576127/20013166624350113666*c_0101_6 - 7522005277881375899730201/40026333248700227332, c_0101_6^32 - 39/8*c_0101_6^31 - 19/8*c_0101_6^30 + 779/16*c_0101_6^29 - 1071/16*c_0101_6^28 - 1305/16*c_0101_6^27 + 31297/128*c_0101_6^26 - 12519/128*c_0101_6^25 - 16109/64*c_0101_6^24 + 57527/128*c_0101_6^23 - 7439/128*c_0101_6^22 - 13415/16*c_0101_6^21 + 3743/8*c_0101_6^20 + 150539/128*c_0101_6^19 - 85685/128*c_0101_6^18 - 81783/64*c_0101_6^17 + 72307/128*c_0101_6^16 + 134329/128*c_0101_6^15 - 5477/16*c_0101_6^14 - 87097/128*c_0101_6^13 + 21999/128*c_0101_6^12 + 51045/128*c_0101_6^11 - 2771/64*c_0101_6^10 - 27287/128*c_0101_6^9 - 2659/64*c_0101_6^8 + 1135/16*c_0101_6^7 + 1387/32*c_0101_6^6 - 17/32*c_0101_6^5 - 325/32*c_0101_6^4 - 637/128*c_0101_6^3 - 19/16*c_0101_6^2 - 19/128*c_0101_6 - 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB