Deprecate is_LaurentSeriesRing
, is_MPowerSeriesRing
, is_PowerSeriesRing
#13856
Job | Run time |
---|---|
39m 32s | |
39m 32s |
is_LaurentSeriesRing
, is_MPowerSeriesRing
, is_PowerSeriesRing
#13856
Job | Run time |
---|---|
39m 32s | |
39m 32s |