remove random_codeword

Issue #81 resolved
Daniel Augot created an issue

There already exists the standard random_element in sage. No need to duplicate functionalities and to spam the namespace.

Comments (1)

  1. Log in to comment