Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 3566553508] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2937 geometric_solution 6.13291000 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 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187716570636 0.299810223349 2 0 3 0 0132 2310 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 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 1.312035280796 2.096300737853 1 4 5 6 0132 0132 0132 0132 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 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.380807699982 0.507343189372 6 5 4 1 0132 0132 3201 0132 0 0 0 0 0 0 0 0 -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 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.380807699982 0.507343189372 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0.201085265458 1.130940544826 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 1 0 0 -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.789981799452 0.803549332970 3 6 2 6 0132 1302 0132 2031 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 1 0 -1 0 0 1 -1 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.952957758445 0.749866987990 ==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' : negation(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' : negation(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' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_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_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], '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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 31701625741048664691262118746801948471225255093782/2211331179116946\ 94557485205804737651352105106375*c_0101_4^23 - 1828591313381407071670294624179961209219231915436/44226623582338938\ 911497041160947530270421021275*c_0101_4^22 - 8653262449677656770781259719496140108395265122802/31590445415956384\ 936783600829248235907443586625*c_0101_4^21 - 1028649640883104729770309889014016664174056528360071/22113311791169\ 4694557485205804737651352105106375*c_0101_4^20 - 2937247171736610730135905910256215176977371870568474/22113311791169\ 4694557485205804737651352105106375*c_0101_4^19 + 2869586801311327990844745630846260921961092884541808/22113311791169\ 4694557485205804737651352105106375*c_0101_4^18 + 9676396148878514517353656166678630107023680091409954/22113311791169\ 4694557485205804737651352105106375*c_0101_4^17 + 4571688151118704051226483667042812878807489540910714/22113311791169\ 4694557485205804737651352105106375*c_0101_4^16 + 2963513359393401346651978679973471025340120361029014/31590445415956\ 384936783600829248235907443586625*c_0101_4^15 + 23524490364312580005793921551813248213336701576082333/2211331179116\ 94694557485205804737651352105106375*c_0101_4^14 - 9600238732032733699751103384422124552442527277352511/44226623582338\ 938911497041160947530270421021275*c_0101_4^13 - 46615309262899177134090867458901291078157922999893673/2211331179116\ 94694557485205804737651352105106375*c_0101_4^12 - 6194625261371223732490163125503564191928350103363001/31590445415956\ 384936783600829248235907443586625*c_0101_4^11 - 18459549735050752182348117904039834041370014710741644/3159044541595\ 6384936783600829248235907443586625*c_0101_4^10 - 7640614133570185260477933795209301756184138403588214/31590445415956\ 384936783600829248235907443586625*c_0101_4^9 - 28562538613722324950914251897038070823952234379581122/2211331179116\ 94694557485205804737651352105106375*c_0101_4^8 - 62379599323004746196344379518497069385627814398171934/2211331179116\ 94694557485205804737651352105106375*c_0101_4^7 - 15622100655148918317306252057502673480439303952575934/2211331179116\ 94694557485205804737651352105106375*c_0101_4^6 - 9366853161962991839953704140222042463729902949549902/22113311791169\ 4694557485205804737651352105106375*c_0101_4^5 - 5252416507500969409553234426788674211184608697574354/22113311791169\ 4694557485205804737651352105106375*c_0101_4^4 + 2057900936311387130828284367385164461867109839854417/22113311791169\ 4694557485205804737651352105106375*c_0101_4^3 + 1194710455144095270499643522030426936618465405241279/22113311791169\ 4694557485205804737651352105106375*c_0101_4^2 + 84527715641408077235566241274773798642298173343269/8845324716467787\ 782299408232189506054084204255*c_0101_4 + 529577606988550880470358268503916449694784451765184/221133117911694\ 694557485205804737651352105106375, c_0011_0 - 1, c_0011_1 - 1944217917808731625632126984343353539211272/1818155131853604\ 888447977026143783361579487*c_0101_4^23 + 532251359946382519072545276691334120984150/181815513185360488844797\ 7026143783361579487*c_0101_4^22 + 747536081070879645366972246652514\ 7365712167/3636310263707209776895954052287566723158974*c_0101_4^21 + 63139204657880798411388676688738667293395451/1818155131853604888447\ 977026143783361579487*c_0101_4^20 + 362064960968963582418101287166823396437034401/363631026370720977689\ 5954052287566723158974*c_0101_4^19 - 173826663316645180108453320066237037163903871/181815513185360488844\ 7977026143783361579487*c_0101_4^18 - 1194962972769721231859334103021582112161776025/36363102637072097768\ 95954052287566723158974*c_0101_4^17 - 576119439923065442857865279009945168368855281/363631026370720977689\ 5954052287566723158974*c_0101_4^16 - 2543411643321976040773128625996163928476456383/36363102637072097768\ 95954052287566723158974*c_0101_4^15 - 1458563054055430050423442985423990433699122065/18181551318536048884\ 47977026143783361579487*c_0101_4^14 + 2933154555835486203559963834338481906184854965/18181551318536048884\ 47977026143783361579487*c_0101_4^13 + 2916074689872760878917372993090180041339587693/18181551318536048884\ 47977026143783361579487*c_0101_4^12 + 5363940792909709793406171585978966757910156689/36363102637072097768\ 95954052287566723158974*c_0101_4^11 + 7939580468419912405096047123535864209660557963/18181551318536048884\ 47977026143783361579487*c_0101_4^10 + 6747588358267402677629796176745801809502197137/36363102637072097768\ 95954052287566723158974*c_0101_4^9 + 1729725566264833966868878082015612726238577841/18181551318536048884\ 47977026143783361579487*c_0101_4^8 + 3808579476323906112962749318725709470332332618/18181551318536048884\ 47977026143783361579487*c_0101_4^7 + 1981820465051712975485208672567985843128011807/36363102637072097768\ 95954052287566723158974*c_0101_4^6 + 541349631432816816522024777685396152776885514/181815513185360488844\ 7977026143783361579487*c_0101_4^5 + 622176031151988130782266018637932458555980575/363631026370720977689\ 5954052287566723158974*c_0101_4^4 - 263950938714761136520952152510956517456999225/363631026370720977689\ 5954052287566723158974*c_0101_4^3 - 86846483041176302352578572727666075190793954/1818155131853604888447\ 977026143783361579487*c_0101_4^2 - 131845702787583975962935177075989552945292226/181815513185360488844\ 7977026143783361579487*c_0101_4 - 695745050329747439111448397522430\ 85180656945/3636310263707209776895954052287566723158974, c_0011_3 + 1819044269988320737622730522162587669433731/3636310263707209\ 776895954052287566723158974*c_0101_4^23 - 235447636143507324263570307480462908999996/181815513185360488844797\ 7026143783361579487*c_0101_4^22 - 174644459326552546170761660470199\ 0272719255/1818155131853604888447977026143783361579487*c_0101_4^21 - 29569420831870819263427217024925868452576065/1818155131853604888447\ 977026143783361579487*c_0101_4^20 - 85136669571349528598954832451772220101926460/1818155131853604888447\ 977026143783361579487*c_0101_4^19 + 159749499010135850705580601633039258708015237/363631026370720977689\ 5954052287566723158974*c_0101_4^18 + 280334038749162742784336846200623404265805625/181815513185360488844\ 7977026143783361579487*c_0101_4^17 + 279653904061285018333894788034396662329034603/363631026370720977689\ 5954052287566723158974*c_0101_4^16 + 1196417833727083984880870458076271890744001257/36363102637072097768\ 95954052287566723158974*c_0101_4^15 + 690869161268302112525648931256850364504106022/181815513185360488844\ 7977026143783361579487*c_0101_4^14 - 2717790886218489690306249346711588372419527223/36363102637072097768\ 95954052287566723158974*c_0101_4^13 - 1383473273077608728371418628849658856906387726/18181551318536048884\ 47977026143783361579487*c_0101_4^12 - 1285830434822063062639955758345728485022348970/18181551318536048884\ 47977026143783361579487*c_0101_4^11 - 3734820183854275476943763520682089143476460024/18181551318536048884\ 47977026143783361579487*c_0101_4^10 - 3273713019519764936486072876742563604035572881/36363102637072097768\ 95954052287566723158974*c_0101_4^9 - 1694848748120824966718208802327142536876054643/36363102637072097768\ 95954052287566723158974*c_0101_4^8 - 1788266965816603654006270452638274840367768803/18181551318536048884\ 47977026143783361579487*c_0101_4^7 - 491481630791920651594521779211554709895847532/181815513185360488844\ 7977026143783361579487*c_0101_4^6 - 526737202525221557854668323881271939151274811/363631026370720977689\ 5954052287566723158974*c_0101_4^5 - 297968156083709392781365930598738550879510577/363631026370720977689\ 5954052287566723158974*c_0101_4^4 + 121732126500019208471279995082535014210328741/363631026370720977689\ 5954052287566723158974*c_0101_4^3 + 83634221718334128710856348002855206498799829/3636310263707209776895\ 954052287566723158974*c_0101_4^2 + 61503117468454312881213583635833022277433509/1818155131853604888447\ 977026143783361579487*c_0101_4 + 3598544397519257179391494402043965\ 3663141609/3636310263707209776895954052287566723158974, c_0101_0 + 1678679162863146989441569183622680718954537/3636310263707209\ 776895954052287566723158974*c_0101_4^23 - 380321535156773579245571487228438831028511/363631026370720977689595\ 4052287566723158974*c_0101_4^22 - 164252446182771518222480877320582\ 9672146964/1818155131853604888447977026143783361579487*c_0101_4^21 - 54641963912107623451411901012962132859706787/3636310263707209776895\ 954052287566723158974*c_0101_4^20 - 79410742903670809673120028042943747770536905/1818155131853604888447\ 977026143783361579487*c_0101_4^19 + 71927820939538460598742050497626070838073626/1818155131853604888447\ 977026143783361579487*c_0101_4^18 + 525812200580835976290865357569284475797586897/363631026370720977689\ 5954052287566723158974*c_0101_4^17 + 134258760631841347052080491249691533198214623/181815513185360488844\ 7977026143783361579487*c_0101_4^16 + 1100567941606489851999237743506533664207033597/36363102637072097768\ 95954052287566723158974*c_0101_4^15 + 655033769076655208462065214522268694966396745/181815513185360488844\ 7977026143783361579487*c_0101_4^14 - 2495723606691910284551193143789682408577913343/36363102637072097768\ 95954052287566723158974*c_0101_4^13 - 2654105061508149719797460488118578617036542319/36363102637072097768\ 95954052287566723158974*c_0101_4^12 - 1186050615603416852936627142178547377156901038/18181551318536048884\ 47977026143783361579487*c_0101_4^11 - 6937687687182166020619624432129626845510711127/36363102637072097768\ 95954052287566723158974*c_0101_4^10 - 3201701846890302264042680146827087803221201995/36363102637072097768\ 95954052287566723158974*c_0101_4^9 - 1503035901954171772801894984066323923459425541/36363102637072097768\ 95954052287566723158974*c_0101_4^8 - 3353389988864248143331942876938929318235277915/36363102637072097768\ 95954052287566723158974*c_0101_4^7 - 490900743472395328448096987025248399763441033/181815513185360488844\ 7977026143783361579487*c_0101_4^6 - 224918249153304691593405253541349700466454933/181815513185360488844\ 7977026143783361579487*c_0101_4^5 - 145363622555173696832193768085187269454340198/181815513185360488844\ 7977026143783361579487*c_0101_4^4 + 114879494754056119713890041932914661418626185/363631026370720977689\ 5954052287566723158974*c_0101_4^3 + 77630121919767877054089375952151725425636837/3636310263707209776895\ 954052287566723158974*c_0101_4^2 + 119649529626170715920274469670204688489658863/363631026370720977689\ 5954052287566723158974*c_0101_4 + 350063115129209803384823760489676\ 87741456551/3636310263707209776895954052287566723158974, c_0101_1 + 943470850875465705002760026205985893212773/36363102637072097\ 76895954052287566723158974*c_0101_4^23 - 267940153870531765793874966566921017215617/363631026370720977689595\ 4052287566723158974*c_0101_4^22 - 906580843247937178325272007701985\ 897550285/1818155131853604888447977026143783361579487*c_0101_4^21 - 30610925061309301876888063756948116465139027/3636310263707209776895\ 954052287566723158974*c_0101_4^20 - 43769032872280621159844393433430816726039602/1818155131853604888447\ 977026143783361579487*c_0101_4^19 + 42648130796701134941592959258764689508552964/1818155131853604888447\ 977026143783361579487*c_0101_4^18 + 288962696284372234198625935737954805604259011/363631026370720977689\ 5954052287566723158974*c_0101_4^17 + 67933831882601558315430443191506520300226123/1818155131853604888447\ 977026143783361579487*c_0101_4^16 + 616338568233166230540038298503673916593056893/363631026370720977689\ 5954052287566723158974*c_0101_4^15 + 352080154794200443230369195249259957792636172/181815513185360488844\ 7977026143783361579487*c_0101_4^14 - 1431994829351097774349184761632080315565513263/36363102637072097768\ 95954052287566723158974*c_0101_4^13 - 1397689297505779496466548061532000906505083933/36363102637072097768\ 95954052287566723158974*c_0101_4^12 - 639367741991029579253960055867875672646723004/181815513185360488844\ 7977026143783361579487*c_0101_4^11 - 3854637307214903269007354719559845293993631225/36363102637072097768\ 95954052287566723158974*c_0101_4^10 - 1607316074357229822948862731388420708742726989/36363102637072097768\ 95954052287566723158974*c_0101_4^9 - 815475333216473081784794562322689184673380375/363631026370720977689\ 5954052287566723158974*c_0101_4^8 - 1865128642457421784208473065098847323316153417/36363102637072097768\ 95954052287566723158974*c_0101_4^7 - 232943241490671307585016833631438326261708170/181815513185360488844\ 7977026143783361579487*c_0101_4^6 - 121376460874968820513997697913059218994605134/181815513185360488844\ 7977026143783361579487*c_0101_4^5 - 78898101580634326210373895213335979836314567/1818155131853604888447\ 977026143783361579487*c_0101_4^4 + 62437380048490140791407071461909616877550145/3636310263707209776895\ 954052287566723158974*c_0101_4^3 + 49373718983317432617884461086446808257759127/3636310263707209776895\ 954052287566723158974*c_0101_4^2 + 62239552959753850893584859922634471890103097/3636310263707209776895\ 954052287566723158974*c_0101_4 + 1613862689752420324952234460750218\ 3047315919/3636310263707209776895954052287566723158974, c_0101_3 + 4074050357942617572061070590133658773268767/3636310263707209\ 776895954052287566723158974*c_0101_4^23 - 545639225846969114106700004827941203106604/181815513185360488844797\ 7026143783361579487*c_0101_4^22 - 787383965227641411934442196481862\ 1114682565/3636310263707209776895954052287566723158974*c_0101_4^21 - 66165376160725700542846515354342845008159486/1818155131853604888447\ 977026143783361579487*c_0101_4^20 - 380075317041625752321318574322254028336083919/363631026370720977689\ 5954052287566723158974*c_0101_4^19 + 363141972575931918974445577463154777075370441/363631026370720977689\ 5954052287566723158974*c_0101_4^18 + 1257033302634630035709836273910610374586312749/36363102637072097768\ 95954052287566723158974*c_0101_4^17 + 303530659195040651573214613928359028818840759/181815513185360488844\ 7977026143783361579487*c_0101_4^16 + 1329626261014088446509183668467699947077423971/18181551318536048884\ 47977026143783361579487*c_0101_4^15 + 1534322742109234480893029484303497962934448729/18181551318536048884\ 47977026143783361579487*c_0101_4^14 - 6150922780039911456629753057444491154604773833/36363102637072097768\ 95954052287566723158974*c_0101_4^13 - 3081611572207225555241781817583537678695300297/18181551318536048884\ 47977026143783361579487*c_0101_4^12 - 5600594767964850279595125588690909101995976591/36363102637072097768\ 95954052287566723158974*c_0101_4^11 - 8318068139340917366910164083177373403191436291/18181551318536048884\ 47977026143783361579487*c_0101_4^10 - 3558087944321963746000723745585418431971307597/18181551318536048884\ 47977026143783361579487*c_0101_4^9 - 3547310735758898192869899789399302818464435779/36363102637072097768\ 95954052287566723158974*c_0101_4^8 - 3993625200156091738294031580246416786201954732/18181551318536048884\ 47977026143783361579487*c_0101_4^7 - 2083265544163286233750162009437001839633640927/36363102637072097768\ 95954052287566723158974*c_0101_4^6 - 1113796464027492418738378336262499613594549053/36363102637072097768\ 95954052287566723158974*c_0101_4^5 - 327803822142543741828545864644451594693921261/181815513185360488844\ 7977026143783361579487*c_0101_4^4 + 143398170828274687646313154608759507654454614/181815513185360488844\ 7977026143783361579487*c_0101_4^3 + 178208673994117698951794187994608349989841739/363631026370720977689\ 5954052287566723158974*c_0101_4^2 + 139294804848575947009757408866312708787545000/181815513185360488844\ 7977026143783361579487*c_0101_4 + 369698138487665973125764678949341\ 75424603410/1818155131853604888447977026143783361579487, c_0101_4^24 - 2*c_0101_4^22 - 33*c_0101_4^21 - 102*c_0101_4^20 + 64*c_0101_4^19 + 332*c_0101_4^18 + 232*c_0101_4^17 + 694*c_0101_4^16 + 929*c_0101_4^15 - 1305*c_0101_4^14 - 1914*c_0101_4^13 - 1786*c_0101_4^12 - 4459*c_0101_4^11 - 2849*c_0101_4^10 - 1356*c_0101_4^9 - 2202*c_0101_4^8 - 1042*c_0101_4^7 - 416*c_0101_4^6 - 237*c_0101_4^5 + 26*c_0101_4^4 + 62*c_0101_4^3 + 80*c_0101_4^2 + 37*c_0101_4 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB