We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8861ca1 commit 1c4c375Copy full SHA for 1c4c375
src/sage/schemes/hyperelliptic_curves/monsky_washnitzer.py
@@ -2888,6 +2888,24 @@ def _sub_(self, other):
2888
P = self.parent()
2889
return P.element_class(P, self._coeff - other._coeff)
2890
2891
+ def __neg__(self):
2892
+ r"""
2893
+ Return the additive inverse of ``self``.
2894
+
2895
+ EXAMPLES::
2896
2897
+ sage: R.<x> = QQ['x']
2898
+ sage: C = HyperellipticCurve(x^5 - 4*x + 4)
2899
+ sage: x,y = C.monsky_washnitzer_gens()
2900
+ sage: w = C.invariant_differential()
2901
+ sage: -w
2902
+ -1 dx/2y
2903
+ sage: -((y-x)*w)
2904
+ (-y*1 + x) dx/2y
2905
+ """
2906
+ P = self.parent()
2907
+ return P.element_class(P, -self._coeff)
2908
2909
def _lmul_(self, a):
2910
r"""
2911
Return `self * a`.
0 commit comments