Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3802365483] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0987 geometric_solution 4.87725733 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 2 -1 -1 0 0 0 0 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.396824372944 0.440373377649 0 2 2 4 0132 2031 1230 0132 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 1 -1 0 0 0 0 0 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.770465490561 0.669591538081 1 0 4 1 1302 0132 3201 3012 0 0 0 0 0 1 -1 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 -2 1 1 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770465490561 0.669591538081 3 0 3 0 2031 2310 1302 0132 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 -1 0 1 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.845706519074 1.391901617831 2 5 1 5 2310 0132 0132 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.039885324301 1.240877599835 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638952043122 0.436927873009 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573949283734 0.109504363726 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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' : negation(d['1']), 's_1_1' : negation(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_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 142513041425876479851688508311/11261262944511112510119863657*c_0101\ _6^25 + 1068547634413463202699638130727/112612629445111125101198636\ 57*c_0101_6^24 + 363280276441467977511144838379/1126126294451111251\ 0119863657*c_0101_6^23 - 12525525624269840758646149268317/112612629\ 44511112510119863657*c_0101_6^22 - 11092653824950241622835912471644/11261262944511112510119863657*c_01\ 01_6^21 + 83988927371517148054047675789023/112612629445111125101198\ 63657*c_0101_6^20 + 65933200942657717154095063233860/11261262944511\ 112510119863657*c_0101_6^19 - 382210746995616161046778364605306/112\ 61262944511112510119863657*c_0101_6^18 - 189452821249387302761757030409375/11261262944511112510119863657*c_0\ 101_6^17 + 1193871481240202455310363558458971/112612629445111125101\ 19863657*c_0101_6^16 + 233881865898956053471115144798296/1126126294\ 4511112510119863657*c_0101_6^15 - 250620973499800217862030966764467\ 5/11261262944511112510119863657*c_0101_6^14 + 132261992150647656472920757133115/11261262944511112510119863657*c_0\ 101_6^13 + 3402536980363495892951933387972545/112612629445111125101\ 19863657*c_0101_6^12 - 861840447788335564437680215161979/1126126294\ 4511112510119863657*c_0101_6^11 - 283608436878457950287528373222054\ 8/11261262944511112510119863657*c_0101_6^10 + 1170341795190340812914110834475628/11261262944511112510119863657*c_\ 0101_6^9 + 1289395741567421258794878742517494/112612629445111125101\ 19863657*c_0101_6^8 - 702978249563045508215415650891734/11261262944\ 511112510119863657*c_0101_6^7 - 204072730807251156304484340950322/1\ 1261262944511112510119863657*c_0101_6^6 + 170064010655144817743496633791607/11261262944511112510119863657*c_0\ 101_6^5 - 42495732514327154789303119942379/112612629445111125101198\ 63657*c_0101_6^4 - 13663485749904279961477509504469/112612629445111\ 12510119863657*c_0101_6^3 + 5816671287752944542346767188494/1126126\ 2944511112510119863657*c_0101_6^2 - 1062961808923976227766989175313/11261262944511112510119863657*c_010\ 1_6 - 390090872656084889329232462265/11261262944511112510119863657, c_0011_0 - 1, c_0011_3 + 3125714766915965200809949460/11261262944511112510119863657*c\ _0101_6^25 + 19264289454978454201490024429/112612629445111125101198\ 63657*c_0101_6^24 - 21119788879784365084347692177/11261262944511112\ 510119863657*c_0101_6^23 - 270598297486331409011344580279/112612629\ 44511112510119863657*c_0101_6^22 + 118472031379985850772462168807/11261262944511112510119863657*c_0101\ _6^21 + 1983588648760002869723507260696/112612629445111125101198636\ 57*c_0101_6^20 - 1044620227235516736734899884965/112612629445111125\ 10119863657*c_0101_6^19 - 9067746454950917641948967307685/112612629\ 44511112510119863657*c_0101_6^18 + 7083020296952441750004564473235/11261262944511112510119863657*c_010\ 1_6^17 + 26301194901251679198726486774561/1126126294451111251011986\ 3657*c_0101_6^16 - 28576751496749207696162391499039/112612629445111\ 12510119863657*c_0101_6^15 - 46530979301891574739548904257850/11261\ 262944511112510119863657*c_0101_6^14 + 68759774208112628610001002150335/11261262944511112510119863657*c_01\ 01_6^13 + 43920057133567846072646977327178/112612629445111125101198\ 63657*c_0101_6^12 - 99196988855738005599592095437309/11261262944511\ 112510119863657*c_0101_6^11 - 9803264342327602303417758287006/11261\ 262944511112510119863657*c_0101_6^10 + 82733547705543690065241912311407/11261262944511112510119863657*c_01\ 01_6^9 - 19313652527636520400115755480118/1126126294451111251011986\ 3657*c_0101_6^8 - 35571712354939485656704331910545/1126126294451111\ 2510119863657*c_0101_6^7 + 17238669418071507339662852231158/1126126\ 2944511112510119863657*c_0101_6^6 + 5134008679031772446140450965596/11261262944511112510119863657*c_010\ 1_6^5 - 4703405794645938696573017345262/112612629445111125101198636\ 57*c_0101_6^4 + 639570931860018799691040551355/11261262944511112510\ 119863657*c_0101_6^3 + 188126513070908740239407516527/1126126294451\ 1112510119863657*c_0101_6^2 - 81953741501582781122481108737/1126126\ 2944511112510119863657*c_0101_6 + 10131840458188874740245770365/112\ 61262944511112510119863657, c_0011_4 + 871056277239081084062112992/11261262944511112510119863657*c_\ 0101_6^25 + 5834342326920884941430608558/11261262944511112510119863\ 657*c_0101_6^24 - 2420797962077420134103146455/11261262944511112510\ 119863657*c_0101_6^23 - 74483971952728559865711209485/1126126294451\ 1112510119863657*c_0101_6^22 - 8413331981864159536722329439/1126126\ 2944511112510119863657*c_0101_6^21 + 518743422103840185633558684996/11261262944511112510119863657*c_0101\ _6^20 - 9348469942422648554001244075/11261262944511112510119863657*\ c_0101_6^19 - 2322347655234558209491140956686/112612629445111125101\ 19863657*c_0101_6^18 + 675381519428630509177341013502/1126126294451\ 1112510119863657*c_0101_6^17 + 6752136365295286885036656149357/1126\ 1262944511112510119863657*c_0101_6^16 - 3845035554571350110270914143346/11261262944511112510119863657*c_010\ 1_6^15 - 12351010393335392668376326217936/1126126294451111251011986\ 3657*c_0101_6^14 + 10324192069237018323524507392550/112612629445111\ 12510119863657*c_0101_6^13 + 13137995806883524594826459191976/11261\ 262944511112510119863657*c_0101_6^12 - 15265744298904836628596865920734/11261262944511112510119863657*c_01\ 01_6^11 - 6613154319778823961818947148498/1126126294451111251011986\ 3657*c_0101_6^10 + 12347592253044483289891870583050/112612629445111\ 12510119863657*c_0101_6^9 - 68401598432988034824275372483/112612629\ 44511112510119863657*c_0101_6^8 - 4889004551940768376855041598714/1\ 1261262944511112510119863657*c_0101_6^7 + 1446015689438848004803638425023/11261262944511112510119863657*c_010\ 1_6^6 + 617121367064096151784186614976/1126126294451111251011986365\ 7*c_0101_6^5 - 504171832443379862596410238482/112612629445111125101\ 19863657*c_0101_6^4 + 75260343681894433921332198305/112612629445111\ 12510119863657*c_0101_6^3 + 47334276310232380819771114476/112612629\ 44511112510119863657*c_0101_6^2 - 39983658157809622965466423261/112\ 61262944511112510119863657*c_0101_6 - 618291410083348223630757620/11261262944511112510119863657, c_0101_0 + 7740871912536394457383365678/11261262944511112510119863657*c\ _0101_6^25 + 54460826834930479653114087859/112612629445111125101198\ 63657*c_0101_6^24 - 5960214894499826496972885697/112612629445111125\ 10119863657*c_0101_6^23 - 682482351952959538087777081145/1126126294\ 4511112510119863657*c_0101_6^22 - 295118913409767180458868676874/11\ 261262944511112510119863657*c_0101_6^21 + 4747596279799808168881542830274/11261262944511112510119863657*c_010\ 1_6^20 + 1513316514053668192530460644537/11261262944511112510119863\ 657*c_0101_6^19 - 21770078292403178236723223984327/1126126294451111\ 2510119863657*c_0101_6^18 - 1059244617169324988535964105312/1126126\ 2944511112510119863657*c_0101_6^17 + 66851403463987672903451056208033/11261262944511112510119863657*c_01\ 01_6^16 - 14956150780656030877188116851366/112612629445111125101198\ 63657*c_0101_6^15 - 134813639962045955170936903455770/1126126294451\ 1112510119863657*c_0101_6^14 + 61722508093425636009782044246193/112\ 61262944511112510119863657*c_0101_6^13 + 170795100115773288266894785503389/11261262944511112510119863657*c_0\ 101_6^12 - 114961076020171466321998417355078/1126126294451111251011\ 9863657*c_0101_6^11 - 125408881407369622818817303907439/11261262944\ 511112510119863657*c_0101_6^10 + 114970475862910925510577446270455/\ 11261262944511112510119863657*c_0101_6^9 + 42055797646664074367098186480343/11261262944511112510119863657*c_01\ 01_6^8 - 59189613511868075958319919248085/1126126294451111251011986\ 3657*c_0101_6^7 + 2344397818482934602151538686354/11261262944511112\ 510119863657*c_0101_6^6 + 12137595047605961730627140258702/11261262\ 944511112510119863657*c_0101_6^5 - 4913757417741015821338908491971/11261262944511112510119863657*c_010\ 1_6^4 - 7456118790255508332068966952/11261262944511112510119863657*\ c_0101_6^3 + 507613281693303753740035446594/11261262944511112510119\ 863657*c_0101_6^2 - 108942215888366446165612199311/1126126294451111\ 2510119863657*c_0101_6 + 3210821101971231543065173593/1126126294451\ 1112510119863657, c_0101_1 - 285010193772668238003355127/11261262944511112510119863657*c_\ 0101_6^25 - 2695152523776540718498321218/11261262944511112510119863\ 657*c_0101_6^24 - 4182244784847555482107362101/11261262944511112510\ 119863657*c_0101_6^23 + 28608504289180556803801110955/1126126294451\ 1112510119863657*c_0101_6^22 + 70054966065066702754009147986/112612\ 62944511112510119863657*c_0101_6^21 - 186042759385043743415258580559/11261262944511112510119863657*c_0101\ _6^20 - 477767972736918001929675511978/1126126294451111251011986365\ 7*c_0101_6^19 + 924215499219753094038410211839/11261262944511112510\ 119863657*c_0101_6^18 + 1938070106752855730060409496018/11261262944\ 511112510119863657*c_0101_6^17 - 3484779192599500149181641875441/11\ 261262944511112510119863657*c_0101_6^16 - 4933481132229389825954128973807/11261262944511112510119863657*c_010\ 1_6^15 + 9386662158879640828173829841695/11261262944511112510119863\ 657*c_0101_6^14 + 7605037828530393233839741552977/11261262944511112\ 510119863657*c_0101_6^13 - 17026928020323207892391454062728/1126126\ 2944511112510119863657*c_0101_6^12 - 6007409302904510254529564704573/11261262944511112510119863657*c_010\ 1_6^11 + 19815685344021863887523158125761/1126126294451111251011986\ 3657*c_0101_6^10 + 552746910573891388853404436370/11261262944511112\ 510119863657*c_0101_6^9 - 13806408274968020998198230379000/11261262\ 944511112510119863657*c_0101_6^8 + 2762344612619402455626898191882/11261262944511112510119863657*c_010\ 1_6^7 + 5002753587027893457088753349683/112612629445111125101198636\ 57*c_0101_6^6 - 2003656731150491899871119793448/1126126294451111251\ 0119863657*c_0101_6^5 - 525052616334903633949936757097/112612629445\ 11112510119863657*c_0101_6^4 + 598254001107145297972456438695/11261\ 262944511112510119863657*c_0101_6^3 - 135871065153755422108825541548/11261262944511112510119863657*c_0101\ _6^2 - 78162927368346270855687558930/11261262944511112510119863657*\ c_0101_6 + 23712656494001363094917191013/11261262944511112510119863\ 657, c_0101_5 - 274723447175718451430528113/11261262944511112510119863657*c_\ 0101_6^25 - 1780657018036567960410479981/11261262944511112510119863\ 657*c_0101_6^24 + 1285623649756825838040901481/11261262944511112510\ 119863657*c_0101_6^23 + 24188396470993374450450878144/1126126294451\ 1112510119863657*c_0101_6^22 - 2441797414998366505539669660/1126126\ 2944511112510119863657*c_0101_6^21 - 174145673184871951403138382243/11261262944511112510119863657*c_0101\ _6^20 + 33709962000982600390733160503/11261262944511112510119863657\ *c_0101_6^19 + 796054972143087576984929672260/112612629445111125101\ 19863657*c_0101_6^18 - 349572863387508120070561668335/1126126294451\ 1112510119863657*c_0101_6^17 - 2352438815775347129521088804642/1126\ 1262944511112510119863657*c_0101_6^16 + 1647420450682361320570863697136/11261262944511112510119863657*c_010\ 1_6^15 + 4369056295810099867357131912571/11261262944511112510119863\ 657*c_0101_6^14 - 4180573070339933966175222650117/11261262944511112\ 510119863657*c_0101_6^13 - 4736026363378801172520566123836/11261262\ 944511112510119863657*c_0101_6^12 + 6013673028408274708136271689967/11261262944511112510119863657*c_010\ 1_6^11 + 2497255409828860380215127893195/11261262944511112510119863\ 657*c_0101_6^10 - 4760276772063725871425130643739/11261262944511112\ 510119863657*c_0101_6^9 - 206096673023678713182645599209/1126126294\ 4511112510119863657*c_0101_6^8 + 1866636501936863982665012242478/11\ 261262944511112510119863657*c_0101_6^7 - 278579277600205421915824040006/11261262944511112510119863657*c_0101\ _6^6 - 311331123221050437394863340679/11261262944511112510119863657\ *c_0101_6^5 + 115828325565765030735436086444/1126126294451111251011\ 9863657*c_0101_6^4 + 41988624096780252734183516544/1126126294451111\ 2510119863657*c_0101_6^3 - 42354831330386724929318616270/1126126294\ 4511112510119863657*c_0101_6^2 - 3210821101971231543065173593/11261\ 262944511112510119863657*c_0101_6 - 3520391031974718052736497979/11261262944511112510119863657, c_0101_6^26 + 7*c_0101_6^25 - c_0101_6^24 - 88*c_0101_6^23 - 35*c_0101_6^22 + 613*c_0101_6^21 + 173*c_0101_6^20 - 2808*c_0101_6^19 - 34*c_0101_6^18 + 8591*c_0101_6^17 - 2236*c_0101_6^16 - 17203*c_0101_6^15 + 8538*c_0101_6^14 + 21524*c_0101_6^13 - 15463*c_0101_6^12 - 15424*c_0101_6^11 + 15175*c_0101_6^10 + 4818*c_0101_6^9 - 7673*c_0101_6^8 + 544*c_0101_6^7 + 1532*c_0101_6^6 - 675*c_0101_6^5 + 14*c_0101_6^4 + 71*c_0101_6^3 - 21*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB