Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 71669955] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0243 geometric_solution 4.26370667 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.556604117839 0.038445668484 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.394186315820 0.194664556793 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.445565143818 4.674339900470 2 4 4 5 0132 3201 0213 0132 0 0 0 0 0 0 1 -1 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265359444303 0.514875709842 5 3 3 2 0132 0213 2310 0132 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 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.265359444303 0.514875709842 4 6 3 6 0132 0132 0132 1023 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 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 1.193221225685 0.471538415519 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 -1 1 1 -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 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.606377555312 0.257173458731 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_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_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 473573966028803/2022605285089*c_0110_6^13 + 2222934955500505/2022605285089*c_0110_6^12 - 12659175570884645/2022605285089*c_0110_6^11 - 86899869762104647/2022605285089*c_0110_6^10 - 93603624439964159/2022605285089*c_0110_6^9 + 140543336769528871/2022605285089*c_0110_6^8 + 134959320739319984/2022605285089*c_0110_6^7 - 88729983737189437/2022605285089*c_0110_6^6 - 62455065361518060/2022605285089*c_0110_6^5 - 15734768770835611/2022605285089*c_0110_6^4 + 80101865584802322/2022605285089*c_0110_6^3 - 43896146104635315/2022605285089*c_0110_6^2 + 9855927767157158/2022605285089*c_0110_6 - 794473889172971/2022605285089, c_0011_0 - 1, c_0011_4 + 2437827812314/2022605285089*c_0110_6^13 + 12573358603441/2022605285089*c_0110_6^12 - 59644552424053/2022605285089*c_0110_6^11 - 476519700431402/2022605285089*c_0110_6^10 - 694962130542135/2022605285089*c_0110_6^9 + 459839213155157/2022605285089*c_0110_6^8 + 984703017692241/2022605285089*c_0110_6^7 - 68982380815549/2022605285089*c_0110_6^6 - 455781190535541/2022605285089*c_0110_6^5 - 261460682495347/2022605285089*c_0110_6^4 + 338933575050155/2022605285089*c_0110_6^3 - 47803183950416/2022605285089*c_0110_6^2 - 18643786789598/2022605285089*c_0110_6 + 4500202747221/2022605285089, c_0101_0 - 1004003260389/2022605285089*c_0110_6^13 - 5381578035696/2022605285089*c_0110_6^12 + 23360813437288/2022605285089*c_0110_6^11 + 200306327036536/2022605285089*c_0110_6^10 + 329049566244271/2022605285089*c_0110_6^9 - 98597048264807/2022605285089*c_0110_6^8 - 374634830559694/2022605285089*c_0110_6^7 - 33931369391776/2022605285089*c_0110_6^6 + 137749701303988/2022605285089*c_0110_6^5 + 109606817737478/2022605285089*c_0110_6^4 - 105957773169854/2022605285089*c_0110_6^3 + 17222336900620/2022605285089*c_0110_6^2 + 5206892386338/2022605285089*c_0110_6 - 3887855591008/2022605285089, c_0101_1 - 8769238621570/2022605285089*c_0110_6^13 - 39312252686198/2022605285089*c_0110_6^12 + 243273095703131/2022605285089*c_0110_6^11 + 1560482498788240/2022605285089*c_0110_6^10 + 1388937357216788/2022605285089*c_0110_6^9 - 2999710492461959/2022605285089*c_0110_6^8 - 1980137992635732/2022605285089*c_0110_6^7 + 2223943816000346/2022605285089*c_0110_6^6 + 840278268515195/2022605285089*c_0110_6^5 - 5782718707717/2022605285089*c_0110_6^4 - 1563666669279451/2022605285089*c_0110_6^3 + 1134413973043497/2022605285089*c_0110_6^2 - 317660320282237/2022605285089*c_0110_6 + 31089247641050/2022605285089, c_0101_2 + 7385333226742/2022605285089*c_0110_6^13 + 34554929854625/2022605285089*c_0110_6^12 - 197911679724054/2022605285089*c_0110_6^11 - 1351985747967631/2022605285089*c_0110_6^10 - 1439597737144786/2022605285089*c_0110_6^9 + 2206412506040587/2022605285089*c_0110_6^8 + 2048030577631247/2022605285089*c_0110_6^7 - 1440064359537438/2022605285089*c_0110_6^6 - 949477719880987/2022605285089*c_0110_6^5 - 213731052541355/2022605285089*c_0110_6^4 + 1257275732980776/2022605285089*c_0110_6^3 - 707959396221592/2022605285089*c_0110_6^2 + 162244332644273/2022605285089*c_0110_6 - 12046160586859/2022605285089, c_0101_4 + 2772432417862/2022605285089*c_0110_6^13 + 14735309142351/2022605285089*c_0110_6^12 - 65492353971813/2022605285089*c_0110_6^11 - 552040666516192/2022605285089*c_0110_6^10 - 877221797047232/2022605285089*c_0110_6^9 + 379236371569204/2022605285089*c_0110_6^8 + 1156421874585315/2022605285089*c_0110_6^7 + 72751775026529/2022605285089*c_0110_6^6 - 504735166057527/2022605285089*c_0110_6^5 - 348824327637438/2022605285089*c_0110_6^4 + 338406815050838/2022605285089*c_0110_6^3 - 9894687122090/2022605285089*c_0110_6^2 - 29696158710769/2022605285089*c_0110_6 + 5290689056787/2022605285089, c_0110_6^14 + 4*c_0110_6^13 - 30*c_0110_6^12 - 165*c_0110_6^11 - 70*c_0110_6^10 + 436*c_0110_6^9 + 81*c_0110_6^8 - 389*c_0110_6^7 - 5*c_0110_6^6 + 61*c_0110_6^5 + 194*c_0110_6^4 - 210*c_0110_6^3 + 83*c_0110_6^2 - 15*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB