21.01.2015 Views

Approximate Implicitization Using Monoid Curves and Surfaces

Approximate Implicitization Using Monoid Curves and Surfaces

Approximate Implicitization Using Monoid Curves and Surfaces

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.3.3 Error bound for the approximate inversion map<br />

Let the approximate inversion have the form<br />

a =<br />

Compose this with the parametric surface equation (44) so that<br />

h(s; t; u; v)<br />

d(s; t; u; v) : (56)<br />

h(s(; );t(; );u(; )) , vd(s(; );t(; );u(; )) = (; ); (57)<br />

where j(; )j , <strong>and</strong> is the smallest singular value of the composite matrix for the composition of H<br />

with the parametric surface. The exact parameter follows directly:<br />

t =<br />

h(s; t; u; v) , (; )<br />

; (58)<br />

d(s; t; u; v)<br />

from which an upper bound on the dierence between the exact parameter t <strong>and</strong> the approximate parameter<br />

a is:<br />

j t , a j = j<br />

(; )<br />

d(s; t; u; v) j<br />

j j<br />

minjd(s; t; u; v)j : (59)<br />

By the same token, a bound for parameter is found to be<br />

j t , a j = j<br />

(; )<br />

b(s; t; u; v) j<br />

j j<br />

minjb(s; t; u; v)j ; (60)<br />

where is the smallest singular value of the composite matrix for the composition of G with the parametric<br />

surface. The values of minjd(s; t; u; v)j <strong>and</strong> minjb(s; t; u; v)j can be estimated using the coecients of polynomials<br />

d <strong>and</strong> b.<br />

5 Examples <strong>and</strong> discussion<br />

In this section we present examples of the approximate algorithm <strong>and</strong> discuss its possible applications in compute<br />

graphics.<br />

Example 5.1. Consider a degree 3 Bezier curve with control points (2.16, 0.648), (1.92, 0.36), (1.2, 0.2) <strong>and</strong><br />

(0.0, 1.0). Figure 10 shows an approximate monoid curve (solid line) <strong>and</strong> the Bezier curve (dash line). Note<br />

that there is a self-intersection point when we implicitize this Bezier curve using general algebraic curves as<br />

shown in Figure 1.<br />

22

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!