Initial implementation of Levy & Goldberg's explicit vectors