Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 1048552208] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2581 geometric_solution 5.87893295 oriented_manifold CS_known 0.0000000000000002 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 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.544659095830 0.236096586693 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 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.909748893573 0.433880286761 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 0 0 0 0 -1 1 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.797555909702 0.832991805497 5 2 4 1 3201 1230 0132 0132 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 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 0 0 0.797555909702 0.832991805497 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547788401670 1.073362984746 6 6 2 3 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 0 0 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.123637332763 1.580145592131 5 6 6 5 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 -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.205606148274 0.445717644999 ==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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_5'], '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_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 3517659200860179282145808556213254136278269903/77698257370223154131\ 59914831150262875290706*c_0101_3^36 - 101490196733305910460203803791452827820623636529/776982573702231541\ 3159914831150262875290706*c_0101_3^34 + 1131702250307235562031921982136042832031346031075/77698257370223154\ 13159914831150262875290706*c_0101_3^32 - 2198883307432089819712051073607060713168087948973/25899419123407718\ 04386638277050087625096902*c_0101_3^30 + 12278542565290892480681949769226004407227660179289/3884912868511157\ 706579957415575131437645353*c_0101_3^28 - 22500244454082615226730637012844824239833937613679/2589941912340771\ 804386638277050087625096902*c_0101_3^26 + 75172229315638414443302069652873834957309073335077/3884912868511157\ 706579957415575131437645353*c_0101_3^24 - 49714392537666504148949149948236315218168546311157/1294970956170385\ 902193319138525043812548451*c_0101_3^22 + 267943860992869326614459911669454662558836344615072/388491286851115\ 7706579957415575131437645353*c_0101_3^20 - 394002310627253420868217249414976577752296388847997/388491286851115\ 7706579957415575131437645353*c_0101_3^18 + 281923249694091732693959161010624145842147906299969/258994191234077\ 1804386638277050087625096902*c_0101_3^16 - 595005232358461260121838378117382264588311921468957/776982573702231\ 5413159914831150262875290706*c_0101_3^14 + 68167823499024761352334365805676717231569510598369/2589941912340771\ 804386638277050087625096902*c_0101_3^12 + 42951185118766181747916864649537300932112299852781/7769825737022315\ 413159914831150262875290706*c_0101_3^10 - 10130947169761218781466598524984766189451255515057/1294970956170385\ 902193319138525043812548451*c_0101_3^8 + 7382558797031477781091051108289648464257762352985/77698257370223154\ 13159914831150262875290706*c_0101_3^6 + 927181926359196025774880535659267819856423630102/129497095617038590\ 2193319138525043812548451*c_0101_3^4 - 1349028480034032967237985867756470121094018389815/77698257370223154\ 13159914831150262875290706*c_0101_3^2 + 76991535660478309650503002489842960238103250023/7769825737022315413\ 159914831150262875290706, c_0011_0 - 1, c_0011_1 + 563874343227822336819508063556731183882548/12949709561703859\ 02193319138525043812548451*c_0101_3^36 - 16263391348806592748397994171230011281190797/1294970956170385902193\ 319138525043812548451*c_0101_3^34 + 181256766542137337260290838918055431792489352/129497095617038590219\ 3319138525043812548451*c_0101_3^32 - 1055723569166253193808303390086533231080808139/12949709561703859021\ 93319138525043812548451*c_0101_3^30 + 3926501965016405538712507341806232088689397378/12949709561703859021\ 93319138525043812548451*c_0101_3^28 - 10783226994771600993936477765792180909762664264/1294970956170385902\ 193319138525043812548451*c_0101_3^26 + 23998455033621989688215768195117283833513677156/1294970956170385902\ 193319138525043812548451*c_0101_3^24 - 47589508970187655406580484087186184999262083120/1294970956170385902\ 193319138525043812548451*c_0101_3^22 + 85456409522645639769016904600325580609913951431/1294970956170385902\ 193319138525043812548451*c_0101_3^20 - 125517497831216720581791729742731288127034765400/129497095617038590\ 2193319138525043812548451*c_0101_3^18 + 134406853758502916734877462737231248545552380486/129497095617038590\ 2193319138525043812548451*c_0101_3^16 - 94140757950879445545381215535135672621700075780/1294970956170385902\ 193319138525043812548451*c_0101_3^14 + 31942041171301381212165841295876032090686230345/1294970956170385902\ 193319138525043812548451*c_0101_3^12 + 7135399804531250621474560308999406154700113133/12949709561703859021\ 93319138525043812548451*c_0101_3^10 - 9646403412071440393388749482892724574326670608/12949709561703859021\ 93319138525043812548451*c_0101_3^8 + 1089422248898332241706116232646914829712502983/12949709561703859021\ 93319138525043812548451*c_0101_3^6 + 891670610012182298441159045767073503686358929/129497095617038590219\ 3319138525043812548451*c_0101_3^4 - 203575250932568123511413784370338589835721445/129497095617038590219\ 3319138525043812548451*c_0101_3^2 + 11054501431160593576912649375392027883598422/1294970956170385902193\ 319138525043812548451, c_0011_3 - 1113277620729944211018722878559649824192754/1294970956170385\ 902193319138525043812548451*c_0101_3^36 + 32102991869833143621668851205231914939205136/1294970956170385902193\ 319138525043812548451*c_0101_3^34 - 357682398473108179431515595338410125501304930/129497095617038590219\ 3319138525043812548451*c_0101_3^32 + 2082447666097734564804730797667760290194119110/12949709561703859021\ 93319138525043812548451*c_0101_3^30 - 7741894271897535977058609949758472299235391055/12949709561703859021\ 93319138525043812548451*c_0101_3^28 + 21254193251794557117203953097066615986548368245/1294970956170385902\ 193319138525043812548451*c_0101_3^26 - 47290111169874343842068498364999052715770140209/1294970956170385902\ 193319138525043812548451*c_0101_3^24 + 93766714048909212772519957393353577971346167188/1294970956170385902\ 193319138525043812548451*c_0101_3^22 - 168351852084563159030380020310456248028642597626/129497095617038590\ 2193319138525043812548451*c_0101_3^20 + 247176712049324567783535691007190742701308325894/129497095617038590\ 2193319138525043812548451*c_0101_3^18 - 264519538079522770486333667287198094735183187191/129497095617038590\ 2193319138525043812548451*c_0101_3^16 + 185121375528205140328035019345879932753047905552/129497095617038590\ 2193319138525043812548451*c_0101_3^14 - 62703548424930367609667108492138130053122593752/1294970956170385902\ 193319138525043812548451*c_0101_3^12 - 14089575887394655561285447962952450541959383077/1294970956170385902\ 193319138525043812548451*c_0101_3^10 + 18948692156064756521743183191095629764486187373/1294970956170385902\ 193319138525043812548451*c_0101_3^8 - 2135429619358279080511768782251252738293837128/12949709561703859021\ 93319138525043812548451*c_0101_3^6 - 1751655087293775249755426982832173154834069236/12949709561703859021\ 93319138525043812548451*c_0101_3^4 + 404105587164900149470935170969421803493898308/129497095617038590219\ 3319138525043812548451*c_0101_3^2 - 21265073530867649362942307110604111022101765/1294970956170385902193\ 319138525043812548451, c_0011_5 + 797075316503436643889018867862695617738369/12949709561703859\ 02193319138525043812548451*c_0101_3^36 - 23002367327461100736443749550648722722605517/1294970956170385902193\ 319138525043812548451*c_0101_3^34 + 256590527008873855434404973211690296311967349/129497095617038590219\ 3319138525043812548451*c_0101_3^32 - 1496450072962484132316603938898045946374197875/12949709561703859021\ 93319138525043812548451*c_0101_3^30 + 5574079962473022875517765571184905827263869010/12949709561703859021\ 93319138525043812548451*c_0101_3^28 - 15329882300798036909331465400626425188370652115/1294970956170385902\ 193319138525043812548451*c_0101_3^26 + 34159607233125452848335729537347233147531254750/1294970956170385902\ 193319138525043812548451*c_0101_3^24 - 67790814642888082229068151787500389203863208829/1294970956170385902\ 193319138525043812548451*c_0101_3^22 + 121822070469438584973757181552835276663404689067/129497095617038590\ 2193319138525043812548451*c_0101_3^20 - 179253297049035769430254981258346565247679603196/129497095617038590\ 2193319138525043812548451*c_0101_3^18 + 192631960860079117656397073768598772534392952993/129497095617038590\ 2193319138525043812548451*c_0101_3^16 - 135806532853233627657255707618240705695303839334/129497095617038590\ 2193319138525043812548451*c_0101_3^14 + 46941729837566108491334089476537658536011620358/1294970956170385902\ 193319138525043812548451*c_0101_3^12 + 9599586750528094244591975612176410332262086518/12949709561703859021\ 93319138525043812548451*c_0101_3^10 - 13863143080740220222015017160624419268682995484/1294970956170385902\ 193319138525043812548451*c_0101_3^8 + 1719995715947547724619028753512201652706773266/12949709561703859021\ 93319138525043812548451*c_0101_3^6 + 1271784395954279177854024969417195878339683820/12949709561703859021\ 93319138525043812548451*c_0101_3^4 - 309472348169074001157376555627895778574248551/129497095617038590219\ 3319138525043812548451*c_0101_3^2 + 16621822345796425215790358436995108544843200/1294970956170385902193\ 319138525043812548451, c_0101_0 - 5290725030268985912848429068926585381580018/1294970956170385\ 902193319138525043812548451*c_0101_3^37 + 152611085298907987051386546503817829696317664/129497095617038590219\ 3319138525043812548451*c_0101_3^35 - 1701131102764401361442508844480716653780543045/12949709561703859021\ 93319138525043812548451*c_0101_3^33 + 9910596694459157747009867471358441824710594311/12949709561703859021\ 93319138525043812548451*c_0101_3^31 - 36871287737306490444341337347219990414869563456/1294970956170385902\ 193319138525043812548451*c_0101_3^29 + 101290371371527712916759318523853156240779975592/129497095617038590\ 2193319138525043812548451*c_0101_3^27 - 225489988891597846971371516965734618812454736678/129497095617038590\ 2193319138525043812548451*c_0101_3^25 + 447235810954935293803961025550926404885130178945/129497095617038590\ 2193319138525043812548451*c_0101_3^23 - 803235064225905866369243012114803734423083628484/129497095617038590\ 2193319138525043812548451*c_0101_3^21 + 1180256254297727218375435162926008706303331064587/12949709561703859\ 02193319138525043812548451*c_0101_3^19 - 1264921030487017018195611924927764829384447655859/12949709561703859\ 02193319138525043812548451*c_0101_3^17 + 887435032727891808171910430570937686843031739501/129497095617038590\ 2193319138525043812548451*c_0101_3^15 - 302535302005591789063512972997223172786105339935/129497095617038590\ 2193319138525043812548451*c_0101_3^13 - 66167415767689496119288184444945984126843996036/1294970956170385902\ 193319138525043812548451*c_0101_3^11 + 90965152715743184307151666846879186628139907705/1294970956170385902\ 193319138525043812548451*c_0101_3^9 - 10629601343168266682145381716797205308287089293/1294970956170385902\ 193319138525043812548451*c_0101_3^7 - 8387574458503524474974616662991293315119427223/12949709561703859021\ 93319138525043812548451*c_0101_3^5 + 1981279946638088210218961129469647270561138421/12949709561703859021\ 93319138525043812548451*c_0101_3^3 - 107118030086996599722377734323868530165956740/129497095617038590219\ 3319138525043812548451*c_0101_3, c_0101_1 - 1080565816919162352315239937488568409627361/1294970956170385\ 902193319138525043812548451*c_0101_3^36 + 31163162198489407412094428206639858893668385/1294970956170385902193\ 319138525043812548451*c_0101_3^34 - 347267361704463644285870286330288463621949339/129497095617038590219\ 3319138525043812548451*c_0101_3^32 + 2022231125741998598354011653107259580359983182/12949709561703859021\ 93319138525043812548451*c_0101_3^30 - 7519401945332328828523431143532895384719767485/12949709561703859021\ 93319138525043812548451*c_0101_3^28 + 20645666514416096775651214109654476180714733481/1294970956170385902\ 193319138525043812548451*c_0101_3^26 - 45938767140865148254862784511917968848624893394/1294970956170385902\ 193319138525043812548451*c_0101_3^24 + 91086806792351881215097441747345261111747965115/1294970956170385902\ 193319138525043812548451*c_0101_3^22 - 163545226569788164598676272921517862144209689839/129497095617038590\ 2193319138525043812548451*c_0101_3^20 + 240144914096906234211813190250225606805997745765/129497095617038590\ 2193319138525043812548451*c_0101_3^18 - 257008483274806849546115428267683869862677243514/129497095617038590\ 2193319138525043812548451*c_0101_3^16 + 179826172619249112272379266438016201586183008362/129497095617038590\ 2193319138525043812548451*c_0101_3^14 - 60827469451773973864129137003262801048522324186/1294970956170385902\ 193319138525043812548451*c_0101_3^12 - 13786349647137692033679039036499563302958832151/1294970956170385902\ 193319138525043812548451*c_0101_3^10 + 18441885281374745664895788861784223087948833966/1294970956170385902\ 193319138525043812548451*c_0101_3^8 - 2044009029078794901472232663458909247909935537/12949709561703859021\ 93319138525043812548451*c_0101_3^6 - 1717882928316560805773467619925129825141941347/12949709561703859021\ 93319138525043812548451*c_0101_3^4 + 390032131482794846819297850269075596723484762/129497095617038590219\ 3319138525043812548451*c_0101_3^2 - 19571064175290151002358267480815972262980116/1294970956170385902193\ 319138525043812548451, c_0101_3^38 - 29*c_0101_3^36 + 326*c_0101_3^34 - 1923*c_0101_3^32 + 7259*c_0101_3^30 - 20223*c_0101_3^28 + 45580*c_0101_3^26 - 91119*c_0101_3^24 + 164881*c_0101_3^22 - 246533*c_0101_3^20 + 273522*c_0101_3^18 - 204602*c_0101_3^16 + 83001*c_0101_3^14 + 3742*c_0101_3^12 - 19140*c_0101_3^10 + 4646*c_0101_3^8 + 1287*c_0101_3^6 - 619*c_0101_3^4 + 77*c_0101_3^2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB