X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_inifcns.cpp;h=77a4b3b73d725c001b9e9a0d67eca2149502b995;hp=994aa3444d6cf6e16ed2fd321897a433d3de4f17;hb=2c886a86f1d020e927d64ab2c79b20437a6bd561;hpb=4e1e7c6547dafc0b0f8695f9eced2591ae816a31 diff --git a/check/exam_inifcns.cpp b/check/exam_inifcns.cpp index 994aa344..77a4b3b7 100644 --- a/check/exam_inifcns.cpp +++ b/check/exam_inifcns.cpp @@ -224,6 +224,7 @@ static unsigned inifcns_consist_abs() 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; @@ -242,6 +243,13 @@ static unsigned inifcns_consist_abs() 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()