FVector(A: LIST): RECORD
/**/ Use QQ[x[1..5]], DegLex; /**/ L := [x[1]*x[2]*x[3], x[2]*x[3]*x[4], x[3]*x[4]*x[5]]; -- list top faces /**/ FVector(L); [1, 5, 7, 3]