realrad.lib

realrad.lib. A singular 3-1-3 library for computing real radicals. Overview: Algorithms about the computation of the real radical of an arbitary ideal over the rational numbers and transcendetal extensions thereof. Procedures: realpoly, realzero, realrad