On Feb 11, 2008, at 10:14 AM, Carl Witty wrote:
> On Feb 10, 6:25 pm, David Harvey <[EMAIL PROTECTED]> wrote:
>> A much better solution would be for sage to have a sane pseudo-random
>> number framework, so we could be guaranteed sane behaviour for
>> doctests like this.
>>
>> I realise how diffi
On Feb 13, 2008, at 10:50 PM, root wrote:
>> The core question of coercion is when I type "a+b" where a and b are
>> different types, where should the result live? To facilitate Sage
>> making rational inferences of this type, this is intimately tied to
>> the Parent/Element/Category discussion t
>The core question of coercion is when I type "a+b" where a and b are
>different types, where should the result live? To facilitate Sage
>making rational inferences of this type, this is intimately tied to
>the Parent/Element/Category discussion that occurred at Sage Days 7
>and is the top
>The core question of coercion is when I type "a+b" where a and b are
>different types, where should the result live? To facilitate Sage
>making rational inferences of this type, this is intimately tied to
>the Parent/Element/Category discussion that occurred at Sage Days 7
>and is the top
On Feb 13, 2008, at 7:10 PM, Franco Saliola wrote:
> On Feb 12, 2008 10:50 PM, David Roe <[EMAIL PROTECTED]> wrote:
>
>> So, these kinds of issues were the subject of the coercion project
>> at SD7.
>
> Yeah, I was at Sage Days 7, but I didn't realize that this is what
> coercion is all about!
On Feb 12, 2008 10:50 PM, David Roe <[EMAIL PROTECTED]> wrote:
> So, these kinds of issues were the subject of the coercion project at SD7.
Yeah, I was at Sage Days 7, but I didn't realize that this is what
coercion is all about! I decided to not pay much attention to the
discussion and concentr
Hi folks,
The following page has been linked to my SD7 pics:
http://wiki.sagemath.org/days7/schedule/.
The wikipage for the "coding sprint" titled
"How close to ready is sage for teaching undergrad/grad combinatorial
courses"
now has a link to the audio from that discussion:How close to rea
At the expense of having to write the algorithm twice (once for
additive groups, once for multiplicative groups, though one could
wrap one in the other via a wrapper, or maybe being even more clever
by swapping the tp_add and tp_mul function pointer slots in the type)
I can't help but ment
Very ambitious suggestions!
In the meantime I'll try just implementing one case, make sure it
works both for multiplicative groups of finite fields and elliptic
curve groups, and let other people take it from there.
Otherwise I'll get distracted from the (nearly ready) patch for #1121
and #1130.
On Feb 13, 2008 2:22 PM, David Harvey <[EMAIL PROTECTED]> wrote:
>
>
> On Feb 13, 2008, at 5:09 PM, Nick Alexander wrote:
>
> > John also needs identity and inverses, which requires passing in
> > three or functions. Or, more likely a struct, which in an OO
> > language, I call an object.
> >
> >
On Feb 13, 2008, at 5:09 PM, Nick Alexander wrote:
> John also needs identity and inverses, which requires passing in
> three or functions. Or, more likely a struct, which in an OO
> language, I call an object.
>
> To me, that means you're writing a special purpose "abstract group"
> wrapper fo
On 13-Feb-08, at 2:15 PM, William Stein wrote:
>
> On Feb 13, 2008 2:09 PM, Nick Alexander <[EMAIL PROTECTED]> wrote:
>>
>>
>> On 13-Feb-08, at 12:28 PM, William Stein wrote:
>>
>>>
>>> On Feb 13, 2008 9:57 AM, Nick Alexander <[EMAIL PROTECTED]>
>>> wrote:
On 13-Feb-08, at 6:06
On Feb 13, 2008 2:09 PM, Nick Alexander <[EMAIL PROTECTED]> wrote:
>
>
> On 13-Feb-08, at 12:28 PM, William Stein wrote:
>
> >
> > On Feb 13, 2008 9:57 AM, Nick Alexander <[EMAIL PROTECTED]> wrote:
> >>
> >>
> >> On 13-Feb-08, at 6:06 AM, John Cremona wrote:
> >>
> >>>
> >>> I just discovered sage
On 13-Feb-08, at 12:28 PM, William Stein wrote:
>
> On Feb 13, 2008 9:57 AM, Nick Alexander <[EMAIL PROTECTED]> wrote:
>>
>>
>> On 13-Feb-08, at 6:06 AM, John Cremona wrote:
>>
>>>
>>> I just discovered sage.rings.arith.discrete_log_generic(), not until
>>> after implementing a similar function
On Feb 12, 2008 8:33 PM, Andrew Mathas <[EMAIL PROTECTED]> wrote:
> >> As William indicated, import the class and modify locally, and when
> >> stable, maybe copy them over to the partition.py file, and
> >>
> >> If you're adding interesting methods to builtin Sage classes, why
> >> [not] rel
On Feb 13, 2008 1:02 PM, John Cremona <[EMAIL PROTECTED]> wrote:
>
> OK, I'll rewrite it as suggested by WIlliam. Now, isn't there a
> better place to put it than sage.rings.arith? Somewhere in (finite)
> (abelian) groups?
Make a new file, e.g.,
sage/groups/abelian_gps/dlog.py
You might al
OK, I'll rewrite it as suggested by WIlliam. Now, isn't there a
better place to put it than sage.rings.arith? Somewhere in (finite)
(abelian) groups?
There may also need to be parameters allowed the creation of the
identity, and inverses (my implementation certainly subtracts
elements).
John
On Feb 13, 2008 9:57 AM, Nick Alexander <[EMAIL PROTECTED]> wrote:
>
>
> On 13-Feb-08, at 6:06 AM, John Cremona wrote:
>
> >
> > I just discovered sage.rings.arith.discrete_log_generic(), not until
> > after implementing a similar function for elliptic curves over finite
> > fields (patch to be su
On Feb 13, 2008 12:10 PM, lou blaine <[EMAIL PROTECTED]> wrote:
> The best compression I got was with the following command
>
>
> c:\"program files"\7-zip\7z a -t7z sage.7z sage -mx=9 -mfb=256
>
>
> this breaks down as follows : c:\"program files"\7-zip\7z : path to the
> executable
>
On Feb 12, 2008 5:58 PM, John Voight <[EMAIL PROTECTED]> wrote:
>
> Oh, the "instance" that I was referring to is just the language I
> picked up from reading sage/libs/pari/gen.pyx: it appeared as though
> pari('') was shorthand for a globally defined PariInstance. The
> "old instance" is the on
On 13-Feb-08, at 6:06 AM, John Cremona wrote:
>
> I just discovered sage.rings.arith.discrete_log_generic(), not until
> after implementing a similar function for elliptic curves over finite
> fields (patch to be submitted before too long). I thought it was a
> pity that we cannot apparently us
I just discovered sage.rings.arith.discrete_log_generic(), not until
after implementing a similar function for elliptic curves over finite
fields (patch to be submitted before too long). I thought it was a
pity that we cannot apparently use the same code for dlogs in an
additive group (as in what
Hi Michael,
> I have to work on the sagemath.org webserver
> today, so hopefully it will be reolved easily.
Great! Thanks!
> > PS: I've troubles updating sage-scripts because I modified sage-update
> > file to bypass this problem, I'll describe it in a separate email.
> ok, I hope you already di
On 13/02/2008, William Stein <[EMAIL PROTECTED]> wrote:
> >
> > It's a theorem! (+1)
>
> +1
>
> And I was the one who originally implemented it and made it over QQ.
-- which is certainly understandable. The pity is that it should
matter so much. ANyway,
+1
from me
>
> William
>
> >
>
--
J
24 matches
Mail list logo
