After an unsuccessful month attempting to get Axiom to sum=
an elemental infinite series, I am joining my first newsgroup to ask if Ax=
iom is able to do it. Here are some ways I have found not to get the correc=
t result:

(3) -> sum(x**n/n, n=3D1..%plusInfinit=
y)

=C2=A0 =C2=A0There are 6 exposed and 2 unexposed library opera=
tions named sum=C2=A0

=C2=A0 =C2=A0 =C2=A0 having 2 argument(s) b=
ut none was determined to be applicable.=C2=A0

=C2=A0 =C2=A0 =C2=
=A0 Use HyperDoc Browse, or issue

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0)display op sum

=C2=A0 =C2=A0 =C2=A0 to learn more about th=
e available operations. Perhaps=C2=A0

=C2=A0 =C2=A0 =C2=A0 packag=
e-calling the operation or using coercions on the arguments

=C2=
=A0 =C2=A0 =C2=A0 will allow you to apply the operation.

=C2=A0

=C2=A0 =C2=A0Cannot find a definition or applicable library operat=
ion named sum=C2=A0

=C2=A0 =C2=A0 =C2=A0 with argument type(s)

--0000000000008ee14e05715d1892--

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Expression(Integer)

=C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0SegmentBinding(Order=
edCompletion(Integer))

=C2=A0 =C2=A0 =C2=A0 Perhaps you should us=
e @ to indicate the required return type, or

=C2=A0 =C2=A0 =C2=A0=
$ to specify which version of the function you need.

(3) -> l=
imit(sum(x**n/n, n=3D1..k), k=3D%plusInfinity)

=C2=
=A0 =C2=A0(3)=C2=A0 "failed"

=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 Type: Union("failed",...)

(4) ->=C2=A0

Of the open source CAS I've tried, only Sy=
mpy has been able to sum this infinite series. I am using Mathematica and M=
aple out of desperation. If I want to prove the correctness of their result=
s, I can't, because their methods are trade secrets.

Thank you