[PPL-devel] A bug for the Octagonal_Shape class

[Gianluca Amato]

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