|
D.2.8.14 preimageLoc
Procedure from library ring.lib (see ring_lib).
- Usage:
- preimageLoc ( ring_name, map_name, ideal_name );
all input parameters of type string
- Return:
- ideal
- Purpose:
- compute the preimage of an ideal under a given map for non-global
orderings.
The 2nd argument has to be the name of a map from the basering to
the given ring (or the name of an ideal defining such a map), and
the ideal has to be an ideal in the given ring.
Example:
See also:
preimage.
|