IsInSubalgebra |
Syntax |
SubalgebraRepr(F:POLY, L:LIST):POLY SubalgebraRepr(F:POLY, M:TAGGED("$alghom.Map")):POLY |
Description |
Example |
Use QQ[s,t]; L := [s^3, s^2t, st^2, t^3]; IsInSubalgebra(s^6t^6, L); True ------------------------------- SAM := SubalgebraMap(L); IsInSubalgebra(s^6t^6, SAM); -- more efficient for repeated checks True ------------------------------- |
See Also |