On Sunday, October 10, 2021 at 12:30:23 PM UTC-7 Matthias Koeppe wrote: > On Sunday, September 26, 2021 at 10:44:14 AM UTC-7 Matthias Koeppe wrote: > >> >> *2. Do not import CLASS just to run an isinstance(..., CLASS); likewise, >> remove uses of is_CLASS functions* >> >> Instead, create abstract base classes that can be imported without >> pulling in the actual implementation classes ( >> https://trac.sagemath.org/ticket/32414). I have done this in >> https://trac.sagemath.org/ticket/32566 for real/complex floating point >> fields. >> > > Help is welcome in particular in the following tickets in this direction: > - https://trac.sagemath.org/ticket/32660 -- Add > sage.rings.abc.AlgebraicField etc., deprecate is_AlgebraicField > - https://trac.sagemath.org/ticket/32641 -- Decentralize > sage.rings.numbers_abc > - https://trac.sagemath.org/ticket/32664 -- Add > sage.rings.abc.FiniteField, deprecate is_FiniteField > - https://trac.sagemath.org/ticket/32635 -- sage.matrix.matrix_space: > Import element classes on demand, fall back to generic on ImportError > (needs review) >
A few more tickets in this direction: https://trac.sagemath.org/ticket/32724 - Replace "... is SR" by isinstance(..., sage.rings.abc.SymbolicRing) to handle symbolic subrings <https://trac.sagemath.org/ticket/32724> https://trac.sagemath.org/ticket/32730 - Import Expression from sage.structure.element <https://trac.sagemath.org/ticket/32730> (needs review) https://trac.sagemath.org/ticket/32742 - Use sage.rings.abc.RealField, sage.rings.abc.ComplexField more <https://trac.sagemath.org/ticket/32742> (needs review) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/308066fe-1db5-45e3-b2fc-82801f469addn%40googlegroups.com.
