|
D.4.22.1 ReesAlgebra
Procedure from library reesclos.lib (see reesclos_lib).
- Usage:
- ReesAlgebra (I); I = ideal
- Return:
- The Rees algebra R[It] as an affine ring, where I is an ideal in R.
The procedure returns a list containing two rings:
[1]: a ring, say RR; in the ring an ideal ker such that R[It]=RR/ker
[2]: a ring, say Kxt; the basering with additional variable t
containing an ideal mapI that defines the map RR-->Kxt
Example:
|