Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 4105529491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s769 geometric_solution 5.32248860 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.323071157206 0.503758045910 3 2 4 0 0132 3012 0132 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 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.544547391330 0.991112141954 1 3 0 4 1230 0132 0132 3201 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 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 0 0 0 0.544547391330 0.991112141954 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997561701631 1.143079297121 5 2 5 1 0132 2310 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 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.740994314336 1.786341413150 4 4 5 5 0132 3201 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 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.245725342771 0.248337028280 ==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_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_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_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 870452508256466326425069475486851/3773830434312015099721995594842*c\ _0101_4^20 + 3685499037564379743185280818071167/3773830434312015099\ 721995594842*c_0101_4^19 + 16869863009418773360133043545468867/1886\ 915217156007549860997797421*c_0101_4^18 - 94968638028253775030944453563199301/3773830434312015099721995594842\ *c_0101_4^17 - 250342033900397981824806816375392492/188691521715600\ 7549860997797421*c_0101_4^16 + 331205130373530799352273582964617891\ /1886915217156007549860997797421*c_0101_4^15 + 1871051382712856588239715046459051752/18869152171560075498609977974\ 21*c_0101_4^14 - 521680880550386550158387511592797135/3773830434312\ 015099721995594842*c_0101_4^13 - 6841747506514086461688548788883784\ 178/1886915217156007549860997797421*c_0101_4^12 - 4816603947944314778958833012555094945/18869152171560075498609977974\ 21*c_0101_4^11 + 18629677356726707308525146835530471453/37738304343\ 12015099721995594842*c_0101_4^10 + 29194499975268882781107003454308651877/3773830434312015099721995594\ 842*c_0101_4^9 + 3588945094432644437575759926438698766/188691521715\ 6007549860997797421*c_0101_4^8 - 4517537049469851456761974231882992\ 417/1886915217156007549860997797421*c_0101_4^7 - 2273767431425217256829928544188556297/18869152171560075498609977974\ 21*c_0101_4^6 + 459567196167693493178428341326744846/18869152171560\ 07549860997797421*c_0101_4^5 + 296228787212709050793212257739831082\ /1886915217156007549860997797421*c_0101_4^4 - 33071664637710510124913964775437200/1886915217156007549860997797421\ *c_0101_4^3 - 7763002192240120709474259503456227/377383043431201509\ 9721995594842*c_0101_4^2 + 4382050469287364705626242896766933/37738\ 30434312015099721995594842*c_0101_4 - 869149965781124902111917656787449/1886915217156007549860997797421, c_0011_0 - 1, c_0011_1 - 30114471971988788515470269828658/188691521715600754986099779\ 7421*c_0101_4^20 + 145672390351465513297106395093626/18869152171560\ 07549860997797421*c_0101_4^19 + 1063783717344490623617855371495842/\ 1886915217156007549860997797421*c_0101_4^18 - 3840964292847352482294070470084263/1886915217156007549860997797421*\ c_0101_4^17 - 14514695150656222577893466056163164/18869152171560075\ 49860997797421*c_0101_4^16 + 29347448492837952957556702547794893/18\ 86915217156007549860997797421*c_0101_4^15 + 105893092400404082200818273244589914/188691521715600754986099779742\ 1*c_0101_4^14 - 62794641751570008427529443682646031/188691521715600\ 7549860997797421*c_0101_4^13 - 394406074695191784140380169999195195\ /1886915217156007549860997797421*c_0101_4^12 - 155242801237170291756078996197328779/188691521715600754986099779742\ 1*c_0101_4^11 + 578521336376651431747995382224931586/18869152171560\ 07549860997797421*c_0101_4^10 + 68802760634340927424060925189704764\ 0/1886915217156007549860997797421*c_0101_4^9 + 102880726466861032281029560370219754/188691521715600754986099779742\ 1*c_0101_4^8 - 205507555178092354112099037166260978/188691521715600\ 7549860997797421*c_0101_4^7 - 79728340185465178773200263947314543/1\ 886915217156007549860997797421*c_0101_4^6 + 19442992750945909783656955656460992/1886915217156007549860997797421\ *c_0101_4^5 + 8732256459099638584403985983037201/188691521715600754\ 9860997797421*c_0101_4^4 - 1229600410523023821625794693311559/18869\ 15217156007549860997797421*c_0101_4^3 + 17528565966748430543173044989445/1886915217156007549860997797421*c_\ 0101_4^2 + 66509757004402673701877936640844/18869152171560075498609\ 97797421*c_0101_4 - 26968821069428129396909081518426/18869152171560\ 07549860997797421, c_0011_4 - 6439425713839612654473876125208/1886915217156007549860997797\ 421*c_0101_4^20 + 29207211954672704254209552388569/1886915217156007\ 549860997797421*c_0101_4^19 + 237977345693536755878969881172065/188\ 6915217156007549860997797421*c_0101_4^18 - 758771700956425610624448938640143/1886915217156007549860997797421*c\ _0101_4^17 - 3387095874748837316124168721496068/1886915217156007549\ 860997797421*c_0101_4^16 + 5503558381477998572801307539890735/18869\ 15217156007549860997797421*c_0101_4^15 + 24974273771700260800108583403096915/1886915217156007549860997797421\ *c_0101_4^14 - 7965807300618157465895624914352250/18869152171560075\ 49860997797421*c_0101_4^13 - 91484816257852993708722426562713935/18\ 86915217156007549860997797421*c_0101_4^12 - 54289096724005122617707280047529141/1886915217156007549860997797421\ *c_0101_4^11 + 125752894285318125524305541864054931/188691521715600\ 7549860997797421*c_0101_4^10 + 182355787214573656148711733843354443\ /1886915217156007549860997797421*c_0101_4^9 + 45674304523424435281501797425576064/1886915217156007549860997797421\ *c_0101_4^8 - 49573768075649702297053140592171756/18869152171560075\ 49860997797421*c_0101_4^7 - 25499678757889555476555092355129212/188\ 6915217156007549860997797421*c_0101_4^6 + 4005210009802858045769897431948393/1886915217156007549860997797421*\ c_0101_4^5 + 2771972336880131702085322083708739/1886915217156007549\ 860997797421*c_0101_4^4 - 307173401513809773070415636047926/1886915\ 217156007549860997797421*c_0101_4^3 - 6632913352058192355606962803080/1886915217156007549860997797421*c_0\ 101_4^2 + 20082183336257992256994912519129/188691521715600754986099\ 7797421*c_0101_4 - 8312275109429699881905201499988/1886915217156007\ 549860997797421, c_0101_0 - 30718313511018582126275901493335/188691521715600754986099779\ 7421*c_0101_4^20 + 152052618204560836951540878009123/18869152171560\ 07549860997797421*c_0101_4^19 + 1065975830160988977144055852608927/\ 1886915217156007549860997797421*c_0101_4^18 - 4026258833301473598826327905731943/1886915217156007549860997797421*\ c_0101_4^17 - 14292383536571778909272459130863371/18869152171560075\ 49860997797421*c_0101_4^16 + 31225569493832096921514222058098282/18\ 86915217156007549860997797421*c_0101_4^15 + 103831708235638852579584948599654772/188691521715600754986099779742\ 1*c_0101_4^14 - 73038603401534963713259608926540983/188691521715600\ 7549860997797421*c_0101_4^13 - 389502501261795197823107812310768071\ /1886915217156007549860997797421*c_0101_4^12 - 123887947215824746837223601829196765/188691521715600754986099779742\ 1*c_0101_4^11 + 585596778858089332470622479498276885/18869152171560\ 07549860997797421*c_0101_4^10 + 64569666985533775587823020836584656\ 1/1886915217156007549860997797421*c_0101_4^9 + 66754320045995576184041638283501236/1886915217156007549860997797421\ *c_0101_4^8 - 205451802721032906446481262415092585/1886915217156007\ 549860997797421*c_0101_4^7 - 71876680138514467704703200343254966/18\ 86915217156007549860997797421*c_0101_4^6 + 20511317700295502983787767703259179/1886915217156007549860997797421\ *c_0101_4^5 + 8650671229767545588478069281521870/188691521715600754\ 9860997797421*c_0101_4^4 - 1090606794791759417351334387222182/18869\ 15217156007549860997797421*c_0101_4^3 - 43794569867942553942026117998738/1886915217156007549860997797421*c_\ 0101_4^2 + 57816699788571784768790171677913/18869152171560075498609\ 97797421*c_0101_4 - 26255160697708048700328040054578/18869152171560\ 07549860997797421, c_0101_1 - 12030462004953755833872060390357/188691521715600754986099779\ 7421*c_0101_4^20 + 56366956444613069949122426343501/188691521715600\ 7549860997797421*c_0101_4^19 + 435970032652864020888941352678047/18\ 86915217156007549860997797421*c_0101_4^18 - 1482127199131946031135748311026320/1886915217156007549860997797421*\ c_0101_4^17 - 6096990270583011982710971732439238/188691521715600754\ 9860997797421*c_0101_4^16 + 11171580252426889171852280058173975/188\ 6915217156007549860997797421*c_0101_4^15 + 44833810647075550088416253987842352/1886915217156007549860997797421\ *c_0101_4^14 - 21341675083677322712321675294955858/1886915217156007\ 549860997797421*c_0101_4^13 - 166558877023601169180718497390443849/\ 1886915217156007549860997797421*c_0101_4^12 - 77493851220055274216942262502136027/1886915217156007549860997797421\ *c_0101_4^11 + 241963638445302821313710300451453485/188691521715600\ 7549860997797421*c_0101_4^10 + 305223629263327913289094842211592582\ /1886915217156007549860997797421*c_0101_4^9 + 48483998305251925432512080717142317/1886915217156007549860997797421\ *c_0101_4^8 - 96661409282460291747067341253466261/18869152171560075\ 49860997797421*c_0101_4^7 - 39006629947992187909771774538113338/188\ 6915217156007549860997797421*c_0101_4^6 + 9912509708467248494789340686082410/1886915217156007549860997797421*\ c_0101_4^5 + 4822928552427512872395769997991568/1886915217156007549\ 860997797421*c_0101_4^4 - 585689555875508334049713083814919/1886915\ 217156007549860997797421*c_0101_4^3 - 23156564444065248205892112380434/1886915217156007549860997797421*c_\ 0101_4^2 + 30424032482391858907295481016045/18869152171560075498609\ 97797421*c_0101_4 - 14748069507091017016961537934208/18869152171560\ 07549860997797421, c_0101_4^21 - 5*c_0101_4^20 - 104/3*c_0101_4^19 + 134*c_0101_4^18 + 1396/3*c_0101_4^17 - 1072*c_0101_4^16 - 10223/3*c_0101_4^15 + 2814*c_0101_4^14 + 39329/3*c_0101_4^13 + 7615/3*c_0101_4^12 - 64253/3*c_0101_4^11 - 19541*c_0101_4^10 + 2616*c_0101_4^9 + 26639/3*c_0101_4^8 + 1112*c_0101_4^7 - 4958/3*c_0101_4^6 - 560/3*c_0101_4^5 + 472/3*c_0101_4^4 - 31/3*c_0101_4^3 - 11/3*c_0101_4^2 + 2*c_0101_4 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB