CGAL users discussion list

["ZHAO Junqiao \(John\)" <>]

Dear Sebastien,

Thanks very much for your efforts.

I discovered that Polyhedron_3::is_valid(true, x) will always produce NOT
VALID. When x is larger than 1.

In line 143 of HalfedgeDS_const_decorator.h, each time when the iteration is
finished, e will be equal to hds->halfedges_end(). However, the address of
the e is not NULL, which will not be equal to the address of
hds->border_halfedges_begin(). 

It is also interesting that neither correct.off and error.off could pass the
is_valid (, x) check (where x >0), but they do pass the is_closed () check.
So it's still not clear to me what are the causes of the problem.

I will do further investigation too.

Wishes,

John 

-----Original Message-----
From: Sebastien Loriot (GeometryFactory) 
[mailto:]
 
Sent: Friday, May 27, 2011 8:45 PM
To: 

Subject: Re: [cgal-discuss] Assertion of Minkowski_sum_3

Sorry for the late answer,

I am working on a issue I though was similar to your
but one problem I have with correct.off and error.off is
that if I call the Polyhedron_3 method is_valid(true,4), then
it tells me that the polyhedron is not valid.

If I try loading the Nef_polyhedron using the function
OFF_to_nef_3, then the Nef_polyhedron I have is open and
so the minkowski sum cannot be done.

S.