Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 54697927] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0443 geometric_solution 4.48867903 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 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 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 1.617023205836 0.358944573689 0 3 3 0 0132 0132 1023 3201 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 -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 1.098765740036 0.165399445421 2 0 2 0 2310 2310 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.772367786427 0.084693799895 4 1 1 5 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -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 -1 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 0.934788920554 0.347535786781 3 5 6 5 0132 0321 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 1 0 -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.607985454924 0.636346340916 6 4 3 4 1023 1302 0132 0321 0 0 0 0 0 0 -1 1 0 0 0 0 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 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.607985454924 0.636346340916 6 5 6 4 2310 1023 3201 0132 0 0 0 0 0 0 0 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 0 0 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.215080280086 0.821534113415 ==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' : 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' : 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' : 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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 124941559/448*c_0101_4^33 - 3037366315/448*c_0101_4^32 - 17525784859/224*c_0101_4^31 - 255887768981/448*c_0101_4^30 - 331863487133/112*c_0101_4^29 - 2602249473591/224*c_0101_4^28 - 15985796546989/448*c_0101_4^27 - 39260363414095/448*c_0101_4^26 - 19436068470191/112*c_0101_4^25 - 17652395346245/64*c_0101_4^24 - 153762941116613/448*c_0101_4^23 - 69533104484391/224*c_0101_4^22 - 67505143592413/448*c_0101_4^21 + 8668911644419/112*c_0101_4^20 + 110874687164057/448*c_0101_4^19 + 57596229415659/224*c_0101_4^18 + 26540805320125/224*c_0101_4^17 - 3065170782457/64*c_0101_4^16 - 54159506583373/448*c_0101_4^15 - 36118598471995/448*c_0101_4^14 - 1030268438369/448*c_0101_4^13 + 4091419140581/112*c_0101_4^12 + 11046985334351/448*c_0101_4^11 - 116328013415/448*c_0101_4^10 - 571502233677/64*c_0101_4^9 - 51710138853/14*c_0101_4^8 + 146898153197/112*c_0101_4^7 + 591955006175/448*c_0101_4^6 - 2735528599/56*c_0101_4^5 - 61651744897/224*c_0101_4^4 + 253879137/112*c_0101_4^3 + 19653449009/448*c_0101_4^2 - 5153799673/448*c_0101_4 + 404164363/448, c_0011_0 - 1, c_0011_2 + 32959/16*c_0101_4^33 + 797129/16*c_0101_4^32 + 4572771/8*c_0101_4^31 + 66326145/16*c_0101_4^30 + 170748909/8*c_0101_4^29 + 82959383*c_0101_4^28 + 4035834967/16*c_0101_4^27 + 9791524151/16*c_0101_4^26 + 9547451217/8*c_0101_4^25 + 29734354629/16*c_0101_4^24 + 35882734321/16*c_0101_4^23 + 7656532771/4*c_0101_4^22 + 11943082235/16*c_0101_4^21 - 787957733*c_0101_4^20 - 28825647397/16*c_0101_4^19 - 6657024015/4*c_0101_4^18 - 1174778535/2*c_0101_4^17 + 8386682129/16*c_0101_4^16 + 14149044281/16*c_0101_4^15 + 7701475449/16*c_0101_4^14 - 1313282495/16*c_0101_4^13 - 2343381673/8*c_0101_4^12 - 2448171705/16*c_0101_4^11 + 497578123/16*c_0101_4^10 + 1151117805/16*c_0101_4^9 + 80905199/4*c_0101_4^8 - 29320375/2*c_0101_4^7 - 153754979/16*c_0101_4^6 + 13046763/8*c_0101_4^5 + 9064117/4*c_0101_4^4 - 1785813/8*c_0101_4^3 - 5887419/16*c_0101_4^2 + 1859073/16*c_0101_4 - 165473/16, c_0011_5 - 306235/8*c_0101_4^33 - 7440761/8*c_0101_4^32 - 42908207/4*c_0101_4^31 - 626067685/8*c_0101_4^30 - 1622669643/4*c_0101_4^29 - 3178184989/2*c_0101_4^28 - 39007684439/8*c_0101_4^27 - 95683637931/8*c_0101_4^26 - 94592788715/4*c_0101_4^25 - 300082612933/8*c_0101_4^24 - 372297906237/8*c_0101_4^23 - 41858983600*c_0101_4^22 - 159578033979/8*c_0101_4^21 + 11074453642*c_0101_4^20 + 271570956305/8*c_0101_4^19 + 34848954323*c_0101_4^18 + 31390913455/2*c_0101_4^17 - 55425451473/8*c_0101_4^16 - 132793083365/8*c_0101_4^15 - 86824791153/8*c_0101_4^14 - 941383397/8*c_0101_4^13 + 20278039351/4*c_0101_4^12 + 26673012009/8*c_0101_4^11 - 741145351/8*c_0101_4^10 - 9921612349/8*c_0101_4^9 - 989884019/2*c_0101_4^8 + 189783745*c_0101_4^7 + 1453070495/8*c_0101_4^6 - 35919845/4*c_0101_4^5 - 38302937*c_0101_4^4 + 2631495/4*c_0101_4^3 + 48891227/8*c_0101_4^2 - 13058005/8*c_0101_4 + 1037153/8, c_0101_0 - 439077/8*c_0101_4^33 - 10656025/8*c_0101_4^32 - 61367891/4*c_0101_4^31 - 894056923/8*c_0101_4^30 - 578311184*c_0101_4^29 - 9043349261/4*c_0101_4^28 - 55365996115/8*c_0101_4^27 - 135421110245/8*c_0101_4^26 - 66696964133/2*c_0101_4^25 - 421117141933/8*c_0101_4^24 - 518639661671/8*c_0101_4^23 - 230049834593/4*c_0101_4^22 - 208713310491/8*c_0101_4^21 + 35001270607/2*c_0101_4^20 + 389971594251/8*c_0101_4^19 + 194447562605/4*c_0101_4^18 + 82609584313/4*c_0101_4^17 - 89341213941/8*c_0101_4^16 - 191330720843/8*c_0101_4^15 - 119403626069/8*c_0101_4^14 + 3806103509/8*c_0101_4^13 + 14960951221/2*c_0101_4^12 + 37144151953/8*c_0101_4^11 - 2495552261/8*c_0101_4^10 - 14654192249/8*c_0101_4^9 - 1353112751/2*c_0101_4^8 + 302705795*c_0101_4^7 + 2099938793/8*c_0101_4^6 - 39136757/2*c_0101_4^5 - 226721239/4*c_0101_4^4 + 1934785*c_0101_4^3 + 72397059/8*c_0101_4^2 - 19976375/8*c_0101_4 + 1620605/8, c_0101_1 + c_0101_4^33 + 24*c_0101_4^32 + 273*c_0101_4^31 + 1961*c_0101_4^30 + 9989*c_0101_4^29 + 38358*c_0101_4^28 + 115017*c_0101_4^27 + 274514*c_0101_4^26 + 524695*c_0101_4^25 + 795801*c_0101_4^24 + 923562*c_0101_4^23 + 730787*c_0101_4^22 + 194409*c_0101_4^21 - 445691*c_0101_4^20 - 801611*c_0101_4^19 - 646607*c_0101_4^18 - 138476*c_0101_4^17 + 303943*c_0101_4^16 + 380438*c_0101_4^15 + 154590*c_0101_4^14 - 81594*c_0101_4^13 - 133679*c_0101_4^12 - 47813*c_0101_4^11 + 28398*c_0101_4^10 + 31768*c_0101_4^9 + 3319*c_0101_4^8 - 8820*c_0101_4^7 - 3285*c_0101_4^6 + 1645*c_0101_4^5 + 934*c_0101_4^4 - 313*c_0101_4^3 - 152*c_0101_4^2 + 93*c_0101_4 - 15, c_0101_3 - 99339/2*c_0101_4^33 - 2413755/2*c_0101_4^32 - 13919658*c_0101_4^31 - 203106389/2*c_0101_4^30 - 526439639*c_0101_4^29 - 2062274175*c_0101_4^28 - 12656381895/2*c_0101_4^27 - 31047310509/2*c_0101_4^26 - 30695758891*c_0101_4^25 - 97388377525/2*c_0101_4^24 - 120844304523/2*c_0101_4^23 - 54364382833*c_0101_4^22 - 51867147057/2*c_0101_4^21 + 14335655107*c_0101_4^20 + 88087224061/2*c_0101_4^19 + 45243636318*c_0101_4^18 + 20402023369*c_0101_4^17 - 17928775977/2*c_0101_4^16 - 43069251467/2*c_0101_4^15 - 28188278285/2*c_0101_4^14 - 330623315/2*c_0101_4^13 + 6573384582*c_0101_4^12 + 8657082047/2*c_0101_4^11 - 233571055/2*c_0101_4^10 - 3216188615/2*c_0101_4^9 - 642782352*c_0101_4^8 + 245669810*c_0101_4^7 + 471246845/2*c_0101_4^6 - 11529962*c_0101_4^5 - 49664787*c_0101_4^4 + 835974*c_0101_4^3 + 15848593/2*c_0101_4^2 - 4230153/2*c_0101_4 + 335847/2, c_0101_4^34 + 24*c_0101_4^33 + 273*c_0101_4^32 + 1961*c_0101_4^31 + 9989*c_0101_4^30 + 38358*c_0101_4^29 + 115017*c_0101_4^28 + 274514*c_0101_4^27 + 524695*c_0101_4^26 + 795801*c_0101_4^25 + 923562*c_0101_4^24 + 730787*c_0101_4^23 + 194409*c_0101_4^22 - 445691*c_0101_4^21 - 801611*c_0101_4^20 - 646607*c_0101_4^19 - 138476*c_0101_4^18 + 303943*c_0101_4^17 + 380438*c_0101_4^16 + 154590*c_0101_4^15 - 81594*c_0101_4^14 - 133679*c_0101_4^13 - 47813*c_0101_4^12 + 28398*c_0101_4^11 + 31768*c_0101_4^10 + 3319*c_0101_4^9 - 8820*c_0101_4^8 - 3285*c_0101_4^7 + 1645*c_0101_4^6 + 934*c_0101_4^5 - 314*c_0101_4^4 - 155*c_0101_4^3 + 90*c_0101_4^2 - 16*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB