Home Online Manual
Top
Back: invariantRing
Forward: actionIsProper
FastBack: finvar_lib
FastForward: rinvar_lib
Up: ainvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.7.2.2 derivate

Procedure from library ainvar.lib (see ainvar_lib).

Usage:
derivate(m,id); m matrix, id poly/vector/ideal

Assume:
m is an nx1 matrix, where n = number of variables of the basering

Return:
poly/vector/ideal (same type as input), result of applying the vector field by the matrix m componentwise to id;

Note:
the vector field is m[1,1]*d/dx(1) +...+ m[1,n]*d/dx(n)

Example:
 
LIB "ainvar.lib";
ring q=0,(x,y,z,u,v,w),dp;
poly f=2xz-y2;
matrix m[6][1] =x,y,0,u,v;
derivate(m,f);
==> -2y2+2xz
vector v = [2xz-y2,u6-3];
derivate(m,v);
==> 6u6*gen(2)-2y2*gen(1)+2xz*gen(1)
derivate(m,ideal(2xz-y2,u6-3));
==> _[1]=-2y2+2xz
==> _[2]=6u6