@Stretto If S is your series, do

eval(S, sin= 0);

To understand how and why this syntax works: Any number, such as the 0 in this case, can be used as if it were a constant function.

Please supply your procedure in plaintext form. And it's about time that you learned to format and indent them properly. So instead of using some automatic plaintext conversion, please retype your procedure as indented plaintext. Why should I need to do that?

@Kitonum Yes, I was just trying to emphasize that the default definition of series convergence seems to be different between Maple and Mathematica, and that Maple's is the standard, Calculus II, definition.

I have no problem with there being an alternate definition named formal, or even multiple alternate definitions, as long as it's clear which definition is being used. 

You can't make a variable independent just by declaring it to be so. The equation that you show can be solved for r in terms of phi and Z. Doesn't that violate r's supposed independence?

Why can't you adapt the Answer given for your previous extremely similar Question to this new function? What trouble are you having with that? Show an attempt.

And why can't you stop posting poorly formatted output, like I asked before?

@Magma Yeah, of course, I've already read it a few times. Still thinking about it. 

@acer The fact that formal works as you show suggests that Mathematica's default definition of series convergence is nonstandard. Perhaps we should call it A New Kind of Convergence.

@AzU Thank you for reposting the question. Here is my dsolve(..., numeric) solution. I've tried several other solution methods that confirm that the plot is correct. At the bottom of my worksheet, I show how to get a Taylor-polynomial solution. But getting a polynomial solution accurate over the interval 0..1000 will take a huge number of terms.
 

Download IVP.mw

@Christian Wolinski You are conflating two distinct definitions of constant (noun):

1. A symbol which for the purposes of a specific problem or solution process is not to be considered a variable or an independent variable.
2. A symbol representing a specific number or other fixed, well-defined mathematical entity.

When you speak of redeclaring constants in the context of a solver, you are using the first definiton. However, the predefined (yet modifiable) global constants refers to the second definition. There's no need to mix the two. Maple lets you create your own environment variables to your heart's content. So, if you want to use _EnvConstants for the solver purpose that you describe (which I agree is potentially useful), you may do so. 

@ondrejkubu The only part of that process that doesn't seem totally automatic to me is choosing which independent variable to declare in the identity clause. Let me know if you have any trouble with that. 

@Christian Wolinski I do think that there should be a built-in type var equivalent to And(name, Not(constant)). I get tired of typing that. 

Thank you for the additional information about your problem. Now I understand it, and I'm about to post a new Answer below.

@AzU  You've done a despicable thing by deleting your question after I helped you. It's like you spit in my face. I suspect that not many people here would be willing to help you if they suspected that you were going to delete the question. 

@ActiveUser Again, the example that you show is not a permutation. It doesn't have any representation in disjoint cycle form. When a permutation is applied to a list, the result is a list with the same elements as the original, each occuring the same number of times as in the original; only their order may be different.

Neither list that you show is itself a permutation, nor are those lists permutations of each other.