# Package sagbi/SB.Interreduced

From ApCoCoAWiki

< Package sagbi

Revision as of 17:09, 27 October 2020 by Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.Interreduced</title> <short_description>This function is the same as the CoCoA function <tt>interreduced</tt>, just with Subalgebra reduc...")

This article is about a function from ApCoCoA-2. |

## SB.Interreduced

This function is the same as the CoCoA function `interreduced`, just with Subalgebra reduction instead of Gröbner reduction.

### Syntax

SB.Interreduced(L: LIST of POLY): LIST of POLY

### Description

This function takes a list `L` and returns a list `L'` such that `K[L] = K[L']`, but `L'` is Subalgebra interreduced, i.e. no term appearing in the support of one of the polynomials in `L` is a product of terms appearing as leading terms of the other polynomials in `L'`.

@param

`L`A list of polynomials@return An interreduced list of polynomials

#### Example

Use QQ[x,y,z], DegRevLex; L := [x^2*z^2 +x*y*z^2 +y^2*z^2, x, x*z, y*z^2]; SB.Interreduced(L); -- [x, x*z, y*z^2, y^2*z^2]

### See also

Package sagbi/SB.ReductionStep