Perform visualization and manipulation of curves and surfaces.
An algebraic geometric modeler, which aim is to provide algebraic modeling tools for the manipulation and computation with implicit and parametric curves or surfaces. Its primary goal is to embed Synaps algebraic capabilities to provide new modeling techniques. Its main functionnalities are:Topology: compute the certified topology of curves and surfaces with either implicit or parametric representationIntersections: compute the intersection of implicit or parametric curves or surfacesSelf-intersections : compute the self-intersections of parametric surfaces whatever their parameterization.Singularities: compute the singularities of algebraic surfaces.Differential modeling: derivative curves, graphed surfaces.Set theoretic modeling: boolean operations, arrangements.