Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 2749513541] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1850 geometric_solution 5.49357116 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 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.467779509859 0.593001125405 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746638083821 0.881147097572 3 0 4 1 3201 0132 3201 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746638083821 0.881147097572 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 -0.247933604462 0.964938982601 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 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 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.869636167922 0.478481600084 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 -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 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.826381555650 0.469007699322 5 5 6 6 0132 3201 1230 3012 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 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.516166874380 0.212117308814 ==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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 18636632938180/916400337553*c_0101_5*c_0101_6^15 + 108759048175712/916400337553*c_0101_5*c_0101_6^14 - 141613536146748/916400337553*c_0101_5*c_0101_6^13 + 104927227731024/916400337553*c_0101_5*c_0101_6^12 - 693575557285405/916400337553*c_0101_5*c_0101_6^11 + 798872270991682/916400337553*c_0101_5*c_0101_6^10 + 604791185956795/916400337553*c_0101_5*c_0101_6^9 + 175781335711639/916400337553*c_0101_5*c_0101_6^8 - 1093620595437813/916400337553*c_0101_5*c_0101_6^7 - 1468847911575531/916400337553*c_0101_5*c_0101_6^6 + 867078046880933/916400337553*c_0101_5*c_0101_6^5 + 1360871482758847/916400337553*c_0101_5*c_0101_6^4 - 213418516293307/916400337553*c_0101_5*c_0101_6^3 - 404862875312578/916400337553*c_0101_5*c_0101_6^2 + 86041346064049/916400337553*c_0101_5*c_0101_6 - 52813744753829/916400337553*c_0101_5, c_0011_0 - 1, c_0011_4 + 89081258176/916400337553*c_0101_5*c_0101_6^15 - 408037459216/916400337553*c_0101_5*c_0101_6^14 + 227121335790/916400337553*c_0101_5*c_0101_6^13 - 459779900300/916400337553*c_0101_5*c_0101_6^12 + 2652219185215/916400337553*c_0101_5*c_0101_6^11 - 619151831721/916400337553*c_0101_5*c_0101_6^10 - 1566922874027/916400337553*c_0101_5*c_0101_6^9 - 98989564032/53905902209*c_0101_5*c_0101_6^8 + 689860827415/916400337553*c_0101_5*c_0101_6^7 + 1902535366566/916400337553*c_0101_5*c_0101_6^6 - 2793926411624/916400337553*c_0101_5*c_0101_6^5 - 3227951128986/916400337553*c_0101_5*c_0101_6^4 + 3605161242466/916400337553*c_0101_5*c_0101_6^3 + 3866235509539/916400337553*c_0101_5*c_0101_6^2 - 1712230820939/916400337553*c_0101_5*c_0101_6 - 697491037011/916400337553*c_0101_5, c_0101_0 + 204508987516/916400337553*c_0101_6^15 - 1267865654664/916400337553*c_0101_6^14 + 1512513167452/916400337553*c_0101_6^13 + 374232890068/916400337553*c_0101_6^12 + 7356155780515/916400337553*c_0101_6^11 - 9481366173132/916400337553*c_0101_6^10 - 18459776067889/916400337553*c_0101_6^9 - 346051856562/916400337553*c_0101_6^8 + 24394255685596/916400337553*c_0101_6^7 + 34173530613348/916400337553*c_0101_6^6 - 9349898513074/916400337553*c_0101_6^5 - 36844833601173/916400337553*c_0101_6^4 - 6884793405678/916400337553*c_0101_6^3 + 11901321243237/916400337553*c_0101_6^2 + 3229611456400/916400337553*c_0101_6 - 382860878772/916400337553, c_0101_1 - 597331004804/916400337553*c_0101_6^15 + 2562263058606/916400337553*c_0101_6^14 - 108845082268/916400337553*c_0101_6^13 + 643156805615/916400337553*c_0101_6^12 - 18505939234740/916400337553*c_0101_6^11 - 5341035470041/916400337553*c_0101_6^10 + 28108305784519/916400337553*c_0101_6^9 + 34945371774683/916400337553*c_0101_6^8 + 3423274482387/916400337553*c_0101_6^7 - 53226887643094/916400337553*c_0101_6^6 - 36699946718612/916400337553*c_0101_6^5 + 25032993385699/916400337553*c_0101_6^4 + 23052908365158/916400337553*c_0101_6^3 - 3230600343430/916400337553*c_0101_6^2 - 2699879868656/916400337553*c_0101_6 + 783875941417/916400337553, c_0101_2 - 599450767532/916400337553*c_0101_5*c_0101_6^15 + 2443051636274/916400337553*c_0101_5*c_0101_6^14 + 273255129974/916400337553*c_0101_5*c_0101_6^13 + 1386587826397/916400337553*c_0101_5*c_0101_6^12 - 18867228148921/916400337553*c_0101_5*c_0101_6^11 - 8284079222136/916400337553*c_0101_5*c_0101_6^10 + 21760977798929/916400337553*c_0101_5*c_0101_6^9 + 41954133182987/916400337553*c_0101_5*c_0101_6^8 + 13316401530414/916400337553*c_0101_5*c_0101_6^7 - 47293291183479/916400337553*c_0101_5*c_0101_6^6 - 46149316805875/916400337553*c_0101_5*c_0101_6^5 + 9856750785629/916400337553*c_0101_5*c_0101_6^4 + 28209953505176/916400337553*c_0101_5*c_0101_6^3 + 5524815162110/916400337553*c_0101_5*c_0101_6^2 - 3623978482035/916400337553*c_0101_5*c_0101_6 - 479619160825/916400337553*c_0101_5, c_0101_5^2 - 527628534638/916400337553*c_0101_6^15 + 2805433164042/916400337553*c_0101_6^14 - 2661457399105/916400337553*c_0101_6^13 + 2068148889976/916400337553*c_0101_6^12 - 18646384490801/916400337553*c_0101_6^11 + 13050467162338/916400337553*c_0101_6^10 + 20475701244688/916400337553*c_0101_6^9 + 14895972421309/916400337553*c_0101_6^8 - 17792062716802/916400337553*c_0101_6^7 - 44672360522423/916400337553*c_0101_6^6 + 2648824430402/916400337553*c_0101_6^5 + 29705546030985/916400337553*c_0101_6^4 + 2655738521130/916400337553*c_0101_6^3 - 7715821582199/916400337553*c_0101_6^2 + 1744001041722/916400337553*c_0101_6 - 734515612965/916400337553, c_0101_6^16 - 6*c_0101_6^15 + 17/2*c_0101_6^14 - 13/2*c_0101_6^13 + 75/2*c_0101_6^12 - 97/2*c_0101_6^11 - 28*c_0101_6^10 + 123/2*c_0101_6^8 + 141/2*c_0101_6^7 - 131/2*c_0101_6^6 - 141/2*c_0101_6^5 + 26*c_0101_6^4 + 25*c_0101_6^3 - 8*c_0101_6^2 + 3*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.240 seconds, Total memory usage: 32.09MB