Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2328565418] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s268 geometric_solution 4.43573894 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.596659377314 0.108109823384 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780617296874 0.185914437064 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 0.838614602814 0.718572030984 5 2 4 4 0132 0132 3012 1230 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 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.168645455504 1.232100607166 3 3 2 5 3012 1230 0132 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 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 1.168645455504 1.232100607166 3 5 4 5 0132 2310 0132 3201 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230009182991 0.821744393404 ==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' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 6*c_0101_3^2 + 3*c_0101_3 - 14, c_0011_0 - 1, c_0011_1 - c_0101_3^2 + 1, c_0011_4 + 1, c_0101_0 - c_0101_3, c_0101_1 + c_0101_3, c_0101_3^3 + c_0101_3^2 - 2*c_0101_3 - 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 14766975133068540173638502444/144128657565576855739021527*c_0101_3^\ 19 - 106657790343871456721360216617/144128657565576855739021527*c_0\ 101_3^18 + 149747901578328121862641676716/4804288585519228524634050\ 9*c_0101_3^17 + 649657714173791531292931785344/14412865756557685573\ 9021527*c_0101_3^16 - 847474173804322840594134111316/48042885855192\ 285246340509*c_0101_3^15 - 3049726207812414207281234700166/14412865\ 7565576855739021527*c_0101_3^14 + 6680088830547540630567013778182/1\ 44128657565576855739021527*c_0101_3^13 + 1745951487145339391236017881843/16014295285064095082113503*c_0101_3\ ^12 - 19286653065080815655625732517597/144128657565576855739021527*\ c_0101_3^11 - 39584671739580632436386033065535/14412865756557685573\ 9021527*c_0101_3^10 + 15545022132534102567008963228141/480428858551\ 92285246340509*c_0101_3^9 + 43529704604829398139786828492488/144128\ 657565576855739021527*c_0101_3^8 - 56379582760395354219567882050698/144128657565576855739021527*c_0101\ _3^7 - 264145412468605753789524917036/1779366142784899453568167*c_0\ 101_3^6 + 9982953417063625134531455514086/4804288585519228524634050\ 9*c_0101_3^5 + 597714160168301798556019595287/160142952850640950821\ 13503*c_0101_3^4 - 4374622278478300297500894057184/1441286575655768\ 55739021527*c_0101_3^3 - 317276163645173311659177152983/48042885855\ 192285246340509*c_0101_3^2 + 108466855305982047460352010845/1441286\ 57565576855739021527*c_0101_3 + 70865904423895981541726812004/14412\ 8657565576855739021527, c_0011_0 - 1, c_0011_1 - 20336019370697039181742267/16014295285064095082113503*c_0101\ _3^19 - 148183412314301065571291246/16014295285064095082113503*c_01\ 01_3^18 + 202762669377134086493437279/5338098428354698360704501*c_0\ 101_3^17 + 926931553693983582604656805/16014295285064095082113503*c\ _0101_3^16 - 1138905150289275752343668111/5338098428354698360704501\ *c_0101_3^15 - 4373919823122273921406566167/16014295285064095082113\ 503*c_0101_3^14 + 8781621060153013356379607690/16014295285064095082\ 113503*c_0101_3^13 + 7330130709707165248359240481/53380984283546983\ 60704501*c_0101_3^12 - 24825013553697601808966468297/16014295285064\ 095082113503*c_0101_3^11 - 55111438117776435248293962298/1601429528\ 5064095082113503*c_0101_3^10 + 6647751786581416204686890548/1779366\ 142784899453568167*c_0101_3^9 + 61339676535144286727829718810/16014\ 295285064095082113503*c_0101_3^8 - 71616243253866138692134304156/16014295285064095082113503*c_0101_3^7 - 10430007648204051774504095479/5338098428354698360704501*c_0101_3^\ 6 + 4083267721943392481775297408/1779366142784899453568167*c_0101_3\ ^5 + 2767290733152945154843215062/5338098428354698360704501*c_0101_\ 3^4 - 4318238834594720001419097968/16014295285064095082113503*c_010\ 1_3^3 - 405767240053694257815343727/5338098428354698360704501*c_010\ 1_3^2 + 38207851392188527028586337/16014295285064095082113503*c_010\ 1_3 + 77737630389382719042506794/16014295285064095082113503, c_0011_4 - 14699095380286084417282772/16014295285064095082113503*c_0101\ _3^19 - 35814439781766900223425724/5338098428354698360704501*c_0101\ _3^18 + 145743924357591473870744512/5338098428354698360704501*c_010\ 1_3^17 + 679998911929926969465650504/16014295285064095082113503*c_0\ 101_3^16 - 2453983408528033971869003125/16014295285064095082113503*\ c_0101_3^15 - 3218830491106421850673483295/160142952850640950821135\ 03*c_0101_3^14 + 6274386024185328694147578224/160142952850640950821\ 13503*c_0101_3^13 + 16045165467202584623160596243/16014295285064095\ 082113503*c_0101_3^12 - 17579869160147059961220189959/1601429528506\ 4095082113503*c_0101_3^11 - 40257551294848671896769682795/160142952\ 85064095082113503*c_0101_3^10 + 42313939951143905271208944173/16014\ 295285064095082113503*c_0101_3^9 + 45386865705845947267192630102/16014295285064095082113503*c_0101_3^8 - 16904128024207601653912472270/5338098428354698360704501*c_0101_3^\ 7 - 7986367942786063000125554791/5338098428354698360704501*c_0101_3\ ^6 + 8691325171793910619969981825/5338098428354698360704501*c_0101_\ 3^5 + 2248488689595079513057695991/5338098428354698360704501*c_0101\ _3^4 - 3032507425620564096039884113/16014295285064095082113503*c_01\ 01_3^3 - 988134334807672605409454962/16014295285064095082113503*c_0\ 101_3^2 + 10322682542695238447594932/16014295285064095082113503*c_0\ 101_3 + 18618018898405891536374420/5338098428354698360704501, c_0101_0 + 15113404263848341532127704/16014295285064095082113503*c_0101\ _3^19 + 36892612113783663343189400/5338098428354698360704501*c_0101\ _3^18 - 49738473909106917425409193/1779366142784899453568167*c_0101\ _3^17 - 702419021719227092490170240/16014295285064095082113503*c_01\ 01_3^16 + 2501056271375618086758830155/16014295285064095082113503*c\ _0101_3^15 + 3326533929330492031925447291/1601429528506409508211350\ 3*c_0101_3^14 - 6333338054889284319517276733/1601429528506409508211\ 3503*c_0101_3^13 - 16502188290817599000253510148/160142952850640950\ 82113503*c_0101_3^12 + 17652855677945803963240957919/16014295285064\ 095082113503*c_0101_3^11 + 41197447887720858457509786697/1601429528\ 5064095082113503*c_0101_3^10 - 42376730326122473659005219236/160142\ 95285064095082113503*c_0101_3^9 - 46117231940771805920117000800/160\ 14295285064095082113503*c_0101_3^8 + 5573908321000806201630703384/1779366142784899453568167*c_0101_3^7 + 8017970564359294904228904689/5338098428354698360704501*c_0101_3^6 - 2764367733175501592414110189/1779366142784899453568167*c_0101_3^5 - 740783693365752958622924452/1779366142784899453568167*c_0101_3^4 + 2252641470753256611518793733/16014295285064095082113503*c_0101_3^3 + 920975941618964207413807147/16014295285064095082113503*c_0101_3^2 + 39742377226014290957676254/16014295285064095082113503*c_0101_3 - 15027809293151229681304598/5338098428354698360704501, c_0101_1 + 5262122562466309810814833/5338098428354698360704501*c_0101_3\ ^19 + 115044133217920785830476078/16014295285064095082113503*c_0101\ _3^18 - 157385208424020137818041299/5338098428354698360704501*c_010\ 1_3^17 - 240126232796745424981826066/5338098428354698360704501*c_01\ 01_3^16 + 2652633888269181504043743962/16014295285064095082113503*c\ _0101_3^15 + 3401651824826562997833737795/1601429528506409508211350\ 3*c_0101_3^14 - 6818188967264497604975907023/1601429528506409508211\ 3503*c_0101_3^13 - 17095344452811132632272553014/160142952850640950\ 82113503*c_0101_3^12 + 19257327356324089136984127422/16014295285064\ 095082113503*c_0101_3^11 + 42862336017298395162549256807/1601429528\ 5064095082113503*c_0101_3^10 - 46384034634748460013744848386/160142\ 95285064095082113503*c_0101_3^9 - 47802314700536616701624139208/160\ 14295285064095082113503*c_0101_3^8 + 55521155453961004855003922803/16014295285064095082113503*c_0101_3^7 + 2723502253894943167866137388/1779366142784899453568167*c_0101_3^6 - 3167181744435123687360193995/1779366142784899453568167*c_0101_3^5 - 2180824843702045346845115209/5338098428354698360704501*c_0101_3^4 + 1114934531722444493475641926/5338098428354698360704501*c_0101_3^3 + 932327295193278312883139942/16014295285064095082113503*c_0101_3^2 - 26451080837829105671311393/16014295285064095082113503*c_0101_3 - 47024239724032539543110519/16014295285064095082113503, c_0101_3^20 + 7*c_0101_3^19 - 32*c_0101_3^18 - 37*c_0101_3^17 + 181*c_0101_3^16 + 167*c_0101_3^15 - 493*c_0101_3^14 - 958*c_0101_3^13 + 1529*c_0101_3^12 + 2360*c_0101_3^11 - 3712*c_0101_3^10 - 2173*c_0101_3^9 + 4371*c_0101_3^8 + 535*c_0101_3^7 - 2235*c_0101_3^6 + 102*c_0101_3^5 + 326*c_0101_3^4 + c_0101_3^3 - 19*c_0101_3^2 - 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB