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"!
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
-~----------~----~----~----~------~----~------~--~---
