Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 4256981292] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1356 geometric_solution 5.22449366 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 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 1 0 -1 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596136657747 0.115898690087 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 -1 1 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.718837430602 0.387389149340 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -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 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 1.698683874152 0.425043301554 2 4 6 5 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 -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.822462111340 0.902566742038 5 6 3 2 3201 0132 3012 0132 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 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.822462111340 0.902566742038 5 5 3 4 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.489304690700 0.658090475507 6 4 6 3 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.244060315458 0.870775121219 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_5']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 11307588833949306547/8066397283359281*c_0101_3^20 + 2432152811293590756239/258124713067496992*c_0101_3^19 - 4389297038956634990395/258124713067496992*c_0101_3^18 - 4112669542441011701671/258124713067496992*c_0101_3^17 + 23454314562321177552041/258124713067496992*c_0101_3^16 - 15553039847833875203695/258124713067496992*c_0101_3^15 - 1140513861143096710385/8066397283359281*c_0101_3^14 + 30918384941596860104485/129062356533748496*c_0101_3^13 + 10630492344719644789899/258124713067496992*c_0101_3^12 - 52939129093755281478791/129062356533748496*c_0101_3^11 + 2383663198988182644373/32265589133437124*c_0101_3^10 + 18654239881060675747363/64531178266874248*c_0101_3^9 - 4381277045872841177929/16132794566718562*c_0101_3^8 - 25557155007717154690791/258124713067496992*c_0101_3^7 + 118370778594564342515857/258124713067496992*c_0101_3^6 + 2796935067478005630333/32265589133437124*c_0101_3^5 - 1976765312390173886483/5611406805815152*c_0101_3^4 + 869717823728381025351/258124713067496992*c_0101_3^3 + 4088575462121989533425/32265589133437124*c_0101_3^2 - 12292359197269769787233/258124713067496992*c_0101_3 + 1317333649805523662779/258124713067496992, c_0011_0 - 1, c_0011_4 - 372520368979/9306610106*c_0101_3^20 + 1254704369172/4653305053*c_0101_3^19 - 2276100665355/4653305053*c_0101_3^18 - 2094502000661/4653305053*c_0101_3^17 + 12119606053361/4653305053*c_0101_3^16 - 16311845584117/9306610106*c_0101_3^15 - 18764939162819/4653305053*c_0101_3^14 + 64254669292729/9306610106*c_0101_3^13 + 10376675880473/9306610106*c_0101_3^12 - 54770814839408/4653305053*c_0101_3^11 + 10459476200029/4653305053*c_0101_3^10 + 38679065178581/4653305053*c_0101_3^9 - 73004029277109/9306610106*c_0101_3^8 - 12893831970390/4653305053*c_0101_3^7 + 122604704573181/9306610106*c_0101_3^6 + 10843060496088/4653305053*c_0101_3^5 - 4122654175451/404635222*c_0101_3^4 + 1561272884505/9306610106*c_0101_3^3 + 34115760226469/9306610106*c_0101_3^2 - 6443509711648/4653305053*c_0101_3 + 1385884103551/9306610106, c_0011_5 + 1693814716510532365/16132794566718562*c_0101_3^20 - 5679491670138805355/8066397283359281*c_0101_3^19 + 10189475306116230995/8066397283359281*c_0101_3^18 + 9758817546729359137/8066397283359281*c_0101_3^17 - 54705853022093366212/8066397283359281*c_0101_3^16 + 71222712219456179125/16132794566718562*c_0101_3^15 + 85739700029294693685/8066397283359281*c_0101_3^14 - 286607662206904912243/16132794566718562*c_0101_3^13 - 53370282317807621153/16132794566718562*c_0101_3^12 + 246858294520793492115/8066397283359281*c_0101_3^11 - 41072659170706843466/8066397283359281*c_0101_3^10 - 174235978113766999574/8066397283359281*c_0101_3^9 + 322886646694406120507/16132794566718562*c_0101_3^8 + 61524754053985944561/8066397283359281*c_0101_3^7 - 551163537402900378403/16132794566718562*c_0101_3^6 - 56230697922173100566/8066397283359281*c_0101_3^5 + 18332172682066324971/701425850726894*c_0101_3^4 + 1403683729764445015/16132794566718562*c_0101_3^3 - 151399484764816064751/16132794566718562*c_0101_3^2 + 27826388198640238171/8066397283359281*c_0101_3 - 5881776022779890631/16132794566718562, c_0101_0 + 770336454331359/12310411725844*c_0101_3^20 - 1298932117500381/3077602931461*c_0101_3^19 + 4727823465775169/6155205862922*c_0101_3^18 + 4297213657957411/6155205862922*c_0101_3^17 - 25108963148580819/6155205862922*c_0101_3^16 + 34134653756763625/12310411725844*c_0101_3^15 + 38715673781292159/6155205862922*c_0101_3^14 - 133592023887178891/12310411725844*c_0101_3^13 - 20509899177913787/12310411725844*c_0101_3^12 + 113484300077434217/6155205862922*c_0101_3^11 - 11272554806272020/3077602931461*c_0101_3^10 - 40021466126357516/3077602931461*c_0101_3^9 + 152332879999546541/12310411725844*c_0101_3^8 + 26209995700625135/6155205862922*c_0101_3^7 - 254244895256615323/12310411725844*c_0101_3^6 - 21431383793682005/6155205862922*c_0101_3^5 + 8565770981200199/535235292428*c_0101_3^4 - 4687073166078781/12310411725844*c_0101_3^3 - 70938685976773001/12310411725844*c_0101_3^2 + 13581734818532373/6155205862922*c_0101_3 - 2954741773963741/12310411725844, c_0101_1 - 170945318506163/12310411725844*c_0101_3^20 + 273601227730791/3077602931461*c_0101_3^19 - 862601361364455/6155205862922*c_0101_3^18 - 1243349516578227/6155205862922*c_0101_3^17 + 5138260718479763/6155205862922*c_0101_3^16 - 4088473463305473/12310411725844*c_0101_3^15 - 9237221457397455/6155205862922*c_0101_3^14 + 23300936934259239/12310411725844*c_0101_3^13 + 12314507557542447/12310411725844*c_0101_3^12 - 22968343792414489/6155205862922*c_0101_3^11 - 1383480391429936/3077602931461*c_0101_3^10 + 8287657091544431/3077602931461*c_0101_3^9 - 22634965557398293/12310411725844*c_0101_3^8 - 9531335225265825/6155205862922*c_0101_3^7 + 49706356067241487/12310411725844*c_0101_3^6 + 13136143266537149/6155205862922*c_0101_3^5 - 1487832086790783/535235292428*c_0101_3^4 - 10235439323899079/12310411725844*c_0101_3^3 + 11966674644749621/12310411725844*c_0101_3^2 - 1053558550117723/6155205862922*c_0101_3 + 25081890430893/12310411725844, c_0101_2 + 218137193237834/3077602931461*c_0101_3^20 - 1465940051589724/3077602931461*c_0101_3^19 + 2643695854164372/3077602931461*c_0101_3^18 + 2485546884343595/3077602931461*c_0101_3^17 - 14139279315683027/3077602931461*c_0101_3^16 + 9348740831127507/3077602931461*c_0101_3^15 + 22037132252762879/3077602931461*c_0101_3^14 - 37245886794458068/3077602931461*c_0101_3^13 - 6506938115859968/3077602931461*c_0101_3^12 + 63852298600103505/3077602931461*c_0101_3^11 - 11354836609520627/3077602931461*c_0101_3^10 - 45089543473269671/3077602931461*c_0101_3^9 + 42122370008868355/3077602931461*c_0101_3^8 + 15507915213911836/3077602931461*c_0101_3^7 - 71368649006592087/3077602931461*c_0101_3^6 - 13656730067333462/3077602931461*c_0101_3^5 + 2386480813303776/133808823107*c_0101_3^4 - 317167286318433/3077602931461*c_0101_3^3 - 19729335667100293/3077602931461*c_0101_3^2 + 7340169221803493/3077602931461*c_0101_3 - 781421773117476/3077602931461, c_0101_3^21 - 7*c_0101_3^20 + 14*c_0101_3^19 + 8*c_0101_3^18 - 68*c_0101_3^17 + 61*c_0101_3^16 + 89*c_0101_3^15 - 199*c_0101_3^14 + 18*c_0101_3^13 + 301*c_0101_3^12 - 134*c_0101_3^11 - 192*c_0101_3^10 + 251*c_0101_3^9 + 17*c_0101_3^8 - 347*c_0101_3^7 + 29*c_0101_3^6 + 269*c_0101_3^5 - 72*c_0101_3^4 - 90*c_0101_3^3 + 59*c_0101_3^2 - 13*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB