Top
Back: LinearCombinationQ
Forward: NullCone
FastBack: ainvar_lib
FastForward: stratify_lib
Up: rinvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.3.10 MinimalDecomposition

Procedure from library rinvar.lib (see rinvar_lib).

Usage:
MinimalDecomposition(f,a,b); poly f; int a, b.

Purpose:
decompose f as a sum M[1,1]*M[2,1] + ... + M[1,r]*M[2,r] where M[1,i] contains only s(1..a), M[2,i] contains only t(1...b) s.t. r is minimal

Assume:
f polynomial in K[s(1..a),t(1..b)], K = Q or K = Q(a) and minpoly != 0

Return:
2 x r matrix M s.t. f = M[1,1]*M[2,1] + ... + M[1,r]*M[2,r]

Example:
 


Top Back: LinearCombinationQ Forward: NullCone FastBack: ainvar_lib FastForward: stratify_lib Up: rinvar_lib 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.