On 17 Dez. 2008, 23:52, "Georg S. Weber" <georgswe...@googlemail.com>
wrote:
> On 17 Dez., 19:12, "William Stein" <wst...@gmail.com> wrote:
>
>
>
> > On Wed, Dec 17, 2008 at 10:00 AM, Georg S. Weber
>
> > <georgswe...@googlemail.com> wrote:
>
> > > Hi William,
>
> > > On 12 Dez., 18:58, "William Stein" <wst...@gmail.com> wrote:
> > >> Hi,
>
> > >> Is anybody interested in stuff like this (e.g., it could be nice for
> > >> teaching a class about writing math proofs):
>
> > >> sage: f = propcalc.formula("a&((b|c)^a->c)<->b")
> > >> sage: g = propcalc.formula("boolean<->algebra")
> > >> sage: (f&~g).ifthen(f)
> > >> ((a&((b|c)^a->c)<->b)&(~(boolean<->algebra)))->(a&((b|c)^a->c)<->b)
>
> > >> Because there is patch at trac #545 that's been in dire need of somebody
> > >> to referee it for a long time with lots of code like the above:
>
> > >>http://trac.sagemath.org/sage_trac/ticket/545
>
> > >> Volunteer(s) needed!
>
> > > I had looked at this ticket just out of curiosity because of its thick
> > > patina.
> > > If I remember correctly, the one remaining objection of a former
> > > referee
> > > was about coding style --- which I myself wouldn't view as a blocker.
>
> > > But that ticket most probably needs rebasing and such, and I won't
> > > have
> > > the time to properly care for that in the oncoming weeks.
>
> > The code was last rebased as one big complete patch on November 30,
> > 2008, and is completely contained in a directory so I doubt it needs
> > rebasing...
>
> Oops,
>
> I totally missed what has been going on at that ticket since the mid
> of September
> --- the line "Chris is too busy for the next two weeks to work on
> this, I think."
> is the last one I remember to have read.
> Thanks for pointing this out to me!
> OK, now that I have "raised my hand", I'll see how far I'll get with
> reviewing this code
> in the first January days, but I won't have time before that.
> And absolutely most definitely I would like to dive first into #4667
> "quadratic twists for p-adic L-functions"!
Done.
>
> Cheers,
> gsw
>
> > William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
