CGAL users discussion list

[Peter Palfrader <>]

On Tue, 09 Dec 2014, Eric Berberich wrote:

> have you tried a new version? Is the error fixed in there? Note that
> you don't have to use the shipped version of Core.

Not yet.  I wasn't aware that it was easy to do.  I'll try it at some
point.

> We had no plans to update the version, also because we have not been
> aware of problems so far. Can you elaborate in which situation with
> CGAL the error occurs?

I'm using the 3d envelopes package with my own traits based on the 2d
conic arc arrangement traits and algebraic number traits.

The assert then happens in a < comparison of (scaled) squared_distances
of points.

#2  0x00007ffff64b6a76 in __assert_fail_base (fmt=0x7ffff6608370 "%s%s%s:%u: 
%s%sAssertion `%s' failed.\n%n", 
    assertion=assertion@entry=0x7a7422 "(err() == 0 && m() == 0) || 
!(isZeroIn())", 
    file=file@entry=0x7a744c "/usr/include/CGAL/CORE/BigFloat.h", 
line=line@entry=249, 
    function=function@entry=0x7a746e "int CORE::BigFloat::sign() const") at 
assert.c:92
#3  0x00007ffff64b6b22 in __GI___assert_fail (assertion=0x7a7422 "(err() == 0 
&& m() == 0) || !(isZeroIn())", 
    file=0x7a744c "/usr/include/CGAL/CORE/BigFloat.h", line=249, 
function=0x7a746e "int CORE::BigFloat::sign() const") at assert.c:101
#4  0x0000000000696fd6 in CORE::BigFloat::sign (this=0xb8f120) at 
/usr/include/CGAL/CORE/BigFloat.h:249
#5  0x0000000000695a4c in CORE::Realbase_for<CORE::BigFloat>::sgn 
(this=0xb8f100) at /usr/include/CGAL/CORE/RealRep.h:269
#6  0x00007ffff777417d in CORE::SqrtRep::computeApproxValue(CORE::extLong 
const&, CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#7  0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#8  0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#9  0x00000000006a4a63 in CORE::AddSubRep<CORE::Add>::computeApproxValue 
(this=0xb7b548, relPrec=..., absPrec=...)
    at /usr/include/CGAL/CORE/ExprRep.h:1207
#10 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#11 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#12 0x00007ffff7773fd2 in CORE::NegRep::computeApproxValue(CORE::extLong 
const&, CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#13 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#14 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#15 0x00007ffff7776031 in CORE::DivRep::computeApproxValue(CORE::extLong 
const&, CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#16 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#17 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#18 0x000000000068f820 in CORE::AddSubRep<CORE::Sub>::computeApproxValue 
(this=0xbd9168, relPrec=..., absPrec=...)
    at /usr/include/CGAL/CORE/ExprRep.h:1207
#19 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#20 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#21 0x00007ffff7774d23 in CORE::MultRep::computeApproxValue(CORE::extLong 
const&, CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#22 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#23 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#24 0x00000000006a4a63 in CORE::AddSubRep<CORE::Add>::computeApproxValue 
(this=0xb7b0c8, relPrec=..., absPrec=...)
    at /usr/include/CGAL/CORE/ExprRep.h:1207
#25 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#26 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#27 0x00007ffff7776031 in CORE::DivRep::computeApproxValue(CORE::extLong 
const&, CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#28 0x00007ffff7773907 in CORE::ExprRep::approx(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#29 0x00007ffff7773a4d in CORE::ExprRep::getAppValue(CORE::extLong const&, 
CORE::extLong const&) () from /usr/lib/libCGAL_Core.so.10
#30 0x000000000068ef56 in CORE::AddSubRep<CORE::Sub>::computeExactFlags 
(this=0x7fffffff9228) at /usr/include/CGAL/CORE/ExprRep.h:1114
#31 0x000000000068d536 in CORE::ExprRep::getExactSign (this=0x7fffffff9228) 
at /usr/include/CGAL/CORE/ExprRep.h:1286
#32 0x000000000068d175 in CORE::ExprRep::getSign (this=0x7fffffff9228) at 
/usr/include/CGAL/CORE/ExprRep.h:1297
#33 0x000000000068cfd0 in CORE::Expr::cmp (this=0x7fffffff9398, e=...) at 
/usr/include/CGAL/CORE/Expr.h:320
#34 0x00000000006a1d5d in CORE::operator< (e1=..., e2=...) at 
/usr/include/CGAL/CORE/Expr.h:410
#35 0x00000000006a1723 in Weasel_arr_traits_3::Compare_z_at_xy_3::operator() 
(this=0x7fffffff9530, p=..., surf1=..., surf2=...)
    at /home/pma/weasel/projects/uni/code/vrvd-c/main.cpp:699
...

I may try to find a minimal test case.

Aloha,
Peter
-- 
                           |  .''`.       ** Debian **
      Peter Palfrader      | : :' :      The  universal
 http://www.palfrader.org/ | `. `'      Operating System
                           |   `-    http://www.debian.org/