SmallRing

SmallRing is the ring of polynomials Q[t,x,T,h].