Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2176851298] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0596 geometric_solution 4.60911160 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531609327121 0.423101550753 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -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 -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 1.316782395762 0.493449801999 1 3 3 4 0132 1230 3012 0132 0 0 0 0 0 -1 1 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 -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.127761644766 0.648176492325 4 2 2 1 3201 1230 3012 0132 0 0 0 0 0 -1 0 1 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 -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 1.127761644766 0.648176492325 5 5 2 3 0132 2310 0132 2310 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 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.458782741089 0.897448273756 4 6 6 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.510493946991 0.354338037200 5 5 6 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.552205872121 0.295577735511 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : d['c_0011_1'], '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_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 814348781675571163853576032154978916219718339/252949726140601134081\ 60882324143538693773600*c_0101_6^17 + 13138698762692913949016406077009902920668252719/2529497261406011340\ 8160882324143538693773600*c_0101_6^16 - 115979255619664860155765969869038776211150869489/126474863070300567\ 04080441162071769346886800*c_0101_6^15 + 82212002616215290769997106110175921973942775557/6323743153515028352\ 040220581035884673443400*c_0101_6^14 + 4496400757624264491598911761712026937536013371333/25294972614060113\ 408160882324143538693773600*c_0101_6^13 - 6121592839169218672155016703065181974686986103831/12647486307030056\ 704080441162071769346886800*c_0101_6^12 - 1043393945133888202398773998589793050247675390791/63237431535150283\ 52040220581035884673443400*c_0101_6^11 + 14966056573334564532082983846371782677085474446603/1264748630703005\ 6704080441162071769346886800*c_0101_6^10 - 22383603293619415992864422196064037415756609855/2529497261406011340\ 81608823241435386937736*c_0101_6^9 - 30680756870585792893949592869960594605980329717339/2529497261406011\ 3408160882324143538693773600*c_0101_6^8 - 1573212544058813942106100589492875371353916567459/63237431535150283\ 52040220581035884673443400*c_0101_6^7 + 11917520339773008684339330012372537306088155752707/2529497261406011\ 3408160882324143538693773600*c_0101_6^6 + 6637866141420789893885320513943211677066479970517/12647486307030056\ 704080441162071769346886800*c_0101_6^5 + 3870554814240195852586127336569176341826895442749/12647486307030056\ 704080441162071769346886800*c_0101_6^4 + 738119126759934933728177253887548647279587706631/632374315351502835\ 2040220581035884673443400*c_0101_6^3 + 446201030885231518588725673037924033049842860899/126474863070300567\ 04080441162071769346886800*c_0101_6^2 + 191390455234702958140582262102568424923206457359/252949726140601134\ 08160882324143538693773600*c_0101_6 + 20488038501675412849574332287881667961201312323/2529497261406011340\ 8160882324143538693773600, c_0011_0 - 1, c_0011_1 - 1578135009613372929040707858557047291348/1580935788378757088\ 01005514525897116836085*c_0101_6^17 - 24006276561379573684329933523921184978939/1580935788378757088010055\ 14525897116836085*c_0101_6^16 + 47201357891492859362325577080570255\ 2078572/158093578837875708801005514525897116836085*c_0101_6^15 - 213419432956729332553249657882827738623325/316187157675751417602011\ 02905179423367217*c_0101_6^14 - 78375736683305211275669436922294515\ 48109527/158093578837875708801005514525897116836085*c_0101_6^13 + 6240151557220664547809942905722876295976104/31618715767575141760201\ 102905179423367217*c_0101_6^12 - 1888959384740687812235008380045670\ 1251740881/158093578837875708801005514525897116836085*c_0101_6^11 - 47811644091820110833538350528766224131497704/1580935788378757088010\ 05514525897116836085*c_0101_6^10 + 10554171992083227971188121456108246870650691/3161871576757514176020\ 1102905179423367217*c_0101_6^9 + 4515031912225283754666504225104535\ 003451807/31618715767575141760201102905179423367217*c_0101_6^8 - 21975349872412691841298939666448675229616083/1580935788378757088010\ 05514525897116836085*c_0101_6^7 - 172717932717273344482191702043956\ 2434981526/31618715767575141760201102905179423367217*c_0101_6^6 - 10800340253265934552352147391703061693726439/1580935788378757088010\ 05514525897116836085*c_0101_6^5 - 288736296266487021915376100281930\ 1929304309/158093578837875708801005514525897116836085*c_0101_6^4 - 1449852781434036782615019789928511321687484/15809357883787570880100\ 5514525897116836085*c_0101_6^3 - 6840603657116625844297776799703414\ 1618887/158093578837875708801005514525897116836085*c_0101_6^2 - 5369431345004355314174295640974862696179/31618715767575141760201102\ 905179423367217*c_0101_6 - 1179059580797593352702344870318550111394\ 4/31618715767575141760201102905179423367217, c_0011_4 + 106434861396395752908707491494844093618/15809357883787570880\ 1005514525897116836085*c_0101_6^17 + 1248714957931272645241791993581073834841/15809357883787570880100551\ 4525897116836085*c_0101_6^16 - 375086368800511573331988432267764453\ 55516/158093578837875708801005514525897116836085*c_0101_6^15 + 182164895265987649961700035927944391008287/158093578837875708801005\ 514525897116836085*c_0101_6^14 + 2910078931149631359485501390756732\ 58528952/158093578837875708801005514525897116836085*c_0101_6^13 - 3984881595360885028605077403880603440739952/15809357883787570880100\ 5514525897116836085*c_0101_6^12 + 843156186573033987401036638296756\ 1536443871/158093578837875708801005514525897116836085*c_0101_6^11 - 205537724978521254564432925137962685654272/158093578837875708801005\ 514525897116836085*c_0101_6^10 - 1623154150155458348626869823286415\ 9723706289/158093578837875708801005514525897116836085*c_0101_6^9 + 2144195581289301288608248487270978342376252/31618715767575141760201\ 102905179423367217*c_0101_6^8 + 83862395369569933022698106530611572\ 19740568/158093578837875708801005514525897116836085*c_0101_6^7 - 4552252454706733517061221610045812560484273/15809357883787570880100\ 5514525897116836085*c_0101_6^6 - 2510565107818280352824973277172935\ 981849771/158093578837875708801005514525897116836085*c_0101_6^5 - 559863920656261843221059205607350457734724/316187157675751417602011\ 02905179423367217*c_0101_6^4 + 837289788006813798536656847265343736\ 73469/31618715767575141760201102905179423367217*c_0101_6^3 - 375775587275804472372405820008865375752962/158093578837875708801005\ 514525897116836085*c_0101_6^2 - 88145513684229599516039537452230311\ 044657/158093578837875708801005514525897116836085*c_0101_6 - 3074173048131790910423746187996295113090/31618715767575141760201102\ 905179423367217, c_0101_0 - 2206194991691576611502087272997515468383/1580935788378757088\ 01005514525897116836085*c_0101_6^17 - 6544155345607124072790540771474098636939/31618715767575141760201102\ 905179423367217*c_0101_6^16 + 6725189071621258305504823027931714655\ 44954/158093578837875708801005514525897116836085*c_0101_6^15 - 1744788364748767193772311615970412610440181/15809357883787570880100\ 5514525897116836085*c_0101_6^14 - 103582929757141331554556368839291\ 75045796997/158093578837875708801005514525897116836085*c_0101_6^13 + 47772552632045595631455873205548864075857956/1580935788378757088010\ 05514525897116836085*c_0101_6^12 - 43705516893312722583651307602287035412568846/1580935788378757088010\ 05514525897116836085*c_0101_6^11 - 55606830211611958120478198269912127759909276/1580935788378757088010\ 05514525897116836085*c_0101_6^10 + 101934874677702676662547350692859206031538872/158093578837875708801\ 005514525897116836085*c_0101_6^9 - 401163706155897530256586657615956164498394/316187157675751417602011\ 02905179423367217*c_0101_6^8 - 460603843386337535567826431553169889\ 63397743/158093578837875708801005514525897116836085*c_0101_6^7 + 8312275584420931284772699944276987517711644/15809357883787570880100\ 5514525897116836085*c_0101_6^6 - 8163037873656094250502978250082726\ 169101414/158093578837875708801005514525897116836085*c_0101_6^5 - 2271866118205560419950191007285734927626652/15809357883787570880100\ 5514525897116836085*c_0101_6^4 - 2612707414846650495453102347313485\ 358792072/158093578837875708801005514525897116836085*c_0101_6^3 - 270071905456053968182863528501500171531085/316187157675751417602011\ 02905179423367217*c_0101_6^2 - 148453284595259963464786151130272707\ 336939/158093578837875708801005514525897116836085*c_0101_6 - 10535119142515194714088617327931989575827/3161871576757514176020110\ 2905179423367217, c_0101_1 - 3053781868226377648941721031128522967308/1580935788378757088\ 01005514525897116836085*c_0101_6^17 - 9621451689019120210301284329014645775931/31618715767575141760201102\ 905179423367217*c_0101_6^16 + 8883423452657759403200473231909670213\ 09829/158093578837875708801005514525897116836085*c_0101_6^15 - 1568082030478199353113783418421696061376426/15809357883787570880100\ 5514525897116836085*c_0101_6^14 - 163176038225529973857708806855755\ 10306955457/158093578837875708801005514525897116836085*c_0101_6^13 + 52161744876936873854443118507638057196367831/1580935788378757088010\ 05514525897116836085*c_0101_6^12 - 3026544444329582571371323364058037519876531/15809357883787570880100\ 5514525897116836085*c_0101_6^11 - 113435942304167709559627165544949\ 128123542216/158093578837875708801005514525897116836085*c_0101_6^10 + 47675182557474391550549131323574826290542582/15809357883787570880\ 1005514525897116836085*c_0101_6^9 + 21473993268332558954555776386008493922574507/3161871576757514176020\ 1102905179423367217*c_0101_6^8 - 1579275531252509678686931218956770\ 4832958648/158093578837875708801005514525897116836085*c_0101_6^7 - 51332688527367986852452395612563459301424891/1580935788378757088010\ 05514525897116836085*c_0101_6^6 - 316039611015896951791279191472227\ 72301022954/158093578837875708801005514525897116836085*c_0101_6^5 - 11832029988459215453230420737598446861042372/1580935788378757088010\ 05514525897116836085*c_0101_6^4 - 257831961258907480039358425053896\ 4537831437/158093578837875708801005514525897116836085*c_0101_6^3 - 175439965476237115359429945883379532835133/316187157675751417602011\ 02905179423367217*c_0101_6^2 + 363050393182622284928083361176586867\ 73646/158093578837875708801005514525897116836085*c_0101_6 - 4127711642457205963926874378807928843918/31618715767575141760201102\ 905179423367217, c_0101_3 + 1961030558947540471051871378698148486666/1580935788378757088\ 01005514525897116836085*c_0101_6^17 + 30691742767856180928693642788836110176552/1580935788378757088010055\ 14525897116836085*c_0101_6^16 - 57341951242507022448159455988951457\ 9105222/158093578837875708801005514525897116836085*c_0101_6^15 + 1068587848090204865192870600584797948599864/15809357883787570880100\ 5514525897116836085*c_0101_6^14 + 103120187992840110388482584620797\ 05042159944/158093578837875708801005514525897116836085*c_0101_6^13 - 34415256145191356921787344434767553109588619/1580935788378757088010\ 05514525897116836085*c_0101_6^12 + 6386250036516417801692532248219658353059057/15809357883787570880100\ 5514525897116836085*c_0101_6^11 + 682718358797878287411310301743640\ 73470555791/158093578837875708801005514525897116836085*c_0101_6^10 - 34637901914070354107447023968706024649884618/1580935788378757088010\ 05514525897116836085*c_0101_6^9 - 119954254336084745760548079365486\ 70006184644/31618715767575141760201102905179423367217*c_0101_6^8 + 8349161113704393454614965343376583580301246/15809357883787570880100\ 5514525897116836085*c_0101_6^7 + 3132643722681116428228710331100695\ 5265993644/158093578837875708801005514525897116836085*c_0101_6^6 + 20165572855907652928710972571128915327459088/1580935788378757088010\ 05514525897116836085*c_0101_6^5 + 109208742300812000650142552123505\ 9930288963/31618715767575141760201102905179423367217*c_0101_6^4 + 509348309171760555198748058478785141108903/316187157675751417602011\ 02905179423367217*c_0101_6^3 + 260918413361717941403780800457696901\ 215436/158093578837875708801005514525897116836085*c_0101_6^2 + 100382325360676177617200066879588925155296/158093578837875708801005\ 514525897116836085*c_0101_6 - 4608354868513294350044142597904699744\ 404/31618715767575141760201102905179423367217, c_0101_6^18 + 16*c_0101_6^17 - 287*c_0101_6^16 + 442*c_0101_6^15 + 5467*c_0101_6^14 - 15773*c_0101_6^13 - 3106*c_0101_6^12 + 37414*c_0101_6^11 - 7630*c_0101_6^10 - 37301*c_0101_6^9 - 2759*c_0101_6^8 + 15733*c_0101_6^7 + 14361*c_0101_6^6 + 7272*c_0101_6^5 + 2366*c_0101_6^4 + 622*c_0101_6^3 + 91*c_0101_6^2 - 8*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB