Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 559988193] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2143 geometric_solution 5.62668272 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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 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.217691533497 0.239717724514 2 0 3 0 0132 2310 0132 0132 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 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.706172729810 2.046482967750 1 3 4 5 0132 3201 0132 0132 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 1 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.068497947701 0.808844147987 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.068497947701 0.808844147987 4 4 3 2 1230 3012 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 1 -1 -1 0 1 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.402796412199 0.806547561547 6 3 2 6 0132 1023 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831039225338 0.701823958188 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.693278495355 0.427797774460 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 54666580257154808395430762911264098180494147422176/7254428074096227\ 61482703638957126321815969907581*c_0101_6^22 - 515238910999752196790384692959943917481607993544983/414538747091213\ 006561544936546929326751982804332*c_0101_6^21 - 56227749142771550423243048815710451479696440350880817/2901771229638\ 491045930814555828505287263879630324*c_0101_6^20 - 227083237354971263948956472716394669116923804665224423/290177122963\ 8491045930814555828505287263879630324*c_0101_6^19 - 2786758904903890134461774545367824921080092261460013/38181200389980\ 145341194928366164543253472100399*c_0101_6^18 + 362137126869505612715702576895604143902957729543718329/145088561481\ 9245522965407277914252643631939815162*c_0101_6^17 + 742205384402997946509169127706760485075078915863336155/145088561481\ 9245522965407277914252643631939815162*c_0101_6^16 - 283628374231296495059131109665026078350456915329084989/290177122963\ 8491045930814555828505287263879630324*c_0101_6^15 - 480246389578790882573170332262715469250945789295852650/725442807409\ 622761482703638957126321815969907581*c_0101_6^14 - 644277177678357354779481839293321452003041345144488657/145088561481\ 9245522965407277914252643631939815162*c_0101_6^13 + 46066206509119150092462991336045140269058772205858626/7254428074096\ 22761482703638957126321815969907581*c_0101_6^12 + 2604543499425203216397089460139068264516080082075564213/29017712296\ 38491045930814555828505287263879630324*c_0101_6^11 + 204691493175860397621045659295461269876347046370543877/290177122963\ 8491045930814555828505287263879630324*c_0101_6^10 - 547871533936845285458608237955068530016779877862004747/725442807409\ 622761482703638957126321815969907581*c_0101_6^9 + 488115507721729098998500672549208004703558717998535393/145088561481\ 9245522965407277914252643631939815162*c_0101_6^8 + 954129322726462128558400892663904343564230871379351279/290177122963\ 8491045930814555828505287263879630324*c_0101_6^7 - 1234846329962563533644761548961300265519863969716759997/29017712296\ 38491045930814555828505287263879630324*c_0101_6^6 - 33346675685369986454391893694501570415439053109562495/2901771229638\ 491045930814555828505287263879630324*c_0101_6^5 + 233760410872556553267688762146902821301222264670556839/145088561481\ 9245522965407277914252643631939815162*c_0101_6^4 - 33392710455562383692195197600474279421604323806833327/7254428074096\ 22761482703638957126321815969907581*c_0101_6^3 - 12215932245340119630895156578364384659029652056957239/2901771229638\ 491045930814555828505287263879630324*c_0101_6^2 + 4837572336460293157198129364602951003974490970966565/14508856148192\ 45522965407277914252643631939815162*c_0101_6 - 1528075590225719883024080787591629752282931987290819/29017712296384\ 91045930814555828505287263879630324, c_0011_0 - 1, c_0011_1 + 251019775498717728196762387690955048603780364/54544571985685\ 92191599275480880649036210300057*c_0101_6^22 - 3905613304019476995997274552735558482665097534/54544571985685921915\ 99275480880649036210300057*c_0101_6^21 - 68238771986146545672778300321904668484782289664/5454457198568592191\ 599275480880649036210300057*c_0101_6^20 - 323827926919779478639245370729468684066235176490/545445719856859219\ 1599275480880649036210300057*c_0101_6^19 - 535507172688885444902613216123437248673097079782/545445719856859219\ 1599275480880649036210300057*c_0101_6^18 + 373628853449447545356785115111764397780131399032/545445719856859219\ 1599275480880649036210300057*c_0101_6^17 + 2096229470238377770621300760794458788740664955770/54544571985685921\ 91599275480880649036210300057*c_0101_6^16 + 1500518087230812921349333431648049808220666631393/54544571985685921\ 91599275480880649036210300057*c_0101_6^15 - 1098744218525908849524443373885376557602496277558/54544571985685921\ 91599275480880649036210300057*c_0101_6^14 - 2471763200991890556246742825263466862571640437619/54544571985685921\ 91599275480880649036210300057*c_0101_6^13 - 1693589205678611949677556461147174563857739536401/54544571985685921\ 91599275480880649036210300057*c_0101_6^12 + 1692514879955780984500135496084850449241042862105/54544571985685921\ 91599275480880649036210300057*c_0101_6^11 + 1760006771130615606592548717710252544465790928648/54544571985685921\ 91599275480880649036210300057*c_0101_6^10 - 1400812029308086287327108919031411018360858105999/54544571985685921\ 91599275480880649036210300057*c_0101_6^9 - 309620956288693876798986157977775193416768454462/545445719856859219\ 1599275480880649036210300057*c_0101_6^8 + 1262311636235390799019618339935966809121417181737/54544571985685921\ 91599275480880649036210300057*c_0101_6^7 - 335131164425326934502802469107132946080635243311/545445719856859219\ 1599275480880649036210300057*c_0101_6^6 - 608737644489634390830907253834669446319157245613/545445719856859219\ 1599275480880649036210300057*c_0101_6^5 + 207490963373754439406410853471463957516145267930/545445719856859219\ 1599275480880649036210300057*c_0101_6^4 + 99507663238939088965822871681350886639195189105/5454457198568592191\ 599275480880649036210300057*c_0101_6^3 - 38244140586424437159230439915134251313371176434/5454457198568592191\ 599275480880649036210300057*c_0101_6^2 - 1967990313002600299061078317197581838431808421/54544571985685921915\ 99275480880649036210300057*c_0101_6 + 5726699893094983133853673617493931865498319346/54544571985685921915\ 99275480880649036210300057, c_0011_3 + 17213305688559604974435194876378662146152596515/381812003899\ 80145341194928366164543253472100399*c_0101_6^22 - 38351987363782898155991581290116438206024371485/5454457198568592191\ 599275480880649036210300057*c_0101_6^21 - 4669961880728119509161281439329358174853428212078/38181200389980145\ 341194928366164543253472100399*c_0101_6^20 - 22023596431773667266844000109991721671792980786764/3818120038998014\ 5341194928366164543253472100399*c_0101_6^19 - 35716008297997730152189229998377813534018680949545/3818120038998014\ 5341194928366164543253472100399*c_0101_6^18 + 28117679682542332810146818140250642402969146603424/3818120038998014\ 5341194928366164543253472100399*c_0101_6^17 + 146164888845644337026784584284217186590685319985335/381812003899801\ 45341194928366164543253472100399*c_0101_6^16 + 101920676562759217474345875496765658929235067726118/381812003899801\ 45341194928366164543253472100399*c_0101_6^15 - 80536674926979532861550255752187651658138288819612/3818120038998014\ 5341194928366164543253472100399*c_0101_6^14 - 179438522253660057124395405835378998802216960360507/381812003899801\ 45341194928366164543253472100399*c_0101_6^13 - 127827522164215046320887911153214772038140386657512/381812003899801\ 45341194928366164543253472100399*c_0101_6^12 + 112422243420805400245388988628083013550979508572304/381812003899801\ 45341194928366164543253472100399*c_0101_6^11 + 125514191963620409497550676976084632899631438264939/381812003899801\ 45341194928366164543253472100399*c_0101_6^10 - 85701404680569313128421809804359649509757102822703/3818120038998014\ 5341194928366164543253472100399*c_0101_6^9 - 10773180721816069146853242573607650447712273428571/3818120038998014\ 5341194928366164543253472100399*c_0101_6^8 + 86004484016217651841247934425435287983876728151628/3818120038998014\ 5341194928366164543253472100399*c_0101_6^7 - 25662693531479267297258054305299756409302040183343/3818120038998014\ 5341194928366164543253472100399*c_0101_6^6 - 38025577512358828790315758073546578036931863114322/3818120038998014\ 5341194928366164543253472100399*c_0101_6^5 + 12525638644950660428391288261438883927149515910028/3818120038998014\ 5341194928366164543253472100399*c_0101_6^4 + 3802124272283950400901212595477205660641012792805/38181200389980145\ 341194928366164543253472100399*c_0101_6^3 - 1411842309564054485963646803092926219369006875625/38181200389980145\ 341194928366164543253472100399*c_0101_6^2 - 3078063553604917758195368543046037735998257719/38181200389980145341\ 194928366164543253472100399*c_0101_6 + 56130388744502480058980653096521114628680704823/3818120038998014534\ 1194928366164543253472100399, c_0011_4 - 1861753250743811623608755752044260712159760277/5454457198568\ 592191599275480880649036210300057*c_0101_6^22 + 29298740137071719152691623815438282365216014535/5454457198568592191\ 599275480880649036210300057*c_0101_6^21 + 500793003670951902628022667398044108184323100223/545445719856859219\ 1599275480880649036210300057*c_0101_6^20 + 2314070668879723710995053186223391878483445683628/54544571985685921\ 91599275480880649036210300057*c_0101_6^19 + 3585039330375055781461734710163658491028701852316/54544571985685921\ 91599275480880649036210300057*c_0101_6^18 - 3299160800809155617500767838090171790722427082057/54544571985685921\ 91599275480880649036210300057*c_0101_6^17 - 14837169524357082025102436584709925906673499005803/5454457198568592\ 191599275480880649036210300057*c_0101_6^16 - 8853967936200162025522839052468530369820814363840/54544571985685921\ 91599275480880649036210300057*c_0101_6^15 + 8716452778505066442526976664209921027503045232042/54544571985685921\ 91599275480880649036210300057*c_0101_6^14 + 16494722779294096203380394070605807444239196927656/5454457198568592\ 191599275480880649036210300057*c_0101_6^13 + 10904661467033245635256347649730753641490251571389/5454457198568592\ 191599275480880649036210300057*c_0101_6^12 - 12815820648490397414433971235116084812018055292330/5454457198568592\ 191599275480880649036210300057*c_0101_6^11 - 10100559651290713969709786778678390144154620009563/5454457198568592\ 191599275480880649036210300057*c_0101_6^10 + 10929153195806748775788491413724130533567935242292/5454457198568592\ 191599275480880649036210300057*c_0101_6^9 - 856427040147879748222382215970315170209932789318/545445719856859219\ 1599275480880649036210300057*c_0101_6^8 - 8619734205666259713027980475978677521391592304620/54544571985685921\ 91599275480880649036210300057*c_0101_6^7 + 4073549744253610702720381950010202048881516378970/54544571985685921\ 91599275480880649036210300057*c_0101_6^6 + 2937307833822750954727982770895484294223185116183/54544571985685921\ 91599275480880649036210300057*c_0101_6^5 - 1795142895194022983469315132566292160548702995911/54544571985685921\ 91599275480880649036210300057*c_0101_6^4 - 45708683453299031649429024094464213478396954951/5454457198568592191\ 599275480880649036210300057*c_0101_6^3 + 100095088865870214396995123746020667855197893942/545445719856859219\ 1599275480880649036210300057*c_0101_6^2 - 8257590251808405493019334215635185432603248340/54544571985685921915\ 99275480880649036210300057*c_0101_6 + 230384202013192763370788120443285141495113731/545445719856859219159\ 9275480880649036210300057, c_0101_1 - 166555630690117906777396342003999699823985996/54544571985685\ 92191599275480880649036210300057*c_0101_6^22 + 2791250700462734780865327252167676338921935364/54544571985685921915\ 99275480880649036210300057*c_0101_6^21 + 42377310946132332957663946683736607424821632665/5454457198568592191\ 599275480880649036210300057*c_0101_6^20 + 157397162643876936384649804126299068588980092208/545445719856859219\ 1599275480880649036210300057*c_0101_6^19 + 39367742750163338063569626929189331133705322517/5454457198568592191\ 599275480880649036210300057*c_0101_6^18 - 971195039685455543824841424028602709078433727896/545445719856859219\ 1599275480880649036210300057*c_0101_6^17 - 1686493608913624884542326373313472600600468443125/54544571985685921\ 91599275480880649036210300057*c_0101_6^16 + 666110515868093622168697623417975532926040980417/545445719856859219\ 1599275480880649036210300057*c_0101_6^15 + 3602231921033126827891833505907020375624610836587/54544571985685921\ 91599275480880649036210300057*c_0101_6^14 + 2861538155903028079757309444996901003643243738121/54544571985685921\ 91599275480880649036210300057*c_0101_6^13 - 502102450190073446282622714491276405838035620869/545445719856859219\ 1599275480880649036210300057*c_0101_6^12 - 4194341038392856283517419653878770162980607625502/54544571985685921\ 91599275480880649036210300057*c_0101_6^11 - 2203794180350780889689860909322732615744093853079/54544571985685921\ 91599275480880649036210300057*c_0101_6^10 + 2280801961490713798538040854448846498528225916469/54544571985685921\ 91599275480880649036210300057*c_0101_6^9 + 271935276886759380546262610195983860913646585847/545445719856859219\ 1599275480880649036210300057*c_0101_6^8 - 1501164057115464613860641575487535441641955272770/54544571985685921\ 91599275480880649036210300057*c_0101_6^7 + 993374294673916687768485122689245397686330184354/545445719856859219\ 1599275480880649036210300057*c_0101_6^6 + 920149289075189349025513547151731808219679136811/545445719856859219\ 1599275480880649036210300057*c_0101_6^5 - 480375715517523396966707857609145960520686497872/545445719856859219\ 1599275480880649036210300057*c_0101_6^4 - 188750572222943474660045723806136015384616433821/545445719856859219\ 1599275480880649036210300057*c_0101_6^3 + 84778447541428818822105011280984617711093422919/5454457198568592191\ 599275480880649036210300057*c_0101_6^2 + 3996451616779250557625248410076628870345255552/54544571985685921915\ 99275480880649036210300057*c_0101_6 - 5269364814230606844751340887332723497964312096/54544571985685921915\ 99275480880649036210300057, c_0101_3 + 5799686547475653513112711035248522122607407253/3818120038998\ 0145341194928366164543253472100399*c_0101_6^22 - 12479613627965010253048195548898106667375770327/5454457198568592191\ 599275480880649036210300057*c_0101_6^21 - 1621869203040596250280063358338252054582486214854/38181200389980145\ 341194928366164543253472100399*c_0101_6^20 - 8258223812315572815897472346369084884043460443500/38181200389980145\ 341194928366164543253472100399*c_0101_6^19 - 15966039289696569329249898025655633133270893227828/3818120038998014\ 5341194928366164543253472100399*c_0101_6^18 + 3130933035298368410455847743793350355222175475771/38181200389980145\ 341194928366164543253472100399*c_0101_6^17 + 54193957801492692172709108876902671947007688224969/3818120038998014\ 5341194928366164543253472100399*c_0101_6^16 + 59791138076795659591745027380066563107699378126419/3818120038998014\ 5341194928366164543253472100399*c_0101_6^15 - 9598005448998577823900068968390208953633064997810/38181200389980145\ 341194928366164543253472100399*c_0101_6^14 - 73666446347625249142287041680864565253779350164504/3818120038998014\ 5341194928366164543253472100399*c_0101_6^13 - 73153514666516483586995168748537048007353852643740/3818120038998014\ 5341194928366164543253472100399*c_0101_6^12 + 15758848642975824814224451676578210001314227309865/3818120038998014\ 5341194928366164543253472100399*c_0101_6^11 + 61709297487899003649549590388220615659446776388870/3818120038998014\ 5341194928366164543253472100399*c_0101_6^10 - 8610977210637155235037741297189828469384468728402/38181200389980145\ 341194928366164543253472100399*c_0101_6^9 - 18467981417822216871808887152708462990884194940670/3818120038998014\ 5341194928366164543253472100399*c_0101_6^8 + 28678351748169636786046015657219661109200778705037/3818120038998014\ 5341194928366164543253472100399*c_0101_6^7 + 5420021578716350272792232691689647855933611954933/38181200389980145\ 341194928366164543253472100399*c_0101_6^6 - 18096992051222236812944085021405781065795728283606/3818120038998014\ 5341194928366164543253472100399*c_0101_6^5 - 1479510562616482465929395532679778397860857843660/38181200389980145\ 341194928366164543253472100399*c_0101_6^4 + 3351943938635339366744341926035358094552984840063/38181200389980145\ 341194928366164543253472100399*c_0101_6^3 - 225274244446884011886395516008594598811374886012/381812003899801453\ 41194928366164543253472100399*c_0101_6^2 - 82993482379824928387799972904181418909482198418/3818120038998014534\ 1194928366164543253472100399*c_0101_6 + 38759711716649070816876643659774674800723630110/3818120038998014534\ 1194928366164543253472100399, c_0101_6^23 - 16*c_0101_6^22 - 265*c_0101_6^21 - 1170*c_0101_6^20 - 1559*c_0101_6^19 + 2472*c_0101_6^18 + 7849*c_0101_6^17 + 2537*c_0101_6^16 - 7069*c_0101_6^15 - 8662*c_0101_6^14 - 3335*c_0101_6^13 + 9552*c_0101_6^12 + 4784*c_0101_6^11 - 7771*c_0101_6^10 + 1311*c_0101_6^9 + 5154*c_0101_6^8 - 3421*c_0101_6^7 - 1612*c_0101_6^6 + 1545*c_0101_6^5 - 51*c_0101_6^4 - 149*c_0101_6^3 + 24*c_0101_6^2 + 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB