SubalgebraRepr |
Syntax |
SubalgebraRepr(F: RINGELEM, L: LIST): RECORD SubalgebraRepr(R: RING, F: RINGELEM, L: LIST): RECORD |
Description |
Example |
/**/ Use QQ[s,t]; /**/ L := ***[s^3, s^2t, st^2, t^3]***; /**/ indent(SubalgebraRepr(s^6*t^6, L)); record[ IsInImage := true, OnePreImage := x[1]^2*x[4]^2, ker := ideal(x[3]^2 -x[2]*x[4], x[2]*x[3] -x[1]*x[4], x[2]^2 -x[1]*x[3]) ] /**/ SubalgebraRepr(s^6*t^6, L).IsInImage; -- for obsolete "IsInSubalgebra" |
See Also |