Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 3650635061] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1932 geometric_solution 5.52484808 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.374753200519 0.904656386117 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.982527087596 1.111176493146 1 3 0 4 1230 2310 0132 2310 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 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 0 0 0 0.982527087596 1.111176493146 1 5 5 2 0132 0132 1023 3201 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 0.844712140089 0.422263117280 2 6 6 1 3201 0132 1023 0132 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161809301266 0.303417611176 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.514422155681 0.460197477352 6 4 4 6 3201 0132 1023 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.606869575252 1.159133351354 ==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_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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 3902353883853901113551678696519676175/27342908206036607010307750663\ 5656913*c_0101_6^19 + 74836254928145704808769085834958085548/273429\ 082060366070103077506635656913*c_0101_6^18 + 116299119605634217023808769104305814806/911430273534553567010258355\ 45218971*c_0101_6^17 + 1002910180292648422019796613009754519002/273\ 429082060366070103077506635656913*c_0101_6^16 + 355875558332824397183690126637863289640/273429082060366070103077506\ 635656913*c_0101_6^15 - 2993563287540928495222271624117817439028/27\ 3429082060366070103077506635656913*c_0101_6^14 - 78453277428912582799528353187876029646/8285729759405032427365985049\ 565361*c_0101_6^13 - 67747703948623017014928153763360814732/2485718\ 9278215097282097955148696083*c_0101_6^12 - 20838545381293919100672595467950623148/9114302735345535670102583554\ 5218971*c_0101_6^11 + 4442048055408124433942894925064688909264/2734\ 29082060366070103077506635656913*c_0101_6^10 + 890528013325784500426396841534761296260/273429082060366070103077506\ 635656913*c_0101_6^9 + 1484862853971941222491876889256088986698/273\ 429082060366070103077506635656913*c_0101_6^8 + 1422333381858905646629462113474798312843/27342908206036607010307750\ 6635656913*c_0101_6^7 - 114639317370519402936526839911764759936/911\ 43027353455356701025835545218971*c_0101_6^6 + 798571688555719958064885793452510538973/273429082060366070103077506\ 635656913*c_0101_6^5 - 330666857602864573958485203915301718249/2734\ 29082060366070103077506635656913*c_0101_6^4 - 110631369109723076726153901518557903966/273429082060366070103077506\ 635656913*c_0101_6^3 + 2697302984776005913372803728707455581/248571\ 89278215097282097955148696083*c_0101_6^2 - 27892852679259239255710869052445598076/2734290820603660701030775066\ 35656913*c_0101_6 - 20789536627484909836992557924281405712/27342908\ 2060366070103077506635656913, c_0011_0 - 1, c_0011_1 + 4232804544051858710655459290372/1048826551823421826248858867\ 03359*c_0101_6^19 + 82354222077994161270152706199860/10488265518234\ 2182624885886703359*c_0101_6^18 + 399078865005108902823687845905917\ /104882655182342182624885886703359*c_0101_6^17 + 1153211467347197185311746361605418/10488265518234218262488588670335\ 9*c_0101_6^16 + 478437679165026308155671622099183/10488265518234218\ 2624885886703359*c_0101_6^15 - 3790030356258350270600143920432795/1\ 04882655182342182624885886703359*c_0101_6^14 - 4252057654354672707597119468793759/10488265518234218262488588670335\ 9*c_0101_6^13 + 24616059326037651590497816701275/104882655182342182\ 624885886703359*c_0101_6^12 + 2447415747442711187660790787339509/10\ 4882655182342182624885886703359*c_0101_6^11 + 5649371803797371570397097922224765/10488265518234218262488588670335\ 9*c_0101_6^10 + 1984477435623743443902232449941451/1048826551823421\ 82624885886703359*c_0101_6^9 - 460363172895802976059328917812192/10\ 4882655182342182624885886703359*c_0101_6^8 - 392353614533484921716976803332169/104882655182342182624885886703359\ *c_0101_6^7 - 467954633169620019234053380952329/1048826551823421826\ 24885886703359*c_0101_6^6 - 310484376245178650147779847855085/10488\ 2655182342182624885886703359*c_0101_6^5 - 232204345197557728872299139514853/104882655182342182624885886703359\ *c_0101_6^4 - 17485027093866978250918336191051/10488265518234218262\ 4885886703359*c_0101_6^3 + 1724617259931368700490123933863/10488265\ 5182342182624885886703359*c_0101_6^2 + 275912987248792575082941392344833/104882655182342182624885886703359\ *c_0101_6 - 1180089386374009841720150902448/10488265518234218262488\ 5886703359, c_0011_4 - 2674423914372315203111237701589/1048826551823421826248858867\ 03359*c_0101_6^19 - 49595633365956657954039938801566/10488265518234\ 2182624885886703359*c_0101_6^18 - 204909857861280437003359678715891\ /104882655182342182624885886703359*c_0101_6^17 - 502072664432719027770773466865927/104882655182342182624885886703359\ *c_0101_6^16 + 356084743287788580916245518770803/104882655182342182\ 624885886703359*c_0101_6^15 + 2701919244424249642883382172506036/10\ 4882655182342182624885886703359*c_0101_6^14 + 782474313801144800458364688015026/104882655182342182624885886703359\ *c_0101_6^13 - 1818150570457596231440852377688061/10488265518234218\ 2624885886703359*c_0101_6^12 - 1768746277789201542951134588789380/1\ 04882655182342182624885886703359*c_0101_6^11 - 4025262840025583322036557071002817/10488265518234218262488588670335\ 9*c_0101_6^10 + 1049168883979060739301545083969190/1048826551823421\ 82624885886703359*c_0101_6^9 + 1421861881233001433252220529509681/1\ 04882655182342182624885886703359*c_0101_6^8 + 473205826496797664630256384517259/104882655182342182624885886703359\ *c_0101_6^7 + 1946107918108864636256260707162961/104882655182342182\ 624885886703359*c_0101_6^6 + 146744961522242125593342588258624/1048\ 82655182342182624885886703359*c_0101_6^5 + 746683967141629271712793409053290/104882655182342182624885886703359\ *c_0101_6^4 + 426188476343338497899785714228763/1048826551823421826\ 24885886703359*c_0101_6^3 - 256292323184410150818827201367735/10488\ 2655182342182624885886703359*c_0101_6^2 - 37950331465031768616299498704/104882655182342182624885886703359*c_0\ 101_6 - 31587441639615064528717470493694/10488265518234218262488588\ 6703359, c_0101_0 - 778821431522162384194622866866/10488265518234218262488588670\ 3359*c_0101_6^19 - 9473750858072311273519779211114/1048826551823421\ 82624885886703359*c_0101_6^18 + 38349232039860985773713019390258/10\ 4882655182342182624885886703359*c_0101_6^17 + 349019398380660619827225952807792/104882655182342182624885886703359\ *c_0101_6^16 + 1597099511573810996935542517214717/10488265518234218\ 2624885886703359*c_0101_6^15 + 1793084771141477262893953459692175/1\ 04882655182342182624885886703359*c_0101_6^14 - 3806744822665829514249616288197405/10488265518234218262488588670335\ 9*c_0101_6^13 - 6381759235701808700420381595062757/1048826551823421\ 82624885886703359*c_0101_6^12 - 2312249329686155143747442711411341/\ 104882655182342182624885886703359*c_0101_6^11 + 261897322222514838593445311295148/104882655182342182624885886703359\ *c_0101_6^10 + 7135444459168918112197550048883836/10488265518234218\ 2624885886703359*c_0101_6^9 + 4697790816491361986727094559770720/10\ 4882655182342182624885886703359*c_0101_6^8 + 822592014609286431816629057151623/104882655182342182624885886703359\ *c_0101_6^7 + 1416927569202394133597198370851001/104882655182342182\ 624885886703359*c_0101_6^6 - 362956293976875177711815246240998/1048\ 82655182342182624885886703359*c_0101_6^5 + 293415016776312869568551885629787/104882655182342182624885886703359\ *c_0101_6^4 + 159234889973770906026683570308077/1048826551823421826\ 24885886703359*c_0101_6^3 - 290645201327716624360572252885764/10488\ 2655182342182624885886703359*c_0101_6^2 - 17595902607032908934900735836697/104882655182342182624885886703359*\ c_0101_6 + 96499091938056719069899616505662/10488265518234218262488\ 5886703359, c_0101_1 - 7917218085307786437721958806393/1048826551823421826248858867\ 03359*c_0101_6^19 - 147967421480957975689294581929157/1048826551823\ 42182624885886703359*c_0101_6^18 - 630503602572305665765741453154586/104882655182342182624885886703359\ *c_0101_6^17 - 1624018294729437594122055371816833/10488265518234218\ 2624885886703359*c_0101_6^16 + 613306862725007427966265056554342/10\ 4882655182342182624885886703359*c_0101_6^15 + 7505645942887103317421271792953691/10488265518234218262488588670335\ 9*c_0101_6^14 + 3274068564301518032801916552072670/1048826551823421\ 82624885886703359*c_0101_6^13 - 3309304720260251297038934087715220/\ 104882655182342182624885886703359*c_0101_6^12 - 5052924689805844804060057025927637/10488265518234218262488588670335\ 9*c_0101_6^11 - 12145757319986862026301031888994647/104882655182342\ 182624885886703359*c_0101_6^10 + 2429723636665323969685078765951317\ /104882655182342182624885886703359*c_0101_6^9 + 3205687813901835437166847882427667/10488265518234218262488588670335\ 9*c_0101_6^8 + 2990765245144031576147501671634575/10488265518234218\ 2624885886703359*c_0101_6^7 + 4000573970300500118127913706057864/10\ 4882655182342182624885886703359*c_0101_6^6 - 813372385309670312902381762567225/104882655182342182624885886703359\ *c_0101_6^5 + 875491682672822072783946450415534/1048826551823421826\ 24885886703359*c_0101_6^4 + 99522831286788761598144764762843/104882\ 655182342182624885886703359*c_0101_6^3 - 219227265177234812234855690314607/104882655182342182624885886703359\ *c_0101_6^2 - 390955105879877557171867131837507/1048826551823421826\ 24885886703359*c_0101_6 + 21085669134493946634390519044503/10488265\ 5182342182624885886703359, c_0101_5 + 27198235894754965410327880493676/104882655182342182624885886\ 703359*c_0101_6^19 + 517806942689532671788296498667959/104882655182\ 342182624885886703359*c_0101_6^18 + 2355512568618837205504563806379665/10488265518234218262488588670335\ 9*c_0101_6^17 + 6578572783980255801988976742855189/1048826551823421\ 82624885886703359*c_0101_6^16 + 1134699227462091162955616220761872/\ 104882655182342182624885886703359*c_0101_6^15 - 22363233686393622759355644409876878/1048826551823421826248858867033\ 59*c_0101_6^14 - 16054968986229499430845501238493763/10488265518234\ 2182624885886703359*c_0101_6^13 - 47282179605724033621806215321886/\ 104882655182342182624885886703359*c_0101_6^12 + 4565611306938920244679284728104981/10488265518234218262488588670335\ 9*c_0101_6^11 + 33571786150120578694262322538028489/104882655182342\ 182624885886703359*c_0101_6^10 + 2172512900703639846896807409994539\ /104882655182342182624885886703359*c_0101_6^9 + 4405820081429383250455614485113573/10488265518234218262488588670335\ 9*c_0101_6^8 + 4749878857952447691589573468262055/10488265518234218\ 2624885886703359*c_0101_6^7 - 5626798599395802400283874162092223/10\ 4882655182342182624885886703359*c_0101_6^6 + 4446770833776760407353344092084211/10488265518234218262488588670335\ 9*c_0101_6^5 - 2965395135790616701719498931801648/10488265518234218\ 2624885886703359*c_0101_6^4 - 951206526995538789744103588556144/104\ 882655182342182624885886703359*c_0101_6^3 + 110234461659389249106324389721417/104882655182342182624885886703359\ *c_0101_6^2 + 100359037370453190426641172477706/1048826551823421826\ 24885886703359*c_0101_6 - 95248126907387468289490423644761/10488265\ 5182342182624885886703359, c_0101_6^20 + 19*c_0101_6^19 + 86*c_0101_6^18 + 241*c_0101_6^17 + 45*c_0101_6^16 - 785*c_0101_6^15 - 527*c_0101_6^14 - 67*c_0101_6^13 + 19*c_0101_6^12 + 1141*c_0101_6^11 + 26*c_0101_6^10 + 331*c_0101_6^9 + 302*c_0101_6^8 - 158*c_0101_6^7 + 221*c_0101_6^6 - 121*c_0101_6^5 - 15*c_0101_6^4 + 14*c_0101_6^3 - 9*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB