Abstract
We present constructive algorithms to determine the topological type of a non-singular orientable real algebraic projective surface S in the real projective space, starting from a polynomial equation with rational coefficients for S. We address this question when there exists a line in RP 3 not intersecting the surface, which is a decidable problem; in the case of quartic surfaces, when this condition is always fulfilled, we give a procedure to find a line disjoint from the surface. Our algorithm computes the homology of the various connected components of the surface in a finite number of steps, using as a basic tool Morse theory. The entire procedure has been implemented in Axiom.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
