|
5.1.63 kernel
Syntax:
kernel ( ring_name, map_name )
preimage ( ring_name, ideal_expression )
Type:
- ideal
Purpose:
- returns the kernel of a given map.
The second argument has to be a map from the basering to the given ring
(or an ideal defining such a map).
Example:
See
alg_kernel;
hom_kernel;
ideal;
map;
modulo;
preimage;
ring.
|