[sage-devel] Re: How does symbolic algebra work

2007-04-29 Thread Joshua Kantor
I am actually interested in the internal representations and manipulation required to do this sort of thing. I.e. how would one duplicate the internal workings of maxima in python. Josh On Apr 29, 10:21 pm, Michel <[EMAIL PROTECTED]> wrote: > The way maxima works that from the view point > of

[sage-devel] Re: How does symbolic algebra work

2007-04-29 Thread Michel
The way maxima works that from the view point of the user there are very few automatic simplifications. There are however a lot of "expression manipulation commands" like "expand", "ratsimp", "factor", "trigexpand" etc... Some automatic simplifications are 12+14=26, x+x=2*x. Internally of course

[sage-devel] How does symbolic algebra work

2007-04-29 Thread Joshua Kantor
Disclaimer: I think this may have more or less been covered in the earlier mega-discussion on symbolic computation. Also the whole reason we use maxima is to avoid dealing with the problems I'm describing but I still would like to think about it a bit and am curious if anyone has any insight. I

[sage-devel] Re: elliptic curve height bounds

2007-04-29 Thread بندر
David Roe شارك بـ: > I'd be happy to do it. Having just read through the code, it looks like it > shouldn't be hard, with the following potential hangups: > Does SAGE have Tamagawa numbers, Kodaira symbols and minimal models for > elliptic curves? > I need to think a bit about the syntax for com

[sage-devel] Re: [EMAIL PROTECTED]

2007-04-29 Thread Nick Alexander
"David Joyner" <[EMAIL PROTECTED]> writes: > Hello SAGE people: > > This is proposal for 4th SAGE days 2007, to be held the week of > June 11-16, 2007 (a Monday thru Saturday) in the Mathematics Department of > the University of Washington in scenic Seattle. I'm interested. Nick --~--~

[sage-devel] Re: patch for set.py

2007-04-29 Thread William Stein
Kyle, I didn't apply the patch you have below. For SAGE-2.5, I did, however, make some changes to how sets and hashing of sets works so that your examples work fine, and I included them in the docstrings. Basically, now finite sets will have their frozenset computed when the set is created. --

[sage-devel] Re: log_html() crashes

2007-04-29 Thread William Stein
I've fixed this bug for SAGE-2.5. On 2/19/07, didier deshommes <[EMAIL PROTECTED]> wrote: > > Allo, > {{{log_html}}} crashes because of undefined variable: > > {{{ > sage: log_html () > [..] > 245 T = self._title() > 246 inlog = os.path.split(self._input_log_name())[1] > -

[sage-devel] Re: Infinite generators for rings/algebras

2007-04-29 Thread Mike Hansen
Okay, thanks. I'll give it a try. --Mike On 4/29/07, Robert Bradshaw <[EMAIL PROTECTED]> wrote: > > I think its mostly there for convenience. Try passing in the empty > list and then overriding gens() and ngens() for starters. Perhaps > look into the source to see what it actually ends up doing

[sage-devel] Re: Infinite generators for rings/algebras

2007-04-29 Thread Robert Bradshaw
I think its mostly there for convenience. Try passing in the empty list and then overriding gens() and ngens() for starters. Perhaps look into the source to see what it actually ends up doing with them... On Apr 29, 2007, at 12:15 AM, Mike Hansen wrote: > Hello, > > I'm trying to implement s

[sage-devel] Infinite generators for rings/algebras

2007-04-29 Thread Mike Hansen
Hello, I'm trying to implement symmetric functions in SAGE and would like to define them as an algebra that fits into SAGE's framework and plays nicely with the rest of SAGE. But, it seems that Ring and Algebra are subclasses of ParentWithGens which requires a (finite) list of generators. What