ComputeElimFirst |
Syntax |
ComputeElimFirst(I: IDEAL, PP: ElimIndsProd): RINGELEM |
Description |
Example |
/**/ Use ZZ/(32003)[x,y,t]; /**/ ComputeElimFirst(t, ideal(x^2-t^2, y^3-t^3)); x^6 -y^6 /**/ Use ZZ/(32003)[x,y,t,h]; /**/ ComputeElimFirst(t, ideal(x*h-t^2, y*h^2-t^3)); x^3*h^2 -y^2*h^3 |
See Also |