@@ -247,7 +247,7 @@ def _element_of_factored_order(self, F):
247
247
raise AssertionError ("no element found" )
248
248
249
249
@cached_method
250
- def quadratic_non_residue (self ):
250
+ def quadratic_nonresidue (self ):
251
251
r"""
252
252
Return a random non square element of the finite field
253
253
@@ -258,12 +258,12 @@ def quadratic_non_residue(self):
258
258
EXAMPLES::
259
259
260
260
sage: k = GF((3, 10))
261
- sage: k.quadratic_non_residue ().is_square()
261
+ sage: k.quadratic_nonresidue ().is_square()
262
262
False
263
263
sage: k = GF((2, 10))
264
264
sage: k in Fields() # to let k be a finite field
265
265
True
266
- sage: k.quadratic_non_residue ()
266
+ sage: k.quadratic_nonresidue ()
267
267
Traceback (most recent call last):
268
268
...
269
269
ValueError: there are no non-squares in finite fields of even order
@@ -294,7 +294,7 @@ def is_square(self) -> bool:
294
294
True
295
295
sage: k(2).is_square()
296
296
True
297
- sage: k.quadratic_non_residue ().is_square()
297
+ sage: k.quadratic_nonresidue ().is_square()
298
298
False
299
299
"""
300
300
if self .is_zero ():
@@ -323,15 +323,15 @@ def _tonelli(self):
323
323
True
324
324
sage: k(2)._tonelli()^2 == k(2)
325
325
True
326
- sage: k.quadratic_non_residue ()._tonelli()
326
+ sage: k.quadratic_nonresidue ()._tonelli()
327
327
Traceback (most recent call last):
328
328
...
329
329
ValueError: element is not a square
330
330
"""
331
331
q = self .parent ().cardinality ()
332
332
if not self .is_square ():
333
333
raise ValueError ("element is not a square" )
334
- g = self .parent ().quadratic_non_residue ()
334
+ g = self .parent ().quadratic_nonresidue ()
335
335
even_exp , odd_order = (q - ZZ .one ()).val_unit (2 )
336
336
e = 0
337
337
for i in range (2 , even_exp + 1 ):
@@ -362,7 +362,7 @@ def _cipolla(self):
362
362
True
363
363
sage: k(2)._cipolla()^2 == k(2)
364
364
True
365
- sage: k.quadratic_non_residue ()._cipolla()
365
+ sage: k.quadratic_nonresidue ()._cipolla()
366
366
Traceback (most recent call last):
367
367
...
368
368
ValueError: element is not a square
@@ -424,11 +424,11 @@ def sqrt(self, all: bool = False, algorithm: str = 'tonelli'):
424
424
True
425
425
sage: 3 in my_sqrts
426
426
True
427
- sage: k.quadratic_non_residue ().sqrt()
427
+ sage: k.quadratic_nonresidue ().sqrt()
428
428
Traceback (most recent call last):
429
429
...
430
430
ValueError: element is not a square
431
- sage: k.quadratic_non_residue ().sqrt(all=True)
431
+ sage: k.quadratic_nonresidue ().sqrt(all=True)
432
432
()
433
433
434
434
Here is an example where changing the algorithm results
0 commit comments