Top
Back: sturmquery
Forward: matmult
FastBack: weierstr_lib
FastForward: rootsur_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.7.5 matbil

Procedure from library rootsmr.lib (see rootsmr_lib).

Usage:
matbil(h,b,i); h poly, b,i ideal

Return:
matrix: the matrix of the bilinear form (f,g) |-> trace(m_fhg), m_fhg = multiplication with fhg on r/i

Assume:
i is a Groebner basis and b is an ordered monomial basis of r/i, r = basering

Example:
 
See also: matmult; tracemult.


Top Back: sturmquery Forward: matmult FastBack: weierstr_lib FastForward: rootsur_lib Up: rootsmr_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.