Re: [sage-devel] The space character in "Program Files" in Cygwin on Windows

2019-12-08 Thread Dima Pasechnik
I don't think Cygwin supports paths with spaces in them. On Mon, 9 Dec 2019, 03:53 Samuel Lelievre, wrote: > Dear Sage-devel, > > Recently I have a problem with Sage on Cygwin where > running `make configure` runs into a problem with the > space in the "Program Files" directory in Windows. > > A

[sage-devel] The space character in "Program Files" in Cygwin on Windows

2019-12-08 Thread Samuel Lelievre
Dear Sage-devel, Recently I have a problem with Sage on Cygwin where running `make configure` runs into a problem with the space in the "Program Files" directory in Windows. Apparently there is an attempt to read /cygdrive/c/Program Files/Git/mingw64/bin/gettextize but the path gets split a

[sage-devel] We are missing Cygwin patchbots

2019-12-08 Thread Samuel Lelievre
Dear Sage-devel, To try and help with Erik Bray's Sage-Windows project, for the past year or so I have tried to build Sage on Cygwin64 on Windows 7, and got to the point where it was reliably building successfully for a while. The tests were never passing completely, but a number of issues were f

Re: [sage-devel] Re: Simple integral raises AttributeError

2019-12-08 Thread rjf
FYI: In Maxima, integrate_use_rootsof: true changes the result from an unevaluated integral to lsum(log(x-%r1)/(4*%r1^3+2*%r1),%r1,rootsof(a+%r1^4+%r1^2,%r1)) which is fairly compact, and to the point, but which may or may not be what you want. The inside of rootsof can be picked out and the 4

Re: [sage-devel] Re: Chain Complexes and homology

2019-12-08 Thread Travis Scrimshaw
Great, just cc me on the ticket when you are able to get to it. I might be able to also take your toy implementation and port it over, but I likely won't have time until February. Best, Travis On Thursday, November 28, 2019 at 1:38:33 AM UTC+10, Salvatore Stella wrote: > > Hi Travis (and all),

[sage-devel] Re: Problems setting patchbots

2019-12-08 Thread mmarco
> > > The second may be a bug in the patchbot server itself. I have no time to > investigate. Maybe the # in the patchbot name is not a good idea (random > guess) ? > > F > I see. Is there a command to uninstall a package? or should I edit some file manually? I will try avoiding the number in