Showing 1–10 of 10 results for author: Sottile, F

Polymorphic System I

Authors: Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López

Abstract: System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the corresponding isomorphisms. We provide non-standard proofs of subject reduction and strong normalisation, extending those of System I. System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the corresponding isomorphisms. We provide non-standard proofs of subject reduction and strong normalisation, extending those of System I. △ Less

Submitted 19 May, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 20 pages plus appendix

Journal ref: In IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL 2020). Association for Computing Machinery, New York, NY, USA, 127-137

Decomposable sparse polynomial systems

Authors: Taylor Brysiewicz, Jose Israel Rodriguez, Frank Sottile, Thomas Yahl

Abstract: The Macaulay2 package DecomposableSparseSystems implements methods for studying and numerically solving decomposable sparse polynomial systems. We describe the structure of decomposable sparse systems and explain how the methods in this package may be used to exploit this structure, with examples. The Macaulay2 package DecomposableSparseSystems implements methods for studying and numerically solving decomposable sparse polynomial systems. We describe the structure of decomposable sparse systems and explain how the methods in this package may be used to exploit this structure, with examples. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Comments: 7 pages, software available at https://www.math.tamu.edu/~thomasjyahl/research/DSS/DSSsite.html

MSC Class: 14M25; 65H10; 65H20

Journal ref: J. Softw. Alg. Geom. 11 (2021) 53-59

Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials

Authors: Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile

Abstract: We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Kh… ▽ More We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Khovanskii-Rolle continuation, which is a numerical algorithm to compute the real solutions to a system of fewnomials. △ Less

Submitted 20 May, 2015; originally announced May 2015.

Comments: 22 pages, 4 figures

MSC Class: 14P99; 65H10; 65H20 ACM Class: G.1.5

Injectivity of 2D Toric Bézier Patches

Authors: Frank Sottile, Chungang Zhu

Abstract: Rational Bézier functions are widely used as map** functions in surface reparameterization, finite element analysis, image war** and morphing. The injectivity (one-to-one property) of a map** function is typically necessary for these applications. Toric Bézier patches are generalizations of classical patches (triangular, tensor product) which are defined on the convex hull of a set of intege… ▽ More Rational Bézier functions are widely used as map** functions in surface reparameterization, finite element analysis, image war** and morphing. The injectivity (one-to-one property) of a map** function is typically necessary for these applications. Toric Bézier patches are generalizations of classical patches (triangular, tensor product) which are defined on the convex hull of a set of integer lattice points. We give a geometric condition on the control points that we show is equivalent to the injectivity of every 2D toric Bézier patch with those control points for all possible choices of weights. This condition refines that of Craciun, et al., which only implied injectivity on the interior of a patch. △ Less

Submitted 15 June, 2011; originally announced June 2011.

Comments: 4 pages, extended abstract, to be publised in Proceedings of CAD/Graphis 2011

Report number: Mittag-Leffler-2011spring MSC Class: 65D17; 14M25 ACM Class: I.3.5

alphaCertified: certifying solutions to polynomial systems

Authors: Jonathan D. Hauenstein, Frank Sottile

Abstract: Smale's alpha-theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on alpha-theory to certify solutions to polynomial systems using both exact rational arithmetic and arbitrary precision floating point arithme… ▽ More Smale's alpha-theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on alpha-theory to certify solutions to polynomial systems using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements an algorithm to certify whether a given point corresponds to a real solution to a real polynomial system, as well as algorithms to heuristically validate solutions to overdetermined systems. Examples are presented to demonstrate the algorithms. △ Less

Submitted 20 September, 2011; v1 submitted 4 November, 2010; originally announced November 2010.

Comments: 21 pages

MSC Class: 65G20; 65H05

Toric degenerations of Bezier patches

Authors: Luis David Garcia-Puente, Frank Sottile, Chungang Zhu

Abstract: The control polygon of a Bezier curve is well-defined and has geometric significance---there is a sequence of weights under which the limiting position of the curve is the control polygon. For a Bezier surface patch, there are many possible polyhedral control structures, and none are canonical. We propose a not necessarily polyhedral control structure for surface patches, regular control surfaces,… ▽ More The control polygon of a Bezier curve is well-defined and has geometric significance---there is a sequence of weights under which the limiting position of the curve is the control polygon. For a Bezier surface patch, there are many possible polyhedral control structures, and none are canonical. We propose a not necessarily polyhedral control structure for surface patches, regular control surfaces, which are certain C^0 spline surfaces. While not unique, regular control surfaces are exactly the possible limiting positions of a Bezier patch when the weights are allowed to vary. △ Less

