IsInImage -- check if a RINGELEM is in image of RINGHOM |
Syntax |
IsInImage(phi: RINGHOM, f: RINGELEM): BOOL |
Description |
Example |
/**/ QQxyz ::= QQ[x,y,z]; /**/ QQab ::= QQ[a,b]; /**/ use QQab; /**/ phi := PolyAlgebraHom(QQxyz, QQab, [a+1, a*b+3, b^2]); /**/ IsInImage(phi, b); false /**/ preimage0(phi, b); 0 |
See Also |