|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.7.3.14 SimplifyIdeal
Procedure from libraryrinvar.lib (see rinvar_lib).
- Purpose:
- simplify ideal I to the ideal I', do not change the names of the
first m variables, new ideal I' might contain less variables.
I' contains variables var(1..m)
- Return:
- list
_[1] ideal I'
_[2] ideal representing a map phi to a ring with probably less vars. s.th. phi(I) = I'
_[3] list of variables
_[4] list from 'elimpart'