Symbolic computation with finite biquandles
- Publisher: Elsevier BV
Journal of Symbolic Computation,
Computational Mathematics | Algebra and Number Theory | Mathematics - Quantum Algebra | Mathematics - Geometric Topology | 57M27, 57M25, 57-04
arxiv: Mathematics::Geometric Topology | Mathematics::Quantum Algebra | Nonlinear Sciences::Exactly Solvable and Integrable Systems
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.