SubalgebraRepr |
Syntax |
SubalgebraRepr(F: RINGELEM, L: LIST): RINGELEM SubalgebraRepr(F: RINGELEM, M:TAGGED("$alghom.Map")): RINGELEM |
Description |
Example |
Use QQ[s,t]; L := [s^3, s^2t, st^2, t^3]; SAM := SubalgebraMap(L); IsInSubalgebra(s^6t^6, SAM); True ------------------------------- SubalgebraRepr(s^6t^6, L); SubalgebraRing :: x[1]^2x[4]^2 ------------------------------- SubalgebraRepr(s^6t^6, SAM); -- more efficient for repeated computations SubalgebraRing :: x[1]^2x[4]^2 ------------------------------- Image(It, RMap(L)); s^6t^6 ------------------------------- |
See Also |