Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2311591240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0313 geometric_solution 4.34957121 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 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 -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 2.355848758546 0.153450331195 0 2 2 0 0132 0132 3201 1023 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 -1 0 1 0 0 1 -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.973436498645 0.497137989246 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 -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.187147786166 0.180243359872 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 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.796676766607 1.418443074824 3 6 5 5 0132 0132 0213 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 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.135765897077 0.808557595767 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 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.135765897077 0.808557595767 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.798026854222 1.202856716416 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : 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_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 101866553104255148284476902949845826366462388446168060435719/132796\ 235141978399031528192673010202763306151759227019351040*c_0101_6^31 + 61331602253796067609029815875218076801096996216745946899699/4426541\ 171399279967717606422433673425443538391974233978368*c_0101_6^29 + 179315938717004946927857053232260419467042832538560458341727/110663\ 52928498199919294016056084183563608845979935584945920*c_0101_6^27 - 1990172579927256500221470180265887787461299397600553435675831/68100\ 6334061427687341170218835949757760544367996035996672*c_0101_6^25 - 34130228718479996218804957511967315557632359017736271205317639/4149\ 882348186824969735256021031568836353317242475844354720*c_0101_6^23 - 4472976748839291876542478494299686071414175368200682263520355731/44\ 265411713992799677176064224336734254435383919742339783680*c_0101_6^\ 21 + 49544714554294209997269188004342171120115124901141362132970057\ 83/44265411713992799677176064224336734254435383919742339783680*c_01\ 01_6^19 - 312915531847493565205203897684356126319718896374217300100\ 79480303/6639811757098919951576409633650510138165307587961350967552\ 0*c_0101_6^17 + 238106323532545168878718040654155580037528450447867\ 32585486750411/2213270585699639983858803211216836712721769195987116\ 9891840*c_0101_6^15 - 120675615948623154118776454686328457209903732\ 817784523761851421863/132796235141978399031528192673010202763306151\ 759227019351040*c_0101_6^13 + 5137921871245825580654905302338357903\ 8832830342828667331552220123/66398117570989199515764096336505101381\ 653075879613509675520*c_0101_6^11 - 56348540686112115588830412974764900387894981649945732010400373989/1\ 32796235141978399031528192673010202763306151759227019351040*c_0101_\ 6^9 + 8500421627247366257908941960718460805982561961523066195118877\ 591/132796235141978399031528192673010202763306151759227019351040*c_\ 0101_6^7 - 46911887609927378169938897034817792570979335023146660956\ 1047639/6639811757098919951576409633650510138165307587961350967552*\ c_0101_6^5 + 455902680454267283719991326247362001442575463505508677\ 14806359/1383294116062274989911752007010522945451105747491948118240\ *c_0101_6^3 - 59450007956242071917604164195073427164803907257105054\ 78522647/2074941174093412484867628010515784418176658621237922177360\ *c_0101_6, c_0011_0 - 1, c_0011_3 + 618288496290343053400329118328088133447546848791480803/63844\ 3438182588456882347080158702897900510344996283746880*c_0101_6^30 + 1118481040745591208634367613550536311553476749594242431/63844343818\ 258845688234708015870289790051034499628374688*c_0101_6^28 + 3341843220486011980454520447610166199319048191127018607/15961085954\ 5647114220586770039675724475127586249070936720*c_0101_6^26 - 471036047251781579982144491183309947109160287032032456437/127688687\ 636517691376469416031740579580102068999256749376*c_0101_6^24 - 1673539451203844869594593550917553484359262781769464884039/15961085\ 9545647114220586770039675724475127586249070936720*c_0101_6^22 - 27208255844938922819528463607389887989950453680788338493087/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^20 + 29331684900767894498512001697543237064809678527194337216591/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^18 - 188558161940204676245120995390593886801506295691945294402701/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^16 + 428444871543227250036414673211358621491985248626507051907761/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^14 - 707785391338060953425721185371875828516994482409628565161771/638443\ 438182588456882347080158702897900510344996283746880*c_0101_6^12 + 301710762357810139251309322429273192704231016568662895378621/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^10 - 108857859813363979833928956429271364486918574319590540484091/212814\ 479394196152294115693386234299300170114998761248960*c_0101_6^8 + 43013347159112337999195072664005905085197256649384787361527/6384434\ 38182588456882347080158702897900510344996283746880*c_0101_6^6 - 1425423687658796418051667873740647812326086689724160078937/15961085\ 954564711422058677003967572447512758624907093672*c_0101_6^4 + 1561228802187004226817448748325391320050809633325925150793/39902714\ 886411778555146692509918931118781896562267734180*c_0101_6^2 - 20692196235844561321099402886384066254092436439952067639/9975678721\ 602944638786673127479732779695474140566933545, c_0011_5 + 471122693547811794255507208970724465670623528820432037/21281\ 4479394196152294115693386234299300170114998761248960*c_0101_6^31 + 12784306833410850123797607978381646260317158959631646027/3192217190\ 91294228441173540079351448950255172498141873440*c_0101_6^29 + 7646424828089654084010622444356537360749383829609250043/15961085954\ 5647114220586770039675724475127586249070936720*c_0101_6^27 - 5383521174180821239459822970823707764681496470536871891277/63844343\ 8182588456882347080158702897900510344996283746880*c_0101_6^25 - 765258555878561658097226602278777790750281302877606727909/319221719\ 09129422844117354007935144895025517249814187344*c_0101_6^23 - 62216266451893417462995511537108327600186058176875327412139/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^21 + 66951237763319769282683286804964597355245350795424627722051/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^19 - 143972536313025243947171798772117905026409567050025503926447/106407\ 239697098076147057846693117149650085057499380624480*c_0101_6^17 + 979358442467927887752959405670303744198189947296519061495573/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^15 - 1623929860072010230046534882222117429821878373223890707967463/63844\ 3438182588456882347080158702897900510344996283746880*c_0101_6^13 + 231733122149148943261088164971023092022702657504704828466207/106407\ 239697098076147057846693117149650085057499380624480*c_0101_6^11 - 748595889381186275757812471726827238497869212196601547526773/638443\ 438182588456882347080158702897900510344996283746880*c_0101_6^9 + 101745144058136052046755131267286515997108845068620382034747/638443\ 438182588456882347080158702897900510344996283746880*c_0101_6^7 - 2698624503269048384437050342735103011150465061241785263989/13300904\ 962137259518382230836639643706260632187422578060*c_0101_6^5 + 1745105040323168375973946161403142427166315960545295082239/19951357\ 443205889277573346254959465559390948281133867090*c_0101_6^3 - 27214936500055486580911632020275388258993844317952588463/3990271488\ 641177855514669250991893111878189656226773418*c_0101_6, c_0101_0 - 34024548765943747082993626023453956674108912051336533/212814\ 479394196152294115693386234299300170114998761248960*c_0101_6^31 - 245821347307061591199798844712103726742339337221741169/798054297728\ 23557110293385019837862237563793124535468360*c_0101_6^29 - 68615930035340615172455773960469061844480591676816248/9975678721602\ 944638786673127479732779695474140566933545*c_0101_6^27 + 385991255085443090840380154462163508828244739626036924981/638443438\ 182588456882347080158702897900510344996283746880*c_0101_6^25 + 781084609789148119954955624782555206710564822413137442861/319221719\ 091294228441173540079351448950255172498141873440*c_0101_6^23 + 4941168294886690007555377279388030896942885051762378232771/21281447\ 9394196152294115693386234299300170114998761248960*c_0101_6^21 + 97929866381863003517096583506409492997647737722019044539/4256289587\ 8839230458823138677246859860034022999752249792*c_0101_6^19 + 781246470018313541339593267586536353602702274239666471945/106407239\ 69709807614705784669311714965008505749938062448*c_0101_6^17 - 34846868081928237099046451732653095558647325732206593385231/3192217\ 19091294228441173540079351448950255172498141873440*c_0101_6^15 - 41818397776472149091475876805830851256872928010444692759349/6384434\ 38182588456882347080158702897900510344996283746880*c_0101_6^13 + 181848243285201570398549179496004327334082573163961267807/532036198\ 4854903807352892334655857482504252874969031224*c_0101_6^11 - 10119623586568634415327975530917669702373057072656816345403/1276886\ 87636517691376469416031740579580102068999256749376*c_0101_6^9 + 9052887630443270776529006695878534280308303535578454309247/12768868\ 7636517691376469416031740579580102068999256749376*c_0101_6^7 + 959833169193670596323954043880196781061703346755589284921/106407239\ 697098076147057846693117149650085057499380624480*c_0101_6^5 + 17970679794244323747955792682885760621964097788950979688/1995135744\ 320588927757334625495946555939094828113386709*c_0101_6^3 - 55439275301981069521864342465141326314635421720558060747/9975678721\ 602944638786673127479732779695474140566933545*c_0101_6, c_0101_1 + 485665439245575175882789598148612983492306247264571693/63844\ 3438182588456882347080158702897900510344996283746880*c_0101_6^30 + 4417526622438468520220382426555609467345458657126152563/31922171909\ 1294228441173540079351448950255172498141873440*c_0101_6^28 + 2850622230259037685481063136784322352618432089656826303/15961085954\ 5647114220586770039675724475127586249070936720*c_0101_6^26 - 1848757318008998644433700743580259869490804077486090167543/63844343\ 8182588456882347080158702897900510344996283746880*c_0101_6^24 - 226920419079680253247573264478813277869589737506043753737/266018099\ 24274519036764461673279287412521264374845156120*c_0101_6^22 - 21561691350838701021959051307634845182609870152160684368897/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^20 + 20827158298082399802035105829155735539167417836900430932757/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^18 - 145225126098254533219927834647284939376465777911885725455457/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^16 + 64349297213261037866193528268565742281854541648124157593727/6384434\ 3818258845688234708015870289790051034499628374688*c_0101_6^14 - 32828749658078704843381151478061859999725273561652489603763/4256289\ 5878839230458823138677246859860034022999752249792*c_0101_6^12 + 213402702731753809415704608728211718427923754929778699000837/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^10 - 211992522873179275482877671583800407741154680296585591546231/638443\ 438182588456882347080158702897900510344996283746880*c_0101_6^8 + 4227039092959648450908317825635114402631756873982928199383/21281447\ 9394196152294115693386234299300170114998761248960*c_0101_6^6 - 10760050573572595025002712904443409085351971931608865035427/1596108\ 59545647114220586770039675724475127586249070936720*c_0101_6^4 + 940803535745380443157253478204219396067134256628982640421/399027148\ 86411778555146692509918931118781896562267734180*c_0101_6^2 - 2209373066287535519238980425653776442965577396534867389/33252262405\ 34314879595557709159910926565158046855644515, c_0101_3 + 70825478325745723405820643010831290984660841264359781/425628\ 95878839230458823138677246859860034022999752249792*c_0101_6^30 + 9622668038805212304988380771574779796951288492913660683/31922171909\ 1294228441173540079351448950255172498141873440*c_0101_6^28 + 5866761463768214930800327629428442416212144336441885151/15961085954\ 5647114220586770039675724475127586249070936720*c_0101_6^26 - 4046012520309865805614368714046811075276176318019981678113/63844343\ 8182588456882347080158702897900510344996283746880*c_0101_6^24 - 2901081790772803709135396908761865853420973204501655835803/15961085\ 9545647114220586770039675724475127586249070936720*c_0101_6^22 - 9372603881307283865698698930154440636467503948959218389147/42562895\ 878839230458823138677246859860034022999752249792*c_0101_6^20 + 49161473186737962547772826696461634998506744345515294556711/2128144\ 79394196152294115693386234299300170114998761248960*c_0101_6^18 - 107642079901180067824406421878269754298346903676902928953487/106407\ 239697098076147057846693117149650085057499380624480*c_0101_6^16 + 728178048775043155163707966112716916132354529192911362243129/319221\ 719091294228441173540079351448950255172498141873440*c_0101_6^14 - 1185648421706260319582157579950384586266032355659703351916499/63844\ 3438182588456882347080158702897900510344996283746880*c_0101_6^12 + 169502647490254795796297282480743092127159405354136486138927/106407\ 239697098076147057846693117149650085057499380624480*c_0101_6^10 - 539012950711804019398119917724853391536228895097620010140713/638443\ 438182588456882347080158702897900510344996283746880*c_0101_6^8 + 65616360860329732000012560526672408982801384652929146895407/6384434\ 38182588456882347080158702897900510344996283746880*c_0101_6^6 - 3995311405059669916857140058845648223676583563373847932697/26601809\ 924274519036764461673279287412521264374845156120*c_0101_6^4 + 2505346482609164841119218642834269948555809403515303209273/39902714\ 886411778555146692509918931118781896562267734180*c_0101_6^2 - 38756353520802331268656073144042747383766874666272644343/9975678721\ 602944638786673127479732779695474140566933545, c_0101_6^32 + 18*c_0101_6^30 + 20*c_0101_6^28 - 3811*c_0101_6^26 - 10484*c_0101_6^24 - 131071*c_0101_6^22 + 154095*c_0101_6^20 - 623774*c_0101_6^18 + 1441014*c_0101_6^16 - 1273433*c_0101_6^14 + 1085502*c_0101_6^12 - 618011*c_0101_6^10 + 119709*c_0101_6^8 - 98040*c_0101_6^6 + 48624*c_0101_6^4 - 6592*c_0101_6^2 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB