Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2017060016] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1581 geometric_solution 5.35878679 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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.161403445591 0.695041228966 3 2 4 0 0132 3012 0132 0132 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 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.734460899430 1.261781096057 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 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 -1 1 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.734460899430 1.261781096057 1 3 3 2 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 -1 1 -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.647424573925 0.634104381726 5 2 5 1 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475771376607 1.260762209772 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328612143177 0.152043974257 5 6 5 6 2310 2310 0132 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 -1.623009386569 0.357276562122 ==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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), '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_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_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_6' : d['c_0011_6'], '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_6' : negation(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_0']), '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_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 24125152546629066190616450315366908589510294408/2339703606360733439\ 262753714336346722409624977*c_0101_4^21 - 22832227900866247671233094524463876925826022607/7799012021202444797\ 54251238112115574136541659*c_0101_4^20 - 687508039674822428535460470360874118304405350152/233970360636073343\ 9262753714336346722409624977*c_0101_4^19 + 1264911356257059589143128386247564625145296738181/23397036063607334\ 39262753714336346722409624977*c_0101_4^18 + 6749989979599028843667234231385916194670893986781/23397036063607334\ 39262753714336346722409624977*c_0101_4^17 - 1469059277942702077927256633568704639922527971365/25996706737341482\ 6584750412704038524712180553*c_0101_4^16 - 10412941529961171493785613079056577253541464289064/7799012021202444\ 79754251238112115574136541659*c_0101_4^15 + 38033163913185377152029031028050459082974096189285/7799012021202444\ 79754251238112115574136541659*c_0101_4^14 + 41269986500320396296258810645546614607754534936348/7799012021202444\ 79754251238112115574136541659*c_0101_4^13 - 650887054629370673821119182638811899256874411941621/233970360636073\ 3439262753714336346722409624977*c_0101_4^12 - 110066857388460811657816248115225288479865962298386/259967067373414\ 826584750412704038524712180553*c_0101_4^11 + 217457233554702348481654443000246418218566776027679/779901202120244\ 479754251238112115574136541659*c_0101_4^10 + 1685457627185628830311524759683129205231104056091060/23397036063607\ 33439262753714336346722409624977*c_0101_4^9 + 307421300887269145730935713249261085972987169980093/233970360636073\ 3439262753714336346722409624977*c_0101_4^8 - 539852644458823297268628677144477148191995046842399/233970360636073\ 3439262753714336346722409624977*c_0101_4^7 - 327996360206562914079224856230817633419119815971353/233970360636073\ 3439262753714336346722409624977*c_0101_4^6 - 32471145451965477743717138431389392206892206361047/2599670673734148\ 26584750412704038524712180553*c_0101_4^5 - 12087385133795466545887617959996556569862291638717/7799012021202444\ 79754251238112115574136541659*c_0101_4^4 - 9912390681549151423200421182977134865618584945355/23397036063607334\ 39262753714336346722409624977*c_0101_4^3 + 396917308845602416603140886462614061795601142668/632352326043441470\ 07101451738820181686746621*c_0101_4^2 + 5409317047804333253216615807737004635292919977390/23397036063607334\ 39262753714336346722409624977*c_0101_4 - 260648902870568002190649282388619280603452284396/779901202120244479\ 754251238112115574136541659, c_0011_0 - 1, c_0011_1 - 104995715854449720025161715556869891444631623/77990120212024\ 4479754251238112115574136541659*c_0101_4^21 + 182353389139877908656301962898617302910298205/779901202120244479754\ 251238112115574136541659*c_0101_4^20 + 1066121819235853681153430978425334779164484602/25996706737341482658\ 4750412704038524712180553*c_0101_4^19 - 1995395341200393226650145380308968978239680792/77990120212024447975\ 4251238112115574136541659*c_0101_4^18 - 31720431332597889035007194731982564556354301826/7799012021202444797\ 54251238112115574136541659*c_0101_4^17 + 22887724221673689342469307859299213935795442224/7799012021202444797\ 54251238112115574136541659*c_0101_4^16 + 162567620836111726926996871328765808169179609866/779901202120244479\ 754251238112115574136541659*c_0101_4^15 - 106865071625928909064465391102277550933122543587/259967067373414826\ 584750412704038524712180553*c_0101_4^14 - 898273595113519634671341822135275556743221258114/779901202120244479\ 754251238112115574136541659*c_0101_4^13 + 1868667357296495800323936487292026250511535168979/77990120212024447\ 9754251238112115574136541659*c_0101_4^12 + 2130578704218428243550612505105503903501808426037/25996706737341482\ 6584750412704038524712180553*c_0101_4^11 + 4060171034655862383112142762441855843453361606421/77990120212024447\ 9754251238112115574136541659*c_0101_4^10 - 3038982487207143789307175976037602777389974824883/77990120212024447\ 9754251238112115574136541659*c_0101_4^9 - 4485958238748047107287145948816294762359361530427/77990120212024447\ 9754251238112115574136541659*c_0101_4^8 - 743459961192844767560201548574527947109337230680/259967067373414826\ 584750412704038524712180553*c_0101_4^7 - 339675883477963005918910174602577311576072995331/259967067373414826\ 584750412704038524712180553*c_0101_4^6 + 785640857849110395020222943880830938992859816/259967067373414826584\ 750412704038524712180553*c_0101_4^5 + 87569751388674462700801088196968086499067516070/7799012021202444797\ 54251238112115574136541659*c_0101_4^4 + 79588493537342015570189918162689953675095428426/7799012021202444797\ 54251238112115574136541659*c_0101_4^3 + 166961873027070658101336809323640945015929067/702613695603823855634\ 4605748757797965194069*c_0101_4^2 - 6271094164727230885613487994888710534049064041/77990120212024447975\ 4251238112115574136541659*c_0101_4 - 211424430024881587369440990113456716056557317/779901202120244479754\ 251238112115574136541659, c_0011_4 - 61739019314479250642810080058405030027267771/779901202120244\ 479754251238112115574136541659*c_0101_4^21 + 107472189045920512277275595681203695396099841/779901202120244479754\ 251238112115574136541659*c_0101_4^20 + 626344395224303713136832549444035041660670900/259967067373414826584\ 750412704038524712180553*c_0101_4^19 - 1178643090456079340238594899031763839129854287/77990120212024447975\ 4251238112115574136541659*c_0101_4^18 - 18610105948162869393414688482554591033835149467/7799012021202444797\ 54251238112115574136541659*c_0101_4^17 + 13508485576642758289695530117859451060052292008/7799012021202444797\ 54251238112115574136541659*c_0101_4^16 + 95167205249898706141409800824515593773789302221/7799012021202444797\ 54251238112115574136541659*c_0101_4^15 - 62875309342419479154067310286277775113534523509/2599670673734148265\ 84750412704038524712180553*c_0101_4^14 - 525531792715456688796314555769460363825662527201/779901202120244479\ 754251238112115574136541659*c_0101_4^13 + 1097184671099922312648471213912387352935459070042/77990120212024447\ 9754251238112115574136541659*c_0101_4^12 + 1247818626631999137515528765172516091450142259314/25996706737341482\ 6584750412704038524712180553*c_0101_4^11 + 2394362347346813452545067152332764819177718521493/77990120212024447\ 9754251238112115574136541659*c_0101_4^10 - 1720755810936797952853723427920289254411531162154/77990120212024447\ 9754251238112115574136541659*c_0101_4^9 - 2584865682071444722490673071576225975508878829746/77990120212024447\ 9754251238112115574136541659*c_0101_4^8 - 449048531658755044878589326549485678399384599499/259967067373414826\ 584750412704038524712180553*c_0101_4^7 - 218787173293559883085700721041548257938547431544/259967067373414826\ 584750412704038524712180553*c_0101_4^6 - 5316289026165700849710740756253537181040237515/25996706737341482658\ 4750412704038524712180553*c_0101_4^5 + 50601993601984066845418966881665784065530039343/7799012021202444797\ 54251238112115574136541659*c_0101_4^4 + 49416471156528916673813180112672054225830289278/7799012021202444797\ 54251238112115574136541659*c_0101_4^3 + 117211995710102417166869527802008719304594473/702613695603823855634\ 4605748757797965194069*c_0101_4^2 - 2834821487775727845518827801220919366942495023/77990120212024447975\ 4251238112115574136541659*c_0101_4 - 650200551318647426446696503603128302776788315/779901202120244479754\ 251238112115574136541659, c_0011_6 + 2880444352826430257369596248379438256549833/4587654130119085\ 1750250072830124445537443627*c_0101_4^21 - 4888444047081346508363869452251674298951506/45876541301190851750250\ 072830124445537443627*c_0101_4^20 - 29310325970589661919609035143665929736471020/1529218043373028391675\ 0024276708148512481209*c_0101_4^19 + 51210292872852643289104710537343569991643864/4587654130119085175025\ 0072830124445537443627*c_0101_4^18 + 872153206010284440811222162212001415004362650/458765413011908517502\ 50072830124445537443627*c_0101_4^17 - 592397601174206080620997824229649511921410491/458765413011908517502\ 50072830124445537443627*c_0101_4^16 - 1494361351581156923627542516203903578442306978/15292180433730283916\ 750024276708148512481209*c_0101_4^15 + 8609926760316642403099712902178979665976537887/45876541301190851750\ 250072830124445537443627*c_0101_4^14 + 24988982365100236070467605866725595869287036548/4587654130119085175\ 0250072830124445537443627*c_0101_4^13 - 50236871719866225545818994411925610935157684799/4587654130119085175\ 0250072830124445537443627*c_0101_4^12 - 177394932218051641867618109463909651520596221024/458765413011908517\ 50250072830124445537443627*c_0101_4^11 - 118601890332706546518298745672922396889646208062/458765413011908517\ 50250072830124445537443627*c_0101_4^10 + 78784983949176166234547215385268684823010682130/4587654130119085175\ 0250072830124445537443627*c_0101_4^9 + 126899467930892618245079723827369948934585635772/458765413011908517\ 50250072830124445537443627*c_0101_4^8 + 22370669998360817620589789162620856090118102377/1529218043373028391\ 6750024276708148512481209*c_0101_4^7 + 10314344308678013447940551641843245990126300052/1529218043373028391\ 6750024276708148512481209*c_0101_4^6 + 170062855402978529414586216869594861046644723/152921804337302839167\ 50024276708148512481209*c_0101_4^5 - 3163967406357559295972785113976094673194880583/45876541301190851750\ 250072830124445537443627*c_0101_4^4 - 2494529182465896218110607371665786337248294698/45876541301190851750\ 250072830124445537443627*c_0101_4^3 - 6834209177588447306330451738946730403878795/41330217388460226802027\ 0926397517527364357*c_0101_4^2 + 1493069529688963471514411892354898\ 89208270027/45876541301190851750250072830124445537443627*c_0101_4 + 34070722646152726349687796013287448975066142/4587654130119085175025\ 0072830124445537443627, c_0101_0 + 94763821660889350184365732527327075409706483/779901202120244\ 479754251238112115574136541659*c_0101_4^21 - 168089882854312742682300438363174010914671344/779901202120244479754\ 251238112115574136541659*c_0101_4^20 - 958601846176184512012453930251939237667448124/259967067373414826584\ 750412704038524712180553*c_0101_4^19 + 1898581857262930148064637591490650962256098691/77990120212024447975\ 4251238112115574136541659*c_0101_4^18 + 28419193396687667036396233012706417997913299463/7799012021202444797\ 54251238112115574136541659*c_0101_4^17 - 21601973883851681620774623913717592900267292968/7799012021202444797\ 54251238112115574136541659*c_0101_4^16 - 144553336108265910959835347393864242746144934171/779901202120244479\ 754251238112115574136541659*c_0101_4^15 + 97841140918594629828875466743650810279607942079/2599670673734148265\ 84750412704038524712180553*c_0101_4^14 + 792988865897107719298162063535070368836079720408/779901202120244479\ 754251238112115574136541659*c_0101_4^13 - 1701039564033421593092664057228832761542895603754/77990120212024447\ 9754251238112115574136541659*c_0101_4^12 - 1889589118977921475076383862877036649744887190011/25996706737341482\ 6584750412704038524712180553*c_0101_4^11 - 3540313696556214707748654018514165419722037787289/77990120212024447\ 9754251238112115574136541659*c_0101_4^10 + 2604701862372192999218188777273615040581880985908/77990120212024447\ 9754251238112115574136541659*c_0101_4^9 + 3798344201211696501831598567314278372594323309928/77990120212024447\ 9754251238112115574136541659*c_0101_4^8 + 669828590049600762186576109562091396584298493656/259967067373414826\ 584750412704038524712180553*c_0101_4^7 + 340808194770515169073865210437786233644633162652/259967067373414826\ 584750412704038524712180553*c_0101_4^6 + 14875254490769198552563283697182420889632352321/2599670673734148265\ 84750412704038524712180553*c_0101_4^5 - 37283727386045745907662211720531085859622349867/7799012021202444797\ 54251238112115574136541659*c_0101_4^4 - 68673010213769074842169639384263746838524028980/7799012021202444797\ 54251238112115574136541659*c_0101_4^3 - 152817990450185496966001794147925595720363988/702613695603823855634\ 4605748757797965194069*c_0101_4^2 + 3198571614715409426719749766936453473863449565/77990120212024447975\ 4251238112115574136541659*c_0101_4 - 253778060984683550249749409820094817246350615/779901202120244479754\ 251238112115574136541659, c_0101_1 - 80229552410991239846015971387772311245876437/779901202120244\ 479754251238112115574136541659*c_0101_4^21 + 147321345986697670005558674495556828560599865/779901202120244479754\ 251238112115574136541659*c_0101_4^20 + 2429394891724096955396525370965698937918287246/77990120212024447975\ 4251238112115574136541659*c_0101_4^19 - 588511309610390421554500876280499276502815559/259967067373414826584\ 750412704038524712180553*c_0101_4^18 - 24068123955759465123155575133534555978195715769/7799012021202444797\ 54251238112115574136541659*c_0101_4^17 + 19854634503822572717212645984012836945392034566/7799012021202444797\ 54251238112115574136541659*c_0101_4^16 + 40769087801576705261548741118488495402550198694/2599670673734148265\ 84750412704038524712180553*c_0101_4^15 - 256871493373961252531896952744560580090341980632/779901202120244479\ 754251238112115574136541659*c_0101_4^14 - 220432400754359163569118861632134124428155693421/259967067373414826\ 584750412704038524712180553*c_0101_4^13 + 497533527877583571525589090978263340424883390979/259967067373414826\ 584750412704038524712180553*c_0101_4^12 + 1579958330744384582850966072179757076299026351405/25996706737341482\ 6584750412704038524712180553*c_0101_4^11 + 2636490934692186024896941678411149456280896225508/77990120212024447\ 9754251238112115574136541659*c_0101_4^10 - 869938364189511676613088540752176535593849071076/259967067373414826\ 584750412704038524712180553*c_0101_4^9 - 3228753788762473521623200113974170221251036938808/77990120212024447\ 9754251238112115574136541659*c_0101_4^8 - 471333813881533067087893290572371837002770115152/259967067373414826\ 584750412704038524712180553*c_0101_4^7 - 203270562500098125525794429599665803983566543386/259967067373414826\ 584750412704038524712180553*c_0101_4^6 + 33460288590839320212453320903072319127371994115/2599670673734148265\ 84750412704038524712180553*c_0101_4^5 + 78944745512443227946692047283529463878443882653/7799012021202444797\ 54251238112115574136541659*c_0101_4^4 + 64462121231268100075489306586739749681653552819/7799012021202444797\ 54251238112115574136541659*c_0101_4^3 + 248046155306320980382171806144604816343831912/210784108681147156690\ 33817246273393895582207*c_0101_4^2 - 2145926007575772436304843390213282557031094415/25996706737341482658\ 4750412704038524712180553*c_0101_4 - 115609480558791601514986361968392236669378132/779901202120244479754\ 251238112115574136541659, c_0101_4^22 - 2*c_0101_4^21 - 30*c_0101_4^20 + 27*c_0101_4^19 + 297*c_0101_4^18 - 297*c_0101_4^17 - 1490*c_0101_4^16 + 3456*c_0101_4^15 + 7749*c_0101_4^14 - 20017*c_0101_4^13 - 56200*c_0101_4^12 - 22823*c_0101_4^11 + 39106*c_0101_4^10 + 35667*c_0101_4^9 + 10538*c_0101_4^8 + 3945*c_0101_4^7 - 3000*c_0101_4^6 - 1045*c_0101_4^5 - 619*c_0101_4^4 + 21*c_0101_4^3 + 114*c_0101_4^2 - 6*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB