Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 1141233802] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2233 geometric_solution 5.66876661 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 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.437885667183 0.206564232651 2 0 3 0 0132 2310 0132 0132 0 0 0 0 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 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.694102148500 0.674634976081 1 4 5 3 0132 0132 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144121986989 1.158552769107 2 5 4 1 3201 1023 3201 0132 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 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.144121986989 1.158552769107 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.991459890782 1.277853219483 3 6 6 2 1023 0132 3201 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 -1 0 1 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.269702937366 0.456947262550 5 5 6 6 2310 0132 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 -1 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.779933456446 1.903304874224 ==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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), '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' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), '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' : 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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2006392166217956762331207994870215094258581183871/14504035803222244\ 4770505666017452214823297783390*c_0101_6^32 - 304703628353945955435791086978832796407041068824869/145040358032222\ 444770505666017452214823297783390*c_0101_6^30 + 311618793765533261350281847965916350112997389269322/725201790161112\ 22385252833008726107411648891695*c_0101_6^28 + 2355149072252988410111995324083201850914932221986967/14504035803222\ 244477050566601745221482329778339*c_0101_6^26 + 27634654794250276103467301462411858072905101548754817/7252017901611\ 1222385252833008726107411648891695*c_0101_6^24 - 15311985942338447367418726578972034209676423873652785/2900807160644\ 4488954101133203490442964659556678*c_0101_6^22 - 46808462949662326713750800363370312386023330648463494/7252017901611\ 1222385252833008726107411648891695*c_0101_6^20 - 8771025315663367496432914252806802311308774016621262/72520179016111\ 222385252833008726107411648891695*c_0101_6^18 - 33358108475836148120658025796211709296539015946519049/7252017901611\ 1222385252833008726107411648891695*c_0101_6^16 - 14217265167953145235705814913069547183819844861804717/2900807160644\ 4488954101133203490442964659556678*c_0101_6^14 + 19138545919935221976123027491204371962888333878318503/1450403580322\ 22444770505666017452214823297783390*c_0101_6^12 + 5882827086301036645271643616884521076847977953237128/14504035803222\ 244477050566601745221482329778339*c_0101_6^10 + 36631670530571709757765646196939832018869429024092959/1450403580322\ 22444770505666017452214823297783390*c_0101_6^8 + 12799595347427983716509199078846280228777001652192657/1450403580322\ 22444770505666017452214823297783390*c_0101_6^6 + 1494955854490427948202858491465095001116495885521892/72520179016111\ 222385252833008726107411648891695*c_0101_6^4 + 355971648138951041235503005288327914008510105646961/145040358032222\ 444770505666017452214823297783390*c_0101_6^2 - 2556984234142277908691957852755986807337464886909/72520179016111222\ 385252833008726107411648891695, c_0011_0 - 1, c_0011_1 - 370789701725584911968745926247301040862207032/14504035803222\ 244477050566601745221482329778339*c_0101_6^32 + 56146954686724943207442315698893944183517830102/1450403580322224447\ 7050566601745221482329778339*c_0101_6^30 - 90086293670603572882475073052181688565567781763/1450403580322224447\ 7050566601745221482329778339*c_0101_6^28 - 4441698496763378438989876921530795291731800490067/14504035803222244\ 477050566601745221482329778339*c_0101_6^26 - 12022951257359886646776285739874957560939124629768/1450403580322224\ 4477050566601745221482329778339*c_0101_6^24 + 12511288512406136474686410991195177003517299462838/1450403580322224\ 4477050566601745221482329778339*c_0101_6^22 + 28033113217593377152225764848569220679479775981812/1450403580322224\ 4477050566601745221482329778339*c_0101_6^20 - 2894155407641941484211843570038059533048186481113/14504035803222244\ 477050566601745221482329778339*c_0101_6^18 + 13240268267751749856881304856445825854849003024108/1450403580322224\ 4477050566601745221482329778339*c_0101_6^16 + 18571948869319121407991948417018085465006055679751/1450403580322224\ 4477050566601745221482329778339*c_0101_6^14 - 6518209683039477861556848772785904032234133395347/14504035803222244\ 477050566601745221482329778339*c_0101_6^12 - 13791761544599066015927435254228661940827535894622/1450403580322224\ 4477050566601745221482329778339*c_0101_6^10 - 6933153164414005496267290835515282828892473843052/14504035803222244\ 477050566601745221482329778339*c_0101_6^8 - 2025521589449420066423736486451032947901861393165/14504035803222244\ 477050566601745221482329778339*c_0101_6^6 - 338952515630897785969262971947025220330588510883/145040358032222444\ 77050566601745221482329778339*c_0101_6^4 - 7485032442687702591962457673621873150550506987/14504035803222244477\ 050566601745221482329778339*c_0101_6^2 - 5370779182591177888435237498405248239238270959/14504035803222244477\ 050566601745221482329778339, c_0011_3 + 1089235810629670225532660941967794179947686901/1450403580322\ 2244477050566601745221482329778339*c_0101_6^33 - 164813632398208305920194038720903052749421635170/145040358032222444\ 77050566601745221482329778339*c_0101_6^31 + 246095738111730487655170604860412700893385496879/145040358032222444\ 77050566601745221482329778339*c_0101_6^29 + 13036241790733966943575716449288073928922023734411/1450403580322224\ 4477050566601745221482329778339*c_0101_6^27 + 36938600489198735700753140654722299169995056919697/1450403580322224\ 4477050566601745221482329778339*c_0101_6^25 - 29638174901319962792870112299552754399620247385668/1450403580322224\ 4477050566601745221482329778339*c_0101_6^23 - 82436053955444056681537438488756869408655339951791/1450403580322224\ 4477050566601745221482329778339*c_0101_6^21 - 16823408815790628095505786242817140026064320009879/1450403580322224\ 4477050566601745221482329778339*c_0101_6^19 - 34276526219738381978423004457765647780777181500665/1450403580322224\ 4477050566601745221482329778339*c_0101_6^17 - 60301006099325046382443470109375793414042656971965/1450403580322224\ 4477050566601745221482329778339*c_0101_6^15 + 3389858916484706225887666058992140205266614236665/14504035803222244\ 477050566601745221482329778339*c_0101_6^13 + 43898391098558155980956274716482318668705386635803/1450403580322224\ 4477050566601745221482329778339*c_0101_6^11 + 29409867292627051091721692255048544689370908284676/1450403580322224\ 4477050566601745221482329778339*c_0101_6^9 + 10582114075844565656253551272926190391213477841139/1450403580322224\ 4477050566601745221482329778339*c_0101_6^7 + 2726183444090022935603079681302555999501791153787/14504035803222244\ 477050566601745221482329778339*c_0101_6^5 + 355629453722308620258581078328477351423393604091/145040358032222444\ 77050566601745221482329778339*c_0101_6^3 + 7721129775759840858034959538538538452809218256/14504035803222244477\ 050566601745221482329778339*c_0101_6, c_0101_0 + 5777116209774495576419360144001811088571301486/1450403580322\ 2244477050566601745221482329778339*c_0101_6^33 - 880258366637659271055572766529083820105581382183/145040358032222444\ 77050566601745221482329778339*c_0101_6^31 + 2237664998849576323379963363940889103934457432701/14504035803222244\ 477050566601745221482329778339*c_0101_6^29 + 66686128928920168916889804408405039807491038073992/1450403580322224\ 4477050566601745221482329778339*c_0101_6^27 + 125578443746648480779845629992755132970249557861212/145040358032222\ 44477050566601745221482329778339*c_0101_6^25 - 283648510735125254629042489488941336186674702365520/145040358032222\ 44477050566601745221482329778339*c_0101_6^23 - 127344305543550911252195012738553023741954889771786/145040358032222\ 44477050566601745221482329778339*c_0101_6^21 + 12152899490767165928154342761818210516257998206170/1450403580322224\ 4477050566601745221482329778339*c_0101_6^19 - 195645307964641130760888784947523571546004831825182/145040358032222\ 44477050566601745221482329778339*c_0101_6^17 - 104402294424949616758408656175506708472135736483039/145040358032222\ 44477050566601745221482329778339*c_0101_6^15 + 107129990271286375040093271256880768977192010740015/145040358032222\ 44477050566601745221482329778339*c_0101_6^13 + 117312230286792258760762407721015425561503561365707/145040358032222\ 44477050566601745221482329778339*c_0101_6^11 + 47824629079653350452398337392038470090668538580558/1450403580322224\ 4477050566601745221482329778339*c_0101_6^9 + 11638125996711552087926366022685843467313371292857/1450403580322224\ 4477050566601745221482329778339*c_0101_6^7 + 1515150618643555893989484098119350638044715354926/14504035803222244\ 477050566601745221482329778339*c_0101_6^5 - 157416638867403323768160841742031862145831155972/145040358032222444\ 77050566601745221482329778339*c_0101_6^3 - 42374939584249294428809471289369501194006737250/1450403580322224447\ 7050566601745221482329778339*c_0101_6, c_0101_1 - 719275160040047715812902950094753892078131578/14504035803222\ 244477050566601745221482329778339*c_0101_6^32 + 109142813991892869728492470364932395000722393916/145040358032222444\ 77050566601745221482329778339*c_0101_6^30 - 209392078961411221147230711985459717736166199073/145040358032222444\ 77050566601745221482329778339*c_0101_6^28 - 8505267202907301355237694205803805758856383220078/14504035803222244\ 477050566601745221482329778339*c_0101_6^26 - 20780809104442681930076611426223017599813671964496/1450403580322224\ 4477050566601745221482329778339*c_0101_6^24 + 27465289193268133274900940018436978091555168309324/1450403580322224\ 4477050566601745221482329778339*c_0101_6^22 + 40834525948554032247430944166152489539081470539083/1450403580322224\ 4477050566601745221482329778339*c_0101_6^20 - 1731159145287657156892159781473122665559180983830/14504035803222244\ 477050566601745221482329778339*c_0101_6^18 + 25232786376098024006761626243739507944761683550821/1450403580322224\ 4477050566601745221482329778339*c_0101_6^16 + 27591729227741262659335645190428572306759555779256/1450403580322224\ 4477050566601745221482329778339*c_0101_6^14 - 10804688197859274750647411774780694318103621616755/1450403580322224\ 4477050566601745221482329778339*c_0101_6^12 - 22933501151059704767731640092396784240399819771212/1450403580322224\ 4477050566601745221482329778339*c_0101_6^10 - 11999649084242022426620428771198494663301946033586/1450403580322224\ 4477050566601745221482329778339*c_0101_6^8 - 3384592971151372169550245198142590464883934119069/14504035803222244\ 477050566601745221482329778339*c_0101_6^6 - 555276848126939019910671511897712615288161564001/145040358032222444\ 77050566601745221482329778339*c_0101_6^4 - 8461941302919226476074253537628973345295065103/14504035803222244477\ 050566601745221482329778339*c_0101_6^2 + 6539319782969325096768826503696444965775627159/14504035803222244477\ 050566601745221482329778339, c_0101_4 + 575180442597761430221871608380922610710539123/14504035803222\ 244477050566601745221482329778339*c_0101_6^33 - 87429004814843641041286523243045744649344424370/1450403580322224447\ 7050566601745221482329778339*c_0101_6^31 + 190722900438649576185523017442482598362372772568/145040358032222444\ 77050566601745221482329778339*c_0101_6^29 + 6704296150201968222584458332011899272815620426445/14504035803222244\ 477050566601745221482329778339*c_0101_6^27 + 14985997405925697760215782594452099753106889386723/1450403580322224\ 4477050566601745221482329778339*c_0101_6^25 - 22380320281701197269733795860343275097196157363171/1450403580322224\ 4477050566601745221482329778339*c_0101_6^23 - 20857770405096363953326542545431853240937238645010/1450403580322224\ 4477050566601745221482329778339*c_0101_6^21 - 9270845792163542886539120701994867314647834471225/14504035803222244\ 477050566601745221482329778339*c_0101_6^19 - 20481165124589158688624080855175909869485866810812/1450403580322224\ 4477050566601745221482329778339*c_0101_6^17 - 16933959065308250743283160019521253162106650412952/1450403580322224\ 4477050566601745221482329778339*c_0101_6^15 + 2869148046050542841848667138676481475745303748766/14504035803222244\ 477050566601745221482329778339*c_0101_6^13 + 14251261832367540286685131676594500656515109790448/1450403580322224\ 4477050566601745221482329778339*c_0101_6^11 + 11417886466399798130469867062899704573685972462974/1450403580322224\ 4477050566601745221482329778339*c_0101_6^9 + 4670234717815867407385029982057959300076793689887/14504035803222244\ 477050566601745221482329778339*c_0101_6^7 + 1138112007474454947170984676161964091559896750183/14504035803222244\ 477050566601745221482329778339*c_0101_6^5 + 219807280558400601084165019911057037397105320688/145040358032222444\ 77050566601745221482329778339*c_0101_6^3 + 11136118244608549204524239867421492638042654422/1450403580322224447\ 7050566601745221482329778339*c_0101_6, c_0101_6^34 - 152*c_0101_6^32 + 331*c_0101_6^30 + 11683*c_0101_6^28 + 26014*c_0101_6^26 - 40797*c_0101_6^24 - 39623*c_0101_6^22 - 6980*c_0101_6^20 - 33981*c_0101_6^18 - 30716*c_0101_6^16 + 11143*c_0101_6^14 + 26476*c_0101_6^12 + 16069*c_0101_6^10 + 5695*c_0101_6^8 + 1338*c_0101_6^6 + 169*c_0101_6^4 + 4*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB