Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 21011749] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s285 geometric_solution 4.45371939 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 1230 0132 0 0 0 0 0 -1 1 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 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.633338083183 0.588658274687 0 3 2 0 0132 2031 3120 3012 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 -1 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.152878748316 0.787359780989 4 0 1 4 0132 0132 3120 3201 0 0 0 0 0 1 -1 0 0 0 -1 1 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 -1 1 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.890814037601 0.329285360507 1 3 0 3 1302 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 -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.413717809671 0.611343891880 2 2 5 5 0132 2310 0132 3201 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 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.701195556345 0.958273196672 5 4 5 4 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.947829674265 0.337793092960 ==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_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_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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0110_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_2, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2343701311195/2310856294678*c_0110_3^21 - 28031400267367/2310856294678*c_0110_3^20 + 72027281794436/1155428147339*c_0110_3^19 - 207952208790562/1155428147339*c_0110_3^18 + 723548780334515/2310856294678*c_0110_3^17 - 674939620298755/2310856294678*c_0110_3^16 - 43058655163762/1155428147339*c_0110_3^15 + 1384899634067165/2310856294678*c_0110_3^14 - 1221782493295512/1155428147339*c_0110_3^13 + 1249017369961239/1155428147339*c_0110_3^12 - 738908887233860/1155428147339*c_0110_3^11 - 13026844933767/1155428147339*c_0110_3^10 + 1292246580674813/2310856294678*c_0110_3^9 - 925409961564488/1155428147339*c_0110_3^8 + 1617338790401289/2310856294678*c_0110_3^7 - 447601091159100/1155428147339*c_0110_3^6 + 95494416206853/1155428147339*c_0110_3^5 + 93930653709276/1155428147339*c_0110_3^4 - 281063648402141/2310856294678*c_0110_3^3 + 104091481556568/1155428147339*c_0110_3^2 - 66865131939259/2310856294678*c_0110_3 + 5766938068582/1155428147339, c_0011_0 - 1, c_0011_3 - 173649757601/4621712589356*c_0110_3^21 + 752612475405/2310856294678*c_0110_3^20 - 4848166636955/4621712589356*c_0110_3^19 + 1578233979570/1155428147339*c_0110_3^18 + 1555729742771/4621712589356*c_0110_3^17 - 4710564181216/1155428147339*c_0110_3^16 + 34000015703135/4621712589356*c_0110_3^15 - 29035845228125/4621712589356*c_0110_3^14 - 1359140915443/4621712589356*c_0110_3^13 + 19254217949745/2310856294678*c_0110_3^12 - 30217739184415/2310856294678*c_0110_3^11 + 27240371853823/2310856294678*c_0110_3^10 - 26586703063219/4621712589356*c_0110_3^9 - 7635617172037/4621712589356*c_0110_3^8 + 31258061184761/4621712589356*c_0110_3^7 - 36928900750417/4621712589356*c_0110_3^6 + 6623637472381/1155428147339*c_0110_3^5 - 5519332314347/2310856294678*c_0110_3^4 - 131928625683/4621712589356*c_0110_3^3 + 5234149585311/4621712589356*c_0110_3^2 + 175901045257/4621712589356*c_0110_3 + 4602513057911/4621712589356, c_0011_5 - 956704530105/4621712589356*c_0110_3^21 + 11652317016797/4621712589356*c_0110_3^20 - 30622403967609/2310856294678*c_0110_3^19 + 91087701214827/2310856294678*c_0110_3^18 - 331692510765883/4621712589356*c_0110_3^17 + 342099262457685/4621712589356*c_0110_3^16 - 8831914147396/1155428147339*c_0110_3^15 - 555424826580741/4621712589356*c_0110_3^14 + 277261543225387/1155428147339*c_0110_3^13 - 624483781098077/2310856294678*c_0110_3^12 + 216257740732862/1155428147339*c_0110_3^11 - 84650188520073/2310856294678*c_0110_3^10 - 498745861431841/4621712589356*c_0110_3^9 + 434693405926415/2310856294678*c_0110_3^8 - 845902663763313/4621712589356*c_0110_3^7 + 269007948001619/2310856294678*c_0110_3^6 - 90271978535929/2310856294678*c_0110_3^5 - 11600274857966/1155428147339*c_0110_3^4 + 125886385657169/4621712589356*c_0110_3^3 - 26532653691691/1155428147339*c_0110_3^2 + 46429873690525/4621712589356*c_0110_3 - 3465045710612/1155428147339, c_0101_2 + 404922382801/4621712589356*c_0110_3^21 - 4412893383497/4621712589356*c_0110_3^20 + 10134751785273/2310856294678*c_0110_3^19 - 25665832764807/2310856294678*c_0110_3^18 + 76660507930359/4621712589356*c_0110_3^17 - 55967968064817/4621712589356*c_0110_3^16 - 8204701316123/1155428147339*c_0110_3^15 + 158302186077989/4621712589356*c_0110_3^14 - 61497459771830/1155428147339*c_0110_3^13 + 119800108962565/2310856294678*c_0110_3^12 - 35327746307957/1155428147339*c_0110_3^11 - 13495014401/2310856294678*c_0110_3^10 + 121184268492825/4621712589356*c_0110_3^9 - 87864843673193/2310856294678*c_0110_3^8 + 156921988069289/4621712589356*c_0110_3^7 - 47774327898063/2310856294678*c_0110_3^6 + 16335510652695/2310856294678*c_0110_3^5 + 2092096772675/1155428147339*c_0110_3^4 - 21862805183089/4621712589356*c_0110_3^3 + 3261534347425/1155428147339*c_0110_3^2 - 7031358376669/4621712589356*c_0110_3 + 1194040703878/1155428147339, c_0101_4 + 250472156645/4621712589356*c_0110_3^21 - 1482206526213/2310856294678*c_0110_3^20 + 15106482932371/4621712589356*c_0110_3^19 - 10911419541481/1155428147339*c_0110_3^18 + 78104750411585/4621712589356*c_0110_3^17 - 20646650680158/1155428147339*c_0110_3^16 + 20369058729517/4621712589356*c_0110_3^15 + 105864466504369/4621712589356*c_0110_3^14 - 238875832952233/4621712589356*c_0110_3^13 + 151128819282639/2310856294678*c_0110_3^12 - 127903259985299/2310856294678*c_0110_3^11 + 58903780413657/2310856294678*c_0110_3^10 + 49083002906775/4621712589356*c_0110_3^9 - 172272623331319/4621712589356*c_0110_3^8 + 210944897204747/4621712589356*c_0110_3^7 - 173546578299699/4621712589356*c_0110_3^6 + 24911596315664/1155428147339*c_0110_3^5 - 14313620273529/2310856294678*c_0110_3^4 - 17708929759829/4621712589356*c_0110_3^3 + 29479596266681/4621712589356*c_0110_3^2 - 17594497952549/4621712589356*c_0110_3 + 9490767799841/4621712589356, c_0110_3^22 - 12*c_0110_3^21 + 62*c_0110_3^20 - 181*c_0110_3^19 + 323*c_0110_3^18 - 324*c_0110_3^17 + 18*c_0110_3^16 + 552*c_0110_3^15 - 1071*c_0110_3^14 + 1187*c_0110_3^13 - 810*c_0110_3^12 + 152*c_0110_3^11 + 467*c_0110_3^10 - 807*c_0110_3^9 + 788*c_0110_3^8 - 511*c_0110_3^7 + 185*c_0110_3^6 + 28*c_0110_3^5 - 111*c_0110_3^4 + 95*c_0110_3^3 - 46*c_0110_3^2 + 15*c_0110_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB