D.4.30 realrad_lib

Library:

realrad.lib

Purpose:

Computation of real radicals

Author :

Silke Spang

Overview:

Algorithms about the computation of the real
radical of an arbitrary ideal over the rational numbers and transcendetal extensions thereof

Procedures:

D.4.30.1 realpoly		Computes the real part of the univariate polynomial f
D.4.30.2 realzero		Computes the real radical of the zerodimensional ideal j
D.4.30.3 realrad		Computes the real radical of an arbitrary ideal over transcendental extension of the rational numbers