| a list l of two ideals, say I,J:
- I defines a map (coordinate change in the basering), such that:
- J is generated by a subset of the variables with size(J) = dim(id)
if we define map phi=basering,I;
then k[var(1),...,var(n)]/phi(id) is finite over k[J].
If p is given, 0<=p<=100, a sparse coordinate change with p percent
of the matrix entries being 0 (default: p=0 i.e. dense)
|