Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2227509314] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0284 geometric_solution 4.32702954 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 1.542265243695 0.592759741378 0 1 1 0 0132 1230 3012 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.410581470302 0.119227327296 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 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 -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.983204118467 0.194650614153 4 2 4 5 2103 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.913829601976 0.623250524920 3 5 3 2 2031 0132 2103 0132 0 0 0 0 0 0 -1 1 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 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.913829601976 0.623250524920 6 4 3 6 0132 0132 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.264967186611 0.283280439819 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.796784979672 1.181510603298 ==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' : negation(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' : negation(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_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), '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' : d['c_0011_4'], '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' : d['c_1001_2'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 336580658116313928985147914584628463163299450369670447/402491199070\ 1509100004738798997035704683068085773580*c_1001_2^19 + 3825541035759241573010602464798497854131709928714599157/20124559953\ 50754550002369399498517852341534042886790*c_1001_2^18 - 3296336133219565281526794550246432705162941374606069571/20124559953\ 5075455000236939949851785234153404288679*c_1001_2^17 + 203218941109665631112142069238838246330073858395814781979/402491199\ 0701509100004738798997035704683068085773580*c_1001_2^16 + 432049384312973491565141802210040152345419685538260861091/402491199\ 0701509100004738798997035704683068085773580*c_1001_2^15 - 942106030326586153953266576943788841398987491307678252791/100622799\ 7675377275001184699749258926170767021443395*c_1001_2^14 - 104017036740143291235109232916796833054256853388637765699/804982398\ 140301820000947759799407140936613617154716*c_1001_2^13 + 1508416844075704093954684357242509663687504993613826990208/20124559\ 9535075455000236939949851785234153404288679*c_1001_2^12 + 1789489564528283692351320434904655537053344499155283467073/40249119\ 9070150910000473879899703570468306808577358*c_1001_2^11 - 15909863545168007543528560055377029134977903022405919965719/8049823\ 98140301820000947759799407140936613617154716*c_1001_2^10 - 52425757486874901254140183489290326190191553358500070871373/4024911\ 990701509100004738798997035704683068085773580*c_1001_2^9 + 27451514046037590282529631286355600989114074638842408227416/1006227\ 997675377275001184699749258926170767021443395*c_1001_2^8 + 1887680700977771699929065012954961479245831627730853876392/14374685\ 6810768182143026385678465560881538145920485*c_1001_2^7 - 93221276274419644188776759865085749804571691356003428357631/4024911\ 990701509100004738798997035704683068085773580*c_1001_2^6 - 14046598645114081712992340703326972543825556999425495026573/4024911\ 990701509100004738798997035704683068085773580*c_1001_2^5 + 44674997570382707942935499646211381176849265663594160022993/4024911\ 990701509100004738798997035704683068085773580*c_1001_2^4 - 7961316007313734936511217553492935228725554238967844735187/40249119\ 90701509100004738798997035704683068085773580*c_1001_2^3 - 284579973813055310597619113996228608030862185168198135998/143746856\ 810768182143026385678465560881538145920485*c_1001_2^2 + 3859488053463776624118434646696857384108173598408651364189/40249119\ 90701509100004738798997035704683068085773580*c_1001_2 - 516662527093187533945411426933478648129117875156606207659/402491199\ 0701509100004738798997035704683068085773580, c_0011_0 - 1, c_0011_2 + 8542448099698815060785595050194260779660455171/1156916352601\ 75599310282805375022584210493477602*c_1001_2^19 - 95884803579085769331465507817179766525281178621/5784581763008779965\ 5141402687511292105246738801*c_1001_2^18 + 809969096991144290143268153496420350030892909566/578458176300877996\ 55141402687511292105246738801*c_1001_2^17 - 4720382682853037636854885139962131780167617980767/11569163526017559\ 9310282805375022584210493477602*c_1001_2^16 - 12129645351792773474923326879534735881614314792967/1156916352601755\ 99310282805375022584210493477602*c_1001_2^15 + 45877692361050749518136199942101836257930158167765/5784581763008779\ 9655141402687511292105246738801*c_1001_2^14 + 37649425639569845516734399609004151218144549709155/1156916352601755\ 99310282805375022584210493477602*c_1001_2^13 - 372744179126862935676979233440812327863179839560678/578458176300877\ 99655141402687511292105246738801*c_1001_2^12 - 328702525926841309795261042204360788684573303425518/578458176300877\ 99655141402687511292105246738801*c_1001_2^11 + 1753923048960658450161015173928508154364941709806489/11569163526017\ 5599310282805375022584210493477602*c_1001_2^10 + 1725659083458526397341005169175822621661496383579037/11569163526017\ 5599310282805375022584210493477602*c_1001_2^9 - 1071344754406258919143893177875557111849464161200578/57845817630087\ 799655141402687511292105246738801*c_1001_2^8 - 850224527791834314376991629718747717084608078795756/578458176300877\ 99655141402687511292105246738801*c_1001_2^7 + 1739453979918920988987357993730103769131253098230431/11569163526017\ 5599310282805375022584210493477602*c_1001_2^6 + 606439499145916467568674113167716693029871310697667/115691635260175\ 599310282805375022584210493477602*c_1001_2^5 - 860126646989954095819386259697589156754179613580203/115691635260175\ 599310282805375022584210493477602*c_1001_2^4 + 65299924411078612877806261188117311386971948382429/1156916352601755\ 99310282805375022584210493477602*c_1001_2^3 + 82783799957567750291458259983992246759101419518393/5784581763008779\ 9655141402687511292105246738801*c_1001_2^2 - 65397177808812774654263835896335855745590516526953/1156916352601755\ 99310282805375022584210493477602*c_1001_2 + 7789517789595967712813312318549107511915121659053/11569163526017559\ 9310282805375022584210493477602, c_0011_4 + 74732473659463029480663993422242305295539900967/462766541040\ 702397241131221500090336841973910408*c_1001_2^19 - 210404470782010888820624927501514336536915225794/578458176300877996\ 55141402687511292105246738801*c_1001_2^18 + 7146959783357218733793824564072094247042353878547/23138327052035119\ 8620565610750045168420986955204*c_1001_2^17 - 42289098943784746450823751122407688535217610270685/4627665410407023\ 97241131221500090336841973910408*c_1001_2^16 - 103541960401905890459453306607426352557047230437175/462766541040702\ 397241131221500090336841973910408*c_1001_2^15 + 405953418858112852606761549103012976469386010721365/231383270520351\ 198620565610750045168420986955204*c_1001_2^14 + 274281545758496333535001527348333240991839973786641/462766541040702\ 397241131221500090336841973910408*c_1001_2^13 - 1643546076908950003832890503574345293918468965687675/11569163526017\ 5599310282805375022584210493477602*c_1001_2^12 - 2646282550243380815143184877485353627753122870129293/23138327052035\ 1198620565610750045168420986955204*c_1001_2^11 + 16004393267377877413471118025860000499728156535129467/4627665410407\ 02397241131221500090336841973910408*c_1001_2^10 + 14292409967697293223476284537143657941602120852865747/4627665410407\ 02397241131221500090336841973910408*c_1001_2^9 - 5068406619180212958185811176526926769147655655442699/11569163526017\ 5599310282805375022584210493477602*c_1001_2^8 - 3566033395524423693598522892707327669707681615186667/11569163526017\ 5599310282805375022584210493477602*c_1001_2^7 + 16628011794564493746537748554403985116954914790691607/4627665410407\ 02397241131221500090336841973910408*c_1001_2^6 + 4901695743812865050702538086957969621031026923517819/46276654104070\ 2397241131221500090336841973910408*c_1001_2^5 - 8117440596053384629804120914874529280786639654233197/46276654104070\ 2397241131221500090336841973910408*c_1001_2^4 + 817139563639156907517174178277897701560149625501849/462766541040702\ 397241131221500090336841973910408*c_1001_2^3 + 382558455557822897215743203761980967347746681074371/115691635260175\ 599310282805375022584210493477602*c_1001_2^2 - 632795707991726845374529276769857279070542399010377/462766541040702\ 397241131221500090336841973910408*c_1001_2 + 77249595524310412528385971547106955264517996817457/4627665410407023\ 97241131221500090336841973910408, c_0101_0 - 6008338428375234110362096047234495077344215107/1156916352601\ 75599310282805375022584210493477602*c_1001_2^19 + 67520597489098457589948602918442601056389704009/5784581763008779965\ 5141402687511292105246738801*c_1001_2^18 - 571459680136805714713425322964198550939220606480/578458176300877996\ 55141402687511292105246738801*c_1001_2^17 + 3349286450015774921531972465019509558134585903501/11569163526017559\ 9310282805375022584210493477602*c_1001_2^16 + 8450994372694748561953979887156718417119322960597/11569163526017559\ 9310282805375022584210493477602*c_1001_2^15 - 32386756332883407073129754763956634969300089674085/5784581763008779\ 9655141402687511292105246738801*c_1001_2^14 - 24895566327949800402919791532264080055179558256239/1156916352601755\ 99310282805375022584210493477602*c_1001_2^13 + 262733980193463970884361591732642489204117417079716/578458176300877\ 99655141402687511292105246738801*c_1001_2^12 + 224876703762660497125064620918616425712483383884848/578458176300877\ 99655141402687511292105246738801*c_1001_2^11 - 1249900735715501329763153159294493907777759136272357/11569163526017\ 5599310282805375022584210493477602*c_1001_2^10 - 1193720365908574274349364052248248403308488461040257/11569163526017\ 5599310282805375022584210493477602*c_1001_2^9 + 769650198849121084424363600529821180335824032943488/578458176300877\ 99655141402687511292105246738801*c_1001_2^8 + 590190467775303443549052572709196114374823754874545/578458176300877\ 99655141402687511292105246738801*c_1001_2^7 - 1246690411979901168824257508317996208618462497566825/11569163526017\ 5599310282805375022584210493477602*c_1001_2^6 - 415068195791467107335664095246217045120127939575297/115691635260175\ 599310282805375022584210493477602*c_1001_2^5 + 611313615215286825698252821704672801897346037133983/115691635260175\ 599310282805375022584210493477602*c_1001_2^4 - 50676510332001966170889211361666302417034232816511/1156916352601755\ 99310282805375022584210493477602*c_1001_2^3 - 58076134739219578090642396233890235490102077956667/5784581763008779\ 9655141402687511292105246738801*c_1001_2^2 + 46321398436265610186122156318687483285489691312539/1156916352601755\ 99310282805375022584210493477602*c_1001_2 - 5601922987602615388541159786405516992139537555595/11569163526017559\ 9310282805375022584210493477602, c_0101_1 + 26265940342544258020405873462954723653185960421/231383270520\ 351198620565610750045168420986955204*c_1001_2^19 - 149250483503655588621508772558548357372274340478/578458176300877996\ 55141402687511292105246738801*c_1001_2^18 + 2571398638354438718858460750717729915423071234683/11569163526017559\ 9310282805375022584210493477602*c_1001_2^17 - 15836916778640222358771434046072006977662896715335/2313832705203511\ 98620565610750045168420986955204*c_1001_2^16 - 33822713964088679905434405500456904626668114332365/2313832705203511\ 98620565610750045168420986955204*c_1001_2^15 + 147071660428412572803103954901110011649641321485201/115691635260175\ 599310282805375022584210493477602*c_1001_2^14 + 42029673104585496225492494376553514525719867921167/2313832705203511\ 98620565610750045168420986955204*c_1001_2^13 - 589416701160788248221831707809694078950399893491152/578458176300877\ 99655141402687511292105246738801*c_1001_2^12 - 703599727668299560005774117644184774323220800122879/115691635260175\ 599310282805375022584210493477602*c_1001_2^11 + 6233446630245304161254022337536547232379034409542069/23138327052035\ 1198620565610750045168420986955204*c_1001_2^10 + 4159835085165357239680524002476085807987434490981389/23138327052035\ 1198620565610750045168420986955204*c_1001_2^9 - 2148804909666561501601499760977758834907353092291711/57845817630087\ 799655141402687511292105246738801*c_1001_2^8 - 1064043949857861023203138055864758809844811245576366/57845817630087\ 799655141402687511292105246738801*c_1001_2^7 + 7270349306184705795597829779103873964046689502807113/23138327052035\ 1198620565610750045168420986955204*c_1001_2^6 + 1203000562537906269872604449136350818596118956588337/23138327052035\ 1198620565610750045168420986955204*c_1001_2^5 - 3481845800886150471475650949441973287767443226837811/23138327052035\ 1198620565610750045168420986955204*c_1001_2^4 + 579631364810065238420258206351711133525196379141107/231383270520351\ 198620565610750045168420986955204*c_1001_2^3 + 156672732600810070123628982608751087707656061325422/578458176300877\ 99655141402687511292105246738801*c_1001_2^2 - 294537461053752400495082287313506631526407084717819/231383270520351\ 198620565610750045168420986955204*c_1001_2 + 38587294659037517398070667099603522082001558708411/2313832705203511\ 98620565610750045168420986955204, c_0101_6 + 66865992921313829105370521690549517018041703137/462766541040\ 702397241131221500090336841973910408*c_1001_2^19 - 188311492834323018396003712899590534420036169776/578458176300877996\ 55141402687511292105246738801*c_1001_2^18 + 6399871523780575141451230934220065749055261919601/23138327052035119\ 8620565610750045168420986955204*c_1001_2^17 - 37933881428903116086000025182966799802377108579907/4627665410407023\ 97241131221500090336841973910408*c_1001_2^16 - 92296646421783852335537919420182714493719583607785/4627665410407023\ 97241131221500090336841973910408*c_1001_2^15 + 363413061819238928704582309907003485618084326894247/231383270520351\ 198620565610750045168420986955204*c_1001_2^14 + 239574454934436475884887737405731500597218533978639/462766541040702\ 397241131221500090336841973910408*c_1001_2^13 - 1469621798178068723399789244093451201518022948176205/11569163526017\ 5599310282805375022584210493477602*c_1001_2^12 - 2344348154533266387256778067573969021857737681177803/23138327052035\ 1198620565610750045168420986955204*c_1001_2^11 + 14306077360199077976285518081024174697412680239148397/4627665410407\ 02397241131221500090336841973910408*c_1001_2^10 + 12600385959940080660870555721547103940897248161131685/4627665410407\ 02397241131221500090336841973910408*c_1001_2^9 - 4545907030951199614892328610424340544653021611579767/11569163526017\ 5599310282805375022584210493477602*c_1001_2^8 - 3112946968096477805622653822126611908538064990912407/11569163526017\ 5599310282805375022584210493477602*c_1001_2^7 + 14994719521743238674605670713691409272369460246158057/4627665410407\ 02397241131221500090336841973910408*c_1001_2^6 + 4134625365738073021507107892868246484451886771598949/46276654104070\ 2397241131221500090336841973910408*c_1001_2^5 - 7334311216342169898902166206214470769969833739378235/46276654104070\ 2397241131221500090336841973910408*c_1001_2^4 + 839217076136558862155803508999029899639805971983183/462766541040702\ 397241131221500090336841973910408*c_1001_2^3 + 343417715277590944493947889273556042689615566719179/115691635260175\ 599310282805375022584210493477602*c_1001_2^2 - 587587964492418694346901763193213487727013890196319/462766541040702\ 397241131221500090336841973910408*c_1001_2 + 73517848505600352448472811929984059790544641425351/4627665410407023\ 97241131221500090336841973910408, c_1001_2^20 - 23*c_1001_2^19 + 202*c_1001_2^18 - 657*c_1001_2^17 - 1116*c_1001_2^16 + 11525*c_1001_2^15 - 1507*c_1001_2^14 - 89725*c_1001_2^13 - 28890*c_1001_2^12 + 247935*c_1001_2^11 + 89154*c_1001_2^10 - 362431*c_1001_2^9 - 61376*c_1001_2^8 + 313461*c_1001_2^7 - 40834*c_1001_2^6 - 139878*c_1001_2^5 + 62980*c_1001_2^4 + 15211*c_1001_2^3 - 18299*c_1001_2^2 + 5104*c_1001_2 - 497 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB