diff --git a/classes/helpers/sage_extensions.py b/classes/helpers/sage_extensions.py new file mode 100644 index 0000000000000000000000000000000000000000..6e872321ab39f169e004abac4eeab79dc34fd3d1 --- /dev/null +++ b/classes/helpers/sage_extensions.py @@ -0,0 +1,20 @@ +from __future__ import absolute_import +from sage.all import random_matrix, random_vector, random + + +def random_invertible_matrix(finite_field, n): + matrix = random_matrix(finite_field, n) + + while not matrix.is_invertible(): + matrix = random_matrix(finite_field, n) + + return matrix + + +def random_value(finite_field): + return random_vector(finite_field, 1)[0] + + +def random_between(j, k): + a = int(random() * (k - j + 1)) + j + return a