Singular Manual: jacob

  | ### 5.1.66 jacob `Syntax:` `jacob (` poly_expression `)` `jacob (` ideal_expression `)` `jacob (` module_expression `)` `Type:` ideal, if the input is a polynomial matrix, if the input is an ideal module, if the input is a module `Purpose:` computes the Jacobi ideal, resp. Jacobi matrix, generated by all partial derivatives of the input. `Note:` In a ring with n variables, jacob of a module or an ideal (considered as matrix with a single a row) or a polynomial (considered as a matrix with a single entry) is the matrix consisting of horizontally concatenated blocks (in this order): diff(MT,var(1)), ... , diff(MT,var(n)), where MT is the transposed input argument considered as a matrix. `Example:`
        ring R;
        poly f = x2yz + xy3z + xyz5;
        ideal i = jacob(f); i;
      ==> i[1]=yz5+y3z+2xyz
      ==> i[2]=xz5+3xy2z+x2z
      ==> i[3]=5xyz4+xy3+x2y
        matrix m = jacob(i);
        print(m);
      ==> 2yz,        z5+3y2z+2xz, 5yz4+y3+2xy,
      ==> z5+3y2z+2xz,6xyz,        5xz4+3xy2+x2,
      ==> 5yz4+y3+2xy,5xz4+3xy2+x2,20xyz3
        print(jacob(m));
      ==> 0, 2z,        2y,        2z,        6yz,5z4+3y2+2x,2y,        5z4+3y2+2x,\
         20yz3,
      ==> 2z,6yz,       5z4+3y2+2x,6yz,       6xz,6xy,       5z4+3y2+2x,6xy,       \
         20xz3,
      ==> 2y,5z4+3y2+2x,20yz3,     5z4+3y2+2x,6xy,20xz3,     20yz3,     20xz3,     \
         60xyz2
See diff; ideal; module; nvars.

User manual for Singular version 4.3.2, 2023, generated by texi2html.