Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2261195768] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3013 geometric_solution 6.18733298 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3120 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0.697039548348 1.337542638744 0 0 5 4 0132 3120 0132 0132 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 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.441063167959 0.333565058821 4 5 6 0 0132 3012 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 -1 0 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.758525066497 0.733783703223 3 3 0 4 1302 2031 0132 2031 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 1 0 -1 -1 0 0 1 -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.066205016541 0.828813376996 2 3 1 6 0132 1302 0132 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 -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 1.178684794367 0.602280300900 2 5 5 1 1230 1230 3012 0132 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 1 -1 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.557685563824 1.090786387736 6 6 4 2 1230 3012 2031 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.226365100352 0.417222766820 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_2' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_1010_4']), 'c_1100_3' : negation(d['c_1010_4']), 'c_1100_2' : negation(d['c_1010_4']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_5, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 203159005234097447936203119571581701746368178167/348385698968449490\ 912477984553679684026332080*c_1010_4^21 + 317776996245496064948210491520924153046167542449/348385698968449490\ 912477984553679684026332080*c_1010_4^20 + 517732954423437243953788410001756213457940492967/174192849484224745\ 456238992276839842013166040*c_1010_4^19 + 2641884670831405286386158992739903896966635234263/34838569896844949\ 0912477984553679684026332080*c_1010_4^18 + 475570158745613130698925231343329551148642562459/348385698968449490\ 912477984553679684026332080*c_1010_4^17 + 8352664023469417746439337220866929348315984234713/34838569896844949\ 0912477984553679684026332080*c_1010_4^16 + 5453628677898473955288909128641459810864959886/36905264721234056240\ 7286000586525089010945*c_1010_4^15 + 4474743086022948966029525821881952346982466494405/69677139793689898\ 182495596910735936805266416*c_1010_4^14 + 726368310710540925858141564712599210962729493615/870964247421123727\ 2811949613841992100658302*c_1010_4^13 + 8048736964846856168664910094455526353817240769361/49769385566921355\ 844639712079097097718047440*c_1010_4^12 - 2545254920346792177117086671018696801586118332949/87096424742112372\ 728119496138419921006583020*c_1010_4^11 + 92889757230310819431338507779504592762436045778583/3483856989684494\ 90912477984553679684026332080*c_1010_4^10 - 5987312706221254440908712189641812324393286099373/11238248353820951\ 319757354340441280129881680*c_1010_4^9 + 7483135678861516999843631199404105514081691539709/34838569896844949\ 091247798455367968402633208*c_1010_4^8 - 98687672568511798505375357564755962111573449425473/1741928494842247\ 45456238992276839842013166040*c_1010_4^7 + 6453131461133153279145764578898896439537839775167/87096424742112372\ 728119496138419921006583020*c_1010_4^6 + 63082073714603828253838006156440757515604335047161/3483856989684494\ 90912477984553679684026332080*c_1010_4^5 - 399592821706706240113987650148804839118777061229/348385698968449490\ 91247798455367968402633208*c_1010_4^4 + 78069420314042261494300188360799020460820556791599/3483856989684494\ 90912477984553679684026332080*c_1010_4^3 - 14483120260272625564429246586186326494405332173397/3483856989684494\ 90912477984553679684026332080*c_1010_4^2 - 1433168960531711589859860757146604392225745472872/21774106185528093\ 182029874034604980251645755*c_1010_4 - 184109670351783146479801146019615959620310004257/870964247421123727\ 28119496138419921006583020, c_0011_0 - 1, c_0011_2 + 25410339507997874885341281615/3455468446710056002703435084*c\ _1010_4^21 + 39739621985208200169261397233/345546844671005600270343\ 5084*c_1010_4^20 + 64687558162105949091836847989/172773422335502800\ 1351717542*c_1010_4^19 + 330105049768057523048364526703/34554684467\ 10056002703435084*c_1010_4^18 + 58530980852352996805012145823/34554\ 68446710056002703435084*c_1010_4^17 + 1042410961490128083473204126525/3455468446710056002703435084*c_1010\ _4^16 + 2718744859167276982149808487/14641815452161254248743369*c_1\ 010_4^15 + 2791678252020304678822275877141/345546844671005600270343\ 5084*c_1010_4^14 + 906267645177960441234378113555/86386711167751400\ 0675858771*c_1010_4^13 + 1003721878398609678065122926177/4936383495\ 30008000386205012*c_1010_4^12 - 327059150547534406103180996832/8638\ 67111677514000675858771*c_1010_4^11 + 11559313859531871748808176334671/3455468446710056002703435084*c_101\ 0_4^10 - 750182070298906303233424384885/111466724087421161377530164\ *c_1010_4^9 + 4641624933742391021626751526189/172773422335502800135\ 1717542*c_1010_4^8 - 12318952192473783798626300565247/1727734223355\ 028001351717542*c_1010_4^7 + 808391871830420152418150824905/8638671\ 11677514000675858771*c_1010_4^6 + 8004356479988913704866539084065/3\ 455468446710056002703435084*c_1010_4^5 - 215307491992608697967680030119/1727734223355028001351717542*c_1010_\ 4^4 + 9774909686586715158423578590959/3455468446710056002703435084*\ c_1010_4^3 - 1804356410922179275366842273341/3455468446710056002703\ 435084*c_1010_4^2 - 727423517106072420181690334662/8638671116775140\ 00675858771*c_1010_4 - 27114142722438953565496487860/86386711167751\ 4000675858771, c_0011_5 - 95062305724641855146164851068584139689141737/435482123710561\ 86364059748069209960503291510*c_1010_4^21 - 14864934437009036249210474213924785030249989/4354821237105618636405\ 974806920996050329151*c_1010_4^20 - 48357535104230488240185772079011621323893978/4354821237105618636405\ 974806920996050329151*c_1010_4^19 - 1234215571536627014281541714035894261307058611/43548212371056186364\ 059748069209960503291510*c_1010_4^18 - 108213499117552522695371884200477291243175961/217741061855280931820\ 29874034604980251645755*c_1010_4^17 - 3893886629593460500541834647251949972458572813/43548212371056186364\ 059748069209960503291510*c_1010_4^16 - 40624718909105779938983277242615433692121061/7381052944246811248145\ 72001173050178021890*c_1010_4^15 - 5211514712960767715984390252312486236205302666/21774106185528093182\ 029874034604980251645755*c_1010_4^14 - 6772675346111104034948947125489462277435349259/21774106185528093182\ 029874034604980251645755*c_1010_4^13 - 3746782739198685176938985198024043233467014949/62211731958651694805\ 79964009887137214755930*c_1010_4^12 + 994417686016061557948847448758524523994868341/870964247421123727281\ 1949613841992100658302*c_1010_4^11 - 21547622530232715573295367628891239368933817478/2177410618552809318\ 2029874034604980251645755*c_1010_4^10 + 561604379535005319967276703554594720102632327/280956208845523782993\ 933858511032003247042*c_1010_4^9 - 34464821064663882618299123456967047907535480289/4354821237105618636\ 4059748069209960503291510*c_1010_4^8 + 91877904721397173028906698779786875438826868359/4354821237105618636\ 4059748069209960503291510*c_1010_4^7 - 11862870651473271280968640952498246293799146731/4354821237105618636\ 4059748069209960503291510*c_1010_4^6 - 15218296350081868710358140748944849753138516253/2177410618552809318\ 2029874034604980251645755*c_1010_4^5 + 844192606183425795761512953026286755035237488/217741061855280931820\ 29874034604980251645755*c_1010_4^4 - 7340664177175468893670290414799708713537015171/87096424742112372728\ 11949613841992100658302*c_1010_4^3 + 3388833842433623742075862415727083826449352779/21774106185528093182\ 029874034604980251645755*c_1010_4^2 + 1096741398587031960354014247486892533098425612/43548212371056186364\ 05974806920996050329151*c_1010_4 + 207270284091682671813169385793713608561581989/217741061855280931820\ 29874034604980251645755, c_0011_6 + 10529115371805456360082503893064342454331859/870964247421123\ 72728119496138419921006583020*c_1010_4^21 + 18518785336488856148006742907658788765914009/8709642474211237272811\ 9496138419921006583020*c_1010_4^20 + 29263033681265016215759028898546100118112663/4354821237105618636405\ 9748069209960503291510*c_1010_4^19 + 150948130758001398232969468899394576424299131/870964247421123727281\ 19496138419921006583020*c_1010_4^18 + 62128351575303255417026047346898523940222827/8709642474211237272811\ 9496138419921006583020*c_1010_4^17 + 466303850111140070053047739099148440399195817/870964247421123727281\ 19496138419921006583020*c_1010_4^16 + 1585853164065103737314305635572989713255378/36905264721234056240728\ 6000586525089010945*c_1010_4^15 + 129798192364627855262887795421775\ 4690150831437/87096424742112372728119496138419921006583020*c_1010_4\ ^14 + 457505749639063222300014990467616200739357903/217741061855280\ 93182029874034604980251645755*c_1010_4^13 + 495743665085727696801404149143121507478256333/124423463917303389611\ 59928019774274429511860*c_1010_4^12 + 110089755855669393222406686000009025820140409/217741061855280931820\ 29874034604980251645755*c_1010_4^11 + 5464549141696483314068967124061172402010245051/87096424742112372728\ 119496138419921006583020*c_1010_4^10 - 266057065022702517539661836661546673488257257/280956208845523782993\ 9338585110320032470420*c_1010_4^9 + 315150874751069074814677618704053485129245407/870964247421123727281\ 1949613841992100658302*c_1010_4^8 - 5111436138119478237942091348860122708260817981/43548212371056186364\ 059748069209960503291510*c_1010_4^7 - 73220140992994188756765987568611957730661793/2177410618552809318202\ 9874034604980251645755*c_1010_4^6 + 1863319277755024480211187515499510010626178533/87096424742112372728\ 119496138419921006583020*c_1010_4^5 - 51529503470306579696062364195992296441654283/4354821237105618636405\ 9748069209960503291510*c_1010_4^4 + 3612414402563257233866007237210352140615407927/87096424742112372728\ 119496138419921006583020*c_1010_4^3 + 12336874516319589938843160834767361901395947/8709642474211237272811\ 9496138419921006583020*c_1010_4^2 - 213767714498237299498502705559387468582340101/217741061855280931820\ 29874034604980251645755*c_1010_4 - 17551780357829283371433329605372937747316668/2177410618552809318202\ 9874034604980251645755, c_0101_0 + 4123855476032663240789440700712527838337491/2809562088455237\ 829939338585110320032470420*c_1010_4^21 + 321487137580073481048557461069019174668713/140478104422761891496966\ 929255516001623521*c_1010_4^20 + 1044909439259201612173034353711484\ 3759310091/1404781044227618914969669292555160016235210*c_1010_4^19 + 10668382678174539957676632089425323878922775/5619124176910475659878\ 67717022064006494084*c_1010_4^18 + 4418334158402419293922741813773810973892031/14047810442276189149696\ 69292555160016235210*c_1010_4^17 + 33614131011193290500088023444448296691341767/5619124176910475659878\ 67717022064006494084*c_1010_4^16 + 1740065371214913054661181695578108481071503/47619696414495556439649\ 806527293559872380*c_1010_4^15 + 2246480190247748015190361612624824\ 98409260833/1404781044227618914969669292555160016235210*c_1010_4^14 + 145752402516124616293227456242998956405140567/7023905221138094574\ 84834646277580008117605*c_1010_4^13 + 32226591094088817915581350428968607407179247/8027320252729250942683\ 8245288866286642012*c_1010_4^12 - 231600555967570926978323810683295\ 252256075643/2809562088455237829939338585110320032470420*c_1010_4^1\ 1 + 92526246221412880687259956942429394331836393/140478104422761891\ 496966929255516001623521*c_1010_4^10 - 3793192068699960063298550717263899988431347469/28095620884552378299\ 39338585110320032470420*c_1010_4^9 + 1482792431715518486927546130218734351301039343/28095620884552378299\ 39338585110320032470420*c_1010_4^8 - 3963849819396499498540542646576094453997304679/28095620884552378299\ 39338585110320032470420*c_1010_4^7 + 521680998082909302133439350468536910269169487/280956208845523782993\ 9338585110320032470420*c_1010_4^6 + 682691661053516558987760424490732384750053607/140478104422761891496\ 9669292555160016235210*c_1010_4^5 - 34583468446682654801341870346507601526376529/1404781044227618914969\ 669292555160016235210*c_1010_4^4 + 1594010591508128435367388062291394741494088003/28095620884552378299\ 39338585110320032470420*c_1010_4^3 - 149045133682124352904378670818372183727982131/140478104422761891496\ 9669292555160016235210*c_1010_4^2 - 245165982240608359444262733771052415783310521/140478104422761891496\ 9669292555160016235210*c_1010_4 - 987117297183354756794039166588969\ 653799589/140478104422761891496966929255516001623521, c_0101_5 + 791799220933308046362085148754163659708190593/17419284948422\ 4745456238992276839842013166040*c_1010_4^21 + 309606997691922068462185884605289887068425981/435482123710561863640\ 59748069209960503291510*c_1010_4^20 + 100802661431095692683679264919639551457177861/435482123710561863640\ 5974806920996050329151*c_1010_4^19 + 10289963383539964781351083918934769269673173257/1741928494842247454\ 56238992276839842013166040*c_1010_4^18 + 916150958179655058621915022002314727115999609/870964247421123727281\ 19496138419921006583020*c_1010_4^17 + 6500146694777148258562973405158714520614216727/34838569896844949091\ 247798455367968402633208*c_1010_4^16 + 339501562004751223259258858934460363195082769/295242117769872449925\ 8288004692200712087560*c_1010_4^15 + 21756184949867162112843081816541474155660433029/4354821237105618636\ 4059748069209960503291510*c_1010_4^14 + 56534674854812107785327236363087431704379088073/8709642474211237272\ 8119496138419921006583020*c_1010_4^13 + 31299443990836874959291345494794304668174940997/2488469278346067792\ 2319856039548548859023720*c_1010_4^12 - 8081957932082667023237681865729873837981130125/34838569896844949091\ 247798455367968402633208*c_1010_4^11 + 180341204960569447375140434412690182178342642961/870964247421123727\ 28119496138419921006583020*c_1010_4^10 - 4670770796794129793039999191841252597193272863/11238248353820951319\ 75735434044128012988168*c_1010_4^9 + 57867555226728669367257607733359239783537910949/3483856989684494909\ 1247798455367968402633208*c_1010_4^8 - 767331478745486421636833044373014894225358328699/174192849484224745\ 456238992276839842013166040*c_1010_4^7 + 99209996036302678370214414675329138794123936703/1741928494842247454\ 56238992276839842013166040*c_1010_4^6 + 62269874257798390951358928982945534299396289743/4354821237105618636\ 4059748069209960503291510*c_1010_4^5 - 3746901990502965293594428410577040120454925787/43548212371056186364\ 059748069209960503291510*c_1010_4^4 + 304719258188717487704089903570372114759160763813/174192849484224745\ 456238992276839842013166040*c_1010_4^3 - 5598157880367773302414632471249765332199919093/17419284948422474545\ 623899227683984201316604*c_1010_4^2 - 11262372454474855082332869932919558932755303736/2177410618552809318\ 2029874034604980251645755*c_1010_4 - 77962731232130568913865834496008563007994624/4354821237105618636405\ 974806920996050329151, c_1010_4^22 + 2*c_1010_4^21 + 52/9*c_1010_4^20 + 137/9*c_1010_4^19 + 8*c_1010_4^18 + 379/9*c_1010_4^17 + 389/9*c_1010_4^16 + 1090/9*c_1010_4^15 + 1718/9*c_1010_4^14 + 3055/9*c_1010_4^13 + 211/3*c_1010_4^12 + 1304/3*c_1010_4^11 - 6437/9*c_1010_4^10 - 277/9*c_1010_4^9 - 2435/3*c_1010_4^8 - 2663/9*c_1010_4^7 + 3298/9*c_1010_4^6 + 352/3*c_1010_4^5 + 3389/9*c_1010_4^4 + 868/9*c_1010_4^3 - 144*c_1010_4^2 - 160/3*c_1010_4 - 16/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB