Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 1494795708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0602 geometric_solution 4.61311869 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 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 0 0 0.962031449390 0.535714928523 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 -1 0 0 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.662833390238 0.247919105951 3 1 3 4 2103 0132 3201 0132 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 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.603507392073 1.555799417482 2 4 2 1 2310 0132 2103 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.603507392073 1.555799417482 5 3 2 5 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033806428991 0.225071542136 4 4 6 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.519766171568 5.972433128653 6 5 6 5 2031 2310 1302 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.366526825604 0.257380299255 ==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' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_1']), '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_3']), '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' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], '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_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 52941421628558213449806/1281234504982763601088301*c_1001_1^17 + 27022147049360996112610546/32030862624569090027207525*c_1001_1^16 + 6273054255835961606217813/781240551818758293346525*c_1001_1^15 + 216109995235167892990608827/4575837517795584289601075*c_1001_1^14 + 873335617291539861210763256/4575837517795584289601075*c_1001_1^13 + 17764492213653559318903451301/32030862624569090027207525*c_1001_1^1\ 2 + 3781598508183119555382334/3233807433071084303605*c_1001_1^11 + 55353233351895774445851341779/32030862624569090027207525*c_1001_1^1\ 0 + 1399937511379009559804237182/915167503559116857920215*c_1001_1^\ 9 + 2050535641274036418719788457/32030862624569090027207525*c_1001_\ 1^8 - 13200113149704203811957813824/6406172524913818005441505*c_100\ 1_1^7 - 101706845114682293581882633479/32030862624569090027207525*c\ _1001_1^6 - 71444450196716055303009017536/3203086262456909002720752\ 5*c_1001_1^5 - 7050026360529614816028182986/32030862624569090027207\ 525*c_1001_1^4 + 4327814532783977833080739382/457583751779558428960\ 1075*c_1001_1^3 + 24791126739191636292604004497/3203086262456909002\ 7207525*c_1001_1^2 + 232143034121634112024469622/915167503559116857\ 920215*c_1001_1 + 1132428328438468077648190732/32030862624569090027\ 207525, c_0011_0 - 1, c_0011_3 + 176471878018614324710/1008052324927430055931*c_1001_1^17 + 3535865921424370300059/1008052324927430055931*c_1001_1^16 + 32930112793910595225274/1008052324927430055931*c_1001_1^15 + 26988488774527490391761/144007474989632865133*c_1001_1^14 + 105944390913305473557074/144007474989632865133*c_1001_1^13 + 2080585314164724746628286/1008052324927430055931*c_1001_1^12 + 2115481282865223476202/508860335652412951*c_1001_1^11 + 5778575881843756655993594/1008052324927430055931*c_1001_1^10 + 623493566156351855146158/144007474989632865133*c_1001_1^9 - 1285560872446219814246901/1008052324927430055931*c_1001_1^8 - 8161913176051776936896761/1008052324927430055931*c_1001_1^7 - 10366034299882061511595379/1008052324927430055931*c_1001_1^6 - 5644915048324021626148565/1008052324927430055931*c_1001_1^5 + 1044988149232919993538016/1008052324927430055931*c_1001_1^4 + 504606726945060268994638/144007474989632865133*c_1001_1^3 + 1957352697415292795301683/1008052324927430055931*c_1001_1^2 + 50271827114916386867728/144007474989632865133*c_1001_1 + 12020691938314815541729/1008052324927430055931, c_0011_6 + 130723047724789121334/1008052324927430055931*c_1001_1^17 + 2633926508886900854029/1008052324927430055931*c_1001_1^16 + 24672573375134076861229/1008052324927430055931*c_1001_1^15 + 20343126260933074207778/144007474989632865133*c_1001_1^14 + 80374021806357620216924/144007474989632865133*c_1001_1^13 + 1589794990332457018917855/1008052324927430055931*c_1001_1^12 + 1630406163475279761321/508860335652412951*c_1001_1^11 + 4507348964254765654268779/1008052324927430055931*c_1001_1^10 + 499427514999748439956074/144007474989632865133*c_1001_1^9 - 836985139582446943473248/1008052324927430055931*c_1001_1^8 - 6252565041522200591349564/1008052324927430055931*c_1001_1^7 - 8146819776192073090404102/1008052324927430055931*c_1001_1^6 - 4591028235913076830671369/1008052324927430055931*c_1001_1^5 + 686451069758184745521973/1008052324927430055931*c_1001_1^4 + 395824351022210140742985/144007474989632865133*c_1001_1^3 + 1587954814105947479668396/1008052324927430055931*c_1001_1^2 + 42107668842757889375836/144007474989632865133*c_1001_1 + 9996353990469999803676/1008052324927430055931, c_0101_0 - 151003695465497816912/1008052324927430055931*c_1001_1^17 - 3018069004516045427714/1008052324927430055931*c_1001_1^16 - 28034539396436047313704/1008052324927430055931*c_1001_1^15 - 22915138736814888878413/144007474989632865133*c_1001_1^14 - 89712088252764255732330/144007474989632865133*c_1001_1^13 - 1756973922458420287132230/1008052324927430055931*c_1001_1^12 - 1781334232629323567934/508860335652412951*c_1001_1^11 - 4850144134181817068400233/1008052324927430055931*c_1001_1^10 - 520612071219425318173840/144007474989632865133*c_1001_1^9 + 1101593701343549494911330/1008052324927430055931*c_1001_1^8 + 6846890109221258073469106/1008052324927430055931*c_1001_1^7 + 8669102837555942655814151/1008052324927430055931*c_1001_1^6 + 4721325127286327407264624/1008052324927430055931*c_1001_1^5 - 850778383288496920332632/1008052324927430055931*c_1001_1^4 - 418725204772969232557477/144007474989632865133*c_1001_1^3 - 1643720183796778971361041/1008052324927430055931*c_1001_1^2 - 44317626610102667831966/144007474989632865133*c_1001_1 - 11012595622108933010918/1008052324927430055931, c_0101_1 - 173670489030932667888/1008052324927430055931*c_1001_1^17 - 3470608391630971700938/1008052324927430055931*c_1001_1^16 - 32243056207935440941691/1008052324927430055931*c_1001_1^15 - 26366427746376448607997/144007474989632865133*c_1001_1^14 - 103295864584997327435218/144007474989632865133*c_1001_1^13 - 2025053018099441421595428/1008052324927430055931*c_1001_1^12 - 2056133103563138260118/508860335652412951*c_1001_1^11 - 5611609292100811833929728/1008052324927430055931*c_1001_1^10 - 605910647466084021238842/144007474989632865133*c_1001_1^9 + 1226917757410783941469656/1008052324927430055931*c_1001_1^8 + 7885868230381058801409555/1008052324927430055931*c_1001_1^7 + 10044820206552550150522580/1008052324927430055931*c_1001_1^6 + 5519886210773944980239321/1008052324927430055931*c_1001_1^5 - 939082864956651121142446/1008052324927430055931*c_1001_1^4 - 484383325762819013016766/144007474989632865133*c_1001_1^3 - 1920891943967029272780796/1008052324927430055931*c_1001_1^2 - 52620879486006218159271/144007474989632865133*c_1001_1 - 14898233861479747980911/1008052324927430055931, c_0101_5 + 138953831197169395504/1008052324927430055931*c_1001_1^17 + 2802913359130367263433/1008052324927430055931*c_1001_1^16 + 26276819405684955091816/1008052324927430055931*c_1001_1^15 + 21677120191409206509311/144007474989632865133*c_1001_1^14 + 85667728600224571274820/144007474989632865133*c_1001_1^13 + 1694592019770644171997263/1008052324927430055931*c_1001_1^12 + 1737602290454086548552/508860335652412951*c_1001_1^11 + 4801729882757690106679289/1008052324927430055931*c_1001_1^10 + 531512377687503317163270/144007474989632865133*c_1001_1^9 - 897421212845307146004713/1008052324927430055931*c_1001_1^8 - 6661280047712754768478604/1008052324927430055931*c_1001_1^7 - 8669229454610427140869267/1008052324927430055931*c_1001_1^6 - 4880003088830249788260477/1008052324927430055931*c_1001_1^5 + 729138043279254675847223/1008052324927430055931*c_1001_1^4 + 419784798939004846147351/144007474989632865133*c_1001_1^3 + 1685004841075582579212739/1008052324927430055931*c_1001_1^2 + 45476831290762384790961/144007474989632865133*c_1001_1 + 13339460515019984254310/1008052324927430055931, c_1001_1^18 + 22*c_1001_1^17 + 226*c_1001_1^16 + 1438*c_1001_1^15 + 6314*c_1001_1^14 + 20094*c_1001_1^13 + 47094*c_1001_1^12 + 79896*c_1001_1^11 + 90007*c_1001_1^10 + 42488*c_1001_1^9 - 59874*c_1001_1^8 - 150242*c_1001_1^7 - 149310*c_1001_1^6 - 58880*c_1001_1^5 + 30948*c_1001_1^4 + 50923*c_1001_1^3 + 24452*c_1001_1^2 + 4233*c_1001_1 + 155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB