`desing/colonideal`
Computing the ideal quotient of two ideals in a given ring.
- Input:
-
- f
- a list of polynomials from k[S], the generators for the
ideal "in the numerator",
- g
- a list of polynomials from k[S], the generators for the
ideal "in the denominator",
- S
- a list of variables,
- DEP
- a list of polynomials from k[S], the generators for the
factoring ideal (k[U]=k[S]/<DEP>).
- Output:
- A list of polynomials from k[S], the generators of
the quotient ideal.
The polynomials of the parameters f, g are
understood as representatives for elements from k[U]. The parameters
S and DEP are usually the corresponding members of a
chart.