Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1545453914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3459 geometric_solution 6.65430516 oriented_manifold CS_known -0.0000000000000004 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 -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.611597206353 0.852683958564 0 3 5 4 0132 0132 0132 0132 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 -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.525083592331 0.816830548590 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 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 1 -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 0 0 0.525083592331 0.816830548590 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.439434389823 0.968371759291 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 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 -1 1 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.245571570379 1.050114116315 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445030853910 0.771319083161 4 4 6 6 3201 0132 1230 3012 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.355243977250 0.357344814322 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_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' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), '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_4']), '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_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], '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_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 6334838505447576307031816503205710370083637578085/36507433955849737\ 2080694123595173775131524043608*c_0110_6^36 - 141020638335224389074654842142723278945300164221741/912685848896243\ 43020173530898793443782881010902*c_0110_6^34 + 17800316930453146735888434559513289516665820141060859/3650743395584\ 97372080694123595173775131524043608*c_0110_6^32 - 66680852022085122095248485228197132397214657451211627/9126858488962\ 4343020173530898793443782881010902*c_0110_6^30 + 2170759695015023380710709751411605838547245590444007561/36507433955\ 8497372080694123595173775131524043608*c_0110_6^28 - 2677468234956793438973679028492531952778325762208690979/91268584889\ 624343020173530898793443782881010902*c_0110_6^26 + 17406416052552048332699519890490012527765818603177777819/1825371697\ 79248686040347061797586887565762021804*c_0110_6^24 - 4158210016291893607432935898053826627172298961896708503/19214438924\ 131440635826006505009146059553897032*c_0110_6^22 + 65124099385896062721301884422061237661337271837528364221/1825371697\ 79248686040347061797586887565762021804*c_0110_6^20 - 160136630526345147505494538206773852675224889738741915673/365074339\ 558497372080694123595173775131524043608*c_0110_6^18 + 74538325766627099535931632563279711985397649483956690265/1825371697\ 79248686040347061797586887565762021804*c_0110_6^16 - 105495952436345400333351256353199307603082324498120490865/365074339\ 558497372080694123595173775131524043608*c_0110_6^14 + 28098289288869029917091864109734142282609323674929600591/1825371697\ 79248686040347061797586887565762021804*c_0110_6^12 - 10947897552005459560643240128022776119912193590770514911/1825371697\ 79248686040347061797586887565762021804*c_0110_6^10 + 5895839477814097001963340356299726562713244051830083867/36507433955\ 8497372080694123595173775131524043608*c_0110_6^8 - 991246901674287955768759633965816070037915169625530685/365074339558\ 497372080694123595173775131524043608*c_0110_6^6 + 21777245128399710195561300644037160491205763840265673/9126858488962\ 4343020173530898793443782881010902*c_0110_6^4 - 754307957251941823783631010706649948910546489863603/912685848896243\ 43020173530898793443782881010902*c_0110_6^2 - 3280357789951189941723046005019155684081328038151/36507433955849737\ 2080694123595173775131524043608, c_0011_0 - 1, c_0011_4 + 1587567069854418309882328508321745845384248058/2401804865516\ 430079478250813126143257444237129*c_0110_6^37 - 141674976180616047624460132732771661311157983686/240180486551643007\ 9478250813126143257444237129*c_0110_6^35 + 4488488088932851853894885813791561079180322890141/24018048655164300\ 79478250813126143257444237129*c_0110_6^33 - 67707028857022953184898540961180717786246469264500/2401804865516430\ 079478250813126143257444237129*c_0110_6^31 + 556798662375714657373872455651074674535799799826870/240180486551643\ 0079478250813126143257444237129*c_0110_6^29 - 2786119825829960189851602624471216152506616923942234/24018048655164\ 30079478250813126143257444237129*c_0110_6^27 + 9215769416647980219140393022228908808427495458001289/24018048655164\ 30079478250813126143257444237129*c_0110_6^25 - 21349294621943534495769292476926244839208453115024078/2401804865516\ 430079478250813126143257444237129*c_0110_6^23 + 36040663435673692398773611873835962222128148061529991/2401804865516\ 430079478250813126143257444237129*c_0110_6^21 - 45533206207582915994413529872403317306663686500587061/2401804865516\ 430079478250813126143257444237129*c_0110_6^19 + 43748468505100309685191929309528982987511871213319944/2401804865516\ 430079478250813126143257444237129*c_0110_6^17 - 32150815062727977681860809658041935785245068100951294/2401804865516\ 430079478250813126143257444237129*c_0110_6^15 + 17960269514971105466048795813688406999399584648006238/2401804865516\ 430079478250813126143257444237129*c_0110_6^13 - 7463533302209933224525893265594262706359493324392914/24018048655164\ 30079478250813126143257444237129*c_0110_6^11 + 2212565371835702244799087869419843022388214401881749/24018048655164\ 30079478250813126143257444237129*c_0110_6^9 - 437388247867961568195377633025792966256069585317380/240180486551643\ 0079478250813126143257444237129*c_0110_6^7 + 52588333252299412243984982337833169566618460713335/2401804865516430\ 079478250813126143257444237129*c_0110_6^5 - 3507736083049969845695254126553309943653963762881/24018048655164300\ 79478250813126143257444237129*c_0110_6^3 + 95955567551624598951497091389549632322923049319/2401804865516430079\ 478250813126143257444237129*c_0110_6, c_0101_0 + 1843440238908189477817099770773099231799780064/2401804865516\ 430079478250813126143257444237129*c_0110_6^37 - 164750953527878203912278634546521986767466028299/240180486551643007\ 9478250813126143257444237129*c_0110_6^35 + 5233106129626495517325198767054110539144279285406/24018048655164300\ 79478250813126143257444237129*c_0110_6^33 - 79269436760089791918671180625175158864980711370378/2401804865516430\ 079478250813126143257444237129*c_0110_6^31 + 655803546234316093476521830006961100993309679772139/240180486551643\ 0079478250813126143257444237129*c_0110_6^29 - 3304680687831162291966526444469351816562167110434863/24018048655164\ 30079478250813126143257444237129*c_0110_6^27 + 11006141806199647940964909528458942740758182195149665/2401804865516\ 430079478250813126143257444237129*c_0110_6^25 - 25638351622465826376908688586353804846437119437399939/2401804865516\ 430079478250813126143257444237129*c_0110_6^23 + 43421006175582967912430204434119305586206115351006395/2401804865516\ 430079478250813126143257444237129*c_0110_6^21 - 54858910796628769565383236529266763431188471689472330/2401804865516\ 430079478250813126143257444237129*c_0110_6^19 + 52494956408302544013608512403530748541849673693498025/2401804865516\ 430079478250813126143257444237129*c_0110_6^17 - 38220537190278834987890149849417793671215423240107796/2401804865516\ 430079478250813126143257444237129*c_0110_6^15 + 20997948298685570421109690078582860575327071429165820/2401804865516\ 430079478250813126143257444237129*c_0110_6^13 - 8482232948571347113608159181584582521971604907023386/24018048655164\ 30079478250813126143257444237129*c_0110_6^11 + 2394276981539450007194035523665279587628677255114010/24018048655164\ 30079478250813126143257444237129*c_0110_6^9 - 433691277932894803065788163653121469963186564332660/240180486551643\ 0079478250813126143257444237129*c_0110_6^7 + 45060712994768197847783173643639867924272508428908/2401804865516430\ 079478250813126143257444237129*c_0110_6^5 - 2658845548101213984973242668175655367631330085876/24018048655164300\ 79478250813126143257444237129*c_0110_6^3 + 74550080311161737659574532847919954351396190011/2401804865516430079\ 478250813126143257444237129*c_0110_6, c_0101_1 + 2085105286209537627244279627013159485190581493/2401804865516\ 430079478250813126143257444237129*c_0110_6^36 - 186673791127550923128705920671817195915426181432/240180486551643007\ 9478250813126143257444237129*c_0110_6^34 + 5948154032327156950741928867997899729807494381581/24018048655164300\ 79478250813126143257444237129*c_0110_6^32 - 90581806852313134077774707280549878622576411701215/2401804865516430\ 079478250813126143257444237129*c_0110_6^30 + 755692899379366843053005468532396120218681498960898/240180486551643\ 0079478250813126143257444237129*c_0110_6^28 - 3852688860683607026253697104313612332450926843611190/24018048655164\ 30079478250813126143257444237129*c_0110_6^26 + 13024943204522938921430773132083767555620276162289432/2401804865516\ 430079478250813126143257444237129*c_0110_6^24 - 30907324208834706115844225456942932456151304658877396/2401804865516\ 430079478250813126143257444237129*c_0110_6^22 + 53528537375863556716014280365084909267646695896825260/2401804865516\ 430079478250813126143257444237129*c_0110_6^20 - 69468608503718964788366451455140257382992846390482932/2401804865516\ 430079478250813126143257444237129*c_0110_6^18 + 68656546603523250782730907965114643558109563741706025/2401804865516\ 430079478250813126143257444237129*c_0110_6^16 - 52000155455989108071685023760968955670675214934243487/2401804865516\ 430079478250813126143257444237129*c_0110_6^14 + 30030009607324205077670426908895300198018734246976335/2401804865516\ 430079478250813126143257444237129*c_0110_6^12 - 12964269215892575340091412572411026000582284353038782/2401804865516\ 430079478250813126143257444237129*c_0110_6^10 + 4021536380325788471031806117131962682472373178219331/24018048655164\ 30079478250813126143257444237129*c_0110_6^8 - 838921435451798186672118501842024778018867324808142/240180486551643\ 0079478250813126143257444237129*c_0110_6^6 + 106530007832614390212194442394336933202309967845478/240180486551643\ 0079478250813126143257444237129*c_0110_6^4 - 7201735765803158250352803592013992789812765917192/24018048655164300\ 79478250813126143257444237129*c_0110_6^2 + 196414959002153057713658171458711519274057384421/240180486551643007\ 9478250813126143257444237129, c_0101_2 - 1706095635532544665709736726934536328677721151/2401804865516\ 430079478250813126143257444237129*c_0110_6^37 + 153464042992727240934006692220606255715011295055/240180486551643007\ 9478250813126143257444237129*c_0110_6^35 - 4931054651371281926449656134886125588688881369619/24018048655164300\ 79478250813126143257444237129*c_0110_6^33 + 76128684206311722603074072589053902402660772367188/2401804865516430\ 079478250813126143257444237129*c_0110_6^31 - 648210189241578244757494325554522665293729789096147/240180486551643\ 0079478250813126143257444237129*c_0110_6^29 + 3392242839399039930692107037053860016911516484797693/24018048655164\ 30079478250813126143257444237129*c_0110_6^27 - 11819393168902051951250223304925588154954239547329967/2401804865516\ 430079478250813126143257444237129*c_0110_6^25 + 28985592977068664936421472117414131956118202515439526/2401804865516\ 430079478250813126143257444237129*c_0110_6^23 - 51988275492005780967953271134495195443889440080107406/2401804865516\ 430079478250813126143257444237129*c_0110_6^21 + 70002296483705001873534793775976739116466491255234699/2401804865516\ 430079478250813126143257444237129*c_0110_6^19 - 71935760761878394430382965100825670175004335927627912/2401804865516\ 430079478250813126143257444237129*c_0110_6^17 + 56826970431068047308128682172599028268042777361863074/2401804865516\ 430079478250813126143257444237129*c_0110_6^15 - 34398777712531260529291354793821058405963174800051914/2401804865516\ 430079478250813126143257444237129*c_0110_6^13 + 15692112205153076423590224422564360710392040545291239/2401804865516\ 430079478250813126143257444237129*c_0110_6^11 - 5210649509437015801672273281324078909251329756285215/24018048655164\ 30079478250813126143257444237129*c_0110_6^9 + 1186685527451617374881379726353175141255125212621579/24018048655164\ 30079478250813126143257444237129*c_0110_6^7 - 168722756032718630008842321762055055676619137866038/240180486551643\ 0079478250813126143257444237129*c_0110_6^5 + 12929791101648630462738346479602965575923465875864/2401804865516430\ 079478250813126143257444237129*c_0110_6^3 - 402990745158846754029356817832551324999130457118/240180486551643007\ 9478250813126143257444237129*c_0110_6, c_0101_5 + 1206060106281600264949433016185464773424341534/2401804865516\ 430079478250813126143257444237129*c_0110_6^36 - 107518578295689153214455217799893143207075237769/240180486551643007\ 9478250813126143257444237129*c_0110_6^34 + 3400100201756442914730952926550278628514001253320/24018048655164300\ 79478250813126143257444237129*c_0110_6^32 - 51133158384847309284297247026096427274726461767244/2401804865516430\ 079478250813126143257444237129*c_0110_6^30 + 418571637585425990006443584340209802411243122401610/240180486551643\ 0079478250813126143257444237129*c_0110_6^28 - 2082091308422333215241422278759479273907381245329507/24018048655164\ 30079478250813126143257444237129*c_0110_6^26 + 6840608352761249620350643794606741639404817464774724/24018048655164\ 30079478250813126143257444237129*c_0110_6^24 - 15733670771636862784393401195071942263980814083235817/2401804865516\ 430079478250813126143257444237129*c_0110_6^22 + 26368711316078907106947283783434319695909036275253653/2401804865516\ 430079478250813126143257444237129*c_0110_6^20 - 33077902674171025464154850676001269270162260618406216/2401804865516\ 430079478250813126143257444237129*c_0110_6^18 + 31563904776865580677318524352727858726980219773923244/2401804865516\ 430079478250813126143257444237129*c_0110_6^16 - 23042060158085294677191965155356554567724506814672346/2401804865516\ 430079478250813126143257444237129*c_0110_6^14 + 12786433971989341946758426143713484875579093605225154/2401804865516\ 430079478250813126143257444237129*c_0110_6^12 - 5276793393172005112998966044887551255432893501469657/24018048655164\ 30079478250813126143257444237129*c_0110_6^10 + 1552333374286628715854792921381475927951689269494890/24018048655164\ 30079478250813126143257444237129*c_0110_6^8 - 303855400405554295527415179007581851130743681764941/240180486551643\ 0079478250813126143257444237129*c_0110_6^6 + 35870277517619021912626022193859274005256925067751/2401804865516430\ 079478250813126143257444237129*c_0110_6^4 - 2289384409165373714261356250414517024856277522868/24018048655164300\ 79478250813126143257444237129*c_0110_6^2 + 62729353519984325855006734129352485382045663333/2401804865516430079\ 478250813126143257444237129, c_0110_6^38 - 90*c_0110_6^36 + 2895*c_0110_6^34 - 44790*c_0110_6^32 + 382933*c_0110_6^30 - 2018618*c_0110_6^28 + 7116462*c_0110_6^26 - 17756669*c_0110_6^24 + 32612376*c_0110_6^22 - 45290633*c_0110_6^20 + 48392520*c_0110_6^18 - 40133561*c_0110_6^16 + 25827148*c_0110_6^14 - 12755346*c_0110_6^12 + 4717507*c_0110_6^10 - 1253315*c_0110_6^8 + 224522*c_0110_6^6 - 24804*c_0110_6^4 + 1501*c_0110_6^2 - 38 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB