Abstract
We present a new method to plot planar implicit curve in a given box \(B \in {\mathbb {R}}^2\). Based on analyzing the geometry of the level sets of the given function, following the points with local maximal (or minimal) curvatures on the level sets, we compute points on each components of the given function in box B and trace each component to plot the curve. We also used this method to find real zeros of bivariate function systems in a given box. The experiments shows that our implementation works well. It works for polynomials with degrees more than 10,000. It also works for non-polynomial case.
The work is partially supported by NSFC Grants 11471327.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Arnon, D.S., Collins, G., McCallum, S.: Cylindrical algebraic decomposition, II: an adjacency algorithm for plane. SIAM J. Comput. 13(4), 878–889 (1984)
Berberich, E., et al.: Exacus: efficient and exact algorithms for curves and surfaces. In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol. 3669, pp. 155–166. Springer, Heidelberg (2005). https://doi.org/10.1007/11561071_16
Brake, D.A., Bates, D.J., Hao, W., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Algorithm 976: bertini real: numerical decomposition of real algebraic curves and surfaces. ACM Trans. Math. Softw. 44(1), 10 (2017)
Chen, F.L., Feng, Y., Kozak, J.: Tracing a plane algebraic curve. Appl. Math. J. Chin. Univ. 12(1), 15–24 (1997)
Cheng, J.-S., Lazard, S., Peñaranda, L., Pouget, M., Rouillier, F., Tsigaridas, E.: On the topology of the real algebraic plane curves. Math. Comput. Sci. 4, 113–117 (2010)
Cheng, J.-S., Wen, J., Zhang, W.: Level set sweeping method for bivariate function(s) and its applications, manuscript (2018)
Chandler, R.E.: A tracking algorithm for implicitly defined curves. IEEE Comput. Graphics Appl. 8(2), 83–89 (1988)
Christoforou, E., Mantzaflaris, A., Mourrain, B., Wintz, J.: Axl, a geometric modeler for semi-algebraic shapes. In: Proceeding of ICMS 2018 (2018)
Gao, X.S., Li, M.: Rational quadratic approximation to real algebraic curves. Comput. Aided Geom. Des. 21, 805–828 (2004)
González-Vega, L., Necula, I.: Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Des. 19, 719–743 (2002)
Goldman, R.: Curvature formulas for implicit curves and surfaces. Comput. Aided Geom. Des. 22(7), 632–658 (2005)
Gomes, A.J.P.: A continuation algorithm for planar implicit curves with singularities, Special Section on CAD/Graphics 2013. Comput. Graph. 38, 365–373 (2014)
Lien, J.-M., Sharma, V., Vegter, G., Yap, C.: Isotopic arrangement of simple curves: an exact numerical approach based on subdivision. In: Proceeding of International Congress on Mathematical Softwares (ICMS), Seoul (2014)
Lorensen, W.E., Cline, H.E.: Marching cubes: a high resolution 3D surface construction algorithm. In: Proceedings of SIGGRAPH 1987. ACM Press (1987)
Liang, C., Mourrain, B., Pavone, J.P.: Subdivision methods for the topology of 2D and 3D implicit curves. In: Jüttler, B., Piene, R. (eds.) Geometric Modeling and Algebraic Geometry. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-72185-7_11
Lin, L., Yap, C.: Adaptive isotopic approximation of nonsingular curves: the parameterizability and nonlocal isotopy approach. Discrete Comput. Geom. 45(4), 760–795 (2011). Special Issue: 25th Annual Symposium on Computational Geometry SOCG 2009
Martin, R., Shou, H., Voiculescu, I., Bowyer, A., Wang, G.: Comparison of interval methods for plotting algebraic curves. Comput. Aided Geom. Des. 19, 553–587 (2002)
Plantinga, S., Vegter, G.: Isotopic meshing of implicit surfaces. Vis. Comput. 23, 45–58 (2007)
Strzebonski, A.: Real root isolation for exp-log-arctan functions. J. Symbolic Comput. 47, 282–314 (2012)
https://exploration.open.wolframcloud.com/objects/exploration/TranscendentalEquations.nb
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Cheng, JS., Wen, J., Zhang, W. (2018). Plotting Planar Implicit Curves and Its Applications. In: Davenport, J., Kauers, M., Labahn, G., Urban, J. (eds) Mathematical Software – ICMS 2018. ICMS 2018. Lecture Notes in Computer Science(), vol 10931. Springer, Cham. https://doi.org/10.1007/978-3-319-96418-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-96418-8_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96417-1
Online ISBN: 978-3-319-96418-8
eBook Packages: Computer ScienceComputer Science (R0)