ArrCone(A: LIST, t: RINGELEM): LIST
/**/ use QQ[x,y,t]; /**/ A := [x, x-1, y]; /**/ ArrCone(A, t); [x, x -t, y, t]