[sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

BTW : sage: a, b = var("a, b") sage: f(x) = floor(x)^2 sage: f(x).integrate(x, a, b) // Giac share root-directory:/usr/local/sage-9/local/share/giac/ // Giac share root-directory:/usr/local/sage-9/local/share/giac/ Added 0 synonyms No checks were made for singular points of antiderivative flo

[sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

BTW : ``` sage: a, b = var("a, b") sage: f(x) = floor(x)^2 sage: f(x).integrate(x, a, b) // Giac share root-directory:/usr/local/sage-9/local/share/giac/ // Giac share root-directory:/usr/local/sage-9/local/share/giac/ Added 0 synonyms No checks were made for singular points of antiderivative flo

[sage-devel] wiki access

Dear all, It seems that it is not possible anymore to log in for editing the SageMath wiki at https://wiki.sagemath.org/. This is the tool we were planning to use for sage days 117 starting on Monday. Does anyone know what happened? Best Vincent -- You received this message because you are subs

Re: [sage-devel] online talk about the github workflow

This could be recorded (if Matthias agree) and available on the BBB website. I do not know how to make a proper video out of the BBB recording and will not spend anytime on it. Anybody with this knowledge is welcome to make that happen. Best Vincent On Thu, 2 Feb 2023 at 22:36, François Bissey w

[sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

BTW : ``` sage: a, b = var("a, b") sage: f(x) = floor(x)^2 sage: F(x) = f(x).integrate(x) ; F x |--> x*floor(x)^2 sage: def G(x): return numerical_integral(f, 0, x)[0] sage: plot([F, G], (0, 3)) Launched png viewer for Graphics object consisting of 2 graphics primitives ``` [image: tmp_7n_jxgco.p

Re: [sage-devel] wiki access

On Fri, Feb 3, 2023 at 9:36 AM Vincent Delecroix <20100.delecr...@gmail.com> wrote: > It seems that it is not possible anymore to log in for editing the > SageMath wiki at https://wiki.sagemath.org/. This is the tool we were > planning to use for sage days 117 starting on Monday. Does anyone know

[sage-devel] Re: wiki access

Perhaps you may borrow Matthias or Dima's login credentials for temporary trac logging-in for the event. On Friday, February 3, 2023 at 6:36:48 PM UTC+9 vdelecroix wrote: Dear all, It seems that it is not possible anymore to log in for editing the SageMath wiki at https://wiki.sagemath.org/. T

Re: [sage-devel] Re: wiki access

On Fri, Feb 3, 2023 at 10:30 AM Kwankyu Lee wrote: > > Perhaps you may borrow Matthias or Dima's login credentials for temporary > trac logging-in for the event. no, trac is a different story. wiki.sagemath.org is hosted somewhere else, and I don't know how it had authentication set up. (it used

[sage-devel] Colours

A few people who post to this list have their email configured so that quoted text is in a different colour, instead of having quoted text prefixed by > or similar. I am partly colourblind and this confuses me as I literally cannot see that some text is in a different colour (for some combinations

[sage-devel] Re: Colours

On Friday, February 3, 2023 at 7:53:26 PM UTC+9 john.c...@gmail.com wrote: A few people who post to this list have their email configured so that quoted text is in a different colour, instead of having quoted text prefixed by > or similar. Right. It happens to me. I don't know how I can control

[sage-devel] Re: Colours

Again. Sorry. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.goo

Re: [sage-devel] Re: Colours

On Fri, 3 Feb 2023 at 11:15, Kwankyu Lee wrote: > Again. Sorry. Never mind, it is not that important. > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sa

Re: [sage-devel] Re: Colours

Hi, Right. It happens to me. I don't know how I can control this. most likely this is because of e-mails being formatted as html. Try sending plain-text e-mails instead. S. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from

Re: [sage-devel] Re: Colours

On Fri, Feb 03, 2023 at 03:15:03AM -0800, Kwankyu Lee wrote: > Again. Sorry. I think this happens if you use Google's interface to Groups, rather than an email client. Posting using an email client (set to send in text mode - but probably not necessarily) should be enough to avoid this. Dima -

Re: [sage-devel] Colours

Sorry, John. In my case, I get everything in black without any quoting, so I cannot distinguish the responses. (I am not colorblind, I use Gmail and I have the standard configuration.) Guillermo On Fri, 3 Feb 2023 at 11:53, John Cremona wrote: > A few people who post to this list have their e

Re: [sage-devel] Colours

You may consider the thunderbird email client or some other MUA and try to disable html formatting if the client supports it. Can you point to colored testcase so I try it? Once upon a time one could use gmail with console client, but now google added additional authentication, greatly reducing t

Re: [sage-devel] online talk about the github workflow

On Thursday, February 2, 2023 at 4:36:35 PM UTC-5 François Bissey wrote: On 3/02/23 10:30, David Joyner wrote: > Hi Vincent: > Will this be recorded and posted on youtube, > or something like that? > - David > I am seconding that request. That time is 5:30am in my time zone. And I and p

Re: [sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

On Fri, 3 Feb 2023 at 09:31, Emmanuel Charpentier wrote: > > BTW : > > ``` > sage: a, b = var("a, b") > sage: f(x) = floor(x)^2 > sage: f(x).integrate(x, a, b) > // Giac share root-directory:/usr/local/sage-9/local/share/giac/ > // Giac share root-directory:/usr/local/sage-9/local/share/giac/ > Ad

Re: [sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

One of the reasons I asked this is to get correct closed form for stuff like sum/int 2^2^floor(x). Judging by the discussions, this won't work. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving email

Re: [sage-devel] Colours

On Fri, 3 Feb 2023, 12:42 Georgi Guninski, wrote: > You may consider the thunderbird email client or > some other MUA and try to disable html formatting > if the client supports it. > > Can you point to colored testcase so I try it? > > Once upon a time one could use gmail with console > client,

Re: [sage-devel] Colours

On Fri, Feb 3, 2023 at 4:08 PM Dima Pasechnik wrote: > > > gmail still supports application passwords, so one can still bypass 2FA for > sending/receiving mail to/from gmail. > > my previous message in this thread was sent from mutt+postfix. > I love this, is it document somewhere? I tried mutt

Re: [sage-devel] online talk about the github workflow

Recording my talk is, of course, fine with me. On Friday, February 3, 2023 at 1:38:33 AM UTC-8 vdelecroix wrote: > This could be recorded (if Matthias agree) and available on the BBB > website. I do not know how to make a proper video out of the BBB > recording and will not spend anytime on it. A

Re: [sage-devel] wiki access

https://trac.sagemath.org/ticket/33725 collects some ideas and tools for migrating away from wiki.sagemath.org Thierry Monteil was able to provide a backup of the wiki data back in October, but I haven't gotten around to trying the tools on it. According to https://trac.sagemath.org/wiki/Infras

Re: [sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

On Fri, 3 Feb 2023 at 13:57, Georgi Guninski wrote: > > One of the reasons I asked this is to get correct closed form > for stuff like sum/int 2^2^floor(x). > Judging by the discussions, this won't work. The integration part of that is easy and sage can do it for a single integer interval: >>>

Re: [sage-devel] online talk about the github workflow

As I have said to Vincent, I can take care of making the video. I shall submit it to Matthias before making it available for publication. Guillermo On Fri, 3 Feb 2023 at 15:53, Matthias Koeppe wrote: > Recording my talk is, of course, fine with me. > > On Friday, February 3, 2023 at 1:38:33 AM

Re: [sage-devel] Re: Doubts about correctness of `integrate(floor(x)^2,x)`

> >>> a = var('a') > >>> assume(a, 'integer') > >>> integrate(2^2^floor(x), (x, a, a+1)) > 2^(2^a) > > Now you just need the summation of that over the range of integer > intervals you are interested in but Sage's sum can't do anything with > that and I'm not sure if anything else can eithe

Re: [sage-devel] Colours

On Fri, Feb 03, 2023 at 04:17:53PM +0200, Georgi Guninski wrote: > On Fri, Feb 3, 2023 at 4:08 PM Dima Pasechnik wrote: > > > > gmail still supports application passwords, so one can still bypass 2FA for > > sending/receiving mail to/from gmail. > > > > my previous message in this thread was sent

Re: [sage-devel] Re: Announcement: we are approaching to the GitHub planet

[image: Screenshot 2023-02-03 at 10.26.48 AM.png] On Thursday, February 2, 2023 at 7:37:45 PM UTC-8 Matthias Koeppe wrote: > Right, it is indeed marked private during the migration. > > That serves as a reminder that we need to configure sagemath organization > Teams

Re: [sage-devel] Re: Colours

On Friday, 3 February 2023 at 03:44:55 UTC-8 dim...@gmail.com wrote: I think this happens if you use Google's interface to Groups, rather than an email client. Nope , google groups interface formats quoted text with a line to the left (as above). No colour introduced either. Perhaps there are

Re: [sage-devel] Re: Colours

On Friday, 3 February 2023 at 16:31:38 UTC-8 Nils Bruin wrote: On Friday, 3 February 2023 at 03:44:55 UTC-8 dim...@gmail.com wrote: I think this happens if you use Google's interface to Groups, rather than an email client. Nope , google groups interface formats quoted text with a line to the le

Re: [sage-devel] Re: Colours

FWIW, here is what I receive "as is". You will notice that it is not a problem about HTML formatting. Guillermo *** BEGIN *** Sender: sage-devel@googlegroups.com Date: Fri, 3 Feb 2023 16:31:38 -0800 (PST) From: Nils Bruin To: sage-devel Message-Id: In-Reply-To: Subject: Re: [sage-devel] Re: Co

[sage-devel] Migration end date changed to Monday Feb 6 at 08:00 UTC

We've hit a technical problem in the import (for which we already have identified a solution), so I have to push back the projected end date by ~1.5 days, Sunday midnight in California = Monday morning in Europe. -- You received this message because you are subscribed to the Google Groups "sag