Symbolic computation with finite biquandles

Abstract

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.Comment: 8 pages. Version 2 has typo corrections and changes suggested by referee. To appear in J. Symbolic Compu