Submitted 30 December, 2010; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: 21 pages, many .eps figures

MSC Class: 65D17; 14M25 ACM Class: I.3.5

The number of transversals to line segments in R^3

Authors: Hervé Brönnimann, Hazel Everett, Sylvain Lazard, Frank Sottile, Sue Whitesides

Abstract: We completely describe the structure of the connected components of transversals to a collection of n line segments in R^3. We show that n>2 arbitrary line segments in R^3 admit 0, 1, ..., n or infinitely many line transversals. In the latter case, the transversals form up to n connected components. We completely describe the structure of the connected components of transversals to a collection of n line segments in R^3. We show that n>2 arbitrary line segments in R^3 admit 0, 1, ..., n or infinitely many line transversals. In the latter case, the transversals form up to n connected components. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 9 pages, 7.eps pictures in color, abstract to apper in CCCG03

Journal ref: Discrete and Computational Geometry, Volume 34, Number 3, (2005), 381--390.

The envelope of lines meeting a fixed line that are tangent to two spheres

Authors: Gábor Megyesi, Frank Sottile

Abstract: We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations consisting of a single line and three spheres for which there are infinitely many lines tangent to the three spheres that also meet the given line. All such configurations are degenerate. The path to this result involves the interplay of some beautiful and intricate geometry of real su… ▽ More We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations consisting of a single line and three spheres for which there are infinitely many lines tangent to the three spheres that also meet the given line. All such configurations are degenerate. The path to this result involves the interplay of some beautiful and intricate geometry of real surfaces in 3-space, complex algebraic geometry, explicit computation and graphics. △ Less

Submitted 23 February, 2005; v1 submitted 22 April, 2003; originally announced April 2003.

Comments: 24 pages, 13 .eps pictures

MSC Class: 68U05; 51N20; 14N10; 14Q15; ACM I.3.5

Journal ref: Discrete and Computational Geometry, 33, Number 4, (2005) 617--644.

Toric ideals, real toric varieties, and the algebraic moment map

Authors: Frank Sottile

Abstract: This is a tutorial on some aspects of toric varieties related to their potential use in geometric modeling. We discuss projective toric varieties and their ideals, as well as real toric varieties and the algebraic moment map. In particular, we explain the relation between linear precision and the algebraic moment map. This builds on the introduction to toric varieties by David Cox: What is a Tor… ▽ More This is a tutorial on some aspects of toric varieties related to their potential use in geometric modeling. We discuss projective toric varieties and their ideals, as well as real toric varieties and the algebraic moment map. In particular, we explain the relation between linear precision and the algebraic moment map. This builds on the introduction to toric varieties by David Cox: What is a Toric Variety? at http://www.cs.amherst.edu/~dac/lectures/tutorial.ps △ Less

Submitted 18 April, 2008; v1 submitted 3 December, 2002; originally announced December 2002.

Comments: Corrected the discussion in the published version about the moment map, and changed the title from "Toric ideals, real toric varieties, and the moment map". This should be the definitive version

MSC Class: 14M25; 14Q99; 13P10; 68U05; 68U07; ACM I.3.5

Journal ref: in Topics in Algebraic Geometry and Geometric Modeling, Contemp. Math., 334, 2003., pp.225-240

Common transversals and tangents to two lines and two quadrics in P^3

Authors: Gábor Megyesi, Frank Sottile, Thorsten Theobald

Abstract: We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres? We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by qu… ▽ More We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres? We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by quadrics in projective space P^3, and fixing the lines and one general quadric, we give the following complete geometric description of the set of (second) quadrics for which the 2 lines and 2 quadrics have infinitely many transversals and tangents: In the nine-dimensional projective space P^9 of quadrics, this is a curve of degree 24 consisting of 12 plane conics, a remarkably reducible variety. △ Less

Submitted 5 June, 2002; originally announced June 2002.

Comments: 26 pages, 9 .eps figures, web page with more pictures and and archive of computations: http://www.math.umass.edu/~sottile/pages/2l2s/

MSC Class: 13P10; 14N10; 14Q15; 51N20; 68U05