RankFactorizationProblem: A symbolic package for the study of the rank factorization problem