@acer TQs for clean code and further extension!

@Kitonum TQs for clean code!

@nm Agree with you, if can, I hope ```simplify``` can make all expression clean and beautify as people expect. 

@janhardo As an aside, which book is it?

@mmcdara Very good and patient answer. comprehensive explanation! your answers are always so good!

@Rouben Rostamian  Nice and patient answer respect!

@acer TQ for your answer and clean nice verification!

@mmcdara TQ for your answer and patient explanation for two versions difference！

@Kitonum Hi! Yeah, it is obvious. This issue just strikes me how to verify if two sets are equivalent in Maple.

@dharr TQ for your answer! Maybe verify a range of values of "k" is the only solution way ya.

As an aside, you really have big persistence to type so long formula. And I cannot give good advice unless you type a much easier formula as an example then others would have patience to help you debug it.

@Kitonum TQ for your ''eval (Sol, [_B1=0, _Z1=k])'' ! Good !

@acer TQ for your explanation for "indets"!

@mmcdara TQ for your explanation!

As an aside, I have been reading your discussion carefully, but it is so profound that I cannot understand it (I don’t even know where to start), because I have never encountered a similar situation.