|
D.1.2 par2varRing
Procedure from library standard.lib (see standard_lib).
- Usage:
- par2varRing([l]); l list of ideals/modules [default:l=empty list]
- Return:
- list, say L, with L[1] a ring where the parameters of the
basering have been converted to an additional last block of
variables, all of weight 1, and ordering dp.
If a list l with l[i] an ideal/module is given, then
l[i] + minpoly*freemodule(nrows(l[i])) is mapped to an ideal/module
in L[1] with name Id(i).
If the basering has no parameters then L[1] is the basering.
Example:
|