SYNAPS is a library devoted to symbolic and numeric computations. The kernel of this platform provides data-structures and classes for the manipulation of basic objects, such as vectors, matrices (dense, sparse, structured), univariate and multivariate polynomial (in the monomial, Horner or Bernstein basis), parameterised by their coefficients type, container types, ... It contains solvers for univariate and multivariate polynomials, tools for manipulating algebraic numbers, for computing univariate and multivariate resultants, Sturm sequences, for analysing the toplogy of implicit curves and surfaces, ...
|