Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 1696921959] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s390 geometric_solution 4.62539491 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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.554717256707 0.108670282128 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709189699855 0.231434011635 1 3 1 4 0132 0132 1023 0132 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 -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.912326677912 1.178216096329 5 2 4 4 0132 0132 2310 3120 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 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 0 0 0 0 0.260079100496 0.791445690897 3 3 2 5 3120 3201 0132 3201 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 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.260079100496 0.791445690897 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 0 -1 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 0 1 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.882990147107 1.864184725227 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(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_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 39292202571163997341699502444860193852400448349/1524802321095413325\ 5677704883865004756047789*c_0101_5^25 - 504141299541164180631555054761909481938261526518/152480232109541332\ 55677704883865004756047789*c_0101_5^24 + 9242613432994616211423836002929530313560845390507/60992092843816533\ 022710819535460019024191156*c_0101_5^23 - 19453994515008167551813788811282822896797849463593/6099209284381653\ 3022710819535460019024191156*c_0101_5^22 - 5129041021889277294192472829799980838277067521827/30496046421908266\ 511355409767730009512095578*c_0101_5^21 + 33522524824191072907492047344627416552345240508542/1524802321095413\ 3255677704883865004756047789*c_0101_5^20 - 17339514499527556211408658637144035697335610387313/1524802321095413\ 3255677704883865004756047789*c_0101_5^19 - 538548135712312897946257509607737695995727071888333/609920928438165\ 33022710819535460019024191156*c_0101_5^18 + 114913787109730790313014394669502608751279408900157/609920928438165\ 33022710819535460019024191156*c_0101_5^17 + 1820067597950304630441239364977526485876549738076781/60992092843816\ 533022710819535460019024191156*c_0101_5^16 + 1548499128684849787087629210946088687179935110578307/60992092843816\ 533022710819535460019024191156*c_0101_5^15 - 1733084366918291108280208967459736330138892303026815/60992092843816\ 533022710819535460019024191156*c_0101_5^14 - 3759331725714646218449042356746474833738117705487157/60992092843816\ 533022710819535460019024191156*c_0101_5^13 - 768907284099891970085854958021892418608894857662849/304960464219082\ 66511355409767730009512095578*c_0101_5^12 + 1480915121165820878524084880691023050620606383302215/60992092843816\ 533022710819535460019024191156*c_0101_5^11 + 801606500732167835346094376715701065898697265747121/304960464219082\ 66511355409767730009512095578*c_0101_5^10 + 377834422457308801528721955190629857110531668369473/609920928438165\ 33022710819535460019024191156*c_0101_5^9 + 161394914204183749121207919222106193043020708879151/609920928438165\ 33022710819535460019024191156*c_0101_5^8 + 497778089694629708442719232551248875866796730295759/609920928438165\ 33022710819535460019024191156*c_0101_5^7 + 197208961183323053322316898075099367775389634995763/304960464219082\ 66511355409767730009512095578*c_0101_5^6 - 266946975106970283348870685343953563442471686643/304960464219082665\ 11355409767730009512095578*c_0101_5^5 - 185976386898434238023937946852068913451765745632427/609920928438165\ 33022710819535460019024191156*c_0101_5^4 - 122351166051907465014377706771061858814750711658689/609920928438165\ 33022710819535460019024191156*c_0101_5^3 - 31122298960582429255669845338299404599208254259143/6099209284381653\ 3022710819535460019024191156*c_0101_5^2 - 93645473018469989343315564685500514944115617033/3049604642190826651\ 1355409767730009512095578*c_0101_5 + 1126779133756628050949532046203970634028203764261/60992092843816533\ 022710819535460019024191156, c_0011_0 - 1, c_0011_1 - 169798339683435609660329069241360045570067823/30496046421908\ 266511355409767730009512095578*c_0101_5^25 + 4593105419541056551965486737345033927264727445/60992092843816533022\ 710819535460019024191156*c_0101_5^24 - 11582679293962070596441755809364425227554691345/3049604642190826651\ 1355409767730009512095578*c_0101_5^23 + 58183560600068392600767238613413292376170187387/6099209284381653302\ 2710819535460019024191156*c_0101_5^22 - 4635534255917036021116103216769366598516028436/15248023210954133255\ 677704883865004756047789*c_0101_5^21 - 138062997110297442326399292684679969014614798285/304960464219082665\ 11355409767730009512095578*c_0101_5^20 + 341479675365540906807620240230215132676795101245/609920928438165330\ 22710819535460019024191156*c_0101_5^19 + 230712295849894461371976168168807729614697197654/152480232109541332\ 55677704883865004756047789*c_0101_5^18 - 442499509870686698274284683558522999272317337859/304960464219082665\ 11355409767730009512095578*c_0101_5^17 - 1652885110456642333470380322264971960544847203555/30496046421908266\ 511355409767730009512095578*c_0101_5^16 - 530611318856457118916548167685141810425599023813/304960464219082665\ 11355409767730009512095578*c_0101_5^15 + 1109711204800559904769860357214889565313163308172/15248023210954133\ 255677704883865004756047789*c_0101_5^14 + 5026719236441705622853046166171616506904144786911/60992092843816533\ 022710819535460019024191156*c_0101_5^13 - 110012930017906296173541873704633154316345976797/609920928438165330\ 22710819535460019024191156*c_0101_5^12 - 3059362940774070979669336252580341094087775871819/60992092843816533\ 022710819535460019024191156*c_0101_5^11 - 1343629165473650913761739104413237537477984196419/60992092843816533\ 022710819535460019024191156*c_0101_5^10 + 38169340554445489265496792490412120815429358835/3049604642190826651\ 1355409767730009512095578*c_0101_5^9 - 104296577474658713705471187499012793015016781183/152480232109541332\ 55677704883865004756047789*c_0101_5^8 - 783704075410593106050492150414524001804545438963/609920928438165330\ 22710819535460019024191156*c_0101_5^7 - 156946685702641140671977654184914256948508891001/304960464219082665\ 11355409767730009512095578*c_0101_5^6 + 209253069291439846018199233687666553452135829741/609920928438165330\ 22710819535460019024191156*c_0101_5^5 + 126550667148323566398594901056260006277098262575/304960464219082665\ 11355409767730009512095578*c_0101_5^4 + 45670721221347986724698942653767394648508959483/3049604642190826651\ 1355409767730009512095578*c_0101_5^3 + 6924739093498929191438683994901734609020309695/60992092843816533022\ 710819535460019024191156*c_0101_5^2 - 3296416727486884676454888094389353058251871051/60992092843816533022\ 710819535460019024191156*c_0101_5 - 40686628127292992792214703451993288142390883/6099209284381653302271\ 0819535460019024191156, c_0011_4 + 110200482215221961926493443633311590115400017/30496046421908\ 266511355409767730009512095578*c_0101_5^25 - 782140100094175504752276173193164967229690488/152480232109541332556\ 77704883865004756047789*c_0101_5^24 + 8520484590116106573381230082275779904375651927/30496046421908266511\ 355409767730009512095578*c_0101_5^23 - 11993202200377892142758265209591133205449851783/1524802321095413325\ 5677704883865004756047789*c_0101_5^22 + 19045932813284463367181465291208986166141253983/3049604642190826651\ 1355409767730009512095578*c_0101_5^21 + 42246695875981657823992524206747530976335892029/1524802321095413325\ 5677704883865004756047789*c_0101_5^20 - 169924968552434697618884636671879164266813125519/304960464219082665\ 11355409767730009512095578*c_0101_5^19 - 110872056046352072698749304203866893412442833377/152480232109541332\ 55677704883865004756047789*c_0101_5^18 + 240478122817988054558187610169271960623361075501/152480232109541332\ 55677704883865004756047789*c_0101_5^17 + 435256625582425958274318130846466691907221475679/152480232109541332\ 55677704883865004756047789*c_0101_5^16 - 356641960324423388863035412960508447176489387049/304960464219082665\ 11355409767730009512095578*c_0101_5^15 - 815717660869686750607997814097843511910906650245/152480232109541332\ 55677704883865004756047789*c_0101_5^14 - 668677705170099862246730589048806730469781304987/304960464219082665\ 11355409767730009512095578*c_0101_5^13 + 533329518320530420816852796995277320813755332901/152480232109541332\ 55677704883865004756047789*c_0101_5^12 + 923643169435166291135344498439610969204971469617/304960464219082665\ 11355409767730009512095578*c_0101_5^11 - 210564979027511482312394713912497342479071712379/304960464219082665\ 11355409767730009512095578*c_0101_5^10 - 141605581409215723758366691346655653446665058449/152480232109541332\ 55677704883865004756047789*c_0101_5^9 + 78926600787012913317993656459543811217866063546/1524802321095413325\ 5677704883865004756047789*c_0101_5^8 + 80955023413092655972394841252648183607514501611/1524802321095413325\ 5677704883865004756047789*c_0101_5^7 - 61572774940550522299049191116689648280746034031/3049604642190826651\ 1355409767730009512095578*c_0101_5^6 - 63834588440464127099014989667494710145993959623/1524802321095413325\ 5677704883865004756047789*c_0101_5^5 - 17747184755772948163504178967559939443380561421/1524802321095413325\ 5677704883865004756047789*c_0101_5^4 + 22125130856540127518571439106965063891397548597/3049604642190826651\ 1355409767730009512095578*c_0101_5^3 + 7720718865218631797240022150517598592111100580/15248023210954133255\ 677704883865004756047789*c_0101_5^2 + 1030914095489939657037917677716007331214299342/15248023210954133255\ 677704883865004756047789*c_0101_5 - 338973172815971345460894779902781658572510136/152480232109541332556\ 77704883865004756047789, c_0101_0 + 1034282148956923842117077759523150513781022571/6099209284381\ 6533022710819535460019024191156*c_0101_5^25 - 6863305567470080517621533999709864316403416081/30496046421908266511\ 355409767730009512095578*c_0101_5^24 + 67018031811304079849207586809858727264962860031/6099209284381653302\ 2710819535460019024191156*c_0101_5^23 - 79745876976274928462071000558877876304572531619/3049604642190826651\ 1355409767730009512095578*c_0101_5^22 + 6273087947099077594261976347429974956563601889/30496046421908266511\ 355409767730009512095578*c_0101_5^21 + 852212107344291777639660813875446434943649841163/609920928438165330\ 22710819535460019024191156*c_0101_5^20 - 411569012522741976194802818895254365629644479487/304960464219082665\ 11355409767730009512095578*c_0101_5^19 - 1533771173264470486835067532033166967584911507449/30496046421908266\ 511355409767730009512095578*c_0101_5^18 + 981130132254767923761603214865327236286081950541/304960464219082665\ 11355409767730009512095578*c_0101_5^17 + 2684643939123356647829007375116569729008836262459/15248023210954133\ 255677704883865004756047789*c_0101_5^16 + 1459121567886880696589638348907875338582295541126/15248023210954133\ 255677704883865004756047789*c_0101_5^15 - 12632977202545754898384456290489589758990916526723/6099209284381653\ 3022710819535460019024191156*c_0101_5^14 - 18787829710150041945554607629196311084984534158573/6099209284381653\ 3022710819535460019024191156*c_0101_5^13 - 3674554075255511394574519289288557283015344637215/60992092843816533\ 022710819535460019024191156*c_0101_5^12 + 9374637350901606108779451117048485334597593374269/60992092843816533\ 022710819535460019024191156*c_0101_5^11 + 1633560653460873498663974615119440013509267614880/15248023210954133\ 255677704883865004756047789*c_0101_5^10 + 211826514392518345478513972812512464124628879415/152480232109541332\ 55677704883865004756047789*c_0101_5^9 + 1191883043296355263468085453926140049962747816983/60992092843816533\ 022710819535460019024191156*c_0101_5^8 + 676961889672465137720228894745042072867368966979/152480232109541332\ 55677704883865004756047789*c_0101_5^7 + 1577786592312741762429586830727236726765932065387/60992092843816533\ 022710819535460019024191156*c_0101_5^6 - 96213159480854666471736648082889255284605224677/1524802321095413325\ 5677704883865004756047789*c_0101_5^5 - 468511660224445262633982314500499184169865972011/304960464219082665\ 11355409767730009512095578*c_0101_5^4 - 480665121785548818842508274422822536577471053569/609920928438165330\ 22710819535460019024191156*c_0101_5^3 - 92887519061517597053257886941454099908246419409/6099209284381653302\ 2710819535460019024191156*c_0101_5^2 + 5357054408357525524765054749728704346202134287/60992092843816533022\ 710819535460019024191156*c_0101_5 + 764413931960198843122869630380590883618273354/152480232109541332556\ 77704883865004756047789, c_0101_3 - 218732758372577816566140321796388735717628211/30496046421908\ 266511355409767730009512095578*c_0101_5^25 + 5991265747796637254887221361965923667361304657/60992092843816533022\ 710819535460019024191156*c_0101_5^24 - 30864336291828969509954096669569906169854878207/6099209284381653302\ 2710819535460019024191156*c_0101_5^23 + 40127104750932804559102747080711914193238043523/3049604642190826651\ 1355409767730009512095578*c_0101_5^22 - 9465228306782355086198271022164969839969679763/15248023210954133255\ 677704883865004756047789*c_0101_5^21 - 87038358105835331281259295676027965772775483884/1524802321095413325\ 5677704883865004756047789*c_0101_5^20 + 497293184820258258934638596738502366708215008779/609920928438165330\ 22710819535460019024191156*c_0101_5^19 + 1103342937311920954189798446825972602106602645653/60992092843816533\ 022710819535460019024191156*c_0101_5^18 - 1320087242409176266212340759837133481154945998203/60992092843816533\ 022710819535460019024191156*c_0101_5^17 - 4036343361969028619968664463192276811975595558625/60992092843816533\ 022710819535460019024191156*c_0101_5^16 - 699612039392546074673395708509405127191027983171/609920928438165330\ 22710819535460019024191156*c_0101_5^15 + 5835137812214556026897437506443911116322002878379/60992092843816533\ 022710819535460019024191156*c_0101_5^14 + 1380710983671182856708618109077958203718861952462/15248023210954133\ 255677704883865004756047789*c_0101_5^13 - 1056482031099307165437990194988531655474427475983/60992092843816533\ 022710819535460019024191156*c_0101_5^12 - 950084721204608084783922794433006469121005863847/152480232109541332\ 55677704883865004756047789*c_0101_5^11 - 1130473861434227865056363445039816741878342912913/60992092843816533\ 022710819535460019024191156*c_0101_5^10 + 298870206007848189490369505187201590575801576533/609920928438165330\ 22710819535460019024191156*c_0101_5^9 - 560723549341292059006109005898393052226496959337/609920928438165330\ 22710819535460019024191156*c_0101_5^8 - 228186331928441593910267868146005558993335160221/152480232109541332\ 55677704883865004756047789*c_0101_5^7 - 127231516049345644065485268121131682198047612143/304960464219082665\ 11355409767730009512095578*c_0101_5^6 + 315326376222339427668255787237248152922747253549/609920928438165330\ 22710819535460019024191156*c_0101_5^5 + 278958792240637820659095191701233509114870813041/609920928438165330\ 22710819535460019024191156*c_0101_5^4 + 71963922160255494290249394945787411573608735507/6099209284381653302\ 2710819535460019024191156*c_0101_5^3 - 1391834129904565686761643053383214264581792798/15248023210954133255\ 677704883865004756047789*c_0101_5^2 - 4780235537576859645338227072984260240008035821/60992092843816533022\ 710819535460019024191156*c_0101_5 + 117151506755608202516623041817813240751501172/152480232109541332556\ 77704883865004756047789, c_0101_5^26 - 13*c_0101_5^25 + 61*c_0101_5^24 - 134*c_0101_5^23 - 43*c_0101_5^22 + 861*c_0101_5^21 - 585*c_0101_5^20 - 3336*c_0101_5^19 + 1293*c_0101_5^18 + 11403*c_0101_5^17 + 7939*c_0101_5^16 - 12506*c_0101_5^15 - 21985*c_0101_5^14 - 5985*c_0101_5^13 + 10786*c_0101_5^12 + 8606*c_0101_5^11 + 854*c_0101_5^10 + 700*c_0101_5^9 + 2988*c_0101_5^8 + 1996*c_0101_5^7 - 383*c_0101_5^6 - 1164*c_0101_5^5 - 590*c_0101_5^4 - 81*c_0101_5^3 + 27*c_0101_5^2 + 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB