[sage-devel] Re: Wrong output of method arguments() on symbolic functions

2022-03-08 Thread Matthias Koeppe
Note also that function('f')(y, x) does not actually create a function with named arguments. It is an ordinary symbolic expression that evaluates the undefined function f of unspecified arity. Unbound variables in ordinary symbolic expression use alphabetical order. https://trac.sagemath.org/ti

[sage-devel] Re: Questions about what directory and files are safe to delete.

2022-03-08 Thread Nathan Dunfield
On Tuesday, March 8, 2022 at 9:04:22 PM UTC-6 John H Palmieri wrote: > In theory you should be able to run "make micro_release". > This mostly works, though it fails to strip some binaries which were moved in Sage 9.5. See https://trac.sagemath.org/ticket/33409 Nathan -- You received this

[sage-devel] Re: Questions about what directory and files are safe to delete.

2022-03-08 Thread John H Palmieri
In theory you should be able to run "make micro_release". According to the comment in Makefile, this will "Remove everything that is not necessary to run Sage and pass all its doctests." I say "in theory" because I haven't personally tried it and I don't know if it's regularly tested by anyone.

Re: [sage-devel] Error: failed to extract /home/linethan0322/sage-9.5.rc4/upstream/gap-4.11.1.tar.gz

2022-03-08 Thread Ethan Lin
oh i see thanks :) On Tuesday, 8 March 2022 at 14:49:55 UTC-5 François Bissey wrote: > From your log > OSError: [Errno 28] No space left on device > > You’ve run out of disk. Nothing we can do about that :) > > > On 9/03/2022, at 08:25, Ethan Lin wrote: > > > > Hello! I have encountered an erro

[sage-devel] Questions about what directory and files are safe to delete.

2022-03-08 Thread Ethan Lin
Hello! I have a question concerning what is safe to delete after make. After make I was informed with this message. It is safe to delete any log files and build directories, but they contain information that is helpful for debugging build problems. WARNING: If you now run 'make' again, the build di

Re: [sage-devel] Error: failed to extract /home/linethan0322/sage-9.5.rc4/upstream/gap-4.11.1.tar.gz

2022-03-08 Thread François Bissey
>From your log OSError: [Errno 28] No space left on device You’ve run out of disk. Nothing we can do about that :) > On 9/03/2022, at 08:25, Ethan Lin wrote: > > Hello! I have encountered an error while making/upgrading sage, > The sage version is 9.6.beta4 > My OS is Debian Bookworm (testing)

[sage-devel] Re: Wrong output of method arguments() on symbolic functions

2022-03-08 Thread Matthias Koeppe
Yes, callable symbolic expressions need a lot of fixes. See meta-ticket https://trac.sagemath.org/ticket/28434 On Tuesday, March 8, 2022 at 7:23:15 AM UTC-8 Eric Gourgoulhon wrote: > Hi, > > We have currently > > sage: x, y = var('x y') > sage: fyx = function('f')(y, x) > sage: fyx.arguments()

[sage-devel] Wrong output of method arguments() on symbolic functions

2022-03-08 Thread Eric Gourgoulhon
Hi, We have currently sage: x, y = var('x y') sage: fyx = function('f')(y, x) sage: fyx.arguments() (x, y) which is just the reverse of the expected output. Similarly, we have sage: atan2(y,x).arguments() (x, y) Taking a look at the code, one sees that fyx.arguments() calls fyx.variables()