CGAL users discussion list

[Kevin Morgan <>]

Hi All,

I want to connect edges to arbitrary points on a bezier curve.

I've posted previously about using Arr_bezier_curve_traits. I want to use it with Algebraic vertices. which are not supported.

The main issue is that I want to connect edges to points on a Bezier that may not be endpoints.

There are a few ways that I might proceed, and I'd like some feedback from the authors and other users about that.

One approach I can take is to attempt to rework Arr_bezier_curve_traits to support Algebraic vertices. That seems daunting to me, because of the underlying exact representation, but I might be overestimating the difficulty and the issues that can arise. 

Another way, suggested by Efi, is to use Arr_algebraic_segments_traits. The issue with that is that you provide the curves in an implicit form, and Beziers don't have an equivalent implicit form, as far as I can tell. Maybe there's some way to rework it to do what I want. 

Yet another approach would be to just write my own support for Beziers, independent of that class. I'm familiar with the math involved, but not so much with the CGAL framework, and with template metaprogramming, so this would be a bit of a project. And it seems silly to do this if the functionality exists somewhere in the CGAL framework already.

A fourth approach would be to try to work around the issues in my application. Specifically, to replace any bezier segments that have algebraic vertices with new resampled segments that have rational vertices. This would lose information about the original curves. Also, It's not clear how well this would work, because there's not a guarantee about the precision or representation of the intersection points. But I can probably make it work as long as the intersection vertices all agree about the Algebraic to Rational mapping. 

Comments and suggestions are welcome, and feel free to correct me about any errors or misunderstandings I have about any of this.

Thanks,

Kevin