Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 172725801] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s361 geometric_solution 4.57925848 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 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.534312258347 0.208613585624 0 2 2 0 3201 0132 1023 0132 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 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 1.214194083284 0.357083199766 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0 0 0 1 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 0.613495733554 0.550467075774 2 4 4 5 0132 0321 1302 0132 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 -1 0 1 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.640238445640 0.681194285116 3 5 2 3 2031 1023 0132 0321 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 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.640238445640 0.681194285116 4 5 3 5 1023 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.794137504810 0.448897959189 ==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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 615737072794806490749326469705419/34858150591601484452377278959711*\ c_0110_5^20 - 4595940451568635130704089450024536/348581505916014844\ 52377278959711*c_0110_5^19 - 4639070464189495330291820653114922/348\ 58150591601484452377278959711*c_0110_5^18 + 28301928998026004566074032433212485/3485815059160148445237727895971\ 1*c_0110_5^17 + 104465629711039914905683050791063917/34858150591601\ 484452377278959711*c_0110_5^16 + 1408133667083560022762761794909114\ 68/34858150591601484452377278959711*c_0110_5^15 + 105072054846977761869930301004108276/348581505916014844523772789597\ 11*c_0110_5^14 - 264829793442892143133361939214299816/3485815059160\ 1484452377278959711*c_0110_5^13 - 121142832994856242227230721323631\ 86/34858150591601484452377278959711*c_0110_5^12 + 330833827087843066846193730039044042/348581505916014844523772789597\ 11*c_0110_5^11 + 246001936388358667370442496100983330/3485815059160\ 1484452377278959711*c_0110_5^10 - 515265359521074954642478974486031\ 190/34858150591601484452377278959711*c_0110_5^9 - 340939126318550525202426336624902129/348581505916014844523772789597\ 11*c_0110_5^8 + 99700783989597536784330912721225116/497973579880021\ 2064625325565673*c_0110_5^7 - 17194514302186112160579726540629307/3\ 4858150591601484452377278959711*c_0110_5^6 - 331180353463978432231808789289648377/348581505916014844523772789597\ 11*c_0110_5^5 + 61726827830485256473896462152875360/348581505916014\ 84452377278959711*c_0110_5^4 + 31158259831062649168359437919460506/\ 34858150591601484452377278959711*c_0110_5^3 + 11410595795685810846199104127853306/3485815059160148445237727895971\ 1*c_0110_5^2 - 1961852102760484104403725737389821/34858150591601484\ 452377278959711*c_0110_5 - 1904117468869628619484612284968683/34858\ 150591601484452377278959711, c_0011_0 - 1, c_0011_1 - 16653255185287999441669255792044/497973579880021206462532556\ 5673*c_0110_5^20 - 127609821914727719914036428796972/49797357988002\ 12064625325565673*c_0110_5^19 - 150994888742780287602135572671437/4\ 979735798800212064625325565673*c_0110_5^18 + 734047043542355082518336472196787/4979735798800212064625325565673*c\ _0110_5^17 + 2969453112452423616465271727996604/4979735798800212064\ 625325565673*c_0110_5^16 + 4407482172330825689278607445658231/49797\ 35798800212064625325565673*c_0110_5^15 + 3753624604178534036538009528206563/4979735798800212064625325565673*\ c_0110_5^14 - 6370064035198893899000121879624523/497973579880021206\ 4625325565673*c_0110_5^13 - 1581341021380516902145805949619025/4979\ 735798800212064625325565673*c_0110_5^12 + 8501728926193683213413192326574579/4979735798800212064625325565673*\ c_0110_5^11 + 8225939083501748504447632013337007/497973579880021206\ 4625325565673*c_0110_5^10 - 12181205393260638150713914339455256/497\ 9735798800212064625325565673*c_0110_5^9 - 11513381634668165844696446464904394/4979735798800212064625325565673\ *c_0110_5^8 + 16390011953379147441183039985276680/49797357988002120\ 64625325565673*c_0110_5^7 + 2501646099511266972707052253949497/4979\ 735798800212064625325565673*c_0110_5^6 - 8233093189840606469858693544498834/4979735798800212064625325565673*\ c_0110_5^5 + 247765954572942655015053223758383/49797357988002120646\ 25325565673*c_0110_5^4 + 685348616865927528709467180146792/49797357\ 98800212064625325565673*c_0110_5^3 + 376383629802726910196741830202135/4979735798800212064625325565673*c\ _0110_5^2 + 72201980560539202437858308458129/4979735798800212064625\ 325565673*c_0110_5 - 23756598119011615437855253551659/4979735798800\ 212064625325565673, c_0011_4 - 16587715031380761880202026854579/497973579880021206462532556\ 5673*c_0110_5^20 - 127064952813048878286558293331822/49797357988002\ 12064625325565673*c_0110_5^19 - 150131332325697863112228430741028/4\ 979735798800212064625325565673*c_0110_5^18 + 731051922383233129218189032093536/4979735798800212064625325565673*c\ _0110_5^17 + 2954956064053063297213174244107421/4979735798800212064\ 625325565673*c_0110_5^16 + 4384481233372145799619668094855354/49797\ 35798800212064625325565673*c_0110_5^15 + 3739724426723781075940186282294966/4979735798800212064625325565673*\ c_0110_5^14 - 6330004792875459067557577435986075/497973579880021206\ 4625325565673*c_0110_5^13 - 1528527022214854975798534047518400/4979\ 735798800212064625325565673*c_0110_5^12 + 8471700859635282937002320135894550/4979735798800212064625325565673*\ c_0110_5^11 + 8158711717609647360702329157471735/497973579880021206\ 4625325565673*c_0110_5^10 - 12125274579759162646715134682203119/497\ 9735798800212064625325565673*c_0110_5^9 - 11401613325676296448634570707473367/4979735798800212064625325565673\ *c_0110_5^8 + 16338364938705418293258645920070820/49797357988002120\ 64625325565673*c_0110_5^7 + 2388321630041153069945895912075188/4979\ 735798800212064625325565673*c_0110_5^6 - 8172155173200907727410703539741222/4979735798800212064625325565673*\ c_0110_5^5 + 290420195334316064928450095676485/49797357988002120646\ 25325565673*c_0110_5^4 + 645955319854965962914593997412343/49797357\ 98800212064625325565673*c_0110_5^3 + 379050891872717771544481080328093/4979735798800212064625325565673*c\ _0110_5^2 + 72732211822750453051420244009091/4979735798800212064625\ 325565673*c_0110_5 - 25623795450648618248082305910526/4979735798800\ 212064625325565673, c_0101_0 - 21275465531828571261207198612329/497973579880021206462532556\ 5673*c_0110_5^20 - 162112887640560194822936760704125/49797357988002\ 12064625325565673*c_0110_5^19 - 185886701322869289884847592896914/4\ 979735798800212064625325565673*c_0110_5^18 + 946034620783672738634250132564109/4979735798800212064625325565673*c\ _0110_5^17 + 3752797858281871201373756995216103/4979735798800212064\ 625325565673*c_0110_5^16 + 5466575898161490174537308938239194/49797\ 35798800212064625325565673*c_0110_5^15 + 4554724245455027164690413175654699/4979735798800212064625325565673*\ c_0110_5^14 - 8332953872331201826020324886037727/497973579880021206\ 4625325565673*c_0110_5^13 - 1644660733312786906822730730810459/4979\ 735798800212064625325565673*c_0110_5^12 + 10982597976907382033345113547403461/4979735798800212064625325565673\ *c_0110_5^11 + 10046061811035311006516623061565574/4979735798800212\ 064625325565673*c_0110_5^10 - 16020767494415099753995468398823020/4\ 979735798800212064625325565673*c_0110_5^9 - 14025429917676489278897583999444041/4979735798800212064625325565673\ *c_0110_5^8 + 21625737606059488836949489526973337/49797357988002120\ 64625325565673*c_0110_5^7 + 2293883293676835199443063764218915/4979\ 735798800212064625325565673*c_0110_5^6 - 10698504540430361492826073309779378/4979735798800212064625325565673\ *c_0110_5^5 + 768708378488468458084814618591338/4979735798800212064\ 625325565673*c_0110_5^4 + 890680049142002665227563871178263/4979735\ 798800212064625325565673*c_0110_5^3 + 448000950296474375573581666001691/4979735798800212064625325565673*c\ _0110_5^2 + 58561784955983169741981986553464/4979735798800212064625\ 325565673*c_0110_5 - 34734694633675202559395385754336/4979735798800\ 212064625325565673, c_0101_2 + 2162238718723198416892533685993/4979735798800212064625325565\ 673*c_0110_5^20 + 16622242520848263798190426567391/4979735798800212\ 064625325565673*c_0110_5^19 + 19831565470447477327023661062361/4979\ 735798800212064625325565673*c_0110_5^18 - 96331035884167317904932031918988/4979735798800212064625325565673*c_\ 0110_5^17 - 390444145817375117030230779868986/497973579880021206462\ 5325565673*c_0110_5^16 - 575380661014502819736239274260427/49797357\ 98800212064625325565673*c_0110_5^15 - 465498279839819610486711395236053/4979735798800212064625325565673*c\ _0110_5^14 + 885116754312052939733016954160572/49797357988002120646\ 25325565673*c_0110_5^13 + 311743475208172032568448420272985/4979735\ 798800212064625325565673*c_0110_5^12 - 1113444716240013546979039477215296/4979735798800212064625325565673*\ c_0110_5^11 - 1113193736904910810717153210752000/497973579880021206\ 4625325565673*c_0110_5^10 + 1626772364380018908362304974673832/4979\ 735798800212064625325565673*c_0110_5^9 + 1670673711394414156942224176641934/4979735798800212064625325565673*\ c_0110_5^8 - 2131890603328929309882604655542529/4979735798800212064\ 625325565673*c_0110_5^7 - 513621141584285359367365737889432/4979735\ 798800212064625325565673*c_0110_5^6 + 1140713391237352540015861624153948/4979735798800212064625325565673*\ c_0110_5^5 + 54951658157538627671457341387903/497973579880021206462\ 5325565673*c_0110_5^4 - 109851546785866113487432636488862/497973579\ 8800212064625325565673*c_0110_5^3 - 71528493079855253267812840908066/4979735798800212064625325565673*c_\ 0110_5^2 - 22608480207413281652066394322869/49797357988002120646253\ 25565673*c_0110_5 + 4602597795600911624408353416297/497973579880021\ 2064625325565673, c_0110_5^21 + 7*c_0110_5^20 + 4*c_0110_5^19 - 50*c_0110_5^18 - 149*c_0110_5^17 - 147*c_0110_5^16 - 52*c_0110_5^15 + 529*c_0110_5^14 - 161*c_0110_5^13 - 569*c_0110_5^12 - 155*c_0110_5^11 + 1053*c_0110_5^10 + 202*c_0110_5^9 - 1434*c_0110_5^8 + 509*c_0110_5^7 + 582*c_0110_5^6 - 342*c_0110_5^5 - 26*c_0110_5^4 + 3*c_0110_5^3 + 11*c_0110_5^2 + 4*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB