Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 1065263621] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2436 geometric_solution 5.78270937 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 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 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.237533404107 0.277102771884 2 0 3 0 0132 2310 0132 0132 0 0 0 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 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.979290739086 1.803122426489 1 3 4 5 0132 3201 0132 0132 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 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.053581220374 0.804920106593 5 4 2 1 3201 3201 2310 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 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.053581220374 0.804920106593 4 4 3 2 1230 3012 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.232515043114 0.880248567685 6 6 2 3 0132 3201 0132 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 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.210946830963 1.674573541732 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.426078791555 0.905093166158 ==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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], '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_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 38736275239892951383726940203956610300376/3566175392543545483851048\ 1580726793999*c_0101_3^21 - 730608519936845768085709014840019878992\ 60/11887251308478484946170160526908931333*c_0101_3^20 + 351166587744469635972449718189853090160029/356617539254354548385104\ 81580726793999*c_0101_3^19 - 84810388694209717852201739917320501220\ 9811/35661753925435454838510481580726793999*c_0101_3^18 + 832775914212534900212952114187598884178401/356617539254354548385104\ 81580726793999*c_0101_3^17 + 74523732569613118666107835683976544874\ 22804/35661753925435454838510481580726793999*c_0101_3^16 - 22131244727961649134270998004136134676795727/3566175392543545483851\ 0481580726793999*c_0101_3^15 - 156403196924589623223568530844600209\ 8650838/3962417102826161648723386842302977111*c_0101_3^14 + 65264671305135247086376890886261988007016696/3566175392543545483851\ 0481580726793999*c_0101_3^13 + 157514957795435035857309023058770630\ 1198485/11887251308478484946170160526908931333*c_0101_3^12 - 41982498116441914246798711115412505268923874/3566175392543545483851\ 0481580726793999*c_0101_3^11 + 668104255159566235581157213557561709\ 89128672/35661753925435454838510481580726793999*c_0101_3^10 - 34929933656919375981555483377735245328925731/3566175392543545483851\ 0481580726793999*c_0101_3^9 - 6875555309772099642632878921713092571\ 2189048/11887251308478484946170160526908931333*c_0101_3^8 - 97756458408764076486009333013899347875348004/3566175392543545483851\ 0481580726793999*c_0101_3^7 + 6311722285173016635858621263127503638\ 2232622/35661753925435454838510481580726793999*c_0101_3^6 + 25000138960994903069187875066009831148145820/1188725130847848494617\ 0160526908931333*c_0101_3^5 + 1976442303735407436579169070367279174\ 1670894/35661753925435454838510481580726793999*c_0101_3^4 - 10009128353403116052632397040049098604586092/3566175392543545483851\ 0481580726793999*c_0101_3^3 - 5857188575299775918645896977290079756\ 427585/35661753925435454838510481580726793999*c_0101_3^2 + 82402856812149387534413243640323480457079/1188725130847848494617016\ 0526908931333*c_0101_3 + 351827836710699484285746738395365624886807\ /35661753925435454838510481580726793999, c_0011_0 - 1, c_0011_1 - 904226452990710443007404199260384/19244376410034782169613340\ 66198629*c_0101_3^21 + 5593905317521834272150940215585238/192443764\ 1003478216961334066198629*c_0101_3^20 - 11075369818988969391083078177808114/1924437641003478216961334066198\ 629*c_0101_3^19 + 25160825826441122178096320674958123/1924437641003\ 478216961334066198629*c_0101_3^18 - 31657980521772809497418083208426558/1924437641003478216961334066198\ 629*c_0101_3^17 - 159857787904332511126218029946888607/192443764100\ 3478216961334066198629*c_0101_3^16 + 604982013246577975383767921905362216/192443764100347821696133406619\ 8629*c_0101_3^15 + 19829452528954892112565741110568687/192443764100\ 3478216961334066198629*c_0101_3^14 - 1583540925736843427935753370156289171/19244376410034782169613340661\ 98629*c_0101_3^13 + 737663128851977136698144185321296423/1924437641\ 003478216961334066198629*c_0101_3^12 + 692154605757474014957310098949652760/192443764100347821696133406619\ 8629*c_0101_3^11 - 1980454955432978532464910721518393544/1924437641\ 003478216961334066198629*c_0101_3^10 + 1850161839920914429818208278320149644/19244376410034782169613340661\ 98629*c_0101_3^9 + 3947902927911124762967698530705480587/1924437641\ 003478216961334066198629*c_0101_3^8 + 56356451402007796838565422112437394/1924437641003478216961334066198\ 629*c_0101_3^7 - 1770965492641673993780510957603995472/192443764100\ 3478216961334066198629*c_0101_3^6 - 872371962626927312890741299618391722/192443764100347821696133406619\ 8629*c_0101_3^5 + 98073674252879634947862783965412199/1924437641003\ 478216961334066198629*c_0101_3^4 + 255825320897744100718722223516764801/192443764100347821696133406619\ 8629*c_0101_3^3 + 14207683339745475947647461106392686/1924437641003\ 478216961334066198629*c_0101_3^2 - 23286977015848142786762241026587606/1924437641003478216961334066198\ 629*c_0101_3 - 55690555925150054983198985652561/1924437641003478216\ 961334066198629, c_0011_3 + 1381270126150869237711150678726385/1924437641003478216961334\ 066198629*c_0101_3^21 - 7972741234434144067970086000952914/19244376\ 41003478216961334066198629*c_0101_3^20 + 13479497200348316880255134969868695/1924437641003478216961334066198\ 629*c_0101_3^19 - 32144315478242455328372878604305915/1924437641003\ 478216961334066198629*c_0101_3^18 + 34367869964710365527907201737727491/1924437641003478216961334066198\ 629*c_0101_3^17 + 259324013633039356954583075267698488/192443764100\ 3478216961334066198629*c_0101_3^16 - 814110028053379053345577338464209028/192443764100347821696133406619\ 8629*c_0101_3^15 - 405389951856620892007716717484986711/19244376410\ 03478216961334066198629*c_0101_3^14 + 2335460626314549128722310493785816248/19244376410034782169613340661\ 98629*c_0101_3^13 - 58903440260224205576185239300812717/19244376410\ 03478216961334066198629*c_0101_3^12 - 1442440343205993872995585779677519123/19244376410034782169613340661\ 98629*c_0101_3^11 + 2464158792419380216010094282389957090/192443764\ 1003478216961334066198629*c_0101_3^10 - 1485404650463052841791202872751810040/19244376410034782169613340661\ 98629*c_0101_3^9 - 7136346741575151749754175073705604806/1924437641\ 003478216961334066198629*c_0101_3^8 - 2813072317623796403422573264293132391/19244376410034782169613340661\ 98629*c_0101_3^7 + 2489073447875187484053331419614708454/1924437641\ 003478216961334066198629*c_0101_3^6 + 2456203114666468760759537593612887734/19244376410034782169613340661\ 98629*c_0101_3^5 + 503411276225393731337915798363117083/19244376410\ 03478216961334066198629*c_0101_3^4 - 403076349527372533129555759145210931/192443764100347821696133406619\ 8629*c_0101_3^3 - 181161392069227366798976351655481979/192443764100\ 3478216961334066198629*c_0101_3^2 + 19414056079417172634010849643706716/1924437641003478216961334066198\ 629*c_0101_3 + 10013684909499377035421897969239478/1924437641003478\ 216961334066198629, c_0011_4 - 2067695010752552526268023136640654/1924437641003478216961334\ 066198629*c_0101_3^21 + 12035127016145255781353488718785394/1924437\ 641003478216961334066198629*c_0101_3^20 - 20754622149056619408271593019106873/1924437641003478216961334066198\ 629*c_0101_3^19 + 49018300911824467404765918024250077/1924437641003\ 478216961334066198629*c_0101_3^18 - 53282492588974106686349226429721910/1924437641003478216961334066198\ 629*c_0101_3^17 - 387106581790031599661476188725742598/192443764100\ 3478216961334066198629*c_0101_3^16 + 1240956680307905534092835307781119207/19244376410034782169613340661\ 98629*c_0101_3^15 + 541989316640698987830544556940145602/1924437641\ 003478216961334066198629*c_0101_3^14 - 3531127598747622894655457185133569216/19244376410034782169613340661\ 98629*c_0101_3^13 + 305078064259244695634868565337860851/1924437641\ 003478216961334066198629*c_0101_3^12 + 2103865633124455040718496510095501391/19244376410034782169613340661\ 98629*c_0101_3^11 - 3841183885671999924260666731649989704/192443764\ 1003478216961334066198629*c_0101_3^10 + 2509936038533029905208342579034372297/19244376410034782169613340661\ 98629*c_0101_3^9 + 10497348773633716381009024622500800365/192443764\ 1003478216961334066198629*c_0101_3^8 + 3645516085112368241774360106399783871/19244376410034782169613340661\ 98629*c_0101_3^7 - 3755795560855913000734614935463044688/1924437641\ 003478216961334066198629*c_0101_3^6 - 3444794784487393767694644464272085193/19244376410034782169613340661\ 98629*c_0101_3^5 - 634802858713456452532089709551471643/19244376410\ 03478216961334066198629*c_0101_3^4 + 597446505786338122500798409843079446/192443764100347821696133406619\ 8629*c_0101_3^3 + 237096508474187232271581778003405097/192443764100\ 3478216961334066198629*c_0101_3^2 - 30491194447705480398953327179005366/1924437641003478216961334066198\ 629*c_0101_3 - 12887494081188082048898008123045745/1924437641003478\ 216961334066198629, c_0011_5 + 437402920818864471723762184889344/19244376410034782169613340\ 66198629*c_0101_3^21 - 3051829471978816638931097750665789/192443764\ 1003478216961334066198629*c_0101_3^20 + 7828283954343604273533420803274853/19244376410034782169613340661986\ 29*c_0101_3^19 - 18735179797370097882560017423292925/19244376410034\ 78216961334066198629*c_0101_3^18 + 31013588891426233653964584357301298/1924437641003478216961334066198\ 629*c_0101_3^17 + 50491238078304182098140956787137726/1924437641003\ 478216961334066198629*c_0101_3^16 - 328725022284543299213112657748262294/192443764100347821696133406619\ 8629*c_0101_3^15 + 256556661182745763651760821935896869/19244376410\ 03478216961334066198629*c_0101_3^14 + 527413964686311785901119705965750592/192443764100347821696133406619\ 8629*c_0101_3^13 - 757470795593811600661448477059503087/19244376410\ 03478216961334066198629*c_0101_3^12 + 315146144032865896495327483043718873/192443764100347821696133406619\ 8629*c_0101_3^11 + 679280058568952147771707695519784232/19244376410\ 03478216961334066198629*c_0101_3^10 - 1401374288649437658960638168195534230/19244376410034782169613340661\ 98629*c_0101_3^9 - 767220773559144099565022689996544156/19244376410\ 03478216961334066198629*c_0101_3^8 + 491975387734488146513529072373119996/192443764100347821696133406619\ 8629*c_0101_3^7 + 313978799822690025460448392919268820/192443764100\ 3478216961334066198629*c_0101_3^6 + 59077303759991658408250914532083652/1924437641003478216961334066198\ 629*c_0101_3^5 - 75073044907917631512327437296795498/19244376410034\ 78216961334066198629*c_0101_3^4 - 233163460327462941651297039450770\ 4/1924437641003478216961334066198629*c_0101_3^3 + 22243987142402143894062168019331375/1924437641003478216961334066198\ 629*c_0101_3^2 - 3482702052453776767881337129467939/192443764100347\ 8216961334066198629*c_0101_3 - 1042930774805709802225519986393005/1\ 924437641003478216961334066198629, c_0101_1 - 981934673878086246817083121344813/19244376410034782169613340\ 66198629*c_0101_3^21 + 5723951454125390172338198483936674/192443764\ 1003478216961334066198629*c_0101_3^20 - 9787503006182049875589597130953728/19244376410034782169613340661986\ 29*c_0101_3^19 + 22542063237754549490809084280754243/19244376410034\ 78216961334066198629*c_0101_3^18 - 23416497595118150627052970064714264/1924437641003478216961334066198\ 629*c_0101_3^17 - 188621911353751840307768057786487737/192443764100\ 3478216961334066198629*c_0101_3^16 + 599206637233814015396778109697121104/192443764100347821696133406619\ 8629*c_0101_3^15 + 266063040921686324536481496583242481/19244376410\ 03478216961334066198629*c_0101_3^14 - 1767218742673745660328280332309724083/19244376410034782169613340661\ 98629*c_0101_3^13 + 224916132195845414301922906406028882/1924437641\ 003478216961334066198629*c_0101_3^12 + 1142032949711801044243295214527592285/19244376410034782169613340661\ 98629*c_0101_3^11 - 2025699115650132813519459403321876710/192443764\ 1003478216961334066198629*c_0101_3^10 + 1281442668419523387050925182060981051/19244376410034782169613340661\ 98629*c_0101_3^9 + 5151122764889032272137126106946858801/1924437641\ 003478216961334066198629*c_0101_3^8 + 1326764405770898256795537055982148177/19244376410034782169613340661\ 98629*c_0101_3^7 - 2025155218698487733392752396712077805/1924437641\ 003478216961334066198629*c_0101_3^6 - 1508710525122774123609599014922398041/19244376410034782169613340661\ 98629*c_0101_3^5 - 174022046055183280855062396321480151/19244376410\ 03478216961334066198629*c_0101_3^4 + 327645812468310484907355531430861426/192443764100347821696133406619\ 8629*c_0101_3^3 + 90283128510668046735584767605829482/1924437641003\ 478216961334066198629*c_0101_3^2 - 23137459198481621589404933682979151/1924437641003478216961334066198\ 629*c_0101_3 - 4098449099542730039371611975110606/19244376410034782\ 16961334066198629, c_0101_3^22 - 6*c_0101_3^21 + 11*c_0101_3^20 - 25*c_0101_3^19 + 29*c_0101_3^18 + 185*c_0101_3^17 - 637*c_0101_3^16 - 168*c_0101_3^15 + 1808*c_0101_3^14 - 453*c_0101_3^13 - 1123*c_0101_3^12 + 2092*c_0101_3^11 - 1492*c_0101_3^10 - 5013*c_0101_3^9 - 709*c_0101_3^8 + 2488*c_0101_3^7 + 1386*c_0101_3^6 - 146*c_0101_3^5 - 433*c_0101_3^4 - 65*c_0101_3^3 + 57*c_0101_3^2 + 7*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB