Skip to content

Commit 274f78f

Browse files
committed
Also handle elliptic curve, fix some grammar error
1 parent 6d2cfb9 commit 274f78f

File tree

4 files changed

+16
-3
lines changed

4 files changed

+16
-3
lines changed

src/sage/matrix/matrix_space.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -957,7 +957,7 @@ def characteristic(self):
957957

958958
def is_exact(self):
959959
"""
960-
Test whether elements of this matrix space is exact.
960+
Test whether elements of this matrix space are represented exactly.
961961
962962
OUTPUT:
963963

src/sage/modules/free_module.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1010,7 +1010,7 @@ def is_sparse(self):
10101010

10111011
def is_exact(self):
10121012
"""
1013-
Test whether elements of this module is exact.
1013+
Test whether elements of this module are represented exactly.
10141014
10151015
OUTPUT:
10161016

src/sage/schemes/elliptic_curves/ell_generic.py

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1076,6 +1076,19 @@ def is_on_curve(self, x, y):
10761076
a = self.ainvs()
10771077
return y**2 + a[0]*x*y + a[2]*y == x**3 + a[1]*x**2 + a[3]*x + a[4]
10781078

1079+
def is_exact(self):
1080+
"""
1081+
Test whether elements of this elliptic curve are represented exactly.
1082+
1083+
EXAMPLES::
1084+
1085+
sage: EllipticCurve(QQ, [1, 2]).is_exact()
1086+
True
1087+
sage: EllipticCurve(RR, [1, 2]).is_exact()
1088+
False
1089+
"""
1090+
return self.__base_ring.is_exact()
1091+
10791092
def a_invariants(self):
10801093
r"""
10811094
The `a`-invariants of this elliptic curve, as a tuple.

src/sage/structure/parent.pyx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2863,7 +2863,7 @@ cdef class Parent(sage.structure.category_object.CategoryObject):
28632863

28642864
cpdef bint is_exact(self) except -2:
28652865
"""
2866-
Test whether elements of this parent is exact.
2866+
Test whether elements of this parent are represented exactly.
28672867
28682868
.. NOTE::
28692869

0 commit comments

Comments
 (0)