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 representation
Intersections: compute the intersection of implicit or parametric curves or surfaces
Self-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.
Mac OS X 10.4 Intel,
Mac OS X 10.5 Intel
||Mac OS X 10.4 PPCMac OS X 10.3.9Mac OS X 10.4 IntelMac OS X 10.0Mac OS X 10.1Mac OS X 10.5 PPCMac OS X 10.2Mac OS X 10.5 IntelMac OS X 10.3Mac OS Classic