Algebraic Curves Examples - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Geometry : Examples : Algebraic Curves Examples

Algebraic Curves

When f is a polynomial in x and y, then f defines an algebraic curve in a plane.

(1)

Puiseux Expansion

The function  has two singularities and one regular point on the line . We can obtain information (such as the tangent lines, the delta invariant, and other invariants) on singularities by computing the Puiseux expansions. One can view these Puiseux expansions as a sort of Taylor expansion (note that Puiseux expansions can also have fractional powers of x, whereas a Taylor expansion does not) of the algebraic function RootOf(f, y). Because this algebraic function is multivalued, we will get several expansions corresponding to the different branches of  at . The following command gives these expansions of  at :

(1.1)


The fourth argument  tells puiseux to compute a minimal number of terms. The number of terms that will be computed in this way is precisely the number of terms that are required to be able to distinguish the different Puiseux expansions from one another.


Note: It appears as though only three different Puiseux expansions were given, whereas the function  has five different branches. The other two expansions are implicitly given by taking the conjugates of these expansions over the field Q((x)).

(1.2)


This command means the following: Give the Puiseux expansions up to accuracy 3, which means modulo . So the coefficients of  are given, but not the coefficients of . To view the  terms of the Puiseux expansions, we must compute the Puiseux expansions up to accuracy > 3.

(1.3)


As one can see from the Puiseux expansions, the point ,  is singular, because two Puiseux expansions are going through this point:

and its conjugate. Similarly,  is a singular point.

Return to Index of Example Worksheets


Download Help Document