Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 3633923564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2482 geometric_solution 5.81359286 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.335127863636 0.810341847184 3 2 4 0 0132 3012 0132 0132 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 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890723894040 1.114000168907 1 3 0 4 1230 2310 0132 2310 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 -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.890723894040 1.114000168907 1 5 5 2 0132 0132 3201 3201 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 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.710821076742 0.337234485712 2 6 6 1 3201 0132 3201 0132 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 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.150415968645 0.394410116531 3 3 5 5 2310 0132 2031 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.333296647344 0.891344191527 4 4 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 0 0 0 0 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.957996216963 2.462296221413 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 19383730714291190337/16160077197594820*c_0101_6^17 - 298812560341052337/175653013017335*c_0101_6^16 - 255466245746822565911/16160077197594820*c_0101_6^15 - 6803820589246633283/425265189410390*c_0101_6^14 - 129090850967095831785/3232015439518964*c_0101_6^13 - 115409512218933164507/2308582456799260*c_0101_6^12 - 153089369732117794013/16160077197594820*c_0101_6^11 - 191757833137425720498/4040019299398705*c_0101_6^10 + 70614921490580672566/577145614199815*c_0101_6^9 + 297859220780755857436/4040019299398705*c_0101_6^8 + 373062852392258417813/2308582456799260*c_0101_6^7 + 647307109049484186899/8080038598797410*c_0101_6^6 - 166040764130518208223/4040019299398705*c_0101_6^5 - 3658354459189584043/85053037882078*c_0101_6^4 - 296964135002437687822/4040019299398705*c_0101_6^3 - 531880745880544439119/16160077197594820*c_0101_6^2 + 36144802459657012249/8080038598797410*c_0101_6 + 34213759127298006521/16160077197594820, c_0011_0 - 1, c_0011_1 + 85612215272732/904819551937*c_0101_6^17 + 5188961348547/39339980519*c_0101_6^16 + 1126300225238649/904819551937*c_0101_6^15 + 1115419643690717/904819551937*c_0101_6^14 + 2834785400964417/904819551937*c_0101_6^13 + 500728879033247/129259935991*c_0101_6^12 + 616616505108461/904819551937*c_0101_6^11 + 3394756150611390/904819551937*c_0101_6^10 - 1260167281874366/129259935991*c_0101_6^9 - 5013355091851136/904819551937*c_0101_6^8 - 1645780667471520/129259935991*c_0101_6^7 - 5436149144651615/904819551937*c_0101_6^6 + 2949090157264329/904819551937*c_0101_6^5 + 3007852380033059/904819551937*c_0101_6^4 + 5201225541473212/904819551937*c_0101_6^3 + 2244286622737370/904819551937*c_0101_6^2 - 332195167045479/904819551937*c_0101_6 - 141761083111355/904819551937, c_0011_4 + 233309839470111/904819551937*c_0101_6^17 + 14076075216692/39339980519*c_0101_6^16 + 3068110640231989/904819551937*c_0101_6^15 + 3020780176340855/904819551937*c_0101_6^14 + 7716264205565353/904819551937*c_0101_6^13 + 1358212043927516/129259935991*c_0101_6^12 + 1645149626589867/904819551937*c_0101_6^11 + 9260130083619748/904819551937*c_0101_6^10 - 3442907900239188/129259935991*c_0101_6^9 - 13471362228423242/904819551937*c_0101_6^8 - 4487833816845119/129259935991*c_0101_6^7 - 14596565378962116/904819551937*c_0101_6^6 + 7998509942477192/904819551937*c_0101_6^5 + 8163271891455466/904819551937*c_0101_6^4 + 14130473517837728/904819551937*c_0101_6^3 + 6047134051543646/904819551937*c_0101_6^2 - 899422571711056/904819551937*c_0101_6 - 381094652070179/904819551937, c_0101_0 - 425155185920672/904819551937*c_0101_6^17 - 25591271229337/39339980519*c_0101_6^16 - 5589915393143693/904819551937*c_0101_6^15 - 5487363330879924/904819551937*c_0101_6^14 - 14054361203854838/904819551937*c_0101_6^13 - 2469096918515411/129259935991*c_0101_6^12 - 2967802117736696/904819551937*c_0101_6^11 - 16882499310956131/904819551937*c_0101_6^10 + 6282758200764583/129259935991*c_0101_6^9 + 24367831677440189/904819551937*c_0101_6^8 + 8183269088148248/129259935991*c_0101_6^7 + 26387782587362993/904819551937*c_0101_6^6 - 14535141836111656/904819551937*c_0101_6^5 - 14855971706099072/904819551937*c_0101_6^4 - 25718679954918506/904819551937*c_0101_6^3 - 10952872175302628/904819551937*c_0101_6^2 + 1636968870324086/904819551937*c_0101_6 + 690379069584250/904819551937, c_0101_1 - 853778986290047/904819551937*c_0101_6^17 - 51456396779301/39339980519*c_0101_6^16 - 11226520921453076/904819551937*c_0101_6^15 - 11038568155748202/904819551937*c_0101_6^14 - 28230254182906960/904819551937*c_0101_6^13 - 4964933808124336/129259935991*c_0101_6^12 - 5991195772309947/904819551937*c_0101_6^11 - 33893460568780101/904819551937*c_0101_6^10 + 12607007396870164/129259935991*c_0101_6^9 + 49138519162410669/904819551937*c_0101_6^8 + 16426428486650342/129259935991*c_0101_6^7 + 53231601248873252/904819551937*c_0101_6^6 - 29243727595735799/904819551937*c_0101_6^5 - 29854041033347098/904819551937*c_0101_6^4 - 51686162086522349/904819551937*c_0101_6^3 - 22071702982084776/904819551937*c_0101_6^2 + 3295119896027208/904819551937*c_0101_6 + 1391221171745299/904819551937, c_0101_5 + 273493753934120/904819551937*c_0101_6^17 + 16475139822718/39339980519*c_0101_6^16 + 3596138002720103/904819551937*c_0101_6^15 + 3533708860322843/904819551937*c_0101_6^14 + 9042829603706957/904819551937*c_0101_6^13 + 1589673208469820/129259935991*c_0101_6^12 + 1916835317768878/904819551937*c_0101_6^11 + 10859490498478680/904819551937*c_0101_6^10 - 4039622173385187/129259935991*c_0101_6^9 - 15713843586289098/904819551937*c_0101_6^8 - 5263649692759429/129259935991*c_0101_6^7 - 17021892026213412/904819551937*c_0101_6^6 + 9352334605712195/904819551937*c_0101_6^5 + 9562398544534578/904819551937*c_0101_6^4 + 16551951926199061/904819551937*c_0101_6^3 + 7063378372744637/904819551937*c_0101_6^2 - 1052187410126234/904819551937*c_0101_6 - 444843580723002/904819551937, c_0101_6^18 + 2*c_0101_6^17 + 14*c_0101_6^16 + 21*c_0101_6^15 + 41*c_0101_6^14 + 61*c_0101_6^13 + 32*c_0101_6^12 + 44*c_0101_6^11 - 79*c_0101_6^10 - 121*c_0101_6^9 - 170*c_0101_6^8 - 145*c_0101_6^7 - 4*c_0101_6^6 + 56*c_0101_6^5 + 82*c_0101_6^4 + 63*c_0101_6^3 + 12*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB