Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1275974007] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2352 geometric_solution 5.72841717 oriented_manifold CS_known -0.0000000000000004 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 0 0 0 0 0 0 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.623344302614 0.437886491432 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 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 0.851623263588 0.578829525131 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 1 0 0 -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.489008881311 0.630292777386 2 5 4 1 2031 2310 1023 0132 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 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.489008881311 0.630292777386 2 6 3 6 0132 0132 1023 1023 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 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.735515274124 1.351570956747 5 5 2 3 1302 2031 0132 3201 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 -1 1 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.470508413666 0.465836874960 6 4 6 4 2310 0132 3201 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 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.554710387722 0.254078482080 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), '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_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), '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_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), '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_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 2858121585887953591/145709991663382*c_0101_6*c_0110_5^17 + 24528941061322861581/145709991663382*c_0101_6*c_0110_5^16 - 29172756788309434642/72854995831691*c_0101_6*c_0110_5^15 - 204447919907968411191/145709991663382*c_0101_6*c_0110_5^14 + 643426518168345246217/145709991663382*c_0101_6*c_0110_5^13 + 488954752427085332437/145709991663382*c_0101_6*c_0110_5^12 - 1081241868711292332392/72854995831691*c_0101_6*c_0110_5^11 - 311856455587547167797/145709991663382*c_0101_6*c_0110_5^10 + 3531652739084344385049/145709991663382*c_0101_6*c_0110_5^9 - 431211522541053086027/145709991663382*c_0101_6*c_0110_5^8 - 3230629769848888793071/145709991663382*c_0101_6*c_0110_5^7 + 397278766527075487006/72854995831691*c_0101_6*c_0110_5^6 + 1907277591693982543635/145709991663382*c_0101_6*c_0110_5^5 - 618484976613042532395/145709991663382*c_0101_6*c_0110_5^4 - 323640174180930165595/72854995831691*c_0101_6*c_0110_5^3 + 110732782144434920560/72854995831691*c_0101_6*c_0110_5^2 + 78212668552747318481/145709991663382*c_0101_6*c_0110_5 - 27385459230832539771/145709991663382*c_0101_6, c_0011_0 - 1, c_0011_1 - 31745045993324935/72854995831691*c_0110_5^17 + 272391161541381199/72854995831691*c_0110_5^16 - 647639859833636100/72854995831691*c_0110_5^15 - 2271543670816401280/72854995831691*c_0110_5^14 + 7142235148516239562/72854995831691*c_0110_5^13 + 5439664409539478661/72854995831691*c_0110_5^12 - 24002988415143206255/72854995831691*c_0110_5^11 - 3495033619106647522/72854995831691*c_0110_5^10 + 39198044715486723599/72854995831691*c_0110_5^9 - 4735260900768848193/72854995831691*c_0110_5^8 - 35855602345416352284/72854995831691*c_0110_5^7 + 8771607305207379110/72854995831691*c_0110_5^6 + 21168374710867449026/72854995831691*c_0110_5^5 - 6835905187262833849/72854995831691*c_0110_5^4 - 7183368144224620573/72854995831691*c_0110_5^3 + 2447412593069855503/72854995831691*c_0110_5^2 + 867555325680325028/72854995831691*c_0110_5 - 302738204328010719/72854995831691, c_0011_3 + 20376159564199508/72854995831691*c_0101_6*c_0110_5^17 - 174896815051433058/72854995831691*c_0101_6*c_0110_5^16 + 416162420623126949/72854995831691*c_0101_6*c_0110_5^15 + 1457107954659206222/72854995831691*c_0101_6*c_0110_5^14 - 4589008280503446658/72854995831691*c_0101_6*c_0110_5^13 - 3480934410554797091/72854995831691*c_0101_6*c_0110_5^12 + 15422383483923950029/72854995831691*c_0101_6*c_0110_5^11 + 2206878979813557867/72854995831691*c_0101_6*c_0110_5^10 - 25185412875784596042/72854995831691*c_0101_6*c_0110_5^9 + 3100810450356848879/72854995831691*c_0101_6*c_0110_5^8 + 23036581380268436414/72854995831691*c_0101_6*c_0110_5^7 - 5688991086479155684/72854995831691*c_0101_6*c_0110_5^6 - 13598967708670782666/72854995831691*c_0101_6*c_0110_5^5 + 4423991720499755869/72854995831691*c_0101_6*c_0110_5^4 + 4614655443221234636/72854995831691*c_0101_6*c_0110_5^3 - 1583886638463934893/72854995831691*c_0101_6*c_0110_5^2 - 557738052673184584/72854995831691*c_0101_6*c_0110_5 + 195833395421200277/72854995831691*c_0101_6, c_0011_5 + 31698332712669254/72854995831691*c_0101_6*c_0110_5^17 - 272008125742296260/72854995831691*c_0101_6*c_0110_5^16 + 646823299115833621/72854995831691*c_0101_6*c_0110_5^15 + 2267971570817545506/72854995831691*c_0101_6*c_0110_5^14 - 7133287420873937594/72854995831691*c_0101_6*c_0110_5^13 - 5428877250509455066/72854995831691*c_0101_6*c_0110_5^12 + 23973844388923078384/72854995831691*c_0101_6*c_0110_5^11 + 3479973286522341839/72854995831691*c_0101_6*c_0110_5^10 - 39152331201050657224/72854995831691*c_0101_6*c_0110_5^9 + 4745836669537164596/72854995831691*c_0101_6*c_0110_5^8 + 35815518302764110170/72854995831691*c_0101_6*c_0110_5^7 - 8776668466997213939/72854995831691*c_0101_6*c_0110_5^6 - 21145375790590762194/72854995831691*c_0101_6*c_0110_5^5 + 6837466415618122149/72854995831691*c_0101_6*c_0110_5^4 + 7176193529134026052/72854995831691*c_0101_6*c_0110_5^3 - 2448201011621672478/72854995831691*c_0101_6*c_0110_5^2 - 866884670284259434/72854995831691*c_0101_6*c_0110_5 + 302886353771643907/72854995831691*c_0101_6, c_0101_0 + 21013499021267401/72854995831691*c_0110_5^17 - 180317048563330915/72854995831691*c_0110_5^16 + 428766568469005900/72854995831691*c_0110_5^15 + 1503548612791986902/72854995831691*c_0110_5^14 - 4728559030361033098/72854995831691*c_0110_5^13 - 3599787738666796400/72854995831691*c_0110_5^12 + 15891881148871458301/72854995831691*c_0110_5^11 + 2310609142501782048/72854995831691*c_0110_5^10 - 25953338918534510683/72854995831691*c_0110_5^9 + 3138779089298453679/72854995831691*c_0110_5^8 + 23741510030476147072/72854995831691*c_0110_5^7 - 5810210592982280419/72854995831691*c_0110_5^6 - 14017312045189333568/72854995831691*c_0110_5^5 + 4527451346146771847/72854995831691*c_0110_5^4 + 4757331827094019256/72854995831691*c_0110_5^3 - 1620762524519279534/72854995831691*c_0110_5^2 - 574802290472876319/72854995831691*c_0110_5 + 200501180982552226/72854995831691, c_0101_6^2 - 237651689995762507/2477069858277494*c_0110_5^17 + 2040517465686222967/2477069858277494*c_0110_5^16 - 2429440273418278904/1238534929138747*c_0110_5^15 - 16985296467000039139/2477069858277494*c_0110_5^14 + 53576269646754071933/2477069858277494*c_0110_5^13 + 40498431452497036587/2477069858277494*c_0110_5^12 - 5295889642223273315/72854995831691*c_0110_5^11 - 25423239550866422787/2477069858277494*c_0110_5^10 + 294045026857296483927/2477069858277494*c_0110_5^9 - 2155565540189627185/145709991663382*c_0110_5^8 - 268937286857193103149/2477069858277494*c_0110_5^7 + 33381294372001360364/1238534929138747*c_0110_5^6 + 158748127248622930621/2477069858277494*c_0110_5^5 - 51828297161630499869/2477069858277494*c_0110_5^4 - 26936760251679794619/1238534929138747*c_0110_5^3 + 9269398104703567290/1238534929138747*c_0110_5^2 + 6511313814943912729/2477069858277494*c_0110_5 - 2292384110132036911/2477069858277494, c_0110_5^18 - 9*c_0110_5^17 + 24*c_0110_5^16 + 63*c_0110_5^15 - 255*c_0110_5^14 - 77*c_0110_5^13 + 828*c_0110_5^12 - 207*c_0110_5^11 - 1281*c_0110_5^10 + 667*c_0110_5^9 + 1067*c_0110_5^8 - 750*c_0110_5^7 - 551*c_0110_5^6 + 495*c_0110_5^5 + 136*c_0110_5^4 - 172*c_0110_5^3 + 5*c_0110_5^2 + 21*c_0110_5 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB