public String toQ() throws Exception { String res = FuriaConstructDefinitions.FURIA_fcast + "(" + Frimp.toQ(getCastType()) + "," + Frimp.toQ(getOp()) + ")"; return res; }