SNAP Package for Mathematica and Its Applications

Abstract

SNAP (Symbolic Numeric Algebra for Polynomials) Package for Mathematica is a Mathematica package which provides various functions to compute approximate algebraic properties, approximate gcd of polynomials for example. For practical situations, the package does not have enough functionalities yet for now, since the package is an on-going project. At this time, our aim is showing how an unified tolerance mechanism that we introduce for the package works. Using the mechanism, we can continue approximate calculations under certified tolerances.