Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

sage.rings: Update # needs #36152

Merged
merged 50 commits into from
Sep 10, 2023
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
cde4f02
sage.rings: More # optional
mkoeppe Jun 1, 2023
32310c7
sage.rings: More # optional
mkoeppe Jun 2, 2023
4f1383c
Fix # optional
mkoeppe Jun 2, 2023
6c47ef7
sage.rings: More # optional
mkoeppe Jun 2, 2023
cb68414
sage.rings: More # optional
mkoeppe Jun 4, 2023
cddaa1a
More # optional
mkoeppe Jun 4, 2023
6360ca7
sage.rings: More # optional
mkoeppe Jun 5, 2023
f768cb0
sage.rings: More # optional
mkoeppe Jun 8, 2023
bee4da5
More # optional
mkoeppe Jun 9, 2023
c19447c
More # optional
mkoeppe Jun 11, 2023
c476af4
src/sage/rings/integer_ring.pyx: Docstring cosmetics
mkoeppe Jun 11, 2023
31bc15e
sage.rings: More # optional
mkoeppe Jun 11, 2023
fa68888
sage.rings: More # optional
mkoeppe Jun 12, 2023
74deb0f
src/sage/rings/multi_power_series_ring_element.py: Add # optional
mkoeppe Jun 12, 2023
608def5
sage.rings: More # optional
mkoeppe Jun 15, 2023
0e70ba3
sage.rings: More # optional
mkoeppe Jun 16, 2023
8153ac0
More # optional
mkoeppe Jun 19, 2023
c7dc6a3
More # optional
mkoeppe Jun 20, 2023
3a0d43f
More # optional
mkoeppe Jun 26, 2023
b572224
sage.schemes: Update # needs
mkoeppe Jun 30, 2023
84afcb5
Update # optional / # needs
mkoeppe Jul 1, 2023
58f0804
sage.rings: Update # optional / # needs
mkoeppe Jul 2, 2023
c5509e2
Update # optional / # needs
mkoeppe Jul 3, 2023
d32e0de
sage.schemes: Update # needs
mkoeppe Jul 3, 2023
aea10e2
src/sage/rings/laurent_series_ring.py: Restore a lost doctest line
mkoeppe Jul 11, 2023
b22ee69
./sage -fixdoctests --distribution sagemath-categories --probe all --…
mkoeppe Jul 13, 2023
ffb797f
sage.rings: Update # needs
mkoeppe Jul 14, 2023
975b181
sage.rings: Update # needs
mkoeppe Jul 14, 2023
35f4d52
sage.rings: Update # needs
mkoeppe Jul 16, 2023
54725e2
More # needs
mkoeppe Jul 22, 2023
a86d13e
src/sage/rings/derivation.py: Update # needs
mkoeppe Jul 22, 2023
9622086
sage.rings: Update # needs
mkoeppe Jul 22, 2023
17495b7
Update # needs
mkoeppe Jul 30, 2023
56ac782
src/sage/rings/rational_field.py: Update # needs
mkoeppe Jul 30, 2023
6426d6a
sage.rings: Update # needs
mkoeppe Aug 6, 2023
252fe20
sage.rings: Update # needs
mkoeppe Aug 7, 2023
33bf7be
Update # needs
mkoeppe Aug 13, 2023
5c1e20a
sage --fixdoctests --no-test src/sage/rings
mkoeppe Aug 13, 2023
27a85b6
src/sage/rings/number_field/number_field_ideal.py: Remove abuse of sy…
mkoeppe Aug 20, 2023
f5a24be
sage.rings: Update # needs
mkoeppe Aug 27, 2023
00713fa
sage.rings: Update # needs
mkoeppe Aug 27, 2023
0a3d567
sage.rings: Use more block tags
mkoeppe Aug 29, 2023
95cd409
sage.rings: Use more block tags
mkoeppe Aug 29, 2023
e384b47
sage.rings: Use more block tags
mkoeppe Aug 29, 2023
182b9bc
sage.rings: More block tags, other tag fixes
mkoeppe Aug 31, 2023
59e556e
src/sage/rings/localization.py: Change # needs sage.rings.finite_ring…
mkoeppe Aug 31, 2023
733d5c2
src/sage/rings/multi_power_series_ring_element.py: Remove unnecessary…
mkoeppe Aug 31, 2023
569bcc2
src/sage/rings/ring_extension.pyx: Remove unnecessary # needs sage.ri…
mkoeppe Aug 31, 2023
ad56358
src/sage/rings/real_double.pyx: Doctest cosmetics
mkoeppe Aug 31, 2023
89e4c05
src/sage/rings/lazy_series_ring.py: More block tags
mkoeppe Aug 31, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
sage.rings: More # optional
  • Loading branch information
Matthias Koeppe committed Aug 28, 2023
commit 0e70ba3426a02359b89d21e1ae0a4adcbfac37ca
4 changes: 2 additions & 2 deletions src/sage/rings/abc.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ cdef class RealField(Field):
EXAMPLES::

sage: import sage.rings.abc
sage: isinstance(RR, sage.rings.abc.RealField)
sage: isinstance(RR, sage.rings.abc.RealField) # optional - sage.rings.real_mpfr
True

By design, there is a unique direct subclass::
Expand Down Expand Up @@ -277,7 +277,7 @@ cdef class ComplexField(Field):
EXAMPLES::

