Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 4139215567] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0134 geometric_solution 3.64045867 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 0 0 0 0 0 -1 0 1 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 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.796674104640 0.403333699828 0 0 2 3 0132 0321 2031 1302 0 0 0 0 0 -1 0 1 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 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.000869859387 0.505831498572 2 0 2 1 2310 0132 3201 1302 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 0 0 0 0 0 0 -1 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.996600335734 1.976937074093 4 4 1 0 0132 2310 2031 0132 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 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.511931655595 0.374647805884 3 5 5 3 0132 0132 3201 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.465623049230 0.196965216426 4 4 6 6 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6.079792131522 1.034899153645 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.488996514000 0.049519830154 ==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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : 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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2480545312066278193938405839468/2282389380240337605184287843195*c_0\ 101_5^20 - 8138059255583207204964870010726/228238938024033760518428\ 7843195*c_0101_5^19 - 15240603174350004085034269106108/326055625748\ 619657883469691885*c_0101_5^18 - 299607091030254105773895749324063/\ 2282389380240337605184287843195*c_0101_5^17 - 267310307661056903508345468902431/456477876048067521036857568639*c_\ 0101_5^16 - 3691252370300666065717906650815944/22823893802403376051\ 84287843195*c_0101_5^15 - 2230135550836856491693783413905303/760796\ 460080112535061429281065*c_0101_5^14 - 5839909578634090484914412834736943/760796460080112535061429281065*c\ _0101_5^13 - 17526560952829613698760429502908498/228238938024033760\ 5184287843195*c_0101_5^12 - 13824684474959757377168476070743019/760\ 796460080112535061429281065*c_0101_5^11 - 422179605584050759586902574455992/36228402860957739764829965765*c_0\ 101_5^10 - 18032479089900604325048255573627791/76079646008011253506\ 1429281065*c_0101_5^9 - 23937369098443399876064630520002683/2282389\ 380240337605184287843195*c_0101_5^8 - 39728791070231121282302976055022648/2282389380240337605184287843195\ *c_0101_5^7 - 12576518516355242312190280629441649/22823893802403376\ 05184287843195*c_0101_5^6 - 290754684723486106793960379693487/41497\ 988731642501912441597149*c_0101_5^5 - 761194703152209258184954698995975/456477876048067521036857568639*c_\ 0101_5^4 - 221008358116847494198836658476589/1521592920160225070122\ 85856213*c_0101_5^3 - 6287579710006286533048413301541/2173704171657\ 4643858897979459*c_0101_5^2 - 19699778573098661332935704698171/1521\ 59292016022507012285856213*c_0101_5 - 33460542231168003295301126785108/2282389380240337605184287843195, c_0011_0 - 1, c_0011_3 + 70105676933281626973913920/14014856039055218477690509*c_0101\ _5^20 + 36985313667804549761805760/14014856039055218477690509*c_010\ 1_5^19 + 2897174816692621149178308762/14014856039055218477690509*c_\ 0101_5^18 + 461390472910556860436264643/14014856039055218477690509*\ c_0101_5^17 + 35816409088133138047883671486/14014856039055218477690\ 509*c_0101_5^16 + 4737340004387223736768088576/14014856039055218477\ 690509*c_0101_5^15 + 167286282341668423919342390236/140148560390552\ 18477690509*c_0101_5^14 + 23019158162820138149714847185/14014856039\ 055218477690509*c_0101_5^13 + 387619808918965939241617578196/140148\ 56039055218477690509*c_0101_5^12 + 53167285408802993173304023254/14014856039055218477690509*c_0101_5^1\ 1 + 491233755894426877385677123649/14014856039055218477690509*c_010\ 1_5^10 + 61460006598272330194235399563/14014856039055218477690509*c\ _0101_5^9 + 343891481532569019406696230658/140148560390552184776905\ 09*c_0101_5^8 + 35551036796222753129854948837/140148560390552184776\ 90509*c_0101_5^7 + 125192295227739050547012145863/14014856039055218\ 477690509*c_0101_5^6 + 10480977230981187069628671174/14014856039055\ 218477690509*c_0101_5^5 + 20149699137366618160467667637/14014856039\ 055218477690509*c_0101_5^4 + 1839264038598624687866839831/140148560\ 39055218477690509*c_0101_5^3 + 664039264747559318587369416/14014856\ 039055218477690509*c_0101_5^2 + 11578963053489969459829356/14014856\ 039055218477690509*c_0101_5 - 149883664062925841350557784/140148560\ 39055218477690509, c_0011_6 - 90379760731168236615392656/14014856039055218477690509*c_0101\ _5^20 - 40401390574061096372839014/14014856039055218477690509*c_010\ 1_5^19 - 3733492933010948341953598621/14014856039055218477690509*c_\ 0101_5^18 - 295273615811805129516155048/14014856039055218477690509*\ c_0101_5^17 - 46222179560246228719664932852/14014856039055218477690\ 509*c_0101_5^16 - 2405627198593347482349002085/14014856039055218477\ 690509*c_0101_5^15 - 216358848676012744875508324524/140148560390552\ 18477690509*c_0101_5^14 - 12463846298649535112650995665/14014856039\ 055218477690509*c_0101_5^13 - 502886720333409522649420212998/140148\ 56039055218477690509*c_0101_5^12 - 28821244555378915746362649852/14014856039055218477690509*c_0101_5^1\ 1 - 640648656024539376208459489346/14014856039055218477690509*c_010\ 1_5^10 - 28818843222900057958765725856/14014856039055218477690509*c\ _0101_5^9 - 453188650924135575470836549761/140148560390552184776905\ 09*c_0101_5^8 - 9879962136971164387759542462/1401485603905521847769\ 0509*c_0101_5^7 - 168998611373664725281813422915/140148560390552184\ 77690509*c_0101_5^6 + 408156996654620775005019568/14014856039055218\ 477690509*c_0101_5^5 - 29036738466654272361062278053/14014856039055\ 218477690509*c_0101_5^4 + 294245221154049077335096468/1401485603905\ 5218477690509*c_0101_5^3 - 1391475758677494006250738354/14014856039\ 055218477690509*c_0101_5^2 + 206830753042356802879118129/1401485603\ 9055218477690509*c_0101_5 + 144754889622794112329251711/14014856039\ 055218477690509, c_0101_0 - 80060082251972794885061032/14014856039055218477690509*c_0101\ _5^20 - 36991280141084154531322746/14014856039055218477690509*c_010\ 1_5^19 - 3307837001988914924868197505/14014856039055218477690509*c_\ 0101_5^18 - 311865429478402170148470084/14014856039055218477690509*\ c_0101_5^17 - 40952061965828205804135428883/14014856039055218477690\ 509*c_0101_5^16 - 2769040299277683560880632181/14014856039055218477\ 690509*c_0101_5^15 - 191709109109118280720634256753/140148560390552\ 18477690509*c_0101_5^14 - 14189219378680804164566740362/14014856039\ 055218477690509*c_0101_5^13 - 445537053252904485766385520448/140148\ 56039055218477690509*c_0101_5^12 - 33335230327941661593670203584/14014856039055218477690509*c_0101_5^1\ 1 - 567186628295275547815221952283/14014856039055218477690509*c_010\ 1_5^10 - 36315785162561657449283384478/14014856039055218477690509*c\ _0101_5^9 - 400412525485973950356414832315/140148560390552184776905\ 09*c_0101_5^8 - 17333698809852453243815141456/140148560390552184776\ 90509*c_0101_5^7 - 148518390639569799528666847178/14014856039055218\ 477690509*c_0101_5^6 - 3484784063074604142945987626/140148560390552\ 18477690509*c_0101_5^5 - 25086716503474354967546102304/140148560390\ 55218477690509*c_0101_5^4 - 594156491439385012437410068/14014856039\ 055218477690509*c_0101_5^3 - 1059358937521841933854082146/140148560\ 39055218477690509*c_0101_5^2 + 117951425577847249077953020/14014856\ 039055218477690509*c_0101_5 + 152527768086801145670901253/140148560\ 39055218477690509, c_0101_2 - 12183280773751428905849174/14014856039055218477690509*c_0101\ _5^20 + 12990415205403620180883949/14014856039055218477690509*c_010\ 1_5^19 - 499139091574731613156464739/14014856039055218477690509*c_0\ 101_5^18 + 722206402278115341621907062/14014856039055218477690509*c\ _0101_5^17 - 6338995730516251461882598637/1401485603905521847769050\ 9*c_0101_5^16 + 9181881875802341698887349319/1401485603905521847769\ 0509*c_0101_5^15 - 30765144090416767914724192949/140148560390552184\ 77690509*c_0101_5^14 + 43408618647282264608213224934/14014856039055\ 218477690509*c_0101_5^13 - 74987717583654312831371060681/1401485603\ 9055218477690509*c_0101_5^12 + 102511196047061137589344044860/14014\ 856039055218477690509*c_0101_5^11 - 102821514524841885943513581884/14014856039055218477690509*c_0101_5^\ 10 + 134046672573733084253460406041/14014856039055218477690509*c_01\ 01_5^9 - 83193100656246402204788287648/14014856039055218477690509*c\ _0101_5^8 + 98639123121936138461669666098/1401485603905521847769050\ 9*c_0101_5^7 - 40454509400978714594041670308/1401485603905521847769\ 0509*c_0101_5^6 + 39081651359897108336517949463/1401485603905521847\ 7690509*c_0101_5^5 - 11674124185336548696461269143/1401485603905521\ 8477690509*c_0101_5^4 + 7569087186860707539164634333/14014856039055\ 218477690509*c_0101_5^3 - 1821460935022392311483758060/140148560390\ 55218477690509*c_0101_5^2 + 608202226050436512147053808/14014856039\ 055218477690509*c_0101_5 - 153081042537029387789119747/140148560390\ 55218477690509, c_0101_3 - 1793291292778650963549724/14014856039055218477690509*c_0101_\ 5^20 - 4431826925255068923728518/14014856039055218477690509*c_0101_\ 5^19 - 73620848700392437121422770/14014856039055218477690509*c_0101\ _5^18 - 154629922377881200645216182/14014856039055218477690509*c_01\ 01_5^17 - 844390287639358323417923551/14014856039055218477690509*c_\ 0101_5^16 - 1887266202143011660258903650/14014856039055218477690509\ *c_0101_5^15 - 3383233538862136407814804628/14014856039055218477690\ 509*c_0101_5^14 - 8745784802090602390924610048/14014856039055218477\ 690509*c_0101_5^13 - 6158957399528619786684934326/14014856039055218\ 477690509*c_0101_5^12 - 19825962043311028886539787501/1401485603905\ 5218477690509*c_0101_5^11 - 4807542289746767241970707796/1401485603\ 9055218477690509*c_0101_5^10 - 24265704775599786539440559652/140148\ 56039055218477690509*c_0101_5^9 + 165024591903253808575378656/14014\ 856039055218477690509*c_0101_5^8 - 16343931776826759604126040714/14014856039055218477690509*c_0101_5^7 + 2615882029119150410173879882/14014856039055218477690509*c_0101_5^\ 6 - 5820651804063387014031152392/14014856039055218477690509*c_0101_\ 5^5 + 1319488665824183004956236012/14014856039055218477690509*c_010\ 1_5^4 - 970097059154618108651770253/14014856039055218477690509*c_01\ 01_5^3 + 140562589864629464107690650/14014856039055218477690509*c_0\ 101_5^2 - 50190165810805705497452733/14014856039055218477690509*c_0\ 101_5 + 1952347814434844400689148/14014856039055218477690509, c_0101_5^21 + 1/2*c_0101_5^20 + 83/2*c_0101_5^19 + 11/2*c_0101_5^18 + 1037/2*c_0101_5^17 + 53*c_0101_5^16 + 2481*c_0101_5^15 + 507/2*c_0101_5^14 + 5974*c_0101_5^13 + 1125/2*c_0101_5^12 + 8046*c_0101_5^11 + 573*c_0101_5^10 + 6242*c_0101_5^9 + 202*c_0101_5^8 + 5503/2*c_0101_5^7 - 52*c_0101_5^6 + 665*c_0101_5^5 - 105/2*c_0101_5^4 + 165/2*c_0101_5^3 - 15*c_0101_5^2 + 7/2*c_0101_5 - 3/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB