int complex_conjugate(term t, term *ans); int rootofunity(term t, term *ans); int is_polar_complex(term t);