A computer algebra package for approximate conditional inference