up previous next
image

[OBSOLESCENT] apply ring homomorphism

Syntax
Image(V: OBJECT, F:TAGGED("RMap")): OBJECT

Description
In CoCoA-5 homomorphisms are properly implemented as RINGHOM . Image was the CoCoA-4 function mimicking homomorphisms, in particular PolyAlgebraHom .

Example
/**/  Use D ::= QQ[x,y];   -- domain
/**/  f := x-y;   -- a RINGELEM in D

/**/  Use C ::= QQ[a,b,c]; -- codomain
/**/  F := RMap(a, c^2-a*b);  -- OBSOLESCENT
/**/  Image(f, F);            -- OBSOLESCENT
a*b -c^2 +a

/**/  phi := PolyAlgebraHom(D, C, [a, c^2-a*b]);  -- a RINGHOM
/**/  phi(f);
a*b -c^2 +a

See Also