@@ -247,7 +247,7 @@ def _element_of_factored_order(self, F):
247247 raise AssertionError ("no element found" )
248248
249249 @cached_method
250- def quadratic_non_residue (self ):
250+ def quadratic_nonresidue (self ):
251251 r"""
252252 Return a random non square element of the finite field
253253
@@ -258,12 +258,12 @@ def quadratic_non_residue(self):
258258 EXAMPLES::
259259
260260 sage: k = GF((3, 10))
261- sage: k.quadratic_non_residue ().is_square()
261+ sage: k.quadratic_nonresidue ().is_square()
262262 False
263263 sage: k = GF((2, 10))
264264 sage: k in Fields() # to let k be a finite field
265265 True
266- sage: k.quadratic_non_residue ()
266+ sage: k.quadratic_nonresidue ()
267267 Traceback (most recent call last):
268268 ...
269269 ValueError: there are no non-squares in finite fields of even order
@@ -294,7 +294,7 @@ def is_square(self) -> bool:
294294 True
295295 sage: k(2).is_square()
296296 True
297- sage: k.quadratic_non_residue ().is_square()
297+ sage: k.quadratic_nonresidue ().is_square()
298298 False
299299 """
300300 if self .is_zero ():
@@ -323,15 +323,15 @@ def _tonelli(self):
323323 True
324324 sage: k(2)._tonelli()^2 == k(2)
325325 True
326- sage: k.quadratic_non_residue ()._tonelli()
326+ sage: k.quadratic_nonresidue ()._tonelli()
327327 Traceback (most recent call last):
328328 ...
329329 ValueError: element is not a square
330330 """
331331 q = self .parent ().cardinality ()
332332 if not self .is_square ():
333333 raise ValueError ("element is not a square" )
334- g = self .parent ().quadratic_non_residue ()
334+ g = self .parent ().quadratic_nonresidue ()
335335 even_exp , odd_order = (q - ZZ .one ()).val_unit (2 )
336336 e = 0
337337 for i in range (2 , even_exp + 1 ):
@@ -362,7 +362,7 @@ def _cipolla(self):
362362 True
363363 sage: k(2)._cipolla()^2 == k(2)
364364 True
365- sage: k.quadratic_non_residue ()._cipolla()
365+ sage: k.quadratic_nonresidue ()._cipolla()
366366 Traceback (most recent call last):
367367 ...
368368 ValueError: element is not a square
@@ -424,11 +424,11 @@ def sqrt(self, all: bool = False, algorithm: str = 'tonelli'):
424424 True
425425 sage: 3 in my_sqrts
426426 True
427- sage: k.quadratic_non_residue ().sqrt()
427+ sage: k.quadratic_nonresidue ().sqrt()
428428 Traceback (most recent call last):
429429 ...
430430 ValueError: element is not a square
431- sage: k.quadratic_non_residue ().sqrt(all=True)
431+ sage: k.quadratic_nonresidue ().sqrt(all=True)
432432 ()
433433
434434 Here is an example where changing the algorithm results
0 commit comments