Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1124261498] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2376 geometric_solution 5.74516639 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 -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 0 0 0 0 0 0 0 0 0 0 0.455026175247 0.260433776787 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889578160032 0.687030278015 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 0 -1 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 1.053754138593 1.023556304471 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 -1 1 -1 0 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053754138593 1.023556304471 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 -1 0 1 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.408102059773 0.400385331537 5 3 2 5 3201 1023 0132 2310 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 -1 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.622175403158 0.667268517724 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 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.707586224046 0.865590983898 ==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_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, 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 + 3487739393396490242907524228454085304465690/11400872963951481300918\ 7606891288030139951*c_0101_6^22 + 423363940841978325862309348122007\ 332463185/16286961377073544715598229555898290019993*c_0101_6^21 - 59475588236129205000185078123007539477266640/1140087296395148130091\ 87606891288030139951*c_0101_6^20 - 3670434508338237125119566817532827803421327/16286961377073544715598\ 229555898290019993*c_0101_6^19 + 3412678489863544333000241253301204\ 57643080079/114008729639514813009187606891288030139951*c_0101_6^18 - 74482874267385250728371270571381471692401148/1140087296395148130091\ 87606891288030139951*c_0101_6^17 - 787248163950737525144447836002604750793403980/114008729639514813009\ 187606891288030139951*c_0101_6^16 + 1743160510220814924208913516481299640693123171/11400872963951481300\ 9187606891288030139951*c_0101_6^15 + 162916668533581072310865267012611410187651640/162869613770735447155\ 98229555898290019993*c_0101_6^14 - 12242104127706197897525785868347226610708956277/1140087296395148130\ 09187606891288030139951*c_0101_6^13 - 85828797819051308863290506208963403027541078/1628696137707354471559\ 8229555898290019993*c_0101_6^12 + 472886194647015196860907563746633\ 42498130541140/114008729639514813009187606891288030139951*c_0101_6^\ 11 - 17104336187200739035864392650577057073679815478/11400872963951\ 4813009187606891288030139951*c_0101_6^10 - 83653839074622337258247133282856878151580908566/1140087296395148130\ 09187606891288030139951*c_0101_6^9 + 46612413077811679927576812618252424640791526009/1140087296395148130\ 09187606891288030139951*c_0101_6^8 + 71106358677740848295404827895857678207179695380/1140087296395148130\ 09187606891288030139951*c_0101_6^7 - 43338843157218374769723657756086582282143073146/1140087296395148130\ 09187606891288030139951*c_0101_6^6 - 29857805054768142046564308278631090398204406735/1140087296395148130\ 09187606891288030139951*c_0101_6^5 + 2229205782955070863159170937685187750081337169/16286961377073544715\ 598229555898290019993*c_0101_6^4 + 5665648562614567544093132775703132967517871444/11400872963951481300\ 9187606891288030139951*c_0101_6^3 - 1972343238954252783516041906017080454055625520/11400872963951481300\ 9187606891288030139951*c_0101_6^2 - 2946447924179474743247362876807597598165451/95805655159256145385871\ 9385641075883529*c_0101_6 + 614834286776387588421826348525686863711\ 91152/114008729639514813009187606891288030139951, c_0011_0 - 1, c_0011_1 - 22985267610257830417525986761356272248/958056551592561453858\ 719385641075883529*c_0101_6^22 - 2143613767508215523165173465177653\ 4862/958056551592561453858719385641075883529*c_0101_6^21 + 392463520337133968679356753762223364007/958056551592561453858719385\ 641075883529*c_0101_6^20 + 204221291113723962522548980185386794037/\ 958056551592561453858719385641075883529*c_0101_6^19 - 2267042829544648764097739806079152294800/95805655159256145385871938\ 5641075883529*c_0101_6^18 + 283751937414950938028770549532060712855\ /958056551592561453858719385641075883529*c_0101_6^17 + 5376188920930610591658308681433028558623/95805655159256145385871938\ 5641075883529*c_0101_6^16 - 111016084279402790916403280161910253501\ 47/958056551592561453858719385641075883529*c_0101_6^15 - 8688650806164018134797727989351856530226/95805655159256145385871938\ 5641075883529*c_0101_6^14 + 810460027372976105581567576673863659326\ 20/958056551592561453858719385641075883529*c_0101_6^13 + 11128467506516014084325535996341328835229/9580565515925614538587193\ 85641075883529*c_0101_6^12 - 31713601306690748941957635049524989321\ 1352/958056551592561453858719385641075883529*c_0101_6^11 + 85964911747415512740987774224858411440786/9580565515925614538587193\ 85641075883529*c_0101_6^10 + 57889721420129431260520157705723964699\ 2337/958056551592561453858719385641075883529*c_0101_6^9 - 270045369160623974533314342766626770747950/958056551592561453858719\ 385641075883529*c_0101_6^8 - 51215659224380015100697725400679775326\ 0859/958056551592561453858719385641075883529*c_0101_6^7 + 264234746118038821897267298636389350022613/958056551592561453858719\ 385641075883529*c_0101_6^6 + 22107519819647576485532264770211674325\ 5067/958056551592561453858719385641075883529*c_0101_6^5 - 96501632014009004573729025732619634313968/9580565515925614538587193\ 85641075883529*c_0101_6^4 - 397538494356284453789651417880676044583\ 80/958056551592561453858719385641075883529*c_0101_6^3 + 11577663350120962287946668534481494939547/9580565515925614538587193\ 85641075883529*c_0101_6^2 + 140248254716384718295737910986227799634\ 3/958056551592561453858719385641075883529*c_0101_6 + 144472099299078807232638432612506703032/958056551592561453858719385\ 641075883529, c_0011_3 - 33087847150427385015367297682121741299/958056551592561453858\ 719385641075883529*c_0101_6^22 - 3540174010038130799327656905212722\ 8072/958056551592561453858719385641075883529*c_0101_6^21 + 558996284851949196615299986434000134466/958056551592561453858719385\ 641075883529*c_0101_6^20 + 366971296720799408817125302332888616830/\ 958056551592561453858719385641075883529*c_0101_6^19 - 3200726247766386792791856179972434668515/95805655159256145385871938\ 5641075883529*c_0101_6^18 + 17839872240817341451304730885761246914/\ 958056551592561453858719385641075883529*c_0101_6^17 + 7714598096043035986899436077368845661052/95805655159256145385871938\ 5641075883529*c_0101_6^16 - 150827995210181045632547987166277538113\ 04/958056551592561453858719385641075883529*c_0101_6^15 - 14546031409927168012677771474269688893810/9580565515925614538587193\ 85641075883529*c_0101_6^14 + 11453345841139481369656571312863459907\ 8346/958056551592561453858719385641075883529*c_0101_6^13 + 30511719249272307707401692563940937633786/9580565515925614538587193\ 85641075883529*c_0101_6^12 - 45067016374463165308651265387152826952\ 0226/958056551592561453858719385641075883529*c_0101_6^11 + 69554428790765442232631193753134778852990/9580565515925614538587193\ 85641075883529*c_0101_6^10 + 83930834925652728683172493253902441406\ 6324/958056551592561453858719385641075883529*c_0101_6^9 - 293836516465928847125242374920446304446039/958056551592561453858719\ 385641075883529*c_0101_6^8 - 77438785332043746686570198380501867723\ 0760/958056551592561453858719385641075883529*c_0101_6^7 + 302748577488852980540089114590030149442170/958056551592561453858719\ 385641075883529*c_0101_6^6 + 35472405914970287453221774457501754900\ 8660/958056551592561453858719385641075883529*c_0101_6^5 - 106803141214715453827390344432475167581433/958056551592561453858719\ 385641075883529*c_0101_6^4 - 67448288518442147883550562610208378031\ 615/958056551592561453858719385641075883529*c_0101_6^3 + 8542021127960774213448827029407953429894/95805655159256145385871938\ 5641075883529*c_0101_6^2 + 2544025905088291485982026465926993952022\ /958056551592561453858719385641075883529*c_0101_6 + 238347152238889986219500855014027032550/958056551592561453858719385\ 641075883529, c_0101_0 - 21604435308097265188864243562681943985/958056551592561453858\ 719385641075883529*c_0101_6^22 - 1032153391867750417010757952196293\ 1507/958056551592561453858719385641075883529*c_0101_6^21 + 364942514457158449210407593859979367623/958056551592561453858719385\ 641075883529*c_0101_6^20 + 15003351801937616141258655109490086332/9\ 58056551592561453858719385641075883529*c_0101_6^19 - 2000099163426661527799837322406057320320/95805655159256145385871938\ 5641075883529*c_0101_6^18 + 129278763785464517438219519452024172179\ 7/958056551592561453858719385641075883529*c_0101_6^17 + 3751508163246988367307553898345135801699/95805655159256145385871938\ 5641075883529*c_0101_6^16 - 122117652631618478685763745601314258254\ 44/958056551592561453858719385641075883529*c_0101_6^15 - 1114865581403063766087813958779712030454/95805655159256145385871938\ 5641075883529*c_0101_6^14 + 730779103774379245470000959602172925716\ 39/958056551592561453858719385641075883529*c_0101_6^13 - 26364155885237092345017292290668265631970/9580565515925614538587193\ 85641075883529*c_0101_6^12 - 25962794707125522722491380503116554411\ 8333/958056551592561453858719385641075883529*c_0101_6^11 + 210295995036576473836760465441349233114918/958056551592561453858719\ 385641075883529*c_0101_6^10 + 3519310462118449134496282682538654154\ 28238/958056551592561453858719385641075883529*c_0101_6^9 - 409912920722085515477777622631170195201762/958056551592561453858719\ 385641075883529*c_0101_6^8 - 14057708320653049096499117175688903879\ 0118/958056551592561453858719385641075883529*c_0101_6^7 + 279715861130391280421008133982874291175829/958056551592561453858719\ 385641075883529*c_0101_6^6 - 38147682477463991790431062507774083417\ 837/958056551592561453858719385641075883529*c_0101_6^5 - 52853045548714722959738036132526018709263/9580565515925614538587193\ 85641075883529*c_0101_6^4 + 326110362508370698774026014988614471994\ 11/958056551592561453858719385641075883529*c_0101_6^3 - 2365294501035679280698402025824602764824/95805655159256145385871938\ 5641075883529*c_0101_6^2 - 4527347498355616953341087365515916088013\ /958056551592561453858719385641075883529*c_0101_6 + 248198792468391878029751263940816483196/958056551592561453858719385\ 641075883529, c_0101_1 + 48791531601009486096790454957831688070/958056551592561453858\ 719385641075883529*c_0101_6^22 + 4266172112434315304232399634911469\ 3189/958056551592561453858719385641075883529*c_0101_6^21 - 833848584041483536576901192649567836655/958056551592561453858719385\ 641075883529*c_0101_6^20 - 384308992382617294618404053048149449929/\ 958056551592561453858719385641075883529*c_0101_6^19 + 4806931644712013062791962400555952804037/95805655159256145385871938\ 5641075883529*c_0101_6^18 - 879783659639741573069265645286918201728\ /958056551592561453858719385641075883529*c_0101_6^17 - 11226004830324326788712385981259999588584/9580565515925614538587193\ 85641075883529*c_0101_6^16 + 24100018752528007703678590404166096560\ 004/958056551592561453858719385641075883529*c_0101_6^15 + 16877233108794942003618786343271555906687/9580565515925614538587193\ 85641075883529*c_0101_6^14 - 17209851007082568946229064569272764463\ 0926/958056551592561453858719385641075883529*c_0101_6^13 - 13771836421447840967138979271979096400686/9580565515925614538587193\ 85641075883529*c_0101_6^12 + 66888459313956358110104866349227200924\ 9559/958056551592561453858719385641075883529*c_0101_6^11 - 218848530761764590567897330666156683661873/958056551592561453858719\ 385641075883529*c_0101_6^10 - 1200199319149902835130975181035384680\ 640347/958056551592561453858719385641075883529*c_0101_6^9 + 625883916989817616799681106772900830833920/958056551592561453858719\ 385641075883529*c_0101_6^8 + 10393505995782801280645867594203289600\ 35953/958056551592561453858719385641075883529*c_0101_6^7 - 597739580874924313179374257220313437877744/958056551592561453858719\ 385641075883529*c_0101_6^6 - 43820185060946383024922301569015862658\ 9810/958056551592561453858719385641075883529*c_0101_6^5 + 219171257108845128393979341358550463460611/958056551592561453858719\ 385641075883529*c_0101_6^4 + 76721577776630391507753647038570821061\ 597/958056551592561453858719385641075883529*c_0101_6^3 - 27252781396499059876399652098262708114187/9580565515925614538587193\ 85641075883529*c_0101_6^2 - 252511606507678647339414774232170219573\ 0/958056551592561453858719385641075883529*c_0101_6 + 1033204700750539539799966586819411021294/95805655159256145385871938\ 5641075883529, c_0101_3 - 27544654296333140914806271169035262339/958056551592561453858\ 719385641075883529*c_0101_6^22 - 2868447259930153618394072334049064\ 1377/958056551592561453858719385641075883529*c_0101_6^21 + 461020552700962849855383037289030230087/958056551592561453858719385\ 641075883529*c_0101_6^20 + 292561384891734482530068748572099404925/\ 958056551592561453858719385641075883529*c_0101_6^19 - 2580932902363205387616483143455881160836/95805655159256145385871938\ 5641075883529*c_0101_6^18 + 52400316153883784380295569073479265318/\ 958056551592561453858719385641075883529*c_0101_6^17 + 5884733060256342555986219828398373289237/95805655159256145385871938\ 5641075883529*c_0101_6^16 - 122333569761743595523427467483810697497\ 27/958056551592561453858719385641075883529*c_0101_6^15 - 10740475990100740312622721726806048075332/9580565515925614538587193\ 85641075883529*c_0101_6^14 + 92386305533842188250976021091094455038\ 615/958056551592561453858719385641075883529*c_0101_6^13 + 23432257012092641595244805359653565252407/9580565515925614538587193\ 85641075883529*c_0101_6^12 - 35685702976613754109051643459393551177\ 8067/958056551592561453858719385641075883529*c_0101_6^11 + 54578228051157239362221363709124532465219/9580565515925614538587193\ 85641075883529*c_0101_6^10 + 62758326050150782223390288900790922927\ 4742/958056551592561453858719385641075883529*c_0101_6^9 - 188104432408891947269246926571844779394647/958056551592561453858719\ 385641075883529*c_0101_6^8 - 54305299436157598100813158455721060699\ 0045/958056551592561453858719385641075883529*c_0101_6^7 + 134172702608493184101293932750039227294018/958056551592561453858719\ 385641075883529*c_0101_6^6 + 24891289308459184698233328182512940635\ 4586/958056551592561453858719385641075883529*c_0101_6^5 - 8213842614604680397281842018251729891707/95805655159256145385871938\ 5641075883529*c_0101_6^4 - 5676061891085841708914520670199537465160\ 2/958056551592561453858719385641075883529*c_0101_6^3 - 8383369665874471331710221957656859757854/95805655159256145385871938\ 5641075883529*c_0101_6^2 + 4263902078642389748187933670410848313941\ /958056551592561453858719385641075883529*c_0101_6 + 446573203500611578732528292326108536096/958056551592561453858719385\ 641075883529, c_0101_6^23 + c_0101_6^22 - 17*c_0101_6^21 - 10*c_0101_6^20 + 98*c_0101_6^19 - 6*c_0101_6^18 - 236*c_0101_6^17 + 467*c_0101_6^16 + 418*c_0101_6^15 - 3497*c_0101_6^14 - 725*c_0101_6^13 + 13788*c_0101_6^12 - 2836*c_0101_6^11 - 25695*c_0101_6^10 + 10055*c_0101_6^9 + 24066*c_0101_6^8 - 10200*c_0101_6^7 - 11764*c_0101_6^6 + 3916*c_0101_6^5 + 2791*c_0101_6^4 - 536*c_0101_6^3 - 256*c_0101_6^2 + 21*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB