Abstract
This note shows how to draw diagrams automatically from the predicate specification of a given set of geometric relations among a set of points in the plane. It is done first in Maple by translating the geometric relations into polynomial equations, decomposing the obtained system of polynomials into irreducible representative triangular sets, and finding an adequate numerical solution from each triangular set. A Java class coding the solution and the polynomials in each triangular set is generated, compiled, and then executed with the main Java programs to draw a diagram. The whole process combining symbolic elimination in Maple with numerical computation, graphic drawing, and letter labeling in Java is fully automatic. The drawn diagrams may be animated and fine-tuned by mouse click and dragging and saved as PostScript files. We present the drawing method, discuss some techniques of implementation, and give several sample diagrams drawn by our program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gao, X.-S. (1999): Automated Geometry Diagram Construction and Engineering Geometry. In: Automated Deduction in Geometry (X.-S. Gao, D. Wang, and L. Yang, eds.), LNAI 1669, pp. 232–257. Springer, Berl in Heidelberg.
Gao, X.-S., Zhang, J.-Z., and Chou, S.-C. (1998): Geometry Expert (in Chinese). Nine Chapters Publ., Taiwan (http://www.mmrc.iss.ac.cn/~xgao/gex.html).
Durand, C. and Hoffmann, C. M. (2000): A Systematic Framework for Solving Geometric Constraints Analytically. J. Symbolic Computation 30, 493–519.
Richter-Gebert, J. and Kortenkamp, U. H. (1999): The Interactive Geometry Software Cinderella Springer, Berlin Heidelberg (http://www.cinderella.de/).
Wang, D. (1996): GEOTHER: A Geometry Theorem Prover. In: Automated Deduction (M. A. McRobbie and J. K. Slaney, eds.), LNAI 1104, pp. 166–170. Springer, Berlin Heidelberg (http://calfor.lip6.fr/~wang/GEOTHER/).
Wang, D. (2001): Elimination Methods. Springer, Wien New York.
Wu, W.-t. (1994): Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese by X. Jin and D. Wang). Springer, Wien New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, D. (2003). Automated Generation of Diagrams with Maple and Java. In: Joswig, M., Takayama, N. (eds) Algebra, Geometry and Software Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05148-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-662-05148-1_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05539-3
Online ISBN: 978-3-662-05148-1
eBook Packages: Springer Book Archive