Some questions about Axiom

Erik Eidsvig <[email protected]> Wed, 23 May 2018 23:44:31 +0200
Newsgroups gmane.comp.mathematics.axiom.general
Message-ID <CADb45ZVf_qFwL9BAohTWBOEKw7N8JYc8Er_p7Jsp7bj=mWK=Sw@mail.gmail.com>
--===============8303953720657770564==
Content-Type: multipart/related; boundary="000000000000ad8700056ce67061"

--000000000000ad8700056ce67061
Content-Type: multipart/alternative; boundary="000000000000ad86fe056ce67060"

--000000000000ad86fe056ce67060
Content-Type: text/plain; charset="UTF-8"

Hi! I love this program and has put a lot of time reading the tutorials and
used it a lot in short time. However, I have run into some issues. I hope
you have time to answer them:) I have tried a lot of commands on each
questions to find out for myself, but to make the mail more easy to read I
will only include my questions.

How do I find the n-root of a number?

How do I solve inequalites?

How do I find the angle in a scalar product? Degrees and radians.

Is it possible to find the logarithm with base 10, 2 and 3 etc?

How can I calculate easy logarithmic tasks like this: (I think I have read
it in a tutorial, but I have searched and I can not find it)



If I know the x-value of the function, is it possible to make Axiom find
the tangent in this point?

If I know the x-value of the function (vector) is it possible to make Axiom
find the function of the line that stands normal on this point?

Is it possible to find the distance between the line and a point?

The lenght of a vector?

Permutations and combinations in probability nCr and NPr?

How can I rewrite a expression to with respect to a variable? For example
v=H*r and to make axiom rewrite this as r=H/r?

And I guess lcm is defined for only 2 numbers and not 3?

I realize that this is a lot of questions, so it is completely okay if you
answer each questions short. I have tried a lot on my own, but  need hints
to understand the whole picture. I will also try to understand the coding
of the programme afterwards:)It took me a short time to become natural with
the programme, so thanks a lot!

--000000000000ad86fe056ce67060
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi! I love this program and has put a lot of time reading =
the tutorials and used it a lot in short time. However, I have run into som=
e issues. I hope you have time to answer them:) I have tried a lot of comma=
nds on each questions to find out for myself, but to make the mail more eas=
y to read I will only include my questions.<div><br></div><div>How do I fin=
d the n-root of a number?</div><div><br></div><div>How do I solve inequalit=
es?</div><div><br></div><div>How do I find the angle in a scalar product? D=
egrees and radians.</div><div><br></div><div>Is it possible to find the log=
arithm with base 10, 2 and 3 etc?</div><div><br></div><div>How can I calcul=
ate easy logarithmic tasks like this: (I think I have read it in a tutorial=
, but I have searched and I can not find it)</div><div><img src=3D"cid:ii_j=
hjmpmmg0_1638eef184094bac" width=3D"208" height=3D"49" style=3D"margin-righ=
t: 0px;"><br><br></div><div><br></div><div>If I know the x-value of the fun=
ction, is it possible to make Axiom find the tangent in this point?</div><d=
iv><br></div><div>If I know the x-value of the function (vector) is it poss=
ible to make Axiom find the function of the line that stands normal on this=
 point?</div><div><br></div><div>Is it possible to find the distance betwee=
n the line and a point?=C2=A0</div><div><br></div><div>The lenght of a vect=
or?</div><div><br></div><div>Permutations and combinations in probability n=
Cr and NPr?</div><div><br></div><div>How can I rewrite a expression to with=
 respect to a variable? For example v=3DH*r and to make axiom rewrite this =
as r=3DH/r?</div><div><br></div><div>And I guess lcm is defined for only 2 =
numbers and not 3?</div><div><br></div><div>I realize that this is a lot of=
 questions, so it is completely okay if you answer each questions short. I =
have tried a lot on my own, but=C2=A0 need hints to understand the whole pi=
cture. I will also try to understand the coding of the programme afterwards=
:)It took me a short time to become natural with the programme, so thanks a=
 lot!</div></div>

--000000000000ad86fe056ce67060--
--000000000000ad8700056ce67061
Content-Type: image/png; name="image.png"
Content-Disposition: inline; filename="image.png"
Content-Transfer-Encoding: base64
Content-ID: <ii_jhjmpmmg0_1638eef184094bac>
X-Attachment-Id: ii_jhjmpmmg0_1638eef184094bac

