Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github. Le 21/09/2022 à 19:23, David Roe a écrit : Dear Sage developers, Following extensive discussion, both recently  (prompted by issues upgrading the trac server) and over

Re: [sage-devel] VOTE: move Sage development to Github

+1 for GitHub. Mirroring to GitLab can be considered later. On Thursday, September 22, 2022 at 8:45:22 AM UTC+5:30 Nathan Dunfield wrote: > +1 for GitHub -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop re

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github On Thu, 22 Sep 2022, 07:15 Nathan Dunfield, wrote: > +1 for GitHub > > -- > 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...@

[sage-devel] Re: Is this a bug?

No, it is not. The generic fraction field can only reduce something up to a unit since the gcd is defined up to a unit. I agree it looks funny, but I don't see a sensible way to code to get a negative sign in the numerator. Compare with sage: ~F(-q+1) 1/(-q + 1) sage: ~F(q-1) 1/(q - 1) sage: -1

Re: [sage-devel] VOTE: move Sage development to Github

+1 for GitHub -- 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] VOTE: move Sage development to Github

-1 On Thursday, September 22, 2022 at 11:50:56 AM UTC+9 dev@gmail.com wrote: > +1 for Github > > 在2022年9月22日星期四 UTC+8 06:01:46 写道： > >> +1 for Github >> >> Op wo 21 sep. 2022 19:23 schreef David Roe : >> >>> Dear Sage developers, >>> Following extensive discussion, both recently >>>

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github 在2022年9月22日星期四 UTC+8 06:01:46 写道： > +1 for Github > > Op wo 21 sep. 2022 19:23 schreef David Roe : > >> Dear Sage developers, >> Following extensive discussion, both recently >> >> (prompted >> by issues upgrad

[sage-devel] Re: VOTE: move Sage development to Github

+1 for Github On Wednesday, September 21, 2022 at 11:23:36 AM UTC-6 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github -- 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] VOTE: move Sage development to Github

+1 for Github Op wo 21 sep. 2022 19:23 schreef David Roe : > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

Re: [sage-devel] VOTE: move Sage development to Github

+1 for GitHub (if I am allowed to vote). Guillermo On Wed, 21 Sept 2022 at 19:23, David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server)

[sage-devel] Re: VOTE: move Sage development to Github

+1 for github On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for GitHub On Wed, 21 Sept 2022, 20:56 Ricardo Buring, wrote: > +1 for GitHub > > On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

[sage-devel] Re: VOTE: move Sage development to Github

+1 for GitHub On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github. Le mercredi 21 septembre 2022 à 14:43:22 UTC-4, Fredrik Johansson a écrit : > +1 for GitHub > > On Wednesday, September 21, 2022 at 8:30:16 PM UTC+2 > de...@benjamin-hackl.at wrote: > >> +1 for GitHub. >> >> >> >> On 21.09.2022, at 19:23, David Roe wrote: >> >> Dear Sage develope

Re: [sage-devel] VOTE: move Sage development to Github

+1 for GitHub On Wednesday, September 21, 2022 at 8:30:16 PM UTC+2 de...@benjamin-hackl.at wrote: > +1 for GitHub. > > > > On 21.09.2022, at 19:23, David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently >

Re: [sage-devel] VOTE: move Sage development to Github

+1 for GitHub. > On 21.09.2022, at 19:23, David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently > > (prompted by issues upgrading the trac server) and over >

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for Github -- David Lowry-Duda -- 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 vi

Re: [sage-devel] VOTE: move Sage development to Github

+1 to GitHub On Wed, Sep 21, 2022 at 6:23 PM David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently (prompted by issues upgrading > the trac server) and over the last decade, we are calling a vote on switching > Sage development from Trac to Github. We've cr

[sage-devel] Re: VOTE: move Sage development to Github

+1 for GitHub -- 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

[sage-devel] Re: VOTE: move Sage development to Github

+1 for Github On Wednesday, September 21, 2022 at 1:57:43 PM UTC-4 Matthias Koeppe wrote: > +1 for Github > > On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

[sage-devel] Re: VOTE: move Sage development to Github

+1 for Github On Wednesday, September 21, 2022 at 12:57:43 PM UTC-5 Matthias Koeppe wrote: > +1 for Github > > On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

[sage-devel] Re: VOTE: move Sage development to Github

+1 for Github On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github On Wed, Sep 21, 2022 at 1:36 PM William Stein wrote: > +1 for Github > > On Wed, Sep 21, 2022 at 10:23 AM David Roe wrote: > > > > Dear Sage developers, > > Following extensive discussion, both recently (prompted by issues > upgrading the trac server) and over the last decade, we

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github On Wed, Sep 21, 2022 at 10:23 AM David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently (prompted by issues upgrading > the trac server) and over the last decade, we are calling a vote on switching > Sage development from Trac to Github. We've

Re: [sage-devel] VOTE: move Sage development to Github

+1 for Github On Wed, Sep 21, 2022 at 1:23 PM David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently (prompted by issues upgrading > the trac server) and over the last decade, we are calling a vote on switching > Sage development from Trac to Github. We've c

[sage-devel] Re: VOTE: move Sage development to Github

+1 for Github On Wednesday, September 21, 2022 at 1:23:36 PM UTC-4 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

[sage-devel] DISCUSS: move Sage development to Github

Dear Sage developers, As announced in a parallel thread, we are voting to move Sage development from Trac to Github. Several of us have created a wiki page attempting to summarize arguments in favor of each system, and this thread ca

[sage-devel] VOTE: move Sage development to Github

Dear Sage developers, Following extensive discussion, both recently (prompted by issues upgrading the trac server) and over the

[sage-devel] Is this a bug?

sage: R. = QQ[] sage: F = R.fraction_field() sage: ~F(-1) 1/(-1) sage: 1/F(-1) -1 sage: R. = QQ[] sage: F = R.fraction_field() sage: ~F(-1) -1 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

Re: [sage-devel] Re: Re: incremental migration to github? [prompted by FUNDING issues!!!] + general flakiness of trac

> Given the tensions, I'd be more careful here. We're really not too > interested in opinions of random subscribers to sage-devel > (I don't have enough rights to see who's there). > That's a plausible argument, but as with most real-life elections in countries without compulsory voting, I s