Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2395935306] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0430 geometric_solution 4.48470658 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 1.408079045400 0.332516932571 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -1 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 0 0 0 0.978420494495 0.281270159362 3 1 3 4 2103 0132 1302 0132 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 1 -1 0 1 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 0.861954728937 0.703957738027 2 4 2 1 2031 0132 2103 0132 0 0 0 0 0 0 -1 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 0 0 0 1 0 -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.861954728937 0.703957738027 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.312117530704 0.236674610019 4 4 6 6 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.763506274648 2.055164756512 5 6 6 5 3201 3201 2310 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.552147563909 0.253770374178 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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' : 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' : d['c_0011_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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_0011_6, c_0101_0, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 21679643302250/722633913477*c_1001_1^14 + 37974272478277/240877971159*c_1001_1^13 + 50737995107153/240877971159*c_1001_1^12 - 1807685097548525/722633913477*c_1001_1^11 + 15993982833559/34411138737*c_1001_1^10 + 3291373992792404/240877971159*c_1001_1^9 - 109647695525893/103233416211*c_1001_1^8 - 1003690023791867/34411138737*c_1001_1^7 + 139539007735352/103233416211*c_1001_1^6 + 21704676364043485/722633913477*c_1001_1^5 - 1674516147662642/722633913477*c_1001_1^4 - 515590912901308/34411138737*c_1001_1^3 + 1316821731363380/722633913477*c_1001_1^2 + 2036570922949519/722633913477*c_1001_1 - 96315326034820/240877971159, c_0011_0 - 1, c_0011_1 + 114395783529/11470379579*c_1001_1^14 - 596150309099/11470379579*c_1001_1^13 - 814310223596/11470379579*c_1001_1^12 + 9430479934806/11470379579*c_1001_1^11 - 1484778194709/11470379579*c_1001_1^10 - 51010237711283/11470379579*c_1001_1^9 + 1959498565878/11470379579*c_1001_1^8 + 105158350513755/11470379579*c_1001_1^7 - 2270933807152/11470379579*c_1001_1^6 - 103780903076012/11470379579*c_1001_1^5 + 7276628008415/11470379579*c_1001_1^4 + 49005536860298/11470379579*c_1001_1^3 - 6397053080125/11470379579*c_1001_1^2 - 8445030650497/11470379579*c_1001_1 + 1307500903865/11470379579, c_0011_3 + 264552302640/11470379579*c_1001_1^14 - 1383090643510/11470379579*c_1001_1^13 - 1862219003203/11470379579*c_1001_1^12 + 21848592735837/11470379579*c_1001_1^11 - 3768638746346/11470379579*c_1001_1^10 - 118063480238019/11470379579*c_1001_1^9 + 6308990437853/11470379579*c_1001_1^8 + 244068818723362/11470379579*c_1001_1^7 - 8266442364572/11470379579*c_1001_1^6 - 241528965669303/11470379579*c_1001_1^5 + 19216318218323/11470379579*c_1001_1^4 + 114326020516722/11470379579*c_1001_1^3 - 15660479605891/11470379579*c_1001_1^2 - 19757526543658/11470379579*c_1001_1 + 3113051431472/11470379579, c_0011_6 - 890918607121/34411138737*c_1001_1^14 + 1551259138622/11470379579*c_1001_1^13 + 2097154804746/11470379579*c_1001_1^12 - 73551925550206/34411138737*c_1001_1^11 + 4131899760433/11470379579*c_1001_1^10 + 132538523743597/11470379579*c_1001_1^9 - 19849448360756/34411138737*c_1001_1^8 - 273824239791798/11470379579*c_1001_1^7 + 25807769359159/34411138737*c_1001_1^6 + 812335472944625/34411138737*c_1001_1^5 - 63396915701332/34411138737*c_1001_1^4 - 128034367134522/11470379579*c_1001_1^3 + 52371381591235/34411138737*c_1001_1^2 + 66253656367424/34411138737*c_1001_1 - 3484918484672/11470379579, c_0101_0 + 760730426564/34411138737*c_1001_1^14 - 1325687869948/11470379579*c_1001_1^13 - 1783463918615/11470379579*c_1001_1^12 + 62798125424396/34411138737*c_1001_1^11 - 3615659755520/11470379579*c_1001_1^10 - 113036760745219/11470379579*c_1001_1^9 + 17827833541543/34411138737*c_1001_1^8 + 233371003938276/11470379579*c_1001_1^7 - 22914914204450/34411138737*c_1001_1^6 - 691755715574794/34411138737*c_1001_1^5 + 54202101755270/34411138737*c_1001_1^4 + 108967539550788/11470379579*c_1001_1^3 - 44413033119902/34411138737*c_1001_1^2 - 56447088340615/34411138737*c_1001_1 + 2951356657832/11470379579, c_0101_5 + 566683098352/34411138737*c_1001_1^14 - 983074666168/11470379579*c_1001_1^13 - 1351650835404/11470379579*c_1001_1^12 + 46693954689730/34411138737*c_1001_1^11 - 2347889285212/11470379579*c_1001_1^10 - 84266931032689/11470379579*c_1001_1^9 + 8203868725550/34411138737*c_1001_1^8 + 173689282687938/11470379579*c_1001_1^7 - 8770715754328/34411138737*c_1001_1^6 - 513987661916843/34411138737*c_1001_1^5 + 34460706673291/34411138737*c_1001_1^4 + 80858390556420/11470379579*c_1001_1^3 - 31339570196974/34411138737*c_1001_1^2 - 41749414361204/34411138737*c_1001_1 + 2153302424633/11470379579, c_1001_1^15 - 6*c_1001_1^14 - 3*c_1001_1^13 + 88*c_1001_1^12 - 78*c_1001_1^11 - 435*c_1001_1^10 + 368*c_1001_1^9 + 903*c_1001_1^8 - 742*c_1001_1^7 - 887*c_1001_1^6 + 775*c_1001_1^5 + 375*c_1001_1^4 - 391*c_1001_1^3 - 29*c_1001_1^2 + 69*c_1001_1 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB