Top
Back: matmult
Forward: coords
FastBack: zeroset_lib
FastForward: signcond_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.6.7 tracemult

Procedure from library rootsmr.lib (see rootsmr_lib).

Usage:
tracemult(f,b,i);f poly, b,i ideal

Return:
number: the trace of the multiplication by f (m_f) on r/i, written in the monomial basis b of r/i, r = basering
(faster than matmult + trace)

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

Example:
 
LIB "rootsmr.lib";
ring r = 0,(x,y),dp;
ideal i = x4-y2x,y2-13;
i = std(i);
ideal b = qbase(i);
poly f = x3-xy+y-13+x4-y2x;
matrix m = matmult(f,b,i);
print(m);
==> 0,   1,  0,  -1,0,  0, 1,  0, 
==> 13,  0,  -13,0, 0,  0, 0,  1, 
==> 0,   0,  0,  1, 0,  -1,0,  0, 
==> 0,   0,  13, 0, -13,0, 0,  0, 
==> 0,   -13,0,  0, 0,  1, 0,  -1,
==> -169,0,  0,  0, 13, 0, -13,0, 
==> 0,   0,  0,  0, 0,  0, -13,1, 
==> 0,   0,  0,  0, 0,  0, 13, -13
tracemult(f,b,i);            //the trace of m
==> -26
matmult, trace


Top Back: matmult Forward: coords FastBack: zeroset_lib FastForward: signcond_lib Up: rootsmr_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.