From 33abf288e74d1685d5bb09b37c1fa2bb9e5d67e2 Mon Sep 17 00:00:00 2001 From: Travis Date: Tue, 26 May 2015 13:46:17 +0000 Subject: [PATCH] Added Magma example --- src/sage/interfaces/magma.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/sage/interfaces/magma.py b/src/sage/interfaces/magma.py index d55fabaf6ac..5c5f6115d2a 100644 --- a/src/sage/interfaces/magma.py +++ b/src/sage/interfaces/magma.py @@ -336,8 +336,16 @@ def __init__(self, maxread=10000, script_subdirectory=None, def set_seed(self, seed=None): """ - Sets the seed for R interpeter. + Sets the seed for the Magma interpeter. The seed should be an integer. + + EXAMPLES:: + + sage: m = Magma() + sage: m.set_seed(1) + 1 + sage: [m.Random(100) for i in range(5)] + [95, 20, 61, 59, 24] """ if seed is None: seed = self.rand_seed()