Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 2648441067] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3054 geometric_solution 6.22377535 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.348834890847 0.245157717343 2 0 3 0 0132 2310 0132 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732255593409 1.103432945493 1 4 5 6 0132 0132 0132 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538346798216 1.476530602874 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538346798216 1.476530602874 3 2 4 4 2310 0132 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 1 -1 0 0 1 -1 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.166394525350 0.515246150650 3 5 5 2 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242815930180 0.536330001166 6 3 2 6 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772315912404 0.756042574391 ==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' : 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' : 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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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' : 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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 993967705460539562916997888343146399641924808511/356663283998069355\ 9485746206296859321271797100*c_0101_4^17 - 7888927781593678327476234678699520604613043156101/71332656799613871\ 18971492412593718642543594200*c_0101_4^16 - 21928349356505828090760805755881224683144619369791/1783316419990346\ 779742873103148429660635898550*c_0101_4^15 + 54857610780860822816470894694431721091211856354119/7133265679961387\ 118971492412593718642543594200*c_0101_4^14 - 41246131886441357379250008737042419858422810211609/1019037954280198\ 159853070344656245520363370600*c_0101_4^13 - 9228870516740175171680908918980391299457022610477/10190379542801981\ 59853070344656245520363370600*c_0101_4^12 + 26458324185702462221770913523275338094446406032139/6202839721705554\ 0164969499239945379500379080*c_0101_4^11 - 780544352042651010781096237326299443210511891499417/713326567996138\ 7118971492412593718642543594200*c_0101_4^10 + 3068610343470864238665377158192126045480097368130711/17833164199903\ 46779742873103148429660635898550*c_0101_4^9 + 6893481135868793660624822877891873214828377485268799/35666328399806\ 93559485746206296859321271797100*c_0101_4^8 + 12129524813808127243513365848523661114646594727509177/3566632839980\ 693559485746206296859321271797100*c_0101_4^7 + 32784917407271332206989698271567433695137729345069491/3566632839980\ 693559485746206296859321271797100*c_0101_4^6 - 378394556949373808839299370057834786993549088329928/891658209995173\ 389871436551574214830317949275*c_0101_4^5 - 5633129294678968293752088374740674743370492552031937/14266531359922\ 77423794298482518743728508718840*c_0101_4^4 - 17231680234193213226251413238838548645686335172036339/3566632839980\ 693559485746206296859321271797100*c_0101_4^3 - 74411565002285565324926504153715191918690978149797/5095189771400990\ 7992653517232812276018168530*c_0101_4^2 - 95425416621585201838537860861177511178751596814433/1019037954280198\ 159853070344656245520363370600*c_0101_4 + 45301261701654949347297214992726744917583385182657/7133265679961387\ 118971492412593718642543594200, c_0011_0 - 1, c_0011_1 - 21195810332625551683766624698466157792901/221529990060912643\ 446319640142662069644211*c_0101_4^17 + 170361365087993834549573864424182427751331/443059980121825286892639\ 280285324139288422*c_0101_4^16 + 9309256334642321575357297108478184\ 13876046/221529990060912643446319640142662069644211*c_0101_4^15 - 1263476689575528541541318694817773430622495/44305998012182528689263\ 9280285324139288422*c_0101_4^14 + 622082651888823838139728476251836\ 5022393803/443059980121825286892639280285324139288422*c_0101_4^13 + 1062807773439400197951552524238858550163863/44305998012182528689263\ 9280285324139288422*c_0101_4^12 - 324674325068621166312348236914481\ 82034925792/221529990060912643446319640142662069644211*c_0101_4^11 + 9955016145927277396744465079116266555917745/22152999006091264344631\ 9640142662069644211*c_0101_4^10 - 131382681672052779581053272997118\ 047218254225/221529990060912643446319640142662069644211*c_0101_4^9 - 280719581065811430121562966015196335590706991/443059980121825286892\ 639280285324139288422*c_0101_4^8 - 251633738104674862798066139841860798925089740/221529990060912643446\ 319640142662069644211*c_0101_4^7 - 1372796432503760745847263566811243759086502687/44305998012182528689\ 2639280285324139288422*c_0101_4^6 + 133717115753634974108337488888638631031377791/443059980121825286892\ 639280285324139288422*c_0101_4^5 + 593826558345848835960507535310277263908759037/443059980121825286892\ 639280285324139288422*c_0101_4^4 + 353025052934200166801333866562931704049752018/221529990060912643446\ 319640142662069644211*c_0101_4^3 + 186537389134393524437342172616739806434822825/443059980121825286892\ 639280285324139288422*c_0101_4^2 + 2372368907299998858534221562763464516370498/22152999006091264344631\ 9640142662069644211*c_0101_4 - 129453286114079131826946277055776702\ 4592055/443059980121825286892639280285324139288422, c_0011_3 + 158739804094927952169722151833203772775/22152999006091264344\ 6319640142662069644211*c_0101_4^17 - 851307321967563950118342003824612688454/221529990060912643446319640\ 142662069644211*c_0101_4^16 - 1211360769809963093945809166963180476\ 2011/443059980121825286892639280285324139288422*c_0101_4^15 + 27701364048466541727313835196202117497083/4430599801218252868926392\ 80285324139288422*c_0101_4^14 - 32103872450738745986757309932781561\ 310052/221529990060912643446319640142662069644211*c_0101_4^13 + 29957003784695021387912177869333900324656/2215299900609126434463196\ 40142662069644211*c_0101_4^12 + 47898555688799915249734371853600125\ 2745543/443059980121825286892639280285324139288422*c_0101_4^11 - 800298908471353117731509256928748049774673/443059980121825286892639\ 280285324139288422*c_0101_4^10 + 1173605459094857623211287440219207\ 134567487/221529990060912643446319640142662069644211*c_0101_4^9 - 330748861512079830893684612674954577512621/221529990060912643446319\ 640142662069644211*c_0101_4^8 + 16702102219057221581399976299279925\ 68131951/443059980121825286892639280285324139288422*c_0101_4^7 + 2875372100034103190430901363005898656673590/22152999006091264344631\ 9640142662069644211*c_0101_4^6 - 1375439489843244248080220602794563\ 0737754799/443059980121825286892639280285324139288422*c_0101_4^5 + 89050813640293992128428509025356134782616/2215299900609126434463196\ 40142662069644211*c_0101_4^4 - 960016705618557732934987228130227237\ 803073/443059980121825286892639280285324139288422*c_0101_4^3 + 4139452087513801552543441161532431961270275/44305998012182528689263\ 9280285324139288422*c_0101_4^2 + 2771735314010018962854554486589384\ 88544276/221529990060912643446319640142662069644211*c_0101_4 + 43116055470646550150856031722705196129039/2215299900609126434463196\ 40142662069644211, c_0101_0 + 6457769260935198321867401939147104143623/2215299900609126434\ 46319640142662069644211*c_0101_4^17 - 51050962500005127413581525406674236794279/4430599801218252868926392\ 80285324139288422*c_0101_4^16 - 57103013629239727654582016833627525\ 3346781/443059980121825286892639280285324139288422*c_0101_4^15 + 174475019418944358995059564966667635478623/221529990060912643446319\ 640142662069644211*c_0101_4^14 - 1855041515231206950519050663960672\ 626119747/443059980121825286892639280285324139288422*c_0101_4^13 - 463241577210500923495622362682426328969621/443059980121825286892639\ 280285324139288422*c_0101_4^12 + 9908672740801341856774225598929274\ 670885394/221529990060912643446319640142662069644211*c_0101_4^11 - 4764266147651284504519495474947378282902015/44305998012182528689263\ 9280285324139288422*c_0101_4^10 + 791271183325036361209471391034070\ 76316012051/443059980121825286892639280285324139288422*c_0101_4^9 + 45559195988129385060664752619498923715869102/2215299900609126434463\ 19640142662069644211*c_0101_4^8 + 783727158664985861533645069513737\ 10569251624/221529990060912643446319640142662069644211*c_0101_4^7 + 213329912681822808768869844473475493886496648/221529990060912643446\ 319640142662069644211*c_0101_4^6 - 8403741013342710460216750376836014783839090/22152999006091264344631\ 9640142662069644211*c_0101_4^5 - 9696349542110598763916061826115472\ 6382384399/221529990060912643446319640142662069644211*c_0101_4^4 - 223363270330570040004954728539365995075241243/443059980121825286892\ 639280285324139288422*c_0101_4^3 - 67313383983509613086756565596745135621919905/4430599801218252868926\ 39280285324139288422*c_0101_4^2 - 291266975182501617126884408523279\ 423035838/221529990060912643446319640142662069644211*c_0101_4 + 437816876019328737559405698552451179511522/221529990060912643446319\ 640142662069644211, c_0101_1 - 24972245180806796640037677909722251281863/221529990060912643\ 446319640142662069644211*c_0101_4^17 + 97283723511459935309905083974174630101515/2215299900609126434463196\ 40142662069644211*c_0101_4^16 + 11094221695161723676739033957826491\ 71940662/221529990060912643446319640142662069644211*c_0101_4^15 - 610514352787305843843385787104816106914194/221529990060912643446319\ 640142662069644211*c_0101_4^14 + 3560869708026743350735812387427627\ 550877599/221529990060912643446319640142662069644211*c_0101_4^13 + 2177342040808093010439453231200936767571251/44305998012182528689263\ 9280285324139288422*c_0101_4^12 - 764386744004963093647967971110332\ 36506826453/443059980121825286892639280285324139288422*c_0101_4^11 + 14049670530402856884703889512440560619807757/4430599801218252868926\ 39280285324139288422*c_0101_4^10 - 152914124482707597170922006286803335725479110/221529990060912643446\ 319640142662069644211*c_0101_4^9 - 184662941313187898529826227076612297583603176/221529990060912643446\ 319640142662069644211*c_0101_4^8 - 315008775535760309502797222801250195537343252/221529990060912643446\ 319640142662069644211*c_0101_4^7 - 1687543898953030468460749926987791642778353447/44305998012182528689\ 2639280285324139288422*c_0101_4^6 - 35616904406588916751203405280473990070251799/4430599801218252868926\ 39280285324139288422*c_0101_4^5 + 735791546038889570587191189084480\ 304851217791/443059980121825286892639280285324139288422*c_0101_4^4 + 911521410376119902700558494124265105457118481/443059980121825286892\ 639280285324139288422*c_0101_4^3 + 315517915038350240957431766256784194008789427/443059980121825286892\ 639280285324139288422*c_0101_4^2 + 24734918839855277992923157613702275807316357/4430599801218252868926\ 39280285324139288422*c_0101_4 - 16589548538623706705090652252537896\ 87737745/443059980121825286892639280285324139288422, c_0101_3 - 872992914503662549508584506056799913475/44305998012182528689\ 2639280285324139288422*c_0101_4^17 + 3703882422094593463289529012200881903589/44305998012182528689263928\ 0285324139288422*c_0101_4^16 + 187558443449863406162271122002022675\ 68470/221529990060912643446319640142662069644211*c_0101_4^15 - 17206894695509126279142967032990252470013/2215299900609126434463196\ 40142662069644211*c_0101_4^14 + 67919334579535168383832996255821609\ 555137/221529990060912643446319640142662069644211*c_0101_4^13 - 4411808991022933352213449643238898785031/22152999006091264344631964\ 0142662069644211*c_0101_4^12 - 667619903920880875396132418515557493\ 392901/221529990060912643446319640142662069644211*c_0101_4^11 + 354707893572610788757937084778953679121914/221529990060912643446319\ 640142662069644211*c_0101_4^10 - 2786966396458259275133973660914983\ 751718360/221529990060912643446319640142662069644211*c_0101_4^9 - 4520735375884767844139107404509876115765785/44305998012182528689263\ 9280285324139288422*c_0101_4^8 - 9344939277445801776691669091258957\ 744261551/443059980121825286892639280285324139288422*c_0101_4^7 - 13093984099460556643817035044237635116851179/2215299900609126434463\ 19640142662069644211*c_0101_4^6 + 435692081338542473412475947632576\ 6642358552/221529990060912643446319640142662069644211*c_0101_4^5 + 10234120068538176418070321444706455693008093/4430599801218252868926\ 39280285324139288422*c_0101_4^4 + 123722799435671181810542313216400\ 08827651511/443059980121825286892639280285324139288422*c_0101_4^3 + 578887446271736667131930394826567825846281/221529990060912643446319\ 640142662069644211*c_0101_4^2 - 52317707259204616093218493611153566\ 7680025/443059980121825286892639280285324139288422*c_0101_4 + 135293285476775914112251116896903502340301/443059980121825286892639\ 280285324139288422, c_0101_4^18 - 4*c_0101_4^17 - 44*c_0101_4^16 + 29*c_0101_4^15 - 146*c_0101_4^14 - 28*c_0101_4^13 + 1532*c_0101_4^12 - 441*c_0101_4^11 + 6183*c_0101_4^10 + 6742*c_0101_4^9 + 11968*c_0101_4^8 + 32584*c_0101_4^7 - 2593*c_0101_4^6 - 14198*c_0101_4^5 - 16869*c_0101_4^4 - 4661*c_0101_4^3 - 133*c_0101_4^2 + 39*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB