ker |
Syntax |
Ker(M:TAGGED("$alghom.Map")): IDEAL |
Description |
Example |
Use QQ[s,t]; L := [s^3, s^2t, st^2, t^3]; SAM := SubalgebraMap(L); SAM; record[ DomainIndets := SubalgebraRing::[x[1], x[2], x[3], x[4]], Images := CurrentRingEnv::[s^3, s^2t, st^2, t^3], ElimIdeal := AlgHomRing :: ideal( -y[1]^3 + x[1], -y[1]^2y[2] + x[2], -y[1]y[2]^2 + x[3], -y[2]^3 + x[4]) ] ------------------------------- Ker(SAM); SubalgebraRing :: ideal(x[3]^2 - x[2]x[4], x[2]x[3] - x[1]x[4], x[2]^2 - x[1]x[3]) ------------------------------- |
See Also |