Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3052677458] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0810 geometric_solution 4.74475098 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 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 1 0 -1 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 2.349473525272 0.132906120184 0 2 2 0 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.037808223292 0.463357979905 1 1 3 3 2310 0132 0132 3201 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 1 0 -1 0 0 1 -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.233097887978 0.232137191892 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996532181889 1.061380924823 3 6 5 5 0132 0132 0213 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 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.327390799901 0.744279144992 4 4 6 3 3201 0213 1023 0132 0 0 0 0 0 1 0 -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 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.327390799901 0.744279144992 6 4 5 6 3201 0132 1023 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 1.050524346406 1.032268641492 ==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' : negation(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' : negation(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_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 104690909807755521440632006340906587609433303/179981977977265057038\ 075319119763796317440*c_0101_6^24 - 19635887866707538410709743871216506793898699/2999699632954417617301\ 255318662729938624*c_0101_6^23 + 2795038195473274668286063128881098\ 73105666269/59993992659088352346025106373254598772480*c_0101_6^22 + 10850879122741226075891498853586312063151381767/8999098898863252851\ 9037659559881898158720*c_0101_6^21 - 2028596774097571381302192333889412595361311547/37496245411930220216\ 26569148328412423280*c_0101_6^20 + 20863806654812737357170032914063880166171073373/1799819779772650570\ 38075319119763796317440*c_0101_6^19 + 84336802852586943231934435242521014177424092567/3599639559545301140\ 7615063823952759263488*c_0101_6^18 - 348395034558366265773200856427954125489765445997/179981977977265057\ 038075319119763796317440*c_0101_6^17 - 604133024201525512078914238928030115064967777047/179981977977265057\ 038075319119763796317440*c_0101_6^16 + 416176842778401969959548788080848482876866950537/599939926590883523\ 46025106373254598772480*c_0101_6^15 + 110005864829376125706981090430149213356243457145/359963955954530114\ 07615063823952759263488*c_0101_6^14 - 84501904243641710050439257339299853223875826589/1199879853181767046\ 9205021274650919754496*c_0101_6^13 - 6183807982688737851557059791481390390772324753/35996395595453011407\ 615063823952759263488*c_0101_6^12 - 196581613746486112138813643912466136935110753867/179981977977265057\ 038075319119763796317440*c_0101_6^11 - 578552488202419373630236783625134842434236177/449954944943162642595\ 18829779940949079360*c_0101_6^10 + 44310395642744549026063970449041590185567295651/8999098898863252851\ 903765955988189815872*c_0101_6^9 - 147980403839830394439094615598326694078102462513/599939926590883523\ 46025106373254598772480*c_0101_6^8 - 80898457762125144801891612937106357311012153181/5999399265908835234\ 6025106373254598772480*c_0101_6^7 + 209875113911451955543506849140032066889541638449/179981977977265057\ 038075319119763796317440*c_0101_6^6 + 10607685768259841613735709989780280694474953271/1799819779772650570\ 38075319119763796317440*c_0101_6^5 - 13925084597561106834392807093559668931576568941/5999399265908835234\ 6025106373254598772480*c_0101_6^4 + 219060216944852379162368902265173981900013425/179981977977265057038\ 07531911976379631744*c_0101_6^3 + 428136811461450428535638107214925\ 035726611489/17998197797726505703807531911976379631744*c_0101_6^2 - 195088006056653910969753616475227918084079701/179981977977265057038\ 075319119763796317440*c_0101_6 - 1130657205426011189285279717220348\ 8669821161/11998798531817670469205021274650919754496, c_0011_0 - 1, c_0011_3 + 2112900915561200501223945661294600200349/5624436811789533032\ 439853722492618634920*c_0101_6^24 - 7071637162431374510284345803580910182277/14061092029473832581099634\ 30623154658730*c_0101_6^23 + 43268664896953728839857114674026126443\ 53/374962454119302202162656914832841242328*c_0101_6^22 + 53951887881920233784385191751628302869402/7030546014736916290549817\ 15311577329365*c_0101_6^21 - 14539118750937103841026774849980518665\ 02151/2812218405894766516219926861246309317460*c_0101_6^20 + 4039981307153909982426547031497279751258197/56244368117895330324398\ 53722492618634920*c_0101_6^19 + 99033440656098925502749664353021207\ 48301387/5624436811789533032439853722492618634920*c_0101_6^18 - 8223071554862775953127281744072228134906449/18748122705965110108132\ 84574164206211640*c_0101_6^17 - 26521872036394854974116159791394674\ 03005661/1874812270596511010813284574164206211640*c_0101_6^16 + 55252503062519584212604278340176384871022143/5624436811789533032439\ 853722492618634920*c_0101_6^15 - 5048573142529641404142111583463848\ 122563371/1124887362357906606487970744498523726984*c_0101_6^14 - 73612751609978249359369450736224297273425713/5624436811789533032439\ 853722492618634920*c_0101_6^13 + 2844573628441958568381926566245181\ 4969899903/5624436811789533032439853722492618634920*c_0101_6^12 + 5827995095127118788170810877941466874568727/18748122705965110108132\ 84574164206211640*c_0101_6^11 + 30078637955220081862428175765933349\ 64664261/937406135298255505406642287082103105820*c_0101_6^10 + 1192257535285555320152842551195691404605931/23435153382456387635166\ 0571770525776455*c_0101_6^9 - 4186440310002631367470958972204421760\ 3816117/5624436811789533032439853722492618634920*c_0101_6^8 - 413685012696569016151066042363724355887161/374962454119302202162656\ 914832841242328*c_0101_6^7 + 16813257770776261117043322966346281603\ 435863/5624436811789533032439853722492618634920*c_0101_6^6 - 722979703389727018958491111016980498992321/187481227059651101081328\ 4574164206211640*c_0101_6^5 - 3396462613027579314424477676796374126\ 000501/5624436811789533032439853722492618634920*c_0101_6^4 + 92495184733761839923721927213622817626259/7030546014736916290549817\ 15311577329365*c_0101_6^3 + 216530654247238782003650972143817879806\ 781/2812218405894766516219926861246309317460*c_0101_6^2 - 2652932707440798203154535205238440890127/37496245411930220216265691\ 4832841242328*c_0101_6 - 21457537791950365953158951359961688184097/\ 5624436811789533032439853722492618634920, c_0011_5 - 378305047514544257476622583807992790221929/17998197797726505\ 7038075319119763796317440*c_0101_6^24 + 1136386080634126086417823510902353179098817/44995494494316264259518\ 829779940949079360*c_0101_6^23 - 4122049593488591250091262896324852\ 42034799/11998798531817670469205021274650919754496*c_0101_6^22 - 38540069579979373127667918255125277671308433/8999098898863252851903\ 7659559881898158720*c_0101_6^21 + 257359820598081264372891767413494\ 91282422937/11248873623579066064879707444985237269840*c_0101_6^20 - 324487691211257158545207177698088264326308867/179981977977265057038\ 075319119763796317440*c_0101_6^19 - 513307028186053014996609237245144155433080119/599939926590883523460\ 25106373254598772480*c_0101_6^18 + 2394168234414373081507104521645408311099550147/17998197797726505703\ 8075319119763796317440*c_0101_6^17 + 1583364986442081264784675098395726139492891313/17998197797726505703\ 8075319119763796317440*c_0101_6^16 - 6274637975453610975964856863367046642598933733/17998197797726505703\ 8075319119763796317440*c_0101_6^15 + 166517150386773637835123115652106078019883729/359963955954530114076\ 15063823952759263488*c_0101_6^14 + 6857050396835434734173664732864668513951038333/17998197797726505703\ 8075319119763796317440*c_0101_6^13 - 2418777394841558714295840607143690579733966333/17998197797726505703\ 8075319119763796317440*c_0101_6^12 - 37689978404509835402802472038647705709629131/1799819779772650570380\ 75319119763796317440*c_0101_6^11 - 244657107668248201818651164323474673613387599/449954944943162642595\ 18829779940949079360*c_0101_6^10 - 883078986791127257455649564524939444308926611/449954944943162642595\ 18829779940949079360*c_0101_6^9 + 385538047707873705613712271771625\ 8643197853877/179981977977265057038075319119763796317440*c_0101_6^8 + 23294042401274840605829418017672501656776999/11998798531817670469\ 205021274650919754496*c_0101_6^7 - 1418453531641359495452115053667030652319493383/17998197797726505703\ 8075319119763796317440*c_0101_6^6 + 257493223341539127446304122084195307562604023/179981977977265057038\ 075319119763796317440*c_0101_6^5 + 242205661884603373983732360254000602805673361/179981977977265057038\ 075319119763796317440*c_0101_6^4 - 34215723878235852867388338341961136811037811/8999098898863252851903\ 7659559881898158720*c_0101_6^3 - 4476588203662817000273936943179701\ 408261177/29996996329544176173012553186627299386240*c_0101_6^2 + 977318794122031625625327009775786929269471/359963955954530114076150\ 63823952759263488*c_0101_6 + 12749240829018029678369062843286455126\ 50337/179981977977265057038075319119763796317440, c_0101_0 - 1371843411938262331544048460368132315001691/8999098898863252\ 8519037659559881898158720*c_0101_6^24 + 129959585426423121861709265931396825056585/749924908238604404325313\ 829665682484656*c_0101_6^23 - 4232978634473794631038330239109866991\ 495069/29996996329544176173012553186627299386240*c_0101_6^22 - 28370244018704164886007682421083797363695563/8999098898863252851903\ 765955988189815872*c_0101_6^21 + 6815534557312818810813326711311992\ 777889341/468703067649127752703321143541051552910*c_0101_6^20 - 81579159272523075459116070640061092423453061/1799819779772650570380\ 7531911976379631744*c_0101_6^19 - 110777460417880319878936527076835\ 7461143893407/17998197797726505703807531911976379631744*c_0101_6^18 + 5182333917055452823816173146785953322395025801/899909889886325285\ 19037659559881898158720*c_0101_6^17 + 7610754976953863663556892356470978607963001247/89990988988632528519\ 037659559881898158720*c_0101_6^16 - 5775826588569322183991510769839810648112967141/29996996329544176173\ 012553186627299386240*c_0101_6^15 - 5706355234249037372527043925512680621259861317/89990988988632528519\ 037659559881898158720*c_0101_6^14 + 5964352073131589459894447996948120646403556397/29996996329544176173\ 012553186627299386240*c_0101_6^13 - 921486815990641601650048626456812223393404851/899909889886325285190\ 37659559881898158720*c_0101_6^12 + 426466286023881883358786505115017756267253619/179981977977265057038\ 07531911976379631744*c_0101_6^11 - 6690975808990885174963729485002471474267963/11248873623579066064879\ 70744498523726984*c_0101_6^10 - 36939400478878686792787844130811497\ 8021060971/2812218405894766516219926861246309317460*c_0101_6^9 + 2345331958363566127694828797244725003375163921/29996996329544176173\ 012553186627299386240*c_0101_6^8 + 978111769677902217169757725309497723431998017/299969963295441761730\ 12553186627299386240*c_0101_6^7 - 310790735913521503424628472982765\ 2182893588969/89990988988632528519037659559881898158720*c_0101_6^6 + 11398171170648257688225503819292248683384997/8999098898863252851903\ 7659559881898158720*c_0101_6^5 + 1989156543740891583868877140542525\ 30066147381/29996996329544176173012553186627299386240*c_0101_6^4 - 29063539831040415313570567268489866422669649/4499549449431626425951\ 8829779940949079360*c_0101_6^3 - 3126177000075742992756019843217140\ 9690007917/44995494494316264259518829779940949079360*c_0101_6^2 + 4129680641800744351532953152473387789376401/89990988988632528519037\ 659559881898158720*c_0101_6 + 8486269533805025638550290474696207750\ 56517/29996996329544176173012553186627299386240, c_0101_1 + 378984687601084532510338656135407471154787/22497747247158132\ 129759414889970474539680*c_0101_6^24 - 8730054845673449411884112258290057404091309/44995494494316264259518\ 829779940949079360*c_0101_6^23 + 2739054695532961065698521765268709\ 017298793/14998498164772088086506276593313649693120*c_0101_6^22 + 78334097632412161402809371735371797290350519/2249774724715813212975\ 9414889970474539680*c_0101_6^21 - 373420171709696285461028224406603\ 54544278369/2249774724715813212975941488997047453968*c_0101_6^20 + 157538782687876985728410727427263481843814043/224977472471581321297\ 59414889970474539680*c_0101_6^19 + 3102477944884781139696615806068768006683880291/44995494494316264259\ 518829779940949079360*c_0101_6^18 - 276026808770960014252299965244222314173940319/374962454119302202162\ 6569148328412423280*c_0101_6^17 - 137586173739261627985045728754565\ 5994261305991/14998498164772088086506276593313649693120*c_0101_6^16 + 1037145479750463850994475310643596588753992539/449954944943162642\ 5951882977994094907936*c_0101_6^15 + 2277836616880246239724272923047810370373501809/44995494494316264259\ 518829779940949079360*c_0101_6^14 - 175102892478837575462220006664648966265308099/703054601473691629054\ 981715311577329365*c_0101_6^13 + 1238847718356415713144101430036183\ 791041350401/44995494494316264259518829779940949079360*c_0101_6^12 - 81860139233605504924129463404671013480092997/7499249082386044043253\ 138296656824846560*c_0101_6^11 + 2475829259159538216336362286643639\ 48878172771/14998498164772088086506276593313649693120*c_0101_6^10 + 2262774743424880614447473937600197725657723077/14998498164772088086\ 506276593313649693120*c_0101_6^9 - 4743474847324663008178538085693561627915029237/44995494494316264259\ 518829779940949079360*c_0101_6^8 - 289240031750833831202808590036567947916906447/749924908238604404325\ 3138296656824846560*c_0101_6^7 + 2089567822879092171451913748628254\ 289227989347/44995494494316264259518829779940949079360*c_0101_6^6 - 6933192391862979920337816083812166764399903/74992490823860440432531\ 38296656824846560*c_0101_6^5 - 418878124030545410924352482513815951\ 103035819/44995494494316264259518829779940949079360*c_0101_6^4 + 25105329701981776572702727223128183787016281/2249774724715813212975\ 9414889970474539680*c_0101_6^3 + 3026287641641757416137577298426936\ 183075959/2812218405894766516219926861246309317460*c_0101_6^2 - 302385097731750218152586318274853978083541/374962454119302202162656\ 9148328412423280*c_0101_6 - 222030966873227138544571122929972559644\ 8933/44995494494316264259518829779940949079360, c_0101_3 + 44258649713249877408838390222966030831601/112488736235790660\ 64879707444985237269840*c_0101_6^24 - 492495547112219496440268867269540236315217/112488736235790660648797\ 07444985237269840*c_0101_6^23 + 19428331437003551328123805780902797\ 512807/749924908238604404325313829665682484656*c_0101_6^22 + 4611579719099159379572922516108487104395617/56244368117895330324398\ 53722492618634920*c_0101_6^21 - 50019952822020966584702843168604072\ 32531191/1406109202947383258109963430623154658730*c_0101_6^20 + 3572612834118289693403143841421601920925103/11248873623579066064879\ 707444985237269840*c_0101_6^19 + 2995903588635085206834779054507675\ 7229309053/1874812270596511010813284574164206211640*c_0101_6^18 - 31314696825875102401733227030090414679375557/2812218405894766516219\ 926861246309317460*c_0101_6^17 - 2750845512713034410156497648100147\ 61080508287/11248873623579066064879707444985237269840*c_0101_6^16 + 498210398467433775001790676334482735779602417/112488736235790660648\ 79707444985237269840*c_0101_6^15 + 29926463875384719974110397912614531222340591/1124887362357906606487\ 970744498523726984*c_0101_6^14 - 1280735806108109272017610108438173\ 82452042263/2812218405894766516219926861246309317460*c_0101_6^13 - 77325048208383352444011006211606363330157353/1124887362357906606487\ 9707444985237269840*c_0101_6^12 - 799104275851620191023336456662228\ 45082447381/11248873623579066064879707444985237269840*c_0101_6^11 - 16430130895708029251160757406416546605582851/1124887362357906606487\ 9707444985237269840*c_0101_6^10 + 939426975120819956377728874673423\ 47945328519/2812218405894766516219926861246309317460*c_0101_6^9 - 70646067255662929411596695422150017761586209/5624436811789533032439\ 853722492618634920*c_0101_6^8 - 42892119475802590531754879252289545\ 96905445/374962454119302202162656914832841242328*c_0101_6^7 + 80501355608211364007649495670857085004128177/1124887362357906606487\ 9707444985237269840*c_0101_6^6 + 1421989701617992535935429550827341\ 4349773453/11248873623579066064879707444985237269840*c_0101_6^5 - 9128684880307513428482024801035877912582857/56244368117895330324398\ 53722492618634920*c_0101_6^4 - 488567419989944101653233141665087087\ 348877/11248873623579066064879707444985237269840*c_0101_6^3 + 646365482749300728156564125065007635926391/374962454119302202162656\ 9148328412423280*c_0101_6^2 + 2578525911752265423368002850628916755\ 17/140610920294738325810996343062315465873*c_0101_6 - 73438955693382745539301092394540141263803/1124887362357906606487970\ 7444985237269840, c_0101_6^25 - 11*c_0101_6^24 + 5*c_0101_6^23 + 211*c_0101_6^22 - 878*c_0101_6^21 - 69*c_0101_6^20 + 4208*c_0101_6^19 - 2278*c_0101_6^18 - 7228*c_0101_6^17 + 10700*c_0101_6^16 + 9288*c_0101_6^15 - 12170*c_0101_6^14 - 4824*c_0101_6^13 - 720*c_0101_6^12 + 119*c_0101_6^11 + 9016*c_0101_6^10 - 1841*c_0101_6^9 - 4598*c_0101_6^8 + 1526*c_0101_6^7 + 1032*c_0101_6^6 - 496*c_0101_6^5 - 155*c_0101_6^4 + 76*c_0101_6^3 + 19*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB