Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 139039942] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2253 geometric_solution 5.68368899 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 0 0 0 0 0 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.867577829293 0.383331358136 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 -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.659454596839 1.112561890970 4 1 5 5 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 1 0 0 -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 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.254649046358 0.444650718466 5 4 4 1 1023 0213 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 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.235392473512 0.508105122277 2 3 3 6 0132 3201 0213 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 -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.632185355781 0.891436480414 2 3 6 2 3012 1023 1302 0132 0 0 0 0 0 0 -1 1 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 -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.025129909038 1.016396879311 5 6 4 6 2031 1302 0132 2031 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 1 -1 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.840079803518 0.716061288197 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_3'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 261058333621649564/54689579551417*c_0101_3^15 - 147523358870961743/54689579551417*c_0101_3^14 - 804753816021149199/54689579551417*c_0101_3^13 - 386658293780900838/54689579551417*c_0101_3^12 + 1136981708413811234/54689579551417*c_0101_3^11 + 1665172271121040171/54689579551417*c_0101_3^10 - 838421076207306710/54689579551417*c_0101_3^9 - 1602276154370817851/54689579551417*c_0101_3^8 - 489466853603084219/54689579551417*c_0101_3^7 + 948128864969699160/54689579551417*c_0101_3^6 + 407142887447930879/54689579551417*c_0101_3^5 - 47346623541939392/54689579551417*c_0101_3^4 + 127227666798834918/54689579551417*c_0101_3^3 + 156168860987683443/54689579551417*c_0101_3^2 + 184532728522877133/54689579551417*c_0101_3 + 71691098705309370/54689579551417, c_0011_0 - 1, c_0011_3 + 2655153932460718/273447897757085*c_0101_3^15 - 675432270203322/54689579551417*c_0101_3^14 - 6273079587937058/273447897757085*c_0101_3^13 + 809121462304606/273447897757085*c_0101_3^12 + 12352600949510754/273447897757085*c_0101_3^11 + 1752068553634372/54689579551417*c_0101_3^10 - 3330412060872540/54689579551417*c_0101_3^9 - 7048746924449973/273447897757085*c_0101_3^8 + 1713349341232457/273447897757085*c_0101_3^7 + 10727706027353418/273447897757085*c_0101_3^6 - 2850616284007677/273447897757085*c_0101_3^5 - 9813997900617/273447897757085*c_0101_3^4 + 997076444151383/273447897757085*c_0101_3^3 + 779555771483782/273447897757085*c_0101_3^2 + 913728493474061/273447897757085*c_0101_3 - 248663583568512/273447897757085, c_0011_6 - 2002584834053258/273447897757085*c_0101_3^15 + 600928253110263/54689579551417*c_0101_3^14 + 3979305049550468/273447897757085*c_0101_3^13 - 1563591888841161/273447897757085*c_0101_3^12 - 8744883093030199/273447897757085*c_0101_3^11 - 881833375775244/54689579551417*c_0101_3^10 + 2713802693188914/54689579551417*c_0101_3^9 + 1856268753027698/273447897757085*c_0101_3^8 - 1925652140121787/273447897757085*c_0101_3^7 - 7368758382445338/273447897757085*c_0101_3^6 + 4038179161828997/273447897757085*c_0101_3^5 - 617482981066488/273447897757085*c_0101_3^4 - 920864743569673/273447897757085*c_0101_3^3 - 592051571248937/273447897757085*c_0101_3^2 - 700785191739531/273447897757085*c_0101_3 + 310445353509657/273447897757085, c_0101_0 + 174377695519118/273447897757085*c_0101_3^15 - 128529981101740/54689579551417*c_0101_3^14 - 78359108830563/273447897757085*c_0101_3^13 + 1432578961851991/273447897757085*c_0101_3^12 + 999114366296029/273447897757085*c_0101_3^11 - 343442980144781/54689579551417*c_0101_3^10 - 696428897845755/54689579551417*c_0101_3^9 + 2067340535736787/273447897757085*c_0101_3^8 + 3016977802778262/273447897757085*c_0101_3^7 + 319843966580428/273447897757085*c_0101_3^6 - 2202971781195377/273447897757085*c_0101_3^5 - 455236793141472/273447897757085*c_0101_3^4 + 657579427454953/273447897757085*c_0101_3^3 - 398685247414443/273447897757085*c_0101_3^2 - 6847242630044/273447897757085*c_0101_3 + 1134185563448/273447897757085, c_0101_1 + 1230041752337398/273447897757085*c_0101_3^15 - 477162417232607/54689579551417*c_0101_3^14 - 2092749775036378/273447897757085*c_0101_3^13 + 2720179030547801/273447897757085*c_0101_3^12 + 5863137625912939/273447897757085*c_0101_3^11 - 20261545859334/54689579551417*c_0101_3^10 - 2270892446836114/54689579551417*c_0101_3^9 + 1599205374731582/273447897757085*c_0101_3^8 + 4625767617191162/273447897757085*c_0101_3^7 + 4345725789021853/273447897757085*c_0101_3^6 - 4948881780544837/273447897757085*c_0101_3^5 + 243824634393093/273447897757085*c_0101_3^4 + 829594339310528/273447897757085*c_0101_3^3 - 97146513989248/273447897757085*c_0101_3^2 + 260304121756271/273447897757085*c_0101_3 - 354619556395892/273447897757085, c_0101_2 + 1380635663164823/273447897757085*c_0101_3^15 - 408064474328575/54689579551417*c_0101_3^14 - 2519202579878593/273447897757085*c_0101_3^13 + 686620759168606/273447897757085*c_0101_3^12 + 5331419079246819/273447897757085*c_0101_3^11 + 658922564788992/54689579551417*c_0101_3^10 - 1587210910528245/54689579551417*c_0101_3^9 - 492523648262133/273447897757085*c_0101_3^8 - 477971295224073/273447897757085*c_0101_3^7 + 4110690922046273/273447897757085*c_0101_3^6 - 2345024623870062/273447897757085*c_0101_3^5 + 1564430331652358/273447897757085*c_0101_3^4 + 558558049349728/273447897757085*c_0101_3^3 + 162251606004487/273447897757085*c_0101_3^2 + 667337409844601/273447897757085*c_0101_3 - 141676254661362/273447897757085, c_0101_3^16 - 11/13*c_0101_3^15 - 38/13*c_0101_3^14 - 8/13*c_0101_3^13 + 62/13*c_0101_3^12 + 67/13*c_0101_3^11 - 5*c_0101_3^10 - 68/13*c_0101_3^9 - 2/13*c_0101_3^8 + 54/13*c_0101_3^7 + 7/13*c_0101_3^6 - 8/13*c_0101_3^5 + 7/13*c_0101_3^4 + 6/13*c_0101_3^3 + 7/13*c_0101_3^2 + 1/13*c_0101_3 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB