I don't think such classes were meant to get into the public namespace as 
they are not so useful (such as promoting a polynomial to a power series). 
Indeed, as you say, these classes should not be created directly (as they 
do not have a redirect to pass data to a parent; cf. SemistandardTableau).

Please open a trac ticket for this (you can cc me on it with "tscrim" in 
the cc field). If you can also push a fix (the top-level imports will also 
need to be deprecated), that would be appreciated too.

Best,
Travis


On Tuesday, March 29, 2022 at 10:12:57 PM UTC+9 davida...@gmail.com wrote:

> Hello everybody,
>
> During my normal uses of SageMath, I observed that the class "PowerSeries" 
> appears in the TAB completion:
>
>     sage: PowerSeries[TAB]
>                                      PowerSeries
>                                      PowerSeriesRing
>
> However this is the base class for the elements of a PowerSeriesRing and 
> the docstring explicitly states that it is not for public use:
>
>     sage: PowerSeries?
>     Docstring:
>        A power series. Base class of univariate and multivariate power
>        series. The following methods are available with both types of
>        objects.
>     Init docstring:
>        Initialize a power series. *Not for public use.* It gets called by
>        the "PowerSeries_poly" and "MPowerSeries" constructors.
>     [...]
>
> I am not as experimented as some of you in SageMath development so before 
> creating a trac ticket about this I wanted to know if this is intentional? 
> From my understanding, when implementing a new parent/element framework, 
> one should not instanciate directly the element class but use the parent's 
> element constructor instead (or other related method).
>
> It is the same story with the classes "PuiseuxSeries" and "LaurentSeries" 
> which are the element classes of "PuiseuxSeriesRing" and 
> "LaurentSeriesRing" respectively. Are there times where someone would want 
> to use these directly?
>
> Thanks!
>
>

-- 
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/240d8df1-2b67-450e-8d9c-f72cde90961fn%40googlegroups.com.

Reply via email to