|
D.4.15.14 changeDenominator
Procedure from library normal.lib (see normal_lib).
- Usage:
- changeDenominator(U1, c1, c2, I); U1 and I ideals, c1 and c2
polynomials.
- Return:
- an ideal U2 such that the A-modules 1/c1 * U1 and 1/c2 * U2 are equal,
where A = R/I and R is the basering.
- Note:
- It assumes that such U2 exists. It is intended maninly as an auxiliary
procedure in the normalization algorithms.
Example:
|