Pfaffian(M:MAT) where M is skew-symmetric. The resulting type depends on the entries of the matrix.
Use R ::= QQ[x,y]; Pfaffian(Mat([[0,y],[-y,0]])); y -------------------------------