Symbolic computation with finite biquandles
A method of computing a basis for the second Yang-Baxter cohomology of a finite biquandle with coefficients in Q and Z(p) 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. (c) 2007 Elsevier Ltd. All rights reserved.
symbolic computation finite biquandles yang-baxter cohomology knot invariants virtual knot invariants