I am searching for high level commands or techniques to show equality of expressions containing square roots that can be complex as here

In an ideal world is() with the right assumptions should show equality. However, in the attached example, I failed already with my manual skills.

What did I miss here?

Equality_of_exp_with_complex_roots.mw

I was searching for an “uneval” command that returns an expression unevaluated (as Maple returns an output). In the attached example I am using eval which works in this instance since the integral is entered in an inert form.
 

Since the use of eval to obtain something unevaluated is somehow confusing (and might not work in all instances): Is there a better way than to use eval?

Download expr_equals_evalexpr.mw

I am looking for something like the equal sign (“=”) with a question mark (“?”) on top.

This would be handy to express an unknown relation or something that has to be proofed.

If not: Is it possible to create custom symbols?

I made this observation when comapring two expression containg elliptic integrals (see attached)

Such unevaluated complex output maybe be the reason why fsolve and plot sometimes did not produce output on similar expressions in another question I posted

https://www.mapleprimes.com/questions/233304-How-To-Find-The-Inverse-Function-Of

_zero_times_imaginery_unit.mw

For compact technical documentation it would be desirable to create output in the form of a=b=c, which is a style that is commonly used in textbooks (probably for the same reason).

It is possible to create such an output with non executable math and probably also with document blocks. This is error prone and time consuming. I am looking for a solution where I can use Maple commands to refer to expressions to assemble an a=b=c output.

The advantage: Using commands would change the output when the expression change (at least after re-execution of the document).

How can this be done?