pfaffians -- ideal generated by Pfaffians

pfaffians -- ideal generated by 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  a  b  c |

     | -a 0  d  e |

     | -b -d 0  f |

     | -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

See also:

PfaffiansComputation -- the class of all Pfaffians computations

Ways to use pfaffians :

pfaffians(ZZ,Matrix)

Optional arguments :

pfaffians(..., Limit) -- specify how many to compute