up previous next
ComputeElimFirst

ComputeElimFirst

Syntax
ComputeElimFirst(I: IDEAL, PP: ElimIndsProd): RINGELEM

Description
This function is experimental and dangerous! No guarantees.

Manual is intentionally cryptic. If you think this function is useful for you, write email to Anna M. Bigatti.

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