Top
Back: simplex
Forward: size
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.129 simplify

Syntax:
simplify ( poly_expression, int_expression )
simplify ( vector_expression, int_expression )
simplify ( ideal_expression, int_expression )
simplify ( module_expression, int_expression )
Type:
the type of the first argument
Purpose:
returns the "simplified" first argument depending on the simplification rules specified by the second argument. The simplification rules are the following functions:
1
normalize (divide by leading coefficient if this is a unit of the ground field/ring).
2
erase zero generators/columns.
4
erase copies of earlier listed generators/columns.
8
erase generators/columns which a skalar multiples (w.r.t. ground field/ring) of earlier listed generators/columns.
16
erase generators/columns whose leading monomials are copies of leading monomials of earlier listed generators/columns such that the coefficients of both leading terms are units in the ground field/ring.
32
erase generators/columns whose leading terms are divisible by leading terms of other (not necessarily earlier) listed generators/columns.
Example:
 
See ideal; module; poly; vector.

Top Back: simplex Forward: size FastBack: Functions and system variables FastForward: Control structures Up: Functions Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.