Top
Back: ReynoldsOperator
Forward: TransferIdeal
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.3.14 SimplifyIdeal

Procedure from library rinvar.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.t. phi(I) = I'
_[3] list of variables
_[4] list from 'elimpart'


Top Back: ReynoldsOperator Forward: TransferIdeal FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.