[sage-devel] Typesetting rational numbers

2010-02-17 Thread Håkan Granath
A minor inconvenience is the extra set of parentheses that appear when typesetting QQ elements as arguments of functions, e.g. -- | Sage Version 4.3.2, Release Date: 2010-02-06 | | Type notebook() for the GUI

Re: [sage-devel] Re: [femhub] Re: adjusting versions and using/abusing FEMHUB

2010-02-17 Thread William Stein
On Wed, Feb 17, 2010 at 11:47 AM, Ondrej Certik wrote: > On Wed, Feb 17, 2010 at 11:34 AM, Ethan Coon wrote: >> Ok, so I uploaded an spkg, but it's not exactly right yet.  A few issues: >> >> 1. my stupidity -- the flag should actually be --FLIBS="f95" , not >> --FFLAGS="-lf95*".  This isn't nece

[sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Dima Pasechnik
On Feb 17, 7:57 am, javier wrote: > Hi all, > > I am trying to use sage to compute the Artin-Wedderburn decomposition > of a group algebra. I am curious to know, how you are doing this. IMHO for this you need to know each irreducible representation explicitly --- but then you can just stack up

[sage-devel] Re: adjusting versions and using/abusing FEMHUB

2010-02-17 Thread Dima Pasechnik
default must be gfortran, IMHO. Sage is distributed with a copy of gfortran libs in case they are not installed on the machine that will run Sage. There is a mechanism in Sage to detect fortrans that are available. Anyhow, gfrortan is much more wide-spread on Linux (e.g. g95 is not a part of Deb

[sage-devel] Re: QQbar and group algebras

2010-02-17 Thread javier
Hi all, thanks for the tip-off in CombinatorialFreeModule, I have been trying to use this, but cannot find any sensible way to make it work. sage: G = SymmetricGroup(3) sage: B = sorted(list(G)) sage: n = len(B) sage: K = CyclotomicField(n) sage: A = GroupAlgebra(G,K) sage: V = CombinatorialFreeM

[sage-devel] Re: Detecting the CPU on Linux for binary distributions

2010-02-17 Thread Dima Pasechnik
on Linux, this can be obtained from /proc http://www.cyberciti.biz/faq/linux-display-cpu-information-number-of-cpus-and-their-speed/ On Feb 17, 4:51 pm, "Dr. David Kirkby" wrote: > There seems to be a lot of problems that either are, or might be associated > with > people using binaries on older

[sage-devel] Detecting the CPU on Linux for binary distributions

2010-02-17 Thread Dr. David Kirkby
There seems to be a lot of problems that either are, or might be associated with people using binaries on older CPUs than what they are made on. (e.g see the thread "A command which causes Sage to crash" on sage-support). It would be useful if there was a script or something which detected the

[sage-devel] Fwd: [sage-support] sage-mode completion not quite working with sage 4.3.2

2010-02-17 Thread Nicolas M. Thiery
Dear all, My patch #7921 broke tab completion under emacs in 4.3.2 due to a variant of the other tab completion bug. I know how painful this can be, and apologize for this. I just created ticket #8296 for this, and posted a patch which should fix the issue. Please try and review! Best,

[sage-devel] Re: notebook improvement

2010-02-17 Thread Maurizio
ok, still me :P I've found the relevant ticket http://trac.sagemath.org/sage_trac/ticket/7501 now I'll try to apply the patch. it seems to me that this is actively worked on, and there should be some draft code on someone else's computer, so I am probably not any helpful here. cheers maurizio O

[sage-devel] Re: notebook improvement

2010-02-17 Thread Maurizio
I am sorry, yesterday I started to work on this, but I was working on sage 4.2 today I updated to sage 4.3.2, but I also noticed that in the beginning of the file cell.py it is stated that it is part of the OLD sage notebook... now I should understand where to look again :) maurizio On 17 Feb, 21

[sage-devel] notebook improvement

2010-02-17 Thread Maurizio
hi all, I do not want to set any expectation, but I'd take some help with a small experiment I wanted to try to introduce codemirror in the notebook. as previously suggested by this list, it seems the most mature solution for syntax highlighting. I have tried myself bespin, and it is very feature-l

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Florent Hivert
>> I don't think you can have automated conversion like C(a^2 + b^2) since it >> makes sense to define: >> sage: C = CombinatorialFreeModule(QQ, [ a^2, b^2, a*b, a^2+b^2 ]) >> sage: 2*C.basis()[a^2] + C.basis()[b^2] >> B[b^2] + 2*B[a^2] >> sage: 2*C.basis()[a^2] + C.basis()[b^2 + a^2] >> 2*B[a^2] +

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nick Alexander
I don't think you can have automated conversion like C(a^2 + b^2) since it makes sense to define: sage: C = CombinatorialFreeModule(QQ, [ a^2, b^2, a*b, a^2+b^2 ]) sage: 2*C.basis()[a^2] + C.basis()[b^2] B[b^2] + 2*B[a^2] sage: 2*C.basis()[a^2] + C.basis()[b^2 + a^2] 2*B[a^2] + B[a^2 + b^2] The

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Florent Hivert
Hi Nick, > With an old version of sage, this is unfortunately not all that useful for > my purpose. Not sure how to address this, since there is not a standard > way to convert a multivariate polynomial into such an expression. Perhaps > things have improved since this version was

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nick Alexander
On 17-Feb-10, at 10:03 AM, Nicolas M. Thiery wrote: On Wed, Feb 17, 2010 at 08:53:23AM -0800, Nick Alexander wrote: PS: FWIW, in this kind of problem having a nice "VectorSpaceWithBasis" so that I could define a vector space with basis given by the group elements, would come really fancy.

[sage-devel] Re: [femhub] Re: adjusting versions and using/abusing FEMHUB

2010-02-17 Thread Ondrej Certik
On Wed, Feb 17, 2010 at 11:34 AM, Ethan Coon wrote: > Ok, so I uploaded an spkg, but it's not exactly right yet.  A few issues: > > 1. my stupidity -- the flag should actually be --FLIBS="f95" , not > --FFLAGS="-lf95*".  This isn't necessary to get a working PETSc and > petsc4py, but it is both mo

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nicolas M. Thiery
On Wed, Feb 17, 2010 at 08:53:23AM -0800, Nick Alexander wrote: > >PS: FWIW, in this kind of problem having a nice "VectorSpaceWithBasis" > >so that I could define a vector space with basis given by the group > >elements, would come really fancy. > > I also want this! Various people in the combina

[sage-devel] Re: QQbar and group algebras

2010-02-17 Thread John H Palmieri
On Feb 17, 8:53 am, Nick Alexander wrote: > > PS: FWIW, in this kind of problem having a nice "VectorSpaceWithBasis" > > so that I could define a vector space with basis given by the group > > elements, would come really fancy. > > I also want this!  Various people in the combinat group suggested

Re: [sage-devel] Re: Sage 4.3.3.alpha0 released

2010-02-17 Thread John Cremona
On 17 February 2010 15:01, chris wuthrich wrote: >> Did you install the optional database before running the test?  That >> changes which generators are returned for database curves. > > Yes, the optional database was installed before. > > Does that that mean that the lines should have a #somethin

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nick Alexander
PS: FWIW, in this kind of problem having a nice "VectorSpaceWithBasis" so that I could define a vector space with basis given by the group elements, would come really fancy. I also want this! Various people in the combinat group suggested they had it/were working on it, but I don't know the s

[sage-devel] Re: QQbar and group algebras

2010-02-17 Thread javier
Hi Nicolas, > What do you mean by exact? I am using CyclotomicFields on a regular > basis for similar things, and this works well. And I would expect it > to be faster than QQbar. You are right, I guess I could just use CyclotomicField(n) where n is the order of the group and everything should wo

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nick Alexander
On 17-Feb-10, at 8:27 AM, Nicolas M. Thiery wrote: On Wed, Feb 17, 2010 at 07:50:57AM -0800, javier wrote: Apparently I was assuming too much. The result of the evaluation of the character belongs to some cyclotomic field, so apparently the problem is that there is not a coercion between cyclo

Re: [sage-devel] Re: QQbar and group algebras

2010-02-17 Thread Nicolas M. Thiery
On Wed, Feb 17, 2010 at 07:50:57AM -0800, javier wrote: > Apparently I was assuming too much. The result of the evaluation of > the character belongs to some cyclotomic field, so apparently the > problem is that there is not a coercion between cyclotomic fields and > QQbar. I can circumvent the pro

[sage-devel] Re: QQbar and group algebras

2010-02-17 Thread javier
On Feb 17, 2:57 pm, javier wrote: > Observe that in this situation the numbers I am trying to coerce into > K are rational: Apparently I was assuming too much. The result of the evaluation of the character belongs to some cyclotomic field, so apparently the problem is that there is not a coercion

[sage-devel] Re: Sage 4.3.3.alpha0 released

2010-02-17 Thread Kiran Kedlaya
All doctests pass under 64-bit Fedora 10. Kiran -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: ht

[sage-devel] Re: Sage 4.3.3.alpha0 released

2010-02-17 Thread chris wuthrich
> Did you install the optional database before running the test? That > changes which generators are returned for database curves. Yes, the optional database was installed before. Does that that mean that the lines should have a #something, because they are #random depending on #optional ? Chri

[sage-devel] QQbar and group algebras

2010-02-17 Thread javier
Hi all, I am trying to use sage to compute the Artin-Wedderburn decomposition of a group algebra. Since I need exact expressions I am working over QQbar rather than over CC. When trying to compute the idempotents I get an error resulting from an attempt to coerce a rational number into QQbar. A mi

Re: [sage-devel] Trac #8276: zero and identity matrices.

2010-02-17 Thread Florent Hivert
Hi Jason, Sorry for the multiple answers: > >> However, I really wonder whether this fix is necessary. I understand the > >> the bug pointed out is a bad bug, but I think that when I call > >> zero_matrix() I will usually quickly modify the returned matrix. Are > >> there many useful situat

[sage-devel] Re: Search path for "load" and "attach"

2010-02-17 Thread Pat LeSmithe
On 02/15/2010 03:23 PM, William Stein wrote: > I'm sure it will get implemented. I don't think it will be that hard. > It's just a matter of time. It would likely just involve changing > the function "load" in SAGE_ROOT/devel/sage/sage/misc/preparser.py I've posted a first take at http://trac

[sage-devel] Trac #8276: zero and identity matrices.

2010-02-17 Thread Florent Hivert
Hi Jason, >> However, I really wonder whether this fix is necessary. I understand the >> the bug pointed out is a bad bug, but I think that when I call >> zero_matrix() I will usually quickly modify the returned matrix. Are >> there many useful situations where it is important that M = >> ze

Re: [sage-devel] new sympow homepage?

2010-02-17 Thread John Cremona
On 17 February 2010 00:24, William Stein wrote: > On Tue, Feb 16, 2010 at 4:05 PM, François Bissey > wrote: >> Hi, >> >> it seems that the author of sympow left the University of Bristol. >> Consequently his homepage there has been removed along with >> sympow sources. Does anyone knows where it