sage: import sage.rings.abc
sage: isinstance(CC, sage.rings.abc.ComplexField)
sage: isinstance(CC, sage.rings.abc.ComplexField) # optional - sage.rings.real_mpfr
True

By design, there is a unique direct subclass::
Expand Down
12 changes: 6 additions & 6 deletions src/sage/rings/fraction_field.py
Original file line number Diff line number Diff line change
Expand Up @@ -25,11 +25,11 @@
The GCD is not taken (since it doesn't converge sometimes) in the
inexact case::

sage: Z.<z> = CC[]
sage: I = CC.gen()
sage: (1+I+z)/(z+0.1*I)
sage: Z.<z> = CC[] # optional - sage.rings.real_mpfr
sage: I = CC.gen() # optional - sage.rings.real_mpfr
sage: (1+I+z)/(z+0.1*I) # optional - sage.rings.real_mpfr
(z + 1.00000000000000 + I)/(z + 0.100000000000000*I)
sage: (1+I*z)/(z+1.1)
sage: (1+I*z)/(z+1.1) # optional - sage.rings.real_mpfr
(I*z + 1.00000000000000)/(z + 1.10000000000000)

TESTS::
Expand Down Expand Up @@ -306,8 +306,8 @@ def _coerce_map_from_(self, S):
Test for :trac:`31320`::

sage: FQt = Frac(QQ['t'])
sage: LCt = LaurentPolynomialRing(CC,'t')
sage: coercion_model.common_parent(FQt, LCt)
sage: LCt = LaurentPolynomialRing(CC,'t') # optional - sage.rings.real_mpfr
sage: coercion_model.common_parent(FQt, LCt) # optional - sage.rings.real_mpfr
Fraction Field of Univariate Polynomial Ring in t
over Complex Field with 53 bits of precision

Expand Down
6 changes: 3 additions & 3 deletions src/sage/rings/laurent_series_ring_element.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -23,16 +23,16 @@ We compute with a Laurent series over the complex mpfr numbers.

sage: K.<q> = Frac(CC[['q']]); K # optional - sage.rings.real_mpfr
Laurent Series Ring in q over Complex Field with 53 bits of precision
sage: q
sage: q # optional - sage.rings.real_mpfr
1.00000000000000*q

Saving and loading.

::

sage: loads(q.dumps()) == q
sage: loads(q.dumps()) == q # optional - sage.rings.real_mpfr
True
sage: loads(K.dumps()) == K
sage: loads(K.dumps()) == K # optional - sage.rings.real_mpfr
True

IMPLEMENTATION: Laurent series in Sage are represented internally
Expand Down
10 changes: 5 additions & 5 deletions src/sage/rings/localization.py
Original file line number Diff line number Diff line change
Expand Up @@ -282,14 +282,14 @@ def _repr_(self):
EXAMPLES::

sage: from sage.rings.localization import LocalizationElement
sage: P.<x> = CC[]
sage: L = Localization(P, x**2+x+1)
sage: l = LocalizationElement(L, (x**2+1)/(x**2+x+1))
sage: l._repr_() == str(l)
sage: P.<x> = CC[] # optional - sage.rings.real_mpfr
sage: L = Localization(P, x**2 + x + 1) # optional - sage.rings.real_mpfr
sage: l = LocalizationElement(L, (x**2+1)/(x**2+x+1)) # optional - sage.rings.real_mpfr
sage: l._repr_() == str(l) # optional - sage.rings.real_mpfr
True

sage: R.<X, Y> = ZZ[]
sage: L.<x, y> = R.localization(X-Y)
sage: L.<x, y> = R.localization(X - Y)
sage: x*y/(x-y)
x*y/(x - y)
"""
Expand Down
4 changes: 2 additions & 2 deletions src/sage/rings/multi_power_series_ring.py
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@

sage: R.<t,u,v> = PowerSeriesRing(QQ); R
Multivariate Power Series Ring in t, u, v over Rational Field
sage: R.base_extend(RR)
sage: R.base_extend(RR) # optional - sage.rings.real_mpfr
Multivariate Power Series Ring in t, u, v
over Real Field with 53 bits of precision
sage: R.change_ring(IntegerModRing(10))
Expand Down Expand Up @@ -543,7 +543,7 @@ def change_ring(self, R):

sage: R.<t,u,v> = PowerSeriesRing(QQ); R
Multivariate Power Series Ring in t, u, v over Rational Field
sage: R.base_extend(RR)
sage: R.base_extend(RR) # optional - sage.rings.real_mpfr
Multivariate Power Series Ring in t, u, v over Real Field with
53 bits of precision
sage: R.change_ring(IntegerModRing(10))
Expand Down
5 changes: 2 additions & 3 deletions src/sage/rings/power_series_poly.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -16,10 +16,9 @@ cdef class PowerSeries_poly(PowerSeries):
"""
EXAMPLES::

sage: R.<q> = PowerSeriesRing(CC)
sage: R
sage: R.<q> = PowerSeriesRing(CC); R # optional - sage.rings.real_mpfr
Power Series Ring in q over Complex Field with 53 bits of precision
sage: loads(q.dumps()) == q
sage: loads(q.dumps()) == q # optional - sage.rings.real_mpfr
True

sage: R.<t> = QQ[[]]
Expand Down