iVBORw0KGgoAAAANSUhEUgAAAnAAAACWCAYAAABekbUVAAAgAElEQVR4Ae2dCXxM1/v/P0kTSUgQ
ay1trC0qUapCrbHVUktR35+iLbV1RekXpWirqG6o2rqprbVV0H6tSYil8q8QiYo1QsUShCZhEonM
/3XuZO4kMpO5s2XuJJ/7ejFn7n3Oc57zPvdMnnvuOc9x02q1WvAgARIgARIgARIgARJwGQLuLmMp
DSUBEiABEiABEiABEpAI0IHjjUACJEACJEACJEACLkaADpyLNRjNJQESIAESIAESIAE6cLwHSIAE
SIAESIAESMDFCNCBc7EGo7kkQAIkQAIkQAIkQAeO9wAJkAAJkAAJkAAJuBgBOnAu1mA0lwRIgARI
gARIgATowPEeIAESIAESIAESIAEXI0AHzsUajOaSAAmQAAmQAAmQAB043gMkQAIkQAIkQAIk4GIE
6MC5WIPRXBIgARIgARIgARKgA8d7gARIgARIgARIgARcjAAdOBdrMJpLAiRAAiRAAiRAAnTgeA+Q
QAkicO7cOTx48MDhNU5MTERmZqbDy2EBJOCqBERfzM7OVq35Wq0WZ86cUa19NAygA8e7gARKCIHF
ixdj7NixSE1NdXiNhQPXoUMHnDx50uFlsQAScDUCS5YswbvvvlskfdFaNvfv38esWbPw4YcfFslD
n7V2luR8blrhZvMgARIo1gTmz5+PdevWYfv27ShfvnyR1HX//v0YPnw4Nm3ahKCgoCIpk4WQgNoJ
LFy4EGvXrsWOHTuKrC9ayyQjIwOvvvoqHn30UXz11Vd45JFHrFXFfA4gQAfOAVCpkgTURCA6Oho9
e/ZEWFgYnnrqqSI17csvv8TGjRuxe/du+Pr6FmnZLIwE1Ebg6NGj6NGjh1P6orUskpOT8dxzz2Hu
3LkYMGCAtWqYzwEE+ArVAVCpkgTUQkC8Lu3Tpw8++OCDInfeBINx48ahVKlSeO+999SChHaQgFMI
iL7Yt29fTJ482Sl90dpKV6lSRRp9GzFiBBISEqxVw3wOIMAROAdApUoSUAuBYcOG4a+//kJMTAw8
PDycYpYYdWjRogW2bduG7t27O8UGFkoCziYgphNERUVJfdHT09PZ5lhcfu/evZGSkoLIyEi4u3Ps
x2KADsjAVnAAVKokATUQOH/+PDZs2IB33nnHJuft8NJhcHNzk/4tOnrL4qo1a9YMbdu2xbx58yzO
ywwkUBwIiJEr0RfffvttuKLzJtpg/PjxOHToEA4cOFAcmqRY1IEOXLFoRlaCBAoSmD59Ovz8/DB4
8OCCFxWeif7pLbR6Y4VCadNi4hXq3r17pVE401K8QgLFk8CMGTNQpkwZm/qis8mEhISgadOmmDBh
grNNYfm5BOjA8VYggWJIID4+HqGhodIrS+sWD2Qg7LOX0Hz4YrvQadeunbSS7fPPP1d17Cu7VJZK
SCAPgdOnT2Pz5s3o1q0bypYtm+eK6yUHDhyII0eOYNeuXa5nfDG0mA5cMWxUVokEVqxYgXv37qF1
69aWw0g7jQVDa6Dz5I2W5zWRo1y5cmjcuDFEaJG4uDgTUjxNAsWPgOiLd+/eRZs2bVy+cmI1qpj/
JmJK8nA+ATpwzm8DWkACdiUgAnBu2bJF0tmlSxcLdKcjeusXCCrbEONWp0j5HgnqYEH+wkW7du0q
Caxfv75wQV4lgWJCwPq+qE4AYi6rl5cXdu7cqeogxOqkZ3+rnLMszf71oEYSIIFcAklJSdIWOE2a
NEGNGjUUcknHT30DMHyLznETmXz6zsGpDW9h/7A6GLL6pkI9psXECtRJkyYhIiLCtBCvkEAxInD1
6lWIV6gikHXNmjUdULMMXIyLxV/Rx5DwTzJ0m9d5odxjtRH8zLNoElgL3nYuVfRjMT1DLGgQr4V5
OI8AHTjnsWfJJOAQAiJwr9hgRcRfsyRyeiYMm7L0m/cHVrzfA35IR1qaffZO9fHxkewS9l25cgXV
q1d3SP2plATUQkDfF8XKU0v6ohL7Y7cuwti+Y7FXm2NS3M2zF5bu+AqjOtYzKWPpBX0/FmGB6MBZ
Ss++8nyFal+e1EYCTidw8eJFKeRHcHCwBbZ4wBfuED/4G6MvY5PkvOmye8HNAj2mRcV2PAEBAdK+
ig8e2McpNF0ar5CA8wmIPYFFCB7L+qJ5u6OXDkeTPu/kc97EdIcho0ZhZJ+OsgJt1jaM7lQf07ad
lc/ZmhB1EXXKzNSN99mqj/mtJ0AHznp2zEkCqiQgXm2IETjlr09FNbwxZNVZ3Lq3Ff2bKX3taln1
RRgFsQ+rsO23336zLDOlScAFCVjXFwuvaHLkV2j+xk+yUKmOk7D/3HVkH4/AqmXLsDw0DFkp57Fk
1DOyzOwBM3EiwzDCLl+wIiF+V0QfFitreTiXAB045/Jn6SRgdwLXrl2TnpDFU7JFh58//B08qUIf
ENhi2yyqCIVJQB0ErO6LhZif5VUdg4NKSRIeTWfibNhctKlbJV8OD/86GPP5EvR2y918XpuGe1n5
RKz+wj5sNTq7Z6QDZ3ekVEgCziUgno71/5xrScHS9XaJTx4kUNwJOOJ+rxH8f1h9PBNJsVE4sfMD
PG4KYtlA9O1dTr5qr827HFEn2UgmLCLg4Odti2yhMAmQAAmQAAmQgAIC1QNb6KSyM5CWloa01HvQ
ZGcjKysLnp4+8EECwramyprsNAAn62PC+QTowDm/DWgBCZAACZAACSgnkHYJ2zetw9rQHVi9Jdxs
vlLtOqKOn4VTKsxqpYCzCdCBc3YLsHwSIAESIAESUEggdstsNOk7VaG0Tsy9rBe8LMpBYVcgwDlw
rtBKtJEELCCg5knGarbNAsQUJQFFBOx9v6dELy7gvA0dNxdbI48gMTkFGk2W9Ao1S6vBno8MYYS6
hzwLP0UWmxeyd53Ml0gJUwQ4AmeKDM+TgIsSSE9PlxYx3L59W3U14ARo1TWJcYPSErBhybdYsyMM
F25p4VaxFnq+OByjR/bG4958FWccWsGzoi/m5OQgJcWww0lBKaVnbmLV+x/Iwm7eI3D40mK0qGxs
ecIdHNkbL8tWrVRaTtuaYB+2laD98nMEzn4sqYkEVEEgISFBsiMmJkYV9uQ14tKlS9JXEeCUhzoJ
ZCXuQki5+hg46Sts2ZeD2kG1cTxiK2a/2xe1yvbBgRucDq+05fT3+dGjR5VmMSmnTTmN0L1p8vUV
xxaYcN6ApLDvMDnCsIChUQP7xXbcsGGD9IDIQL5yUzgtQQfOaehZMAk4loB4UlbbkZqq+6Py77//
qs002iMRyEDonKFShP9X5v2B5MxYhK4KhVZzBavHdYGI7N994mZkkJYiAvo+qP9UlMmEUNqF4/LO
C26lXkazWj5GJbXJB/Fmlw/la26PdMDTtcrK321NnD2r29WBu6nYStL2/HTgbGdIDSSgKgKlS+te
l5Qta48fbW+U8jP8THiVMv5HQykADw/drA2xIwMP9RHQJoVh4PJkuJeZhLnv90Bl/SQb72oYPHue
FBj27vrduGinqP7qI2Bfi8TuI+KwR1/0q90EHdx0fVF7fy2OnjWMsOmt1lzci6GPdsBWrWGrOjfv
YFS34wpUsa+rOKpWraovlp9OIqDvnk4qnsWSAAnYm0DdunWRnJyMZs2aWaA6HYe3bkNCet5Ru1Lw
9UzEkNU3ZT37N6+D/yk/3L9/Xz6H+6UQ1KcPGvsbm4tjEBMpPz9d3tatW+e/wG+qIOBW8TmcjNyK
mHv1UK2ARZ7wgxvc3EoDHpwHVwCPkRMNGjTA1atX0aRJEyNXLTvlVrYaWrp7Yu8D3R6krz0zFNqw
z9D76ZrITrmIvaGLMXDcknxKA+GGM60CDI54vqvWfalUqZK008uAAQOsU8BcdiNAB85uKF1MUfYd
HP7fevz44zp891AcoY59RuI/w0djUO9nzK5cSjm1C6t3nQLghWZ9XkGbANtGaJRSTIr6DZuibsAL
mSgb2BuDQmopzeo0OWexUlLh1NiVaNXnLbOiq6YPxyojUp9H3UTjFhWNXMl/Sm0r2Iq8TTIuYe3y
UNzMAAL/MxIhjuov2ZewYXEoUry8kJnpixdGvYw6ShYfePujYdteaJi/2aRvibvWYY02G6W7NUF1
I385UuJ2YfX2GJRr0g+vPl/PiAZ1nCryNrdXtT3q4P2oRZjbfKSkUbzOfq3dtgLaxfZaOz+vjnGd
RyMOWjQLCoA9f5XV1ocLAChJJ7Q8ShyBC5E/azu4uYuhlkL/uXn20m6MvV4InzTt4pByso4vom8W
ImvfS3s+CpbLnbrjH/sqd4i2omPVqlUric3s2bMV1+Tf49/JPM3dF8auL1fY9pUqVdK6ublpN27c
qNg2xwkWXZvo6pClDR33rMTZvcwk7fksx9Us53qENhBuurL8Zmqv2FjUrSMrZX2m2vryntnyPfRz
7B0bS3RU9qJt85CQEInJ9OnT7Vah68c3aQe7ecis8/bHFz9YJbX1/ZMr5evvbTxjt7KFohdeeEHq
wxMmTLCrXiqznICR56iS5L6WvLomR36F2u0n5Ku4Z8hgfNi3LcplXELYms+xNVa3ykw84Q0Iqopv
Dl/D28HG5zt4l83dLFkag8un1oFf0nH26BlZ/xMB9pjrJatzWKKoWFnzhFw2aAS02hEOq7tesTW2
6fM64rOo2kTYnhK9HH3n/yVV46c/p6COA3990/45J42+iMJKv1gX/jbAS9z+JWr3mChpeG/j3xjZ
zPhIa41O47F6yFfSK/dhreagQ/pc0/t02mCPrVmLss0dcb9XCeqH1Tlp+DQuFufveKB6+XtIvOGJ
hoFBCKicO9bWcCi02qG2ojKa3xF1MloQT5olYJidbFaUAi5PIDsBs0OmyNUQq5PWHr6A++Gr8eG7
o/Hufz/FluP3cDZsOcTcCf3xbrv3cEJNk5Y1F3Fgq245vZtnLwTWsFeISn2NXftTzXGa1GybY1v9
Jr4bPkkqwveVVRgYaNhk3BHlJsUektV2bd4A3vI3SxLZiFz6puy8zdr6N77s36gQBd7oN2ORdD3n
7meYu0m3WrGQDBZd2rVrF9q2bWtRHmcLO+5+90ZAYAt0bNsMDQLboFvHYIPz5uBKO65ODja8GKqn
A1cMG9VUlRJ3r8CCHN3kc+H4hF0Nx6Dgh+eOeaBex5GIOrtJViNWPM1cFyt/d3YiKyUJsbmrrDwa
P4fH7LjCytl1s0f5an5CVrNt9mBvSkdy5EpMjk2XLn81sZeVDpUp7Q+fz8aVs0nyyVZNH5PTihPZ
l7B0dEu0f2MJxG/FxvhbmNqrMOdNp9mnXk/82KeC9GXZ0EVIyFZcolnBf/75BxcuXDArpyaB4ni/
F8c6qemescQWBw7iW2IGZR1P4A62fL5QLmb8LwsQUtkwyiZfyE341HsRf84fgFbjNkpn/v3nzsMi
5r9nZyBNkwXxG+7vpx8ly8C5qH04EJMIeHmhVKkKaBDcEs3qVjGvL1dCc83wesgnuA5EQIrsGwnY
s28/Lt7SRajyq9YQIV3boZp1Qw+KbbGboB1ZqfkJWc22FWhLu7XJHWya+bGk3rPpHLyoYPQt4/Yl
HI/6CzFnziP5X92qQy+vcqgT1ALPBj+NAP/Cbux0nDkcJVenZjXxAjUb56LCpH6n0+aHp9q3Rxsj
AV5T4n/Hu0+9KC1Y6DT+B/w4bzgeV/yXwhc935sIbPkAOZqF+DFsHGY9X1u2RfUJu7W5rqYudb8r
bJziWCeFVVedmOJuqTrLaZBlBDKu49qt3Ajq7oF4sePDI28F1WVeOyyf3L/3GG5Pa2/RXJrU4z+i
XHPdysY3tiZgcbcsfPx8c8yIMEQT1xfw9NA5+PXbSXhSwWhaYuwRfTa83PIxHN/wIZoPnCWfkxPu
gVh+aDtGBtsvCrms284Je7LiE7J9GsdebaKJ34k3I3SBi0e83xuVCjPv9gksmDwe45bvKUwKfcf/
gC8/GoY6xvqLJgkH996V8ovtlmojBlM6dsLcCN0IYF7FTUf/gD8WDUe13L8EmvhVqNjoFVlEezcW
n741FPfuyaeQll4Ts1bORmNjZQOo0qo/RrrPwHc5Wfji8y0Y9/y4wutsUO30lL3aXF8R9kU9CX46
ggBfoTqCqhp1ej+JOcfvIjX5IiJ3f6fIUfIP6CLXxKteJcuXonuWkvNfi9mKKc8/Y9R5E0Ixq6Yg
sP1nuCrnMJXIxoXYE/LFpa89l895CwnJE28pJw6jWtbEoqjrsrxqE3ZkpeYn5LS0NGkbnlOnROgZ
lR92apO/tv6kq6h7IPp2NhagI5dDyl8YUrFpAectpM9gjBo1RA7iKqRDv34d9atNMfqKMut6ojzF
QJvxPVrWC5adt0eCOuSb33ps2euo3X0J9JH+srJ043OijKCgIIQvX4Dly1dj9WrDv20778HTx/To
PTyfwH9mdJQqlRk2HpEXXWjrLTu1eW6LSve6vj/qz7n655kzZ6R6nThh+B129Tq5qv104Fy15ay0
26/y42jbMVhBYMer2L5kg1xK52aBVs/bEQsiNk8fp/sj4h6IhVuOIEWjgSb1Cvb8aFgRm3VsCj4x
O/E5HYnHzwDugbJtIjFm2W6kZGkRHh6D1KQojA0yvGIa/8ZSBY5hPnVO+2IPVnfv6kZf7tyx4rW3
g2uuDwCsRttMVd22NrmKvWsPSKo9m7yMQJPTFm5iwYAu0mtLvR1T1+xDskaL8NDVWLZsFSJyMvMt
MBILBT5ec1wvLn+mXUuUVqAGBRlesHg8/S7Cz91C9vEIxGpT8edPhn6XuedNLIu4LOXXrUbWSn+g
jx8/ns8B0TsiD+4twJMG1XK5eROBHbrKX/ccsc++t/rRLFmxAxO2tbnBMLGZvThc6X43WG88pa/L
zZt6t9+4HM86ngAdOMczdskSErcskSddiwoM7vSE1fUQwSTFIfbvC/8nGu/0fgb+3t7w9quGTsO+
wNnVhgCyvxz8W5ozZ7IwTSL+Eq+HcuJkJ06ENlgyqjP8c/+o+FVvga8j9sgjFtnHZmL3qTzvgEwq
d/4Fe7BS82b2FSroJrgHBwc7H7ZCC2xpE21KAiLiNFJJgR0aoLKpMrOzUKllH/nqrB0JmPVyO1Q2
PIcA0C0w+mm+IQJ+WmrB0a3LMdGSntjYbAgnzt3nXZz4cz5C6urYA75o+doX2Df3ebm8uSv22nV/
08p1A+WRvihzfVq2ovCE3oEsXMo+V21p87wW6PcNjYmJyXvapdPPPvusZH/79u1duh7FwXg6cMWh
Fe1cB8253zHsxU9lreXHb0bvurbH8p664zOEVC+43VK9XiOkPRZFgZq4qyg4Q042BVlJFwyjFDlx
aPbBH/jMSGgDtwqt8dFHhlfA4VH2DWlgsMgxKVtY1axZUzLqySefdIxxNmjVj6KIT1c7rGmTtMvx
8gbkgU2egMmBKw+x1+jP0KZeweHDJzGpkIn/jbr2KgRdBk6fNrzaij3REFviv8CTRnZhaDtssvyQ
c3f9PpyzY6ggt6p10dFd19f/jk0stE8XUpl8l/T3Tr6TDv5iTZvnNenxxx+XvqqxL+a105K0vh1c
sQ9bUk9XkDX5e+IKxtNG+xNIiV2HDk0GyUFAxdN79Ly+pv/wKDRBbI49MkTnWBTI4glpj0X9+cJu
yrSbhjACIrzBgondTdpWvnJ1vUoYG6mQL6osYSsrf39d2NZq1QruZunsqrrqj7+1bZKWdENG3rqZ
gsU0ftUQHKxrt4yMNIg5g/dSNcjOykKWpyd8fHxwble4rLPgw046rogpBrlHl7nL8EJAwYcmcdnN
rzxqQDzD5wAPruOeGMzLN+Kn12LFp0cVNOnlC2xJwf3IcJxNG4sWJhY9KNVelCNwwiZr2zxvfSpW
1AU9VmNfzGunJWlX7cOW1NFVZAv7W+kqdaCddiKQGPYtand+W9YmHKQ9576wS8R4r64Bplew+tRD
m95+WLPltly2qcTlGMPK2Kbvj0Ebf9cbyTFVN/15e7HS6yvs8+TJk4iPjy9MxKJrderUQdOmTU3m
0f8RFp+udFjbJtfOHJOrmZllPiha4tGdWLdqDXaG/4KIWPPyXR+O8aa5jPC9uatN3QMxYXBzuXxz
CeNunrlcyq7bQ7fecVBWou1S1ra5NSXHxcVBLA5w9iEY9+vXr1AzXLUPF1opF71IB85FG87eZkev
mIjmw76U1QrnbfvZdUZfecpCFiRyCg4V5MvtlWfnh3wX8n3JwOlj++Qzw/orn0dlqvgDBw5g/Pjx
sk6RED9i4kdKfIpDn877mVcub3rKlClmfwAlpYX8Zx9WhRSQ59Ivv/yCWbOMhGDJI2NJcvTo0Vi6
dKnJLPo/wnq2pgT79OmDK1euSJfztoeSNsgrLxTUrVsXop62HNa2iaeXr7Jib5/Ax8PaYMYWXbgR
ZZkA7zL5h8w0SaexNTfItVfHN9DCyJQFU7oLzqYzJWnf87/++iu+/PLLfP3OWDvfuHEDycnJaNGi
hdk+WalSJWzevBne3vn5WGK5tW1uSRl62ZUrV+KLL77Qf3Xap7u7Ox48eFBo+Ur7cKFKeNEuBOjA
2QWjKyu5gw0f/AcD5+ySK1Gq4yREb5yDxqob3UpHwlldoF7hYLaur5+ULZueJ5GO6IPb5O/tGz8q
p/MmxB/3/v375z1lU7px48Y25S/qzCNHjkS3bt3sVuyjjxrnrC9A/GHW/9OfM/Yp2kTvwBm7bsm5
gIAAS8SdIHsHS/q3wYzcWHHCgEeaDMaccS+hU9unUbtKVfj5eIhYvMi6FY7gmt2kKQ6iD7Sol38f
4LQrhh0YevZ+1vSot5hvmhgnzyd15o4mon2U9MEjR47g9u3bih6QSpcuLT+AOaFBLS7yrbfeQt++
fS3OZ+8M5h6sRHn6/is+eTiXAB045/J3bulpf+PjPq3yxWZrNn4d9nw1sNAffqcZrbmMQ7kBSs3a
kHoOoWsMr2TLldfvBJE/p5ibMnny5PwnXfybJU/IYpK1fqJ1UVRbqW2vvGIIJlsUdjmujDzBc92M
/9ymHF4jB/oVdoxZdgjfjGpVcG6nB5B6/oQ8P9XNozbKPfRu8tpJwxQDc3U6uc/wgONesRwUjhWa
U2v0emGje61atYL4Z+744YcfcPjwYZfqr0rv91q1akH8c4VDaZ1coS6ubiNXobp6C1ppf/LRXxFS
Liif8zZ1Ywyi1eq85Y4Y6F8Pwc0PeOiPV14USQd/k18liYUYPRRsX5Q3vyun1fyErGbbHNHmNZ/t
IKv9965u9Fg+kZs4kceREhvdf23MeZNkr2LRO9Pl7J6tG6B6vtWlGYg7GCFfh1chHQRX8fvbBgfu
rTGdYfwRx6DO6tQjVQs4mlbrcrGMxfF+L451crHbSjaXDpyMoqQkMhC59E1UfWaQHN5AxGfbce5f
zOqfZxcDFeJIuaILNipM095fiyMnU4xbqb2ERZMN8/n6zh9ul4UYxgtT39l7ufse/fuvZfOp1FcT
17fIw9PgFu37M8FIhe7g2E7DqFnX1qYDZkfOexczYnVBmoWidl0bPeR03cb5WF3MOXF9+45DMIxB
5y86afsSzHyQOx2h1MsY0rNefgFbv2kuImxrqqTFu3uzhxxN65TrR36sy+2cXPqg2uyLzuFf3Eul
A1fcWzhP/bJvHMPHHaug/RtL5LOvzNuMW5lr8Hzd/HNpZAEVJa6dMKzoE2a9OWIRLhWwLxvbp47E
3Fhd4F7hnE4bFFRAqjifOH/+vFS9Y8fy8yrOdVZr3crWD5RjHB74M8ZIPLTyCO5miFe462C0EZl0
hC0YhvaTNuarZlADXYwx+WTqdUTHGUb5NJvfxOKdhrA7ermsxF0Y0tMQ5/HFb8ajab6RPL2k9Z9Z
18/I23m1afX0Q46mdXr1Iz/W5XZOLv3KUvZF5/Av7qUan5RR3GtdEuun+RuvVW2hm7QstqESOxkA
qJgRh4/H74Nwd0qb4nLvHjSPdcfn0/ra5YfYVDGFn09H7JE8r4cAiB0W6jZNwa5fpqJVvQqA5go2
zR6BIXN3y6rm7fkMTW2MPyUrY8JmAi61F6rNtQXgUwvdOvhia8S/yPjjAC5mjEHjh5ylR5+sLZeU
vvJ19KtZCt+81RM1fLKReCIS38x4Bd9FGHYScQ98BDlxD1CrZv5FPJqkOHnagF7htG51cGvZbkwZ
1Ab+PsDl6FAMazVYHn336jQHi0YpDzWi12vuMzn+mDxXr2u7OubEFV13xRE4RRVzoNC5/Zvw7fLV
CI/Vjf7WadIDw8eNRq9m1s+3416oDmwwC1XTgbMQmOuKZyEtd0sr/TZUgTkn8PV0w5yawurm1akh
5kwrTMJ+14xGv8pOwZncUbVN566j3A+90HnO/0N2zEJ0bLjQaOFTt57BxLYmggcbzeF6J42yUnE1
fH19kZmZieIUmf5h3PnbpDxaD+0HRPwkvfbfG7sQjVvogrvq89Xq8wGW9Pkeb+TGQdwzeygaztZf
NXxO3bAHdXdPxvDlR6Rt5GpVyP/IdT1Rt9tI2TGbkTitNNrnrlb9enQXfD3aoEef8mg6E8d/nwT7
h3vOxpFdO6RixAh4p0ZV9EXa9KnmEbj8bW5TNe2UORvbP34BPWbslPQ1CemNWtpdCF0Vi9BVc9Fv
3l5set+6rbDq168vxax76qmn7GQr1VhLgK9QrSXngvn88sZay4mTn5CVVMWrfnWY20yrbGnTk6bd
DVOBCi3uET+vgqvvRI5sDW6dyEL58evQo24VdJodhv8teM+oLvFHY2PsdczqVd/odTWcdCgrNVTQ
hA36URTxqbbDUW0S2HOQvC/oh7/uN7LXb3mMCT2D9R+/ahSJCBeyNuo6Zg1oDVzXjaS4e4WgUY38
/U2TopsT+tPE5+FfoysOnN2BsSFljOoc+sk6XD06w+gWW0YzWHIy9Rh+XHBUytFs4jC7jYDr7x1L
TDEn66g2N1euo69rzm2SnDdpfnP8dcSEb0FohAaX//xZuhd/+28H/HreMF/SEnv07aDGPmxJPYqF
rJYHCbgyAc0NbXz0YW1kZKQ2MixSGx2fqHdaMQcAABJ0SURBVNW4cn3sYLuvr68I0KTt2rWrHbTZ
V0WlSpW0bm5u2o0bN9pXsaq1ZWk3j6oqtYmbZy9tVGqOSWs1KRe1h8PCtNHx8drDYdu1h2Mv2Hw/
JyfGaw8fjtT1kchobWKKY3vIhfUTpbqKe3DTuXsm62rphe+//15bo0YNS7M5Vb58+fISi3bt2hWh
HVna/42tJpU7dcc/Bco9Mv8l6doba/8ucE3JiRdeeEHqwxMmTFAiThkHEuAr1GLhhpfgSnhXQoNm
ldCgBCN4uOpiM/tTp06p8jVlyXx698Dz7y8Alv8ftFnbsPi3eLR4tdHDzSZ99/Z/HMEdcxcnNLDP
XV05oAHEv6I5rmLlLN0iKRESpUddc+P2RWOVs0oRMRbv3LlTxH3RAy3H78KWFqfw5HMF99/1LKuL
+OdTKv8IrlJGJbMPK6VTtHJ8hVq0vFkaCTicQIUKFaQo9NWrV3d4WZYWoJ/HJD5L0uFTrw/Wj9LN
BVv1xjKcVt+kKbs0R3LkL3Kok++m94f1G1kVNKdt27YQOxa40iG29BIOT1H3Rf+Axuj98gA8+fAC
Lu0l/DJ/nYSwwRPWzU0sqX1YjfcdR+DU2Cq0iQRsIGCPH9ikqN+wKeoGvJCJsoG9MSjE+lVreatS
cp/evTHgk3UIXN4RcZqFmLNmOFa8qu64i3nbTVFaewlfv/OhJNrsgz/wf3YefXviiScg9hp2pcOm
vph9CRsWhyLFywuZmb54YdTLqPPQCmbLWNzBT2P6SyGWfF/5AQOsDG5ecvuwZbSLQpojcEVBmWWQ
QBESsMcP7Kmd8zB27BiMGTsWf9+333OeTX/QipChI4pyq9IBv62fIKn+efhQHLhdvEYhIz8ZKDkH
bt4jsPbD7o5A6HI6bemL2pQEfDJ2HMaMGYPx087BxxbnLSMBn/WtJa1gFjvTHFk2zOrtEktyH1bb
DWi/X2a11Yz2kEAJJWD7D2w6zh49I9N7IsB+QZ5t+YMmG+TCiXovzUFy0tu4h7II8FffSlxb0DYc
sQ6JrwKlK9RAZVucDVuMUFleW/pi2j/n5EgBpV+sa7XDlXXlIN56LATf5WShVKeZiN083abVxyW9
D6vpFqMDp6bWoC0kYAcC2dm6CVb379+3TpvmIg5sTZPyihAWgTUUxoBRUNqDBw+Qk5MD/XZfCrIU
MxEPVK4eUMzqpKtOca2XLY2VlZUlZbemLybFHpKL7tq8gVXzCZP2f4/u7UZJjuCLn2zGD9P6Wu0I
6o0Rvy+iD4ug3DycS4CvUJ3Ln6WTgN0JxMfHSzoPHTL8AbCkkKyUJHkbJI/Gz+GxhydCW6LsIVn9
npDh4eEPXeFXEih+BGJjY6VKRUVFWVi5bFw5myTnadX0MTmtLHEHW+a9hprtRuLEI+2xYv9l/GYH
502UnZycLJnw888/KzOFUg4jwBE4h6GlYhJwTQKaa4ZXNz7BdVBexFG+kYA9+/bj4i3dXpt+1Roi
pGs7VLPnMkPXxEWrScABBNJx5rDB6atZzV/0QpyLCsOBmERkSiX64an27dGmwcOhQjKwZmh9DFl9
U7YrZtPH2LPMsB0b0tIQ8J+PMGtQMVtII9e4ZCTowJWMdmYtSyABMVfFmiMx9oic7eWWj+H4hg/R
fOAs+ZyccA/E8kPbMTL44T8gsgQTJFCiCej7oP5TMQxNEg7uvSuJi0UhtRGDKR07YW5EegEVTUf/
gD8WDUc1+a95Nu6n5Uhy7kFBeCp2H+bP31sg3xv/MbJfWwEpnlAzAb5CVXPr0DYSsIKACOQrDuv2
G83GhdgTcqlLX3sun/MWEpLniT0nDqNa1sSiqOuyvLmEfv/EoKAgc6K8TgIuT0Af/61hw4YW1SXr
eqI8jUGb8T1a1guWnbdHgjrIW7MJpceWvY7a3ZfAMN7mi2GhtyAWUDw4fhyx2hwpnXdBhUgvHmQ8
mLQ5QydNmiSJ+PiU7CDN5jgVxXU6cEVBmWWQQBESsC2QbzoSj5+RNkvPa/KYZbuRkqVFeHgMUpOi
MDbI8O50/BtLcTWvcCFpd3d3KbCp+ORBAsWdgOiL4l6vUcOyUeq0a4nSwoOgIHlYDR5Pv4vwc7eQ
fTwCsdpU/PmTLiSNYJi5500si7hcJDg9PDykOrEPFwnuQgvhr2iheHiRBFyPQN4nbYut1yTiL/Hq
JidOduLe2/g3lozqDP/cvyV+1Vvg64g96OCm+/nIPjYTu0/lmV9TSKE22VaIXl4iATUSsPZ+vxwT
LVUnNjYbwokTsdtO/DkfIXUr5FbTFy1f+wL75j4vV3vuir3QzVCVTzkkYW2dHGJMCVdKB66E3wCs
fvEjYEucpqykC1ijzd3nKScOIqL+Z/0Lvmpxq9AaH33URYYXHnVWTheWsMW2wvTyGgmokYB193sG
Tp82TGOIPdEQW+K/MBq7re2wyfKD1N31+3Auw/HBoa2rkxpbx/VtogPn+m3IGpBAPgK2PCGn3bwg
6xIx4BZM7A7DSxz5kpQoX9mw12paqi7eVX6Jgt9ssa2gNp4hAXUTsO5+T8cVMY0h9+gydxleCDC+
8bybX3nUQO6f8QfXcU9ZN9SrturTujpZVRQzmSFAB84MIF4mgZJE4HLMYbm6Td8fgzbFbLcAuXJM
kIBaCWguI3xv7mpT90BMGNxcsaXG3TzF2SnoYgTowLlYg9FcEnAcgQycPrZPVj+sf7CcNpdgTHZz
hHidBJQR0CSdxlbtA0nYq+MbaFFduVtWBANwyipBqSIhQAeuSDCzEBIoOgLPPPOMlYWlI+Gsbhq0
eH3aur5+wrQxdemIPrhNvtC+8aNyWkmieXPlowpK9FGGBNRIwJq+mHbFsANDz97PFrr1lSYxTp6z
au9dU8zxtKZu5nTyumUE6MBZxovSJKB6ArVq1ZJCdYSGhlpmq+YyDuUGDzWbMfUcQtfclsXKlTe/
X2pCQgLE1kJiErSwkQcJFHcC1vTFaycN0xjM8Tm5z/AQ5V6xHHzNZbDDdfG7wj5sB5B2UEEHzg4Q
qYIE1ETgueeekwJ3ig2nLTnE07z+1Q3c/IBC3twkHfxNlhUhDnoEljNblH7y8xNPPIGKFSualacA
Cbg6gdatW1vYFzMQdzDCUG2vQjohruL3tw0O3FtjOsP8Y5RBtbUp8bsi+rL4neHhXAJ04JzLn6WT
gN0JCAepSpUqOHXqlLzxtJJCUq4YAoFq76/FkZMpxrNpL2HR5C/la33nD0cdU0tVZSkgMjJSenIX
r0+9vQ2BgPOIMEkCxYqAvi+eOXMG168r2bHkNs7HamQG23ccgmGcWz4tJZK2L8HMB7lTHkq9jCE9
6+UXcNA30Y9FMN+WLVs6qASqVUqADpxSUpQjARchIEa3OnbsiLS0NNy4cUOx1ddOHMsn++aIRbiU
74z4ko3tU0dibqwucK9bqZcxbZCybbEuXLggPbm/9NJLBbTyBAkURwL+/v7o1KmT8r6Yeh3RcYZw
vJrNb2LxTkNoHz2jrMRdGNLzU/1XvPjNeDT1tm7vY1mJgkR6err0m9K4cWM0aNBAQQ6KOJIAHThH
0qVuEnASgYEDB0qjXevXr1doQTpij+R5dSNctWMzUbfpWEScSkZGdjYy0i5hzZQe6DFnl6xz3p7P
0NTP/B+OrKwsbN68GY8++ijatWsn52eCBIo7AUv6oiYpzzSGXDDTutXBe8v34EZaBrKzM5AY9Su6
1umOvVrdFAmvTnOwaFTRLAraunUrMjMzIerEw/kE6MA5vw1oAQnYnUD79u2l16hiwrFwnswe2Sk4
kzuqtuncdeyZ0kLKkh2zEB0bVoWPpyd8ygZgyNzdsqqpW89gYtua8vfCEn///TdOnDiBLl26QIxK
8CCBkkJAPLBUrVpVeoAx1xevJ+p2NCk7ZjNSLu+UN63/enQXVCnrA09PH9RuOUh23jyazsTx3yeh
WhHBFA+EYv4bHbgiAm6mGDpwZgDxMgm4IgGxifakSZOkVZ/x8fHmq5Ctwa0TWSg/fh161K2CTrPD
8L8F7xnNJ16bboy9jlm96hu9buyk+OH39fXF9OnTjV3mORIotgTEA8vkyZOlBxjxIFPYoUnRzTv9
aeLz8K/RFQfO7sDYkDJGswz9ZB2uHp1hdIstoxlsPHnr1i2Eh4djzJgxqFOnjo3amN0eBNy0wp3m
QQIkUOwI3L59G507d0ZgYCBWrFhhXf0ybuLUyfO4cfc+kAWUqf44GjUIgCVLEFJTU1G/fn28/vrr
mD17tnV2MBcJuDCBO3fuSH2xUaNGWLlypcU1uXHxFBKu3cD9+yJrGTzeuBEC/C3phRYXWSDDnDlz
8O233+LAgQMMA1SAjnNO0IFzDneWSgJFQkDMWenXrx9iYmIgJh4745g2bZrkQIrRh3LlzIcbcYaN
LJMEHE3g999/R58+fXDs2DEEBSlb+ONom5TqT05OlhYtTJ06FRMmTFCajXIOJkAHzsGAqZ4EnE3g
tddew8WLF6XXHyIAZ1EewmkLCQmRHLgePXoUZdEsiwRUR2D48OEQAa3Fq0h3d9eZwTRy5EicPn1a
sluEEOGhDgKucwepgxetIAGXI/DNN99Ifyw+/dQQdqAoKiFenYr5Mv/9739B560oiLMMtRNYuHCh
FENt1qxZajdVtm/16tWIjo7G2rVrJdvlC0w4nQAdOKc3AQ0gAccS8PPzg3iVKgJwHjx40LGF5dEu
Fiz0798fEydOzHOWSRIouQTEQh7RF8U8MvFP7YcIQPzjjz9i27ZtqFlT2YpztdepONlHB644tSbr
QgImCJQpUwZbtmzBL7/8YlFwXxPqzJ7evn07RBT6cePGmZWlAAmUJAKlS5eWnLhff/3Vop1SipqR
RqPB4sWLsWbNGtSoUaOoi2d5CghwDpwCSBQhARIgARIgARIgATUR4AicmlqDtpAACZAACZAACZCA
AgJ04BRAoggJkAAJkAAJkAAJqIkAHTg1tQZtIQESIAESIAESIAEFBOjAKYBEERIgARIgARIgARJQ
EwE6cGpqDdpCAiRAAiRAAiRAAgoI0IFTAIkiJEACJEACJEACJKAmAnTg1NQatIUESIAESIAESIAE
FBCgA6cAEkVIgARIgARIgARIQE0E6MCpqTVoCwmQAAmQAAmQAAkoIEAHTgEkipAACZAACZAACZCA
mgjQgVNTa9AWEiABEiABEiABElBAgA6cAkgUIQESIAESIAESIAE1EaADp6bWoC0kQAIkQAIkQAIk
oIAAHTgFkChCAiRAAiRAAiRAAmoiQAdOTa1BW0iABEiABEiABEhAAQE6cAogUYQESIAESIAESIAE
1ESADpyaWoO2kAAJkAAJkAAJkIACAnTgFECiCAmQAAmQAAmQAAmoiQAdODW1Bm0hARIgARIgARIg
AQUE6MApgEQREiABEiABEiABElATATpwamoN2kICJEACJEACJEACCgjQgVMAiSIkQAIkQAIkQAIk
oCYCdODU1Bq0hQRIgARIgARIgAQUEKADpwASRUiABEiABEiABEhATQTowKmpNWgLCZAACZAACZAA
CSggQAdOASSKkAAJkAAJkAAJkICaCNCBU1Nr0BYSIAESIAESIAESUECADpwCSBQhARIgARIgARIg
ATURoAOnptagLSRAAiRAAiRAAiSggAAdOAWQKEICJEACJEACJEACaiJAB05NrUFbSIAESIAESIAE
SEABATpwCiBRhARIgARIgARIgATURIAOnJpag7aQAAmQAAmQAAmQgAICdOAUQKIICZAACZAACZAA
CaiJAB04NbUGbSEBEiABEiABEiABBQTowCmARBESIAESIAESIAESUBMBOnBqag3aQgIkQAIkQAIk
QAIKCNCBUwCJIiRAAiRAAiRAAiSgJgJ04NTUGrSFBEiABEiABEiABBQQoAOnABJFSIAESIAESIAE
SEBNBOjAqak1aAsJkAAJkAAJkAAJKCBAB04BJIqQAAmQAAmQAAmQgJoI0IFTU2vQFhIgARIgARIg
ARJQQIAOnAJIFCEBEiABEiABEiABNRGgA6em1qAtJEACJEACJEACJKCAAB04BZAoQgIkQAIkQAIk
QAJqIkAHTk2tQVtIgARIgARIgARIQAEBOnAKIFGEBEiABEiABEiABNREgA6cmlqDtpAACZAACZAA
CZCAAgJ04BRAoggJkAAJkAAJkAAJqIkAHTg1tQZtIQESIAESIAESIAEFBOjAKYBEERIgARIgARIg
ARJQEwE6cGpqDdpCAiRAAiRAAiRAAgoI0IFTAIkiJEACJEACJEACJKAmAnTg1NQatIUESIAESIAE
SIAEFBCgA6cAEkVIgARIgARIgARIQE0E/j9i/JcR/GWMQwAAAABJRU5ErkJggg==
--000000000000ad8700056ce67061--


--===============8303953720657770564==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Axiom-math mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-math

--===============8303953720657770564==--