SYNAPS: A library for dedicated applications in symbolic numeric computing,

Bernard Mourrain (1) , Jean-Pascal Pavone (1) , Philippe Trebuchet (2) , Elias P. Tsigaridas (3) , Julien Wintz (1)

1 GALAAD - Geometry, algebra, algorithms
2 SPIRAL - Systèmes Polynomiaux, Implantation, Résolution Algébrique
3 DI NKUA - Department of Informatics and Telecomunications [Kapodistrian Univ]

We present an overview of the open source library synaps. We describe some of the representative algorithms of the library and illustrate them on some explicit computations, such as solving polynomials and computing geometric information on implicit curves and surfaces. Moreover, we describe the design and the techniques we have developed in order to handle a hierarchy of generic and specialized data-structures and routines, based on a view mechanism. This allows us to construct dedicated plugins, which can be loaded easily in an external tool. Finally, we show how this design allows us to embed the algebraic operations, as a dedicated plugin, into the external geometric modeler axel.

Domaines: Calcul formel [cs.SC]; Géométrie algorithmique [cs.CG]

Bernard Mourrain, Jean-Pascal Pavone, Philippe Trebuchet, Elias P. Tsigaridas, Julien Wintz. SYNAPS: A library for dedicated applications in symbolic numeric computing,. M.E. Stillman and N. Takayama and J. Verschelde. Software for algebraic geometry, 148, Springer, pp.81-110, 2007, IMA Volumes in Mathematics and its Applications. ⟨inria-00178498⟩