Compute the eventual behavior of an FI- or Fin-module over Q

Enter your presentation matrix

Sample inputs

Symmetric and exterior powers

Compute the dimension of the second exterior power of an n-dimensional vector space

FinCoker([2],[[ab+ba]],[2])

Similarly for the fifth symmetric power

FinCoker([5],[[abcde-bacde,abcde-bcdea]],[5,5])

Form the module generated by squarefree monomials by switching from Fin to FI

FICoker([5],[[abcde-bacde,abcde-bcdea]],[5,5])

An ideal in a commutative algebra

Compute the vector space of degree-five polynomials in n variables modulo the span of all polynomials of the form a^2 * d^2 * e - b^2 * c^2 * e where each of a, b, c, d, and e range over the n variables

FinCoker([5],[[abcde-bacde,abcde-bcdea,aadde-bbcce]],[5,5,5])

Counting n-colorings of a pentagon

Compute the number of n-colorings of a cycle graph on five vertices

FinCoker([5],[[aabcd,abbcd,abccd,abcdd,abcda]],[4,4,4,4,4])

Count colorings up to rotation

FinCoker([5],[[aabcd,abbcd,abccd,abcdd,abcda,abcde-bcdea]],[4,4,4,4,4,5])