[PPL-devel] A bug for the Octagonal_Shape class

Hi all, I have discovered a bug in the "striclty_contains" method for the Octagonal_Shape class. The following piece of code

Octagonal_Shape<double> o1(3,UNIVERSE); Octagonal_Shape<double> o2(3,EMPTY); bool result = o1.strictly_contains(o2);

ends with result==false instead of result==true. Note that method "contains" works.

The bug is both in the released versions and in the git.

--gianluca