... abs(step(z)) => step(z)
Signed-off-by: Vladimir V. Kisil <kisilv@maths.leeds.ac.uk>
unsigned result = 0;
realsymbol a("a"), b("b"), x("x"), y("y");
possymbol p("p");
+ symbol z("z");
if (!abs(exp(x+I*y)).eval().is_equal(exp(x)))
++result;
if (!abs(pow(x+I*y,a+I*b)).eval().is_equal(abs(pow(x+I*y,a+I*b))))
++result;
+ if (!abs(z.conjugate()).eval().is_equal(abs(z)))
+ ++result;
+
+ if (!abs(step(z)).eval().is_equal(step(z)))
+ ++result;
+
+ return result;
}
static unsigned inifcns_consist_various()
return pow(abs(base), exponent.real_part());
}
+ if (is_ex_the_function(arg, conjugate_function))
+ return abs(arg.op(0));
+
+ if (is_ex_the_function(arg, step))
+ return arg;
+
return abs(arg).hold();
}