Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 3170705540] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0144 geometric_solution 3.64276282 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3120 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 0 -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.998767005417 0.505165334964 0 1 1 2 0132 3201 2310 3012 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 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 0.202726077190 0.403252356246 0 0 1 3 3120 0132 1230 3012 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 -1 1 0 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.004831605859 1.979538130278 4 4 2 0 0132 3201 1230 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 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.275138773845 0.933280598140 3 5 3 5 0132 0132 2310 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.831670896620 0.794486456829 6 4 6 4 0132 0132 1023 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 0.534856464990 0.040495713379 5 6 5 6 0132 2310 1023 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.742707110045 0.013206296456 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 1506662621440159746346032780066759108523243836/29494379022853035582\ 711893595382432200926209*c_0101_6^22 - 1202745867478465269005891034727616999776909582/29494379022853035582\ 711893595382432200926209*c_0101_6^21 - 67021302170489376912660050096426532853345888579/2949437902285303558\ 2711893595382432200926209*c_0101_6^20 - 30531674924737479330566696671869327753415186162/2949437902285303558\ 2711893595382432200926209*c_0101_6^19 - 937638821300982574341682245085104371189001705639/294943790228530355\ 82711893595382432200926209*c_0101_6^18 - 416239630577527803210688810296793932425436895952/294943790228530355\ 82711893595382432200926209*c_0101_6^17 - 5269323239644080907471765043942655365402763772950/29494379022853035\ 582711893595382432200926209*c_0101_6^16 - 1858695528354086002444726912881663802822092465929/29494379022853035\ 582711893595382432200926209*c_0101_6^15 - 15034841966919106898014666703784893489401336460809/2949437902285303\ 5582711893595382432200926209*c_0101_6^14 - 4023589976329699957752080723631238076432611245095/29494379022853035\ 582711893595382432200926209*c_0101_6^13 - 24353189689140458604793240964370759618085099013830/2949437902285303\ 5582711893595382432200926209*c_0101_6^12 - 5072762286711063410402894816988061637605082579861/29494379022853035\ 582711893595382432200926209*c_0101_6^11 - 23369075946483345818459190141232582833371765686015/2949437902285303\ 5582711893595382432200926209*c_0101_6^10 - 314319187754093385297292958468910407282990941237/226879838637331042\ 9439376430414033246225093*c_0101_6^9 - 13205685754686136090526651714691070805786537174486/2949437902285303\ 5582711893595382432200926209*c_0101_6^8 - 2100664915069313783074486805578340588597457546085/29494379022853035\ 582711893595382432200926209*c_0101_6^7 - 4100839950750186299857629503025341702193766003145/29494379022853035\ 582711893595382432200926209*c_0101_6^6 - 614691415805984719198286987396450224309473050547/294943790228530355\ 82711893595382432200926209*c_0101_6^5 - 537482021917954196054982050466128312000543867149/294943790228530355\ 82711893595382432200926209*c_0101_6^4 - 78602174498425645119037844341505400113994565675/2949437902285303558\ 2711893595382432200926209*c_0101_6^3 + 212692265835916778368537233658679398843971163/101704755251217364078\ 3168744668359731066421*c_0101_6^2 + 52232425335055103704476305543569039514098688/2268798386373310429439\ 376430414033246225093*c_0101_6 - 1290962705530968738238291874515085\ 338918899491/29494379022853035582711893595382432200926209, c_0011_0 - 1, c_0011_3 - 87993335496677090027065065465075078602356/782344271163210492\ 91012980359104594697417*c_0101_6^22 - 44070733792238492739046932923017269353490/7823442711632104929101298\ 0359104594697417*c_0101_6^21 - 389380076192815994278890202253696432\ 7690381/78234427116321049291012980359104594697417*c_0101_6^20 - 623442586847077722695442070522683202986496/782344271163210492910129\ 80359104594697417*c_0101_6^19 - 54255243618029675032337175729024441\ 677151101/78234427116321049291012980359104594697417*c_0101_6^18 - 8216022821461424067120892109986636373805750/78234427116321049291012\ 980359104594697417*c_0101_6^17 - 3009258154767798103886199146461255\ 10692458641/78234427116321049291012980359104594697417*c_0101_6^16 - 19675270795227961857509269411935251893113920/7823442711632104929101\ 2980359104594697417*c_0101_6^15 - 849072351881222826845935471606009\ 927998835941/78234427116321049291012980359104594697417*c_0101_6^14 + 12090406056206211176909632698608766219163720/7823442711632104929101\ 2980359104594697417*c_0101_6^13 - 136420477843123033412661087204942\ 0701128883857/78234427116321049291012980359104594697417*c_0101_6^12 + 90450975391714055243939599357791750602166663/78234427116321049291\ 012980359104594697417*c_0101_6^11 - 1298384402756931813080235800849692776546113066/78234427116321049291\ 012980359104594697417*c_0101_6^10 + 117370077767752905692376322266535268885014966/782344271163210492910\ 12980359104594697417*c_0101_6^9 - 721895207054017363579372673478819\ 483972578387/78234427116321049291012980359104594697417*c_0101_6^8 + 70103796282108689517143610644896434605377109/7823442711632104929101\ 2980359104594697417*c_0101_6^7 - 2144288189425416119434103609713586\ 84545421854/78234427116321049291012980359104594697417*c_0101_6^6 + 22660824718277600154915572922926834966523131/7823442711632104929101\ 2980359104594697417*c_0101_6^5 - 2329293197286577320741233282009303\ 6104861032/78234427116321049291012980359104594697417*c_0101_6^4 + 3779819008805055684154473764797568080787220/78234427116321049291012\ 980359104594697417*c_0101_6^3 + 17127366976557593237574093062567122\ 33326929/78234427116321049291012980359104594697417*c_0101_6^2 + 328748916609553187956535720283805719698156/782344271163210492910129\ 80359104594697417*c_0101_6 - 74393938932993635670215336816965424053\ 833/78234427116321049291012980359104594697417, c_0101_0 + 58579368671377121892501961526297380415972/782344271163210492\ 91012980359104594697417*c_0101_6^22 + 52150264423712692832219324997692826548698/7823442711632104929101298\ 0359104594697417*c_0101_6^21 + 260389441931484510675361120607694517\ 5372765/78234427116321049291012980359104594697417*c_0101_6^20 + 1416006281450313563322298742440332964161258/78234427116321049291012\ 980359104594697417*c_0101_6^19 + 3628399433643893193566447918751320\ 6002949464/78234427116321049291012980359104594697417*c_0101_6^18 + 19156263892019351157182403810656155595430050/7823442711632104929101\ 2980359104594697417*c_0101_6^17 + 202381437824352845524248196435783\ 171404270265/78234427116321049291012980359104594697417*c_0101_6^16 + 85901154281675865786072068752857955700374121/7823442711632104929101\ 2980359104594697417*c_0101_6^15 + 567913081157798951880034490802436\ 079805975607/78234427116321049291012980359104594697417*c_0101_6^14 + 183689089263014866831644615320111690674785434/782344271163210492910\ 12980359104594697417*c_0101_6^13 + 892385095139252224949996403494883376446119468/782344271163210492910\ 12980359104594697417*c_0101_6^12 + 217449823076772910410870711842213410587141287/782344271163210492910\ 12980359104594697417*c_0101_6^11 + 812171570436767930664928517551950680079566407/782344271163210492910\ 12980359104594697417*c_0101_6^10 + 148911537486694026385014670238564743535454942/782344271163210492910\ 12980359104594697417*c_0101_6^9 + 416144413933575214278948174443885\ 891030541033/78234427116321049291012980359104594697417*c_0101_6^8 + 55034495759848760757054057107918818424812148/7823442711632104929101\ 2980359104594697417*c_0101_6^7 + 1034065623552989650631080155488386\ 62712045453/78234427116321049291012980359104594697417*c_0101_6^6 + 7431499851639582396225786411671777186412031/78234427116321049291012\ 980359104594697417*c_0101_6^5 + 37304941588092447420365855687560774\ 83541747/78234427116321049291012980359104594697417*c_0101_6^4 - 762759176229346141681644743493364196932849/782344271163210492910129\ 80359104594697417*c_0101_6^3 - 238525220559670694184866333196306454\ 1077263/78234427116321049291012980359104594697417*c_0101_6^2 - 120662495969648619881595087227841193012492/782344271163210492910129\ 80359104594697417*c_0101_6 + 59150783502407249890070102692082338900\ 538/78234427116321049291012980359104594697417, c_0101_1 + 8108171301424481423037000148126042356204/7823442711632104929\ 1012980359104594697417*c_0101_6^22 + 7108571223987770290787991077826875465046/78234427116321049291012980\ 359104594697417*c_0101_6^21 + 3639084724157662696105451243061124948\ 67431/78234427116321049291012980359104594697417*c_0101_6^20 + 196901577583799202190382086433339922135394/782344271163210492910129\ 80359104594697417*c_0101_6^19 + 51783466988867517599169900715412169\ 42508341/78234427116321049291012980359104594697417*c_0101_6^18 + 2777993238225347316477072726548705407527303/78234427116321049291012\ 980359104594697417*c_0101_6^17 + 3012122018482252439291829402802415\ 2827283899/78234427116321049291012980359104594697417*c_0101_6^16 + 14018359670956928841499803006918951019961747/7823442711632104929101\ 2980359104594697417*c_0101_6^15 + 897336276455726600863789899780117\ 21902683048/78234427116321049291012980359104594697417*c_0101_6^14 + 35048012761244624672844238599473237184253968/7823442711632104929101\ 2980359104594697417*c_0101_6^13 + 150855818193556054286237241350818\ 706382353600/78234427116321049291012980359104594697417*c_0101_6^12 + 48681922425180340742165976872397546054438008/7823442711632104929101\ 2980359104594697417*c_0101_6^11 + 146451377319380599509557583944277\ 676584114833/78234427116321049291012980359104594697417*c_0101_6^10 + 37886922845046060669437901504127668967925538/7823442711632104929101\ 2980359104594697417*c_0101_6^9 + 7903629022472273061580610575488885\ 6448558580/78234427116321049291012980359104594697417*c_0101_6^8 + 15016586434073635095759913129148918961110209/7823442711632104929101\ 2980359104594697417*c_0101_6^7 + 1996491627465866920696438016225380\ 0344297748/78234427116321049291012980359104594697417*c_0101_6^6 + 1968975384675905026497602174269863651866741/78234427116321049291012\ 980359104594697417*c_0101_6^5 - 70806783280012896904182946010703747\ 470061/78234427116321049291012980359104594697417*c_0101_6^4 - 258178631597724728040821646093266658993280/782344271163210492910129\ 80359104594697417*c_0101_6^3 - 101450859031800513932028644276073031\ 4313208/78234427116321049291012980359104594697417*c_0101_6^2 - 15690526448972813360283952507498444044830/7823442711632104929101298\ 0359104594697417*c_0101_6 - 384290335046405943029005417969931984829\ 37/78234427116321049291012980359104594697417, c_0101_3 - 73316571553111775160946229550155382485128/782344271163210492\ 91012980359104594697417*c_0101_6^22 - 44226772358460868694536809445414920116924/7823442711632104929101298\ 0359104594697417*c_0101_6^21 - 324678369446575423254308142650174989\ 9393782/78234427116321049291012980359104594697417*c_0101_6^20 - 854153671995952212749841932632921026256878/782344271163210492910129\ 80359104594697417*c_0101_6^19 - 45202836434985056052955779147914847\ 960425800/78234427116321049291012980359104594697417*c_0101_6^18 - 11602779170963434216684929089848950731293713/7823442711632104929101\ 2980359104594697417*c_0101_6^17 - 250663249180176987137180606002916\ 289658851950/78234427116321049291012980359104594697417*c_0101_6^16 - 43784826655982014452310909822979031717356806/7823442711632104929101\ 2980359104594697417*c_0101_6^15 - 705163754658576388072074137120884\ 125521511100/78234427116321049291012980359104594697417*c_0101_6^14 - 71394271761038747279335211771748929948360220/7823442711632104929101\ 2980359104594697417*c_0101_6^13 - 112471202446494235229365197861274\ 6047422094684/78234427116321049291012980359104594697417*c_0101_6^12 - 64073885889647201127013498085000602953700946/78234427116321049291\ 012980359104594697417*c_0101_6^11 - 1055888373936970741860054351816942732599714578/78234427116321049291\ 012980359104594697417*c_0101_6^10 - 44359497418726744293060386815469266798723532/7823442711632104929101\ 2980359104594697417*c_0101_6^9 - 5725229919838010665978827434269835\ 80386916314/78234427116321049291012980359104594697417*c_0101_6^8 - 26406975802870114515958650997820635639188886/7823442711632104929101\ 2980359104594697417*c_0101_6^7 - 1605849436833921561850838394434592\ 23247166490/78234427116321049291012980359104594697417*c_0101_6^6 - 8538155227261907210392217930993630502145356/78234427116321049291012\ 980359104594697417*c_0101_6^5 - 13007164643408872660766193241504237\ 122352976/78234427116321049291012980359104594697417*c_0101_6^4 - 551591409902645994601206513137163378992966/782344271163210492910129\ 80359104594697417*c_0101_6^3 + 247612369192679350665117910232791313\ 3515180/78234427116321049291012980359104594697417*c_0101_6^2 + 304974797675814864571055911207049561389082/782344271163210492910129\ 80359104594697417*c_0101_6 - 80196367704752440781657576475775031683\ 844/78234427116321049291012980359104594697417, c_0101_5 + 71215084908535419774036332888837193588264/782344271163210492\ 91012980359104594697417*c_0101_6^22 + 45766012595460140362392398478882105689976/7823442711632104929101298\ 0359104594697417*c_0101_6^21 + 315422927869375406185253006603202549\ 5940008/78234427116321049291012980359104594697417*c_0101_6^20 + 949559884020129594942345153045043828474383/782344271163210492910129\ 80359104594697417*c_0101_6^19 + 43883472792451582601455128306733467\ 304989499/78234427116321049291012980359104594697417*c_0101_6^18 + 12824833646662236693365008356183494244228256/7823442711632104929101\ 2980359104594697417*c_0101_6^17 + 243075992855410965975826000919696\ 582899067078/78234427116321049291012980359104594697417*c_0101_6^16 + 49756322660014601269902009672319550801008043/7823442711632104929101\ 2980359104594697417*c_0101_6^15 + 681021734398754043365115881680288\ 475401898081/78234427116321049291012980359104594697417*c_0101_6^14 + 84299865022559605832843236439124173694533959/7823442711632104929101\ 2980359104594697417*c_0101_6^13 + 107698111237478560972017812769269\ 7816712994181/78234427116321049291012980359104594697417*c_0101_6^12 + 75679892252719423355185220134514867496156536/78234427116321049291\ 012980359104594697417*c_0101_6^11 + 995877298016239591869563625837720546350502500/782344271163210492910\ 12980359104594697417*c_0101_6^10 + 44539587142162583227642597855078851800131680/7823442711632104929101\ 2980359104594697417*c_0101_6^9 + 5259539495319034579786191850492414\ 70098786437/78234427116321049291012980359104594697417*c_0101_6^8 + 19799901701278276311025418810865488036936978/7823442711632104929101\ 2980359104594697417*c_0101_6^7 + 1402994322141650385600674001738453\ 00582814457/78234427116321049291012980359104594697417*c_0101_6^6 + 4528594539843669375676402132442812151690660/78234427116321049291012\ 980359104594697417*c_0101_6^5 + 93162282619520372117682475921770111\ 21514317/78234427116321049291012980359104594697417*c_0101_6^4 - 79114358458992662129477896208576297984581/7823442711632104929101298\ 0359104594697417*c_0101_6^3 - 2411958572444795429171274832819629540\ 387167/78234427116321049291012980359104594697417*c_0101_6^2 - 218949632515391299571175847886582697945557/782344271163210492910129\ 80359104594697417*c_0101_6 + 68600613919574811566351101917551158802\ 527/78234427116321049291012980359104594697417, c_0101_6^23 + 1/2*c_0101_6^22 + 177/4*c_0101_6^21 + 7*c_0101_6^20 + 1233/2*c_0101_6^19 + 363/4*c_0101_6^18 + 3418*c_0101_6^17 + 192*c_0101_6^16 + 19257/2*c_0101_6^15 - 299*c_0101_6^14 + 30837/2*c_0101_6^13 - 2879/2*c_0101_6^12 + 29183/2*c_0101_6^11 - 1897*c_0101_6^10 + 32157/4*c_0101_6^9 - 2417/2*c_0101_6^8 + 2353*c_0101_6^7 - 400*c_0101_6^6 + 249*c_0101_6^5 - 217/4*c_0101_6^4 - 18*c_0101_6^3 + 1/2*c_0101_6^2 + c_0101_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB