Question: Wrong assumptions in singular(csc(z), z)

singular(csc(z), z);
                          {z = _Z1 Pi}
getassumptions(_Z1);
       {_Z1::(AndProp(integer, RealRange(1, infinity)))}

discont(csc(z), z);
                            {Pi _Z2}
getassumptions(_Z2);
                         {_Z2::integer}

 

I'm not sure why singular adds the condition _Z1>=1.

 

Please Wait...