Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 1882320043] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1708 geometric_solution 5.41898857 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.451932317673 0.196002285369 2 0 3 0 0132 2310 0132 0132 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 0 1 -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.685655882719 0.611722576841 1 4 5 3 0132 0132 0132 2310 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 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.191381701934 1.227950311706 2 5 4 1 3201 1023 3201 0132 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 0 -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.191381701934 1.227950311706 3 2 4 4 2310 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884862124662 1.280755145746 3 6 6 2 1023 0132 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 -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.185962428045 0.509677014173 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 2.034038878138 0.837259694837 ==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_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2983757128075105143/44547928502953546*c_0101_6^26 + 14906736068688571396/22273964251476773*c_0101_6^24 - 43114819410067364919/22273964251476773*c_0101_6^22 + 45619227208429863577/22273964251476773*c_0101_6^20 - 439390380443605297483/44547928502953546*c_0101_6^18 + 759971841067748440424/22273964251476773*c_0101_6^16 - 422436979131073522555/22273964251476773*c_0101_6^14 - 207666030526803591282/22273964251476773*c_0101_6^12 - 2424455965915884701718/22273964251476773*c_0101_6^10 + 6120294355494604225062/22273964251476773*c_0101_6^8 - 11131161856225004133607/44547928502953546*c_0101_6^6 + 2361049713916714675610/22273964251476773*c_0101_6^4 - 444163657177615699603/22273964251476773*c_0101_6^2 + 50610040806679467915/44547928502953546, c_0011_0 - 1, c_0011_1 - 744876398980866/2024905841043343*c_0101_6^26 + 7310447503671968/2024905841043343*c_0101_6^24 - 20205564403853434/2024905841043343*c_0101_6^22 + 19006664935507606/2024905841043343*c_0101_6^20 - 106063898497170030/2024905841043343*c_0101_6^18 + 360799327044452065/2024905841043343*c_0101_6^16 - 143932559203556210/2024905841043343*c_0101_6^14 - 134729698301367563/2024905841043343*c_0101_6^12 - 1244644173331205803/2024905841043343*c_0101_6^10 + 2833249809910427465/2024905841043343*c_0101_6^8 - 2235328916076710700/2024905841043343*c_0101_6^6 + 764397128292322844/2024905841043343*c_0101_6^4 - 111369001834470191/2024905841043343*c_0101_6^2 + 6123827765286413/2024905841043343, c_0011_3 + 4137974605826740/2024905841043343*c_0101_6^27 - 42174708618112894/2024905841043343*c_0101_6^25 + 127128610791833790/2024905841043343*c_0101_6^23 - 143634964075914171/2024905841043343*c_0101_6^21 + 618197236718884234/2024905841043343*c_0101_6^19 - 2219186753785226750/2024905841043343*c_0101_6^17 + 1493706381768831853/2024905841043343*c_0101_6^15 + 646948077067663391/2024905841043343*c_0101_6^13 + 6617725033152071124/2024905841043343*c_0101_6^11 - 18435264413130191092/2024905841043343*c_0101_6^9 + 17552939201722480684/2024905841043343*c_0101_6^7 - 7505381063764105858/2024905841043343*c_0101_6^5 + 1350594526801104052/2024905841043343*c_0101_6^3 - 68719321608146606/2024905841043343*c_0101_6, c_0101_0 + 1899051125719578/2024905841043343*c_0101_6^27 - 18871665506407258/2024905841043343*c_0101_6^25 + 53528317412874066/2024905841043343*c_0101_6^23 - 52347563166861303/2024905841043343*c_0101_6^21 + 271369218743342273/2024905841043343*c_0101_6^19 - 951247596042274750/2024905841043343*c_0101_6^17 + 442164284762312785/2024905841043343*c_0101_6^15 + 393822976245735359/2024905841043343*c_0101_6^13 + 3177600683531253247/2024905841043343*c_0101_6^11 - 7612062896635189013/2024905841043343*c_0101_6^9 + 6120149114231972051/2024905841043343*c_0101_6^7 - 2088281020940180835/2024905841043343*c_0101_6^5 + 266162432564278530/2024905841043343*c_0101_6^3 - 5810682477558225/2024905841043343*c_0101_6, c_0101_1 + 1320354316584427/2024905841043343*c_0101_6^26 - 12578994123703748/2024905841043343*c_0101_6^24 + 32488614293124678/2024905841043343*c_0101_6^22 - 26926788871924887/2024905841043343*c_0101_6^20 + 185879285564057813/2024905841043343*c_0101_6^18 - 588828356864221478/2024905841043343*c_0101_6^16 + 124691545979803968/2024905841043343*c_0101_6^14 + 168795390013765744/2024905841043343*c_0101_6^12 + 2222750813334735241/2024905841043343*c_0101_6^10 - 4362630199052178645/2024905841043343*c_0101_6^8 + 3198413475648573010/2024905841043343*c_0101_6^6 - 1118232525542864277/2024905841043343*c_0101_6^4 + 178941856113837335/2024905841043343*c_0101_6^2 - 8198160656039914/2024905841043343, c_0101_4 - 1881338734786841/2024905841043343*c_0101_6^27 + 19546269229441789/2024905841043343*c_0101_6^25 - 61397767350311552/2024905841043343*c_0101_6^23 + 74857102898250929/2024905841043343*c_0101_6^21 - 288789189038666720/2024905841043343*c_0101_6^19 + 1060021781054501786/2024905841043343*c_0101_6^17 - 852648801452857282/2024905841043343*c_0101_6^15 - 253509283635936573/2024905841043343*c_0101_6^13 - 2919511455781621762/2024905841043343*c_0101_6^11 + 9035379892871513907/2024905841043343*c_0101_6^9 - 9295769426996286727/2024905841043343*c_0101_6^7 + 4259070082666022016/2024905841043343*c_0101_6^5 - 816908786908867070/2024905841043343*c_0101_6^3 + 42478193983463933/2024905841043343*c_0101_6, c_0101_6^28 - 10*c_0101_6^26 + 29*c_0101_6^24 - 31*c_0101_6^22 + 148*c_0101_6^20 - 511*c_0101_6^18 + 290*c_0101_6^16 + 128*c_0101_6^14 + 1626*c_0101_6^12 - 4112*c_0101_6^10 + 3797*c_0101_6^8 - 1680*c_0101_6^6 + 357*c_0101_6^4 - 32*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB