Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1730608001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0791 geometric_solution 4.73062212 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 0 1 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.562223935069 3.018842172952 0 0 4 4 0132 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.111666320863 0.153711544254 3 0 5 3 3201 0132 0132 3120 0 0 0 0 0 1 -1 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 1 -2 1 1 0 0 -1 -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.211587903891 0.716530054061 2 5 0 2 3120 3201 0132 2310 0 0 0 0 0 0 -1 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 -1 1 1 0 0 -1 -1 2 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.211587903891 0.716530054061 4 1 1 4 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.044131361450 1.041600834143 6 6 3 2 0132 2310 2310 0132 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541709516139 1.064287999858 5 6 6 5 0132 3201 2310 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.780130094332 0.478293469413 ==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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], '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_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 49429019255149791288641620319954428980272/4552724423292113641863373\ 3146756732724485623*c_0101_5^23 - 111829352429320274948341187733523\ 46260628206/45527244232921136418633733146756732724485623*c_0101_5^2\ 2 - 61316831246148390246239724645108615616881680/455272442329211364\ 18633733146756732724485623*c_0101_5^21 - 158597292163943459633526302162659894273252256/455272442329211364186\ 33733146756732724485623*c_0101_5^20 - 484703949454371986735002159692377101581465145/455272442329211364186\ 33733146756732724485623*c_0101_5^19 + 11618863143693821481324349004499844943258600/4552724423292113641863\ 3733146756732724485623*c_0101_5^18 - 311949012595223557736303621188396554675049381/455272442329211364186\ 33733146756732724485623*c_0101_5^17 + 2908758565073091487727610670518514946062073258/45527244232921136418\ 633733146756732724485623*c_0101_5^16 - 115541740242476087002184066488627588540172117/350209571022470280143\ 3364088212056363421971*c_0101_5^15 + 7933932865821817084629496519132733113301204472/45527244232921136418\ 633733146756732724485623*c_0101_5^14 + 839700766290781470073850989828560092793178068/455272442329211364186\ 33733146756732724485623*c_0101_5^13 + 3317459305298462201950499715374978607018465593/45527244232921136418\ 633733146756732724485623*c_0101_5^12 - 517264175425428887089874493537282537247790295/455272442329211364186\ 33733146756732724485623*c_0101_5^11 - 5905385547516157312430526538001353055328619984/45527244232921136418\ 633733146756732724485623*c_0101_5^10 + 3425704261689910759288443246667625378192032197/45527244232921136418\ 633733146756732724485623*c_0101_5^9 - 1676623604468333595668043491545062696289857912/45527244232921136418\ 633733146756732724485623*c_0101_5^8 + 2439689543263635940504453343099584456555934006/45527244232921136418\ 633733146756732724485623*c_0101_5^7 - 2228102964903232914459937239109799632668072273/45527244232921136418\ 633733146756732724485623*c_0101_5^6 - 2186898251226840278947732843763573841802083332/45527244232921136418\ 633733146756732724485623*c_0101_5^5 - 1156369411015638316109108947919803135679432227/45527244232921136418\ 633733146756732724485623*c_0101_5^4 - 1559331744095260719049684153170398206505135508/45527244232921136418\ 633733146756732724485623*c_0101_5^3 + 1271699662472589940072127185199628885550504048/45527244232921136418\ 633733146756732724485623*c_0101_5^2 + 29135244653241710692209645051977287222707577/4552724423292113641863\ 3733146756732724485623*c_0101_5 + 265636516322995979636882193689392\ 90573375958/45527244232921136418633733146756732724485623, c_0011_0 - 1, c_0011_3 + 56290948503441517548969809655540967035858/350209571022470280\ 1433364088212056363421971*c_0101_5^23 + 331006282864039265497543825087631927928801/350209571022470280143336\ 4088212056363421971*c_0101_5^22 + 890808285708149289155231223660000\ 572295014/3502095710224702801433364088212056363421971*c_0101_5^21 + 2649229454955390330431167905936463787361053/35020957102247028014333\ 64088212056363421971*c_0101_5^20 + 408983507720351575565972289095124534776942/350209571022470280143336\ 4088212056363421971*c_0101_5^19 + 675362928448449290780404746341325\ 420359909/3502095710224702801433364088212056363421971*c_0101_5^18 - 15134421735588584279190457342991345958754110/3502095710224702801433\ 364088212056363421971*c_0101_5^17 + 2718656724317055411251897827159725459871046/35020957102247028014333\ 64088212056363421971*c_0101_5^16 - 34508786214120891612365683079211525944607172/3502095710224702801433\ 364088212056363421971*c_0101_5^15 - 15803956476566307246944927897537731953069498/3502095710224702801433\ 364088212056363421971*c_0101_5^14 - 9704359025326751542399965453709198584992163/35020957102247028014333\ 64088212056363421971*c_0101_5^13 + 12575985586501994169683067782834348952830434/3502095710224702801433\ 364088212056363421971*c_0101_5^12 + 33946821509970728707284041367648486091786782/3502095710224702801433\ 364088212056363421971*c_0101_5^11 - 1468280124773342823725608340228909368782005/35020957102247028014333\ 64088212056363421971*c_0101_5^10 - 3339416259899357285647179440136799728587539/35020957102247028014333\ 64088212056363421971*c_0101_5^9 - 125696437694750874843282991903063\ 99522226440/3502095710224702801433364088212056363421971*c_0101_5^8 + 13039863020784439169667970506273973922791327/3502095710224702801433\ 364088212056363421971*c_0101_5^7 + 9155976434468743290174177390838883555649659/35020957102247028014333\ 64088212056363421971*c_0101_5^6 + 101961898111869373350449455177028\ 60355521194/3502095710224702801433364088212056363421971*c_0101_5^5 + 4607482101785245536081112343621858450945213/35020957102247028014333\ 64088212056363421971*c_0101_5^4 - 820311696632573283474558637688312\ 4355741553/3502095710224702801433364088212056363421971*c_0101_5^3 - 6781377218846849405551911356538344426172654/35020957102247028014333\ 64088212056363421971*c_0101_5^2 - 221232622489115849550280229398059\ 1443194316/3502095710224702801433364088212056363421971*c_0101_5 + 2038578151723321128543447683864321005600686/35020957102247028014333\ 64088212056363421971, c_0011_4 + 49667782180315831399799625026760335467118/350209571022470280\ 1433364088212056363421971*c_0101_5^23 + 182750337485818365116888213806537443241446/350209571022470280143336\ 4088212056363421971*c_0101_5^22 + 227372412454506872683423246715404\ 542681754/3502095710224702801433364088212056363421971*c_0101_5^21 + 1073243661427805856898142237224345489674058/35020957102247028014333\ 64088212056363421971*c_0101_5^20 - 3621761462852323525663497919263208640087565/35020957102247028014333\ 64088212056363421971*c_0101_5^19 + 3348351600299145095058935381615688209974965/35020957102247028014333\ 64088212056363421971*c_0101_5^18 - 15219706948171121658972571283848614556227876/3502095710224702801433\ 364088212056363421971*c_0101_5^17 + 33070132754276823668277762830473332866633808/3502095710224702801433\ 364088212056363421971*c_0101_5^16 - 57418401763385491904928575190026693431214860/3502095710224702801433\ 364088212056363421971*c_0101_5^15 + 63940204215731234956769000987387589035399663/3502095710224702801433\ 364088212056363421971*c_0101_5^14 - 30107397142969612793152736902186360576736125/3502095710224702801433\ 364088212056363421971*c_0101_5^13 + 14328961013348842000559294227297565936793277/3502095710224702801433\ 364088212056363421971*c_0101_5^12 + 9773453879687740814968227648529257709395676/35020957102247028014333\ 64088212056363421971*c_0101_5^11 - 74566058876588877516713641683416990361637612/3502095710224702801433\ 364088212056363421971*c_0101_5^10 + 57344290452782693046018195170697944919376740/3502095710224702801433\ 364088212056363421971*c_0101_5^9 - 33227227862206934294935998701196527919472005/3502095710224702801433\ 364088212056363421971*c_0101_5^8 + 36222623459157991018345137524888535555618814/3502095710224702801433\ 364088212056363421971*c_0101_5^7 - 18321915882650272199982773560578490650313132/3502095710224702801433\ 364088212056363421971*c_0101_5^6 - 8603504243161866947827630822479065556477404/35020957102247028014333\ 64088212056363421971*c_0101_5^5 + 889082100181084844036349462734414\ 1052218969/3502095710224702801433364088212056363421971*c_0101_5^4 - 16514835170263861763309866661300584300871694/3502095710224702801433\ 364088212056363421971*c_0101_5^3 + 21299374406873573788658818516286240011358976/3502095710224702801433\ 364088212056363421971*c_0101_5^2 - 2151895018801977843155503603619460779811015/35020957102247028014333\ 64088212056363421971*c_0101_5 + 18711259004087622926996969649033646\ 61878434/3502095710224702801433364088212056363421971, c_0011_5 + 17589187802214433712213247682087516570321/350209571022470280\ 1433364088212056363421971*c_0101_5^23 + 75058306664705687564077766392555498951431/3502095710224702801433364\ 088212056363421971*c_0101_5^22 + 1157435794157652505554921421902672\ 70001143/3502095710224702801433364088212056363421971*c_0101_5^21 + 385829252403350067488918093815978603785077/350209571022470280143336\ 4088212056363421971*c_0101_5^20 - 123140244872134713567080553247244\ 9019767303/3502095710224702801433364088212056363421971*c_0101_5^19 - 5598678679968905062606047332182635513076/35020957102247028014333640\ 88212056363421971*c_0101_5^18 - 57033337386805037265088618295255965\ 35123040/3502095710224702801433364088212056363421971*c_0101_5^17 + 8955148483583013586308645059091653659076721/35020957102247028014333\ 64088212056363421971*c_0101_5^16 - 13741646003925370892148373689395154630321577/3502095710224702801433\ 364088212056363421971*c_0101_5^15 + 17901266644378538787695830274750708983897798/3502095710224702801433\ 364088212056363421971*c_0101_5^14 - 2604146566238095302241165165750748598582280/35020957102247028014333\ 64088212056363421971*c_0101_5^13 + 21921445678571996941171187553609653835894550/3502095710224702801433\ 364088212056363421971*c_0101_5^12 - 3262155815914910079762473112808029976670326/35020957102247028014333\ 64088212056363421971*c_0101_5^11 - 9575026620129080570813767847376468903832992/35020957102247028014333\ 64088212056363421971*c_0101_5^10 - 7827740609601021890144641675148647748378495/35020957102247028014333\ 64088212056363421971*c_0101_5^9 - 614951548994235873598943295863988\ 1772655595/3502095710224702801433364088212056363421971*c_0101_5^8 + 14883904204717393115403465937031741770181049/3502095710224702801433\ 364088212056363421971*c_0101_5^7 - 3105810241480815738980498408574753724145450/35020957102247028014333\ 64088212056363421971*c_0101_5^6 + 556919919880027484957264633248492\ 7312171124/3502095710224702801433364088212056363421971*c_0101_5^5 - 8812703476888408982405465849076355294951511/35020957102247028014333\ 64088212056363421971*c_0101_5^4 - 488753859629366217258889220016480\ 9499061577/3502095710224702801433364088212056363421971*c_0101_5^3 - 2361161074446357128282219156239934890775512/35020957102247028014333\ 64088212056363421971*c_0101_5^2 + 348760697037700606242682672361912\ 1243050434/3502095710224702801433364088212056363421971*c_0101_5 + 3064389298234779046264920281930004269285168/35020957102247028014333\ 64088212056363421971, c_0101_0 + 79235696366786053738101583107464940348499/350209571022470280\ 1433364088212056363421971*c_0101_5^23 + 406599002271165148328418700283187811419179/350209571022470280143336\ 4088212056363421971*c_0101_5^22 + 935464039901722168082637966504084\ 085331061/3502095710224702801433364088212056363421971*c_0101_5^21 + 2934810038400346839808576721679155195594377/35020957102247028014333\ 64088212056363421971*c_0101_5^20 - 1952524951233157542627066113609444302340446/35020957102247028014333\ 64088212056363421971*c_0101_5^19 + 1344694601705450888856277926573775038642383/35020957102247028014333\ 64088212056363421971*c_0101_5^18 - 23513125054250783262270853758425856089874367/3502095710224702801433\ 364088212056363421971*c_0101_5^17 + 19464348258334898924084097546141239000505496/3502095710224702801433\ 364088212056363421971*c_0101_5^16 - 59141456891636818559040655191816999578403814/3502095710224702801433\ 364088212056363421971*c_0101_5^15 + 23722956806663741769164187525452360686000922/3502095710224702801433\ 364088212056363421971*c_0101_5^14 - 12595684983080441875270004427939279550915301/3502095710224702801433\ 364088212056363421971*c_0101_5^13 + 31418526964133604979023143792367417610313134/3502095710224702801433\ 364088212056363421971*c_0101_5^12 + 56774791161264935788212118323345511173946636/3502095710224702801433\ 364088212056363421971*c_0101_5^11 - 41523534627234852355873151183251641290601529/3502095710224702801433\ 364088212056363421971*c_0101_5^10 + 18149709980104346606516485558693151228211452/3502095710224702801433\ 364088212056363421971*c_0101_5^9 - 39444505078558569333397784005089853168453480/3502095710224702801433\ 364088212056363421971*c_0101_5^8 + 28112565659418437817082511596337656976664153/3502095710224702801433\ 364088212056363421971*c_0101_5^7 + 13249570611843234214941247185863988007254722/3502095710224702801433\ 364088212056363421971*c_0101_5^6 + 2286666436191841756680681368050102625079593/35020957102247028014333\ 64088212056363421971*c_0101_5^5 + 317193253817506950547865051622971\ 7870462477/3502095710224702801433364088212056363421971*c_0101_5^4 - 24812166079069180419858035427553928837794288/3502095710224702801433\ 364088212056363421971*c_0101_5^3 + 916765382615766824069074435740524691313555/350209571022470280143336\ 4088212056363421971*c_0101_5^2 - 4391514050649502481712040635293199\ 644828437/3502095710224702801433364088212056363421971*c_0101_5 + 2352217794312201981113085582604628779726872/35020957102247028014333\ 64088212056363421971, c_0101_2 + 986650775966591490349360092302917630958/35020957102247028014\ 33364088212056363421971*c_0101_5^23 + 31202846757870401768539887459693266811869/3502095710224702801433364\ 088212056363421971*c_0101_5^22 + 1725563556059985072303251491732603\ 36378818/3502095710224702801433364088212056363421971*c_0101_5^21 + 505474971649228365872587451365948723617896/350209571022470280143336\ 4088212056363421971*c_0101_5^20 + 139432348135084298071174020401738\ 5190780999/3502095710224702801433364088212056363421971*c_0101_5^19 + 748412234437647844528933259654259881436926/350209571022470280143336\ 4088212056363421971*c_0101_5^18 + 697629628901350787067486141049487\ 822323298/3502095710224702801433364088212056363421971*c_0101_5^17 - 6578925401744603772741998326543989549566425/35020957102247028014333\ 64088212056363421971*c_0101_5^16 - 952927569213417517799281504698120266078376/350209571022470280143336\ 4088212056363421971*c_0101_5^15 - 189473628641200207952168545652870\ 53692136264/3502095710224702801433364088212056363421971*c_0101_5^14 - 10671533116700045995180651927175075610122144/35020957102247028014\ 33364088212056363421971*c_0101_5^13 - 16164499029838900842363019335013632209689853/3502095710224702801433\ 364088212056363421971*c_0101_5^12 + 3941253586588248529037385704916704497166663/35020957102247028014333\ 64088212056363421971*c_0101_5^11 + 9624688351670565700722469039035137342036346/35020957102247028014333\ 64088212056363421971*c_0101_5^10 + 7039316249897723058511864045833125494125093/35020957102247028014333\ 64088212056363421971*c_0101_5^9 + 367710303653844584356717657673445\ 8868471437/3502095710224702801433364088212056363421971*c_0101_5^8 - 6177223088991465052480764920759532453813790/35020957102247028014333\ 64088212056363421971*c_0101_5^7 + 741152984718065409270670901221702\ 9222365113/3502095710224702801433364088212056363421971*c_0101_5^6 + 1675395588037235264908032449752473417503434/35020957102247028014333\ 64088212056363421971*c_0101_5^5 + 110103945626557976518171400401978\ 23434780496/3502095710224702801433364088212056363421971*c_0101_5^4 + 3313424379197915094533289624865754957914585/35020957102247028014333\ 64088212056363421971*c_0101_5^3 + 574469595316311477935860656045245\ 173032517/3502095710224702801433364088212056363421971*c_0101_5^2 - 2657828508117391850329978584033955338157449/35020957102247028014333\ 64088212056363421971*c_0101_5 - 33602925319015719347624676476001940\ 52155248/3502095710224702801433364088212056363421971, c_0101_5^24 + 5*c_0101_5^23 + 11*c_0101_5^22 + 35*c_0101_5^21 - 30*c_0101_5^20 + 18*c_0101_5^19 - 288*c_0101_5^18 + 281*c_0101_5^17 - 741*c_0101_5^16 + 317*c_0101_5^15 - 82*c_0101_5^14 + 287*c_0101_5^13 + 634*c_0101_5^12 - 632*c_0101_5^11 + 235*c_0101_5^10 - 357*c_0101_5^9 + 335*c_0101_5^8 + 119*c_0101_5^7 - 40*c_0101_5^6 + 66*c_0101_5^5 - 281*c_0101_5^4 + 31*c_0101_5^3 + 2*c_0101_5^2 + 18*c_0101_5 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB