By the comment under Table 9.7.2, the curl of F can be computed by augmenting F with a zero third-component. The vanishing of this curl is then equivalent to the identity , where . An implementation of this approach is
A scalar potential for F is and . Either way, it should be clear that F is conservative.