pfaffians

pfaffians(n,f) -- given a skew symmetric matrix f, produce the ideal generated by its n by n pfaffians.

i1 : R=ZZ/101[a..f]

o1 = R

o1 : PolynomialRing
i2 : m=genericSkewMatrix(R,a,4)

o2 = {0} | 0  a  b  c |
     {0} | -a 0  d  e |
     {0} | -b -d 0  f |
     {0} | -c -e -f 0 |

             4       4
o2 : Matrix R  <--- R
i3 : pfaffians(2,m)

o3 = ideal (a, b, d, c, e, f)

o3 : Ideal of R
i4 : pfaffians(4,m)

o4 = ideal(c*d - b*e + a*f)

o4 : Ideal of R

Options:

  • Limit
  • See also PfaffiansComputation.


    topindexpreviousupnext