algcurves[implicitize] - find an implicit equation for a curve surface or hypersurface given by parametric equations
|
Calling Sequence
|
|
implicitize( peqs, params, d, options )
|
|
Parameters
|
|
peqs
|
-
|
list of equations of the form name=formula
|
params
|
-
|
list of equations of the form name=range
|
d
|
-
|
total degree of implicit polynomial to be found
|
options
|
-
|
(optional) equation(s) of the form option=name where option is one of maxIters, symbolic, tol, or useFNV
|
|
|
|
|
Description
|
|
•
|
The implicitize(peqs, params, d, options) function computes an implicit (polynomial) equation for the algebraic curve, surface, or hypersurface defined by the parametric equations peqs.
|
•
|
The output is given as a set that can be empty or have one or more elements.
|
•
|
The implicitize routine returns an implicit equation for the degree d if it exists.
|
•
|
The output will be exact or approximate, depending on the optional parameters controlled by the user.
|
•
|
The options argument can contain one or more of the following equations.
|
|
maxIters = positive_integer
|
|
The maxIters option controls the maximum number of iterations performed by findNullVector.
|
|
If the symbolic option is set to true, all integrations are performed symbolically. If the symbolic option is set to false, all integrations are performed numerically. The default value is false.
|
|
The tol option controls the tolerance used in findNullVector. The default value is .
|
|
If the useFNV option is set to true, the implicitize routine uses findNullVector. If the useFNV option is set to false, the implicitize routine uses NullSpace instead of findNullVector. The default value is true.
|
•
|
The implicitize routine accepts parametric equations that:
|
|
[1] are polynomials, rational functions, trigonometric functions, functions involving square roots, or functions in polar form;
|
|
[2] have coefficients from Q, parameters, or algebraic numbers; and
|
|
[3] define multi-parameter families of curves, surfaces of hypersurfaces.
|
•
|
The implicitize routine is based on the algorithm described in the paper: Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt. "Numerical implicitization of parametric hypersurfaces with linear algebra." AISC'2000 Proceedings, Madrid, Spain. LNAI 1930 (in print).
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
>
|
|
| (14) |
>
|
|
| (15) |
>
|
|
| (16) |
>
|
|
| (17) |
>
|
|
| (18) |
>
|
|
| (19) |
>
|
|
| (20) |
>
|
|
| (21) |
>
|
|
| (22) |
>
|
|
| (23) |
>
|
|
| (24) |
>
|
|
| (25) |
>
|
|
| (26) |
>
|
|
| (27) |
>
|
|
| (28) |
>
|
|
| (29) |
>
|
|
| (30) |
| (31) |
>
|
|
| (32) |
>
|
|
| (33) |
>
|
|
| (34) |
>
|
|
| (35) |
>
|
|
| (36) |
>
|
|
| (37) |
>
|
|
| (38) |
>
|
|
| (39) |
|
|
See Also
|
|
abs, algcurves, alias, coeffs, convert, Digits, eval, expand, fnormal, map, min, op, simplify, sqrt, trig
|
|