Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 4223297342] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1692 geometric_solution 5.40967197 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 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 0 0 0 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.618897147130 0.785723816335 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 -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 -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.177340640216 0.506662684495 3 1 4 5 2310 0132 0132 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 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.655187530709 1.647045729245 4 6 2 1 1230 0132 3201 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -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.089317768960 0.597959823802 6 3 6 2 3201 3012 1302 0132 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 -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.563873287061 0.152081094277 6 5 2 5 2031 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.111000681539 0.959575539108 4 3 5 4 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0.888999318461 0.959575539108 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 233071650798847549/863389917271965*c_0110_5^20 - 15547721779509358423/2590169751815895*c_0110_5^18 - 15906435772644103454/863389917271965*c_0110_5^16 + 441831311022863677967/2590169751815895*c_0110_5^14 - 447420180944409632594/2590169751815895*c_0110_5^12 + 1108258448922962577034/2590169751815895*c_0110_5^10 - 927181164305116304992/2590169751815895*c_0110_5^8 + 61772492104453863028/287796639090655*c_0110_5^6 - 22583981197766854555/172677983454393*c_0110_5^4 + 1565031828982766430/57559327818131*c_0110_5^2 - 2988281126744907361/2590169751815895, c_0011_0 - 1, c_0011_3 + 6987361199058152/287796639090655*c_0110_5^20 + 155369349367759068/287796639090655*c_0110_5^18 + 476834022293480577/287796639090655*c_0110_5^16 - 4415410140085550017/287796639090655*c_0110_5^14 + 4471934268957177364/287796639090655*c_0110_5^12 - 11075098319570927699/287796639090655*c_0110_5^10 + 9266989902707367687/287796639090655*c_0110_5^8 - 5556005957713853587/287796639090655*c_0110_5^6 + 676952971136445880/57559327818131*c_0110_5^4 - 140791642857601348/57559327818131*c_0110_5^2 + 29326195177489206/287796639090655, c_0011_4 + 595289223478541/57559327818131*c_0110_5^21 + 13237777155115143/57559327818131*c_0110_5^19 + 40647017362567185/57559327818131*c_0110_5^17 - 376111874825418451/57559327818131*c_0110_5^15 + 380270750031619855/57559327818131*c_0110_5^13 - 942518628458206678/57559327818131*c_0110_5^11 + 787596272485336597/57559327818131*c_0110_5^9 - 471165135601953714/57559327818131*c_0110_5^7 + 287128435944120859/57559327818131*c_0110_5^5 - 59261573494846501/57559327818131*c_0110_5^3 + 2263549434005582/57559327818131*c_0110_5, c_0011_5 - 406698324536611/287796639090655*c_0110_5^20 - 9039751833962819/287796639090655*c_0110_5^18 - 27675534240485056/287796639090655*c_0110_5^16 + 257253106231904731/287796639090655*c_0110_5^14 - 262454493350961142/287796639090655*c_0110_5^12 + 646378895012318812/287796639090655*c_0110_5^10 - 544304154919061466/287796639090655*c_0110_5^8 + 326718771039479216/287796639090655*c_0110_5^6 - 39658154653268160/57559327818131*c_0110_5^4 + 8355579224281517/57559327818131*c_0110_5^2 - 1615483958448598/287796639090655, c_0101_0 - 2756366311061504/57559327818131*c_0110_5^21 - 61284490964117964/57559327818131*c_0110_5^19 - 187979410902931896/57559327818131*c_0110_5^17 + 1742172767608854197/57559327818131*c_0110_5^15 - 1767465560650943169/57559327818131*c_0110_5^13 + 4371930081185521827/57559327818131*c_0110_5^11 - 3663849160982371575/57559327818131*c_0110_5^9 + 2197803392494328743/57559327818131*c_0110_5^7 - 1338840789306359952/57559327818131*c_0110_5^5 + 279915272907556123/57559327818131*c_0110_5^3 - 11957615481901835/57559327818131*c_0110_5, c_0101_2 - 11878550957768267/287796639090655*c_0110_5^21 - 264143583350189643/287796639090655*c_0110_5^19 - 810950625035723722/287796639090655*c_0110_5^17 + 7505213545079320097/287796639090655*c_0110_5^15 - 7592892518028149959/287796639090655*c_0110_5^13 + 18818009781950427069/287796639090655*c_0110_5^11 - 15730047684107446587/287796639090655*c_0110_5^9 + 9424486215317212857/287796639090655*c_0110_5^7 - 1148383631204980192/57559327818131*c_0110_5^5 + 237732361866636404/57559327818131*c_0110_5^3 - 48274116799817676/287796639090655*c_0110_5, c_0110_5^22 + 22*c_0110_5^20 + 63*c_0110_5^18 - 648*c_0110_5^16 + 789*c_0110_5^14 - 1736*c_0110_5^12 + 1700*c_0110_5^10 - 1108*c_0110_5^8 + 672*c_0110_5^6 - 215*c_0110_5^4 + 28*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB