Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 139039944] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0466 geometric_solution 4.49997787 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.392677081080 0.192895468125 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555760880946 0.814897038160 1 3 4 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.554609508741 1.428894304161 2 4 2 1 3201 1023 2310 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.554609508741 1.428894304161 3 5 5 2 1023 0132 3201 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 -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.267176482300 0.273853373030 4 4 6 6 2310 0132 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 2.014154240892 2.097374267413 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.539486142493 0.229885269081 ==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' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : 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_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 4465668595627297993/921893803375863717*c_0101_5^15 - 1471106384506827491/102432644819540413*c_0101_5^14 - 8965529618204280270/102432644819540413*c_0101_5^13 + 13126137624465363465/102432644819540413*c_0101_5^12 + 592123528254314749762/921893803375863717*c_0101_5^11 + 35043520791485855519/307297934458621239*c_0101_5^10 - 1293189657802288886333/921893803375863717*c_0101_5^9 - 1228186782172066567331/921893803375863717*c_0101_5^8 + 101297732608765655051/102432644819540413*c_0101_5^7 + 1416109487189505772238/921893803375863717*c_0101_5^6 - 640062568235113210021/921893803375863717*c_0101_5^5 - 1215073721566576953211/921893803375863717*c_0101_5^4 - 113877208862325392405/307297934458621239*c_0101_5^3 - 28307382386492059031/307297934458621239*c_0101_5^2 - 16378787980603820008/102432644819540413*c_0101_5 - 90178991444624279966/921893803375863717, c_0011_0 - 1, c_0011_1 + 846104830072397/14633234974220059*c_0101_5^15 - 2813625406998245/14633234974220059*c_0101_5^14 - 14177592653407417/14633234974220059*c_0101_5^13 + 26756782762567571/14633234974220059*c_0101_5^12 + 102523326765883667/14633234974220059*c_0101_5^11 - 7865449131759221/14633234974220059*c_0101_5^10 - 246493505011363049/14633234974220059*c_0101_5^9 - 185521126368593422/14633234974220059*c_0101_5^8 + 233192160655689551/14633234974220059*c_0101_5^7 + 256535958160603152/14633234974220059*c_0101_5^6 - 146187211079216669/14633234974220059*c_0101_5^5 - 237514528743981883/14633234974220059*c_0101_5^4 - 37383374507951776/14633234974220059*c_0101_5^3 + 31914751857633949/14633234974220059*c_0101_5^2 - 4575149528857313/14633234974220059*c_0101_5 - 44205282939717/14633234974220059, c_0011_3 + 1021518018961513/14633234974220059*c_0101_5^15 - 3525418833866741/14633234974220059*c_0101_5^14 - 16739467215315876/14633234974220059*c_0101_5^13 + 34702482751227530/14633234974220059*c_0101_5^12 + 120170602085666171/14633234974220059*c_0101_5^11 - 27295625125925825/14633234974220059*c_0101_5^10 - 299232249139915149/14633234974220059*c_0101_5^9 - 184351814922251443/14633234974220059*c_0101_5^8 + 322669873275969804/14633234974220059*c_0101_5^7 + 291553619939623042/14633234974220059*c_0101_5^6 - 238917784674964774/14633234974220059*c_0101_5^5 - 302733847050347211/14633234974220059*c_0101_5^4 - 14145655334492737/14633234974220059*c_0101_5^3 + 83737817810762263/14633234974220059*c_0101_5^2 - 3854206386657379/14633234974220059*c_0101_5 - 14010174565400441/14633234974220059, c_0011_6 + 111208228479800/14633234974220059*c_0101_5^15 - 1239989395328146/14633234974220059*c_0101_5^14 + 1720015965112367/14633234974220059*c_0101_5^13 + 15446852538501433/14633234974220059*c_0101_5^12 - 24375939533314939/14633234974220059*c_0101_5^11 - 78647606831372453/14633234974220059*c_0101_5^10 + 46525409950704887/14633234974220059*c_0101_5^9 + 179517789408311008/14633234974220059*c_0101_5^8 + 36751014272941574/14633234974220059*c_0101_5^7 - 249677553336722412/14633234974220059*c_0101_5^6 - 50736942912612688/14633234974220059*c_0101_5^5 + 210636208665667506/14633234974220059*c_0101_5^4 + 59204292523534636/14633234974220059*c_0101_5^3 - 45653155830725165/14633234974220059*c_0101_5^2 - 10709806850612703/14633234974220059*c_0101_5 + 12850617129617879/14633234974220059, c_0101_0 + 2406586408025372/14633234974220059*c_0101_5^15 - 8484680878316808/14633234974220059*c_0101_5^14 - 38421038690624138/14633234974220059*c_0101_5^13 + 83423580892159036/14633234974220059*c_0101_5^12 + 270052250094117538/14633234974220059*c_0101_5^11 - 73294393564046990/14633234974220059*c_0101_5^10 - 647682165319602166/14633234974220059*c_0101_5^9 - 383195958467862495/14633234974220059*c_0101_5^8 + 655978404823062393/14633234974220059*c_0101_5^7 + 529736565051480116/14633234974220059*c_0101_5^6 - 471579109340708241/14633234974220059*c_0101_5^5 - 521367688488372745/14633234974220059*c_0101_5^4 - 83683473612725945/14633234974220059*c_0101_5^3 + 76251016552799181/14633234974220059*c_0101_5^2 + 8114202754551874/14633234974220059*c_0101_5 - 16178783159211577/14633234974220059, c_0101_1 - 988406991686027/14633234974220059*c_0101_5^15 + 2914271045589684/14633234974220059*c_0101_5^14 + 17992114479335485/14633234974220059*c_0101_5^13 - 25823791173047588/14633234974220059*c_0101_5^12 - 134199991256009642/14633234974220059*c_0101_5^11 - 26878322509948612/14633234974220059*c_0101_5^10 + 309295140025109492/14633234974220059*c_0101_5^9 + 301801424406666027/14633234974220059*c_0101_5^8 - 244688605408243844/14633234974220059*c_0101_5^7 - 399623422132508073/14633234974220059*c_0101_5^6 + 140347123653152381/14633234974220059*c_0101_5^5 + 375559950417235899/14633234974220059*c_0101_5^4 + 86028536795055775/14633234974220059*c_0101_5^3 - 50733382463928407/14633234974220059*c_0101_5^2 + 4978487424416941/14633234974220059*c_0101_5 + 15745825391945719/14633234974220059, c_0101_5^16 - 3*c_0101_5^15 - 18*c_0101_5^14 + 27*c_0101_5^13 + 133*c_0101_5^12 + 21*c_0101_5^11 - 302*c_0101_5^10 - 287*c_0101_5^9 + 231*c_0101_5^8 + 371*c_0101_5^7 - 133*c_0101_5^6 - 331*c_0101_5^5 - 102*c_0101_5^4 + 30*c_0101_5^3 + 9*c_0101_5^2 - 11*c_0101_5 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB