Magma V2.19-8 Tue Aug 20 2013 16:18:27 on localhost [Seed = 896837634] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2647 geometric_solution 5.91834399 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423926815501 0.396580034918 0 1 5 1 0132 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 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.753408082001 0.999882502000 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146051593090 1.368178846035 6 5 6 0 0132 0132 1023 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 1.113437083591 0.892798688014 5 4 0 4 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734078391441 1.384114445697 4 3 2 1 0132 0132 0132 0132 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 -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.423926815501 0.396580034918 3 6 3 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515855622257 0.225677891935 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), '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_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 45662498747051932003352066524562699256583031035392/8029262233411252\ 358466416345255715421262747771*c_1001_0^20 - 1457261976960640143370746312252879422643036932453472/88321884567523\ 775943130579797812869633890225481*c_1001_0^19 + 979971105586529200760690461316757049657470009177772/883218845675237\ 75943130579797812869633890225481*c_1001_0^18 - 1204000832117621276633670475205251571174575140996112/88321884567523\ 775943130579797812869633890225481*c_1001_0^17 + 1558866810839715086626539667126540547619746302098963/88321884567523\ 775943130579797812869633890225481*c_1001_0^16 - 9433474038865246238582498191900088633072859313316395/17664376913504\ 7551886261159595625739267780450962*c_1001_0^15 + 3015020814882075705939404770564370059984369509800772/88321884567523\ 775943130579797812869633890225481*c_1001_0^14 + 7423354284910444185176723206398364058334610959259385/88321884567523\ 775943130579797812869633890225481*c_1001_0^13 - 208103720638434452385957766903231311280790484994598/679399112057875\ 1995625429215216374587222325037*c_1001_0^12 - 221176625061798828216434273868775345201083631239471/802926223341125\ 2358466416345255715421262747771*c_1001_0^11 + 16583545458423051107878502391727137457854273137093878/8832188456752\ 3775943130579797812869633890225481*c_1001_0^10 - 28504154282584878538618681239485096688984561668274155/1766437691350\ 47551886261159595625739267780450962*c_1001_0^9 - 447852037160480476738236558660437799816875355965186/679399112057875\ 1995625429215216374587222325037*c_1001_0^8 + 1630089361628787359671459201333979619764979265327398/67939911205787\ 51995625429215216374587222325037*c_1001_0^7 - 16754182678469492604598409437787635163097972176307352/8832188456752\ 3775943130579797812869633890225481*c_1001_0^6 + 3066814923313690174505938694830661174799734039637283/17664376913504\ 7551886261159595625739267780450962*c_1001_0^5 + 16045166421988167477164525568571606518300786342483246/8832188456752\ 3775943130579797812869633890225481*c_1001_0^4 - 6890266661934169461962702901139214602406080734959127/88321884567523\ 775943130579797812869633890225481*c_1001_0^3 - 4399647332732738010976900861632437750717803533874886/88321884567523\ 775943130579797812869633890225481*c_1001_0^2 + 2467771759141285129340475015066463192119720667836637/17664376913504\ 7551886261159595625739267780450962*c_1001_0 + 9665964901410188895751437553796480873990806788211/16058524466822504\ 716932832690511430842525495542, c_0011_0 - 1, c_0011_3 - 266886236616352952775162345266343668131105857152/88321884567\ 523775943130579797812869633890225481*c_1001_0^20 + 1005664325661492728146284425805417213646969857160/88321884567523775\ 943130579797812869633890225481*c_1001_0^19 - 1347466799556265364422895448422875120279361660660/88321884567523775\ 943130579797812869633890225481*c_1001_0^18 + 148271817960230762845306068791785663974984616166/802926223341125235\ 8466416345255715421262747771*c_1001_0^17 - 182555118317619705017450544105340861709993373722/802926223341125235\ 8466416345255715421262747771*c_1001_0^16 + 726630846747932051112412170787599031175561197715/160585244668225047\ 16932832690511430842525495542*c_1001_0^15 - 4735081396659866119405568993605620126740388920524/88321884567523775\ 943130579797812869633890225481*c_1001_0^14 - 493572442250841649066403531930970064359611643144/883218845675237759\ 43130579797812869633890225481*c_1001_0^13 + 206164168940476372358452368939892878872901920905/679399112057875199\ 5625429215216374587222325037*c_1001_0^12 - 855032202202182916392947179202786090613008939205/883218845675237759\ 43130579797812869633890225481*c_1001_0^11 - 8714660627051585288654444206278708336887696642288/88321884567523775\ 943130579797812869633890225481*c_1001_0^10 + 30266506918756762206416209989943465776766493412037/1766437691350475\ 51886261159595625739267780450962*c_1001_0^9 - 59595315723116738265301919635888523529848212778/6176355564162501814\ 20493565019670417020211367*c_1001_0^8 - 510338638965815441578891770272363216512987372930/679399112057875199\ 5625429215216374587222325037*c_1001_0^7 + 15882237073464780741018757751123387884257484546130/8832188456752377\ 5943130579797812869633890225481*c_1001_0^6 - 25989908535245945066663681736488975245140733212937/1766437691350475\ 51886261159595625739267780450962*c_1001_0^5 - 102066927202120276134373975784070613969770038062/883218845675237759\ 43130579797812869633890225481*c_1001_0^4 + 5760763769440462769816559218834719877018778603034/88321884567523775\ 943130579797812869633890225481*c_1001_0^3 - 2295668969101411231816590019024893390371864315419/88321884567523775\ 943130579797812869633890225481*c_1001_0^2 + 81295025003541545696599702600917171728333642885/1766437691350475518\ 86261159595625739267780450962*c_1001_0 + 17765930315977662038419170788043903201863673563/1605852446682250471\ 6932832690511430842525495542, c_0101_0 - 77701576261434547859107055271801684692298322688/802926223341\ 1252358466416345255715421262747771*c_1001_0^20 + 2439888998186785203914283779895162996768987885776/88321884567523775\ 943130579797812869633890225481*c_1001_0^19 - 1527625764568440839210226654162024994774404536192/88321884567523775\ 943130579797812869633890225481*c_1001_0^18 + 1888026410281421574751146331803348150541429052684/88321884567523775\ 943130579797812869633890225481*c_1001_0^17 - 2465332651361727187491048071554150513344678494282/88321884567523775\ 943130579797812869633890225481*c_1001_0^16 + 7791009069455193757881028608119844361952390027590/88321884567523775\ 943130579797812869633890225481*c_1001_0^15 - 4616710835215243964289372074250741978343756931431/88321884567523775\ 943130579797812869633890225481*c_1001_0^14 - 13181173224547077724843401502240006540002889102105/8832188456752377\ 5943130579797812869633890225481*c_1001_0^13 + 333413867878098119789949983862971463980964626492/679399112057875199\ 5625429215216374587222325037*c_1001_0^12 + 4531589945469557706641832916344310871763218005125/88321884567523775\ 943130579797812869633890225481*c_1001_0^11 - 28214424392472886558055142417965732943626074471518/8832188456752377\ 5943130579797812869633890225481*c_1001_0^10 + 22927186639077597392118226929600882497649812825274/8832188456752377\ 5943130579797812869633890225481*c_1001_0^9 + 911698231698999412054956714734446344004202136554/679399112057875199\ 5625429215216374587222325037*c_1001_0^8 - 2823243315885449695139756574606381390002875883887/67939911205787519\ 95625429215216374587222325037*c_1001_0^7 + 27141017389828234692861393356825583369405460699974/8832188456752377\ 5943130579797812869633890225481*c_1001_0^6 - 574756133532971569111215767062810260293409795565/883218845675237759\ 43130579797812869633890225481*c_1001_0^5 - 28599334831826846306206915444353212407352176876831/8832188456752377\ 5943130579797812869633890225481*c_1001_0^4 + 11108382477578371210165255319652449610624854675158/8832188456752377\ 5943130579797812869633890225481*c_1001_0^3 + 8357916911047808604702024408288578626199772300232/88321884567523775\ 943130579797812869633890225481*c_1001_0^2 - 2186692811702848026537815598783732698413459606495/88321884567523775\ 943130579797812869633890225481*c_1001_0 - 173293872698295738684995435849166920677711489438/883218845675237759\ 43130579797812869633890225481, c_0101_1 + 11625133510779924825802427437484163984885063424/802926223341\ 1252358466416345255715421262747771*c_1001_0^20 - 464595444111392784201769272196598682702109006224/883218845675237759\ 43130579797812869633890225481*c_1001_0^19 + 565479950773689893993004161493264891387321898616/883218845675237759\ 43130579797812869633890225481*c_1001_0^18 - 648622582363989232550470453945289066056963414108/883218845675237759\ 43130579797812869633890225481*c_1001_0^17 + 822894190536004607012622081988661505848897987416/883218845675237759\ 43130579797812869633890225481*c_1001_0^16 - 1748325781064458282496501489856497554624312840721/88321884567523775\ 943130579797812869633890225481*c_1001_0^15 + 1963529364594697241224000541186039180987066971941/88321884567523775\ 943130579797812869633890225481*c_1001_0^14 + 679509809181697284846913522206335462434643078139/883218845675237759\ 43130579797812869633890225481*c_1001_0^13 - 103948364662275519021156070894460639614903254502/679399112057875199\ 5625429215216374587222325037*c_1001_0^12 + 5283114272089957435200612232596540141793600180/88321884567523775943\ 130579797812869633890225481*c_1001_0^11 + 4364876146472117295348841236853514910584979356517/88321884567523775\ 943130579797812869633890225481*c_1001_0^10 - 6633009113969447641572609858389899696025201497739/88321884567523775\ 943130579797812869633890225481*c_1001_0^9 + 201326707475796343903174340844213748737986174311/679399112057875199\ 5625429215216374587222325037*c_1001_0^8 + 326413666599554772388193541218529097334577848828/679399112057875199\ 5625429215216374587222325037*c_1001_0^7 - 7001469656218109846984690525940331758368296459560/88321884567523775\ 943130579797812869633890225481*c_1001_0^6 + 4471686954532483014232727538776961969368869280933/88321884567523775\ 943130579797812869633890225481*c_1001_0^5 + 1491363907367648070688015094289838636507180553455/88321884567523775\ 943130579797812869633890225481*c_1001_0^4 - 2962296997874574052611269535770585297073109958412/88321884567523775\ 943130579797812869633890225481*c_1001_0^3 + 244728379753903942883505550910729441726016166431/883218845675237759\ 43130579797812869633890225481*c_1001_0^2 + 426882959068432599216370626285741572883273903019/883218845675237759\ 43130579797812869633890225481*c_1001_0 - 1358593216362214241773512307927648517638769947/88321884567523775943\ 130579797812869633890225481, c_0101_2 - 243880676357746297766238816848576/12458567164574945392761331\ 543159*c_1001_0^20 + 777343990493485144781556606643708/124585671645\ 74945392761331543159*c_1001_0^19 - 720349469983849291150588527346736/12458567164574945392761331543159*\ c_1001_0^18 + 872845803694990485208498753583747/1245856716457494539\ 2761331543159*c_1001_0^17 - 202286452655269182829454370394889/22651\ 94029922717344138423916938*c_1001_0^16 + 248603022276310486695597498747007/1132597014961358672069211958469*c\ _1001_0^15 - 2404940224541521798926008216898571/1245856716457494539\ 2761331543159*c_1001_0^14 - 2595866299847790785221825490262940/1245\ 8567164574945392761331543159*c_1001_0^13 + 1683048374085304260024145022369773/12458567164574945392761331543159\ *c_1001_0^12 + 628694055150327781840325920784346/124585671645749453\ 92761331543159*c_1001_0^11 - 1456585253479940344326008268365641/226\ 5194029922717344138423916938*c_1001_0^10 + 9177291840828924610245422617313525/12458567164574945392761331543159\ *c_1001_0^9 - 524014948237297473236142993008492/1245856716457494539\ 2761331543159*c_1001_0^8 - 8927603449342371420215764616313756/12458\ 567164574945392761331543159*c_1001_0^7 + 20183792323125633348726957231066263/2491713432914989078552266308631\ 8*c_1001_0^6 - 4235683405116797411791001773888364/12458567164574945\ 392761331543159*c_1001_0^5 - 5324070978023142155882673906514299/124\ 58567164574945392761331543159*c_1001_0^4 + 3913263940545066119564760800907290/12458567164574945392761331543159\ *c_1001_0^3 + 1839004963112311964742607612318171/249171343291498907\ 85522663086318*c_1001_0^2 - 788130800387827693669454876808223/24917\ 134329149890785522663086318*c_1001_0 - 25558243448884750812874842824929/12458567164574945392761331543159, c_0101_3 + 14736923350232485690399352847251949257391343040/802926223341\ 1252358466416345255715421262747771*c_1001_0^20 + 3361891946339486348972370949299743396592427548/88321884567523775943\ 130579797812869633890225481*c_1001_0^19 - 1315067136148132877008777456858910628865943885380/88321884567523775\ 943130579797812869633890225481*c_1001_0^18 + 1460074432254002837915596532613404958566104542083/88321884567523775\ 943130579797812869633890225481*c_1001_0^17 - 3526272729876782724957452418273216668176080998509/17664376913504755\ 1886261159595625739267780450962*c_1001_0^16 + 2615077594086487306525651552372129561122038623303/17664376913504755\ 1886261159595625739267780450962*c_1001_0^15 - 5177905694682723241346890994398606872900999517107/88321884567523775\ 943130579797812869633890225481*c_1001_0^14 + 8788013809219822180133637620058294304191426522976/88321884567523775\ 943130579797812869633890225481*c_1001_0^13 + 168103760209188751123630288867796931237664200179/679399112057875199\ 5625429215216374587222325037*c_1001_0^12 - 4551258600970405335297372221571771713307021365872/88321884567523775\ 943130579797812869633890225481*c_1001_0^11 + 10853667171984757565971832020317212686572997283831/1766437691350475\ 51886261159595625739267780450962*c_1001_0^10 + 1959007758561995117117751191251480903271023313559/16058524466822504\ 716932832690511430842525495542*c_1001_0^9 - 1822539380473953358018812930520808748313564130754/67939911205787519\ 95625429215216374587222325037*c_1001_0^8 + 1107695635582513515113378309433506095262595949933/67939911205787519\ 95625429215216374587222325037*c_1001_0^7 + 17794248217409970279640995904978922077100591897455/1766437691350475\ 51886261159595625739267780450962*c_1001_0^6 - 45401220606554763394269245441455790539245954708535/1766437691350475\ 51886261159595625739267780450962*c_1001_0^5 + 20340927871588695682615327130909508864256037594637/8832188456752377\ 5943130579797812869633890225481*c_1001_0^4 + 2928040078550700704490519188211251979259852472801/88321884567523775\ 943130579797812869633890225481*c_1001_0^3 - 19496531377093118024086324035253269304499094728913/1766437691350475\ 51886261159595625739267780450962*c_1001_0^2 + 1295539828164569598582679126360613440477806832863/88321884567523775\ 943130579797812869633890225481*c_1001_0 + 369020756038886576550650608405431383214088459879/176643769135047551\ 886261159595625739267780450962, c_1001_0^21 - 45/16*c_1001_0^20 + 27/16*c_1001_0^19 - 141/64*c_1001_0^18 + 367/128*c_1001_0^17 - 1163/128*c_1001_0^16 + 657/128*c_1001_0^15 + 985/64*c_1001_0^14 - 133/32*c_1001_0^13 - 343/64*c_1001_0^12 + 4177/128*c_1001_0^11 - 3257/128*c_1001_0^10 - 1831/128*c_1001_0^9 + 663/16*c_1001_0^8 - 3803/128*c_1001_0^7 - 11/128*c_1001_0^6 + 4161/128*c_1001_0^5 - 709/64*c_1001_0^4 - 1285/128*c_1001_0^3 + 57/32*c_1001_0^2 + 5/16*c_1001_0 + 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB