SubalgebraMap |
Syntax |
IsInSubalgebra(F: RINGELEM, L: LIST) IsInSubalgebra(F: RINGELEM, TAGGED("$alghom.Map")) |
Description |
Example |
Use QQ[s,t]; SAM := SubalgebraMap([s^3, s^2t, st^2, t^3]); 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]) ------------------------------- IsInSubalgebra(s^3, SAM); True ------------------------------- SubalgebraRepr(s^3, SAM); SubalgebraRing :: x[1] ------------------------------- IsInSubalgebra(s^5, [s^3, s^2t, st^2, t^3]); False ------------------------------- SubalgebraRepr(s^5, SAM); NULL ------------------------------- |
See Also |