Symbolic computation with finite biquandles

A method of computing a basis for the second Yang–Baxter cohomology of a finite biquandle with coefficients in and from a matrix presentation of the finite biquandle is described. We also describe a method for computing the Yang–Baxter cocycle invariants of an oriented knot or link represented as a signed Gauss code. We provide a URL for our Maple implementations of these algorithms.