Certifying the injectivity of a frame using computational algebra software

This is supplmentary material for the paper A small frame and a certificate of its injectivity.

Macaulay2 code
Maple code
Mathematica code

The Macaulay2 code requires a package, which is a slightly modified version of the package realroots.m2 developed by Dan Grayson and Frank Sottile.