[GiNaC-list] series((x+x^2)^2,x,0) is broken

[Vladimir V. Kisil]

>>>>> On Tue, 13 Jun 2023 15:55:55 +0000, Vitaly Magerya <vmagerya at gmail.com> said:

    VM> Hi, all. I'm trying to expand expressions into series, and I've
    VM> run into a case which looks broken (with the latest GiNaC):

    ginsh> series((x+x^2)^2,x,0);
    VM>     (Order(1)^2)*x^(-2)+Order(1)

    VM> What I expect is Order(1) here, because the expression starts at
    VM> O(x^2).

    Note, you will get the expected Order(1) if the expression (x+x^2)^2 would
  be expended before the series evaluation. Yet we still may consider it
  as a bug rather tan feature...
-- 
Vladimir V. Kisil                 http://www1.maths.leeds.ac.uk/~kisilv/
  Book:      Geometry of Mobius Maps       https://doi.org/10.1142/p835
  Soft:      Geometry of cycles         http://moebinv.sourceforge.net/
  Jupyter notebooks:        https://github.com/vvkisil?tab=repositories