post more

28 views
Skip to first unread message

William Stein

unread,
Jan 29, 2011, 12:31:21 AM1/29/11
to sage-devel
Hi Sage-Devel,

Last year in January 2010, there were 1580 messages on sage-devel.
This year, in January 2011, there have so far been only 604 messages.

What are people working on?

Besides writing code on top of Sage for number theory related projects
(which goes into http://code.google.com/p/purplesage/), I've mainly
been "mulling over" (but not actually writing code) what's going to
happen with making the power of Sage available over the web in some
highly-scalable manner. I would really like to kick into gear the
recent idea for evaluating a "single block of code" very robustly,
since many other tools could build on that. There was a lot of
discussion about this a week or two ago, but nobody popped up and did
all the work for me, which suggests I should stop being lazy and
actually write some code. Also, a lot of this problem is really
about how to setup a solution in the particular environment of the
sage.math cluster, which few people have access to.

If every person reading responded with a paragraph about what they've
been up to related to sage this month, then maybe we could get to 1000
messages by the end of the month!

-- William

--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org

Message has been deleted

Jason Grout

unread,
Jan 29, 2011, 12:49:40 AM1/29/11
to sage-...@googlegroups.com


I've just advertised to students here at Drake about doing the single
block of code in a highly scalable manner. At least two students and I
are meeting next week to start on it. If there were some other people
working on it, we should coordinate efforts. Some of these students
have had exposure to Sage, but there will probably be a bit of ramp-up time.

Here is the webpage I made to recruit students:

http://artsci.drake.edu/grout/doku.php/sage

Thanks,

Jason

Rob Beezer

unread,
Jan 29, 2011, 1:13:33 AM1/29/11
to sage-devel
Totally refactoring the matrix kernel code in a condo at Whistler,
Canada while my family skies during the day. Slippery boards and I
don't get along.

Only about 300 failing doctests left to chase down.

Rob

On Jan 28, 9:31 pm, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?
>
> Besides writing code on top of Sage for number theory related projects
> (which goes intohttp://code.google.com/p/purplesage/), I've mainly

Simon King

unread,
Jan 29, 2011, 2:30:36 AM1/29/11
to sage-devel
Hi William,

On 29 Jan., 06:31, William Stein <wst...@gmail.com> wrote:
> What are people working on?

* Finite dimensional quotients of path algebras, with the eventual aim
of computing Ext algebras of basic algebras; that will take a while.
* Various implementations of free (not necessarily unital or
associative) algebras, on top of what is provided by Gap and Singular
(letterplace); work in progress.
* Clean up Hom-Categories: Needs a complete refactor. Ongoing work
with Nicolas, #10668.


* Pickling of functors (it currently does not preserve certain
important attributes!); #10460, needs review.
* Implement containment test of morphisms in categories, improve
containment test for objects in categories, implement the classes of
objects/morphisms of categories; #10667, needs review.

* Speed up matrix group morphisms; #10659, positive review

* Speed up cached_method; #8611, merged.
* Speed up lookup of attributes that are inherited from the category;
#10467, merged

And PLEASE, would someone look at #8800? It needs review for quite a
while, apparently it starts to bit rot, it fixes about 15 bugs, and I
need it for some of the stuff above.

Cheers,
Simon

Ivan Andrus

unread,
Jan 29, 2011, 2:41:16 AM1/29/11
to sage-...@googlegroups.com
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?
>
> Besides writing code on top of Sage for number theory related projects
> (which goes into http://code.google.com/p/purplesage/), I've mainly
> been "mulling over" (but not actually writing code) what's going to
> happen with making the power of Sage available over the web in some
> highly-scalable manner. I would really like to kick into gear the
> recent idea for evaluating a "single block of code" very robustly,
> since many other tools could build on that. There was a lot of
> discussion about this a week or two ago, but nobody popped up and did
> all the work for me, which suggests I should stop being lazy and
> actually write some code. Also, a lot of this problem is really
> about how to setup a solution in the particular environment of the
> sage.math cluster, which few people have access to.

Incidentally, this seems like the perfect project to have some battle hardened Stack Overflow programmers on.

> If every person reading responded with a paragraph about what they've
> been up to related to sage this month, then maybe we could get to 1000
> messages by the end of the month!

Mostly using it work work on research for my dissertation, but I also worked on the Mac application some and wrote a patch to display matrices in customizable ways.

-Ivan

P.S. William, I was wondering if you use the Mac application as a "menu extra" to control the Sage notebook server since it was initially your idea.

Eviatar

unread,
Jan 29, 2011, 3:20:53 AM1/29/11
to sage-devel
I'm working on implementing De Bruijn sequences (just need to fix up
the patch), cellular automata, precise fractional ranges, and possibly
a magic square solver, just for fun. I also submitted a patch for
weighted choice recently.

William Stein

unread,
Jan 29, 2011, 3:27:02 AM1/29/11
to Minh Nguyen, sage-...@googlegroups.com
On Fri, Jan 28, 2011 at 9:43 PM, Minh Nguyen <nguye...@gmail.com> wrote:
> Hi William,

>
> On Sat, Jan 29, 2011 at 4:31 PM, William Stein <wst...@gmail.com> wrote:
>> If every person reading responded with a paragraph about what they've
>> been up to related to sage this month, then maybe we could get to 1000
>> messages by the end of the month!
>
> I've been documenting some graph algorithms used by the graph theory
> module, and providing time complexity analysis. See the following page
> for latest results of the documentation project:
>
> http://code.google.com/p/graph-theory-algorithms-book/

Wow, that's amazing. I didn't even know about this. It's a 248-page
book on algorithmic graph theory with tons of Sage-based examples,
pretty pictures, etc. Wow. Very cool.

William

>
> --
> Regards
> Minh Van Nguyen

Emil Widmann

unread,
Jan 29, 2011, 3:36:06 AM1/29/11
to sage-devel
> > What are people working on?

worked on the "small binary project", had a small live CD ISO (400 mb)
and an alternative Virtual Machine with just 407 MB size.
Currently I make a Live "dev" distribution (670 MB) with working
cython and working "sage -b". I also want to include a small GUI to
set up a sage server and then turn it into a VM (but I struggle to get
permissions right).
After that I want to write a short script for automated "stripping" of
binaries and document the process to build a Live CD, with a
repository of the base distribution (if time allows ...).

Simon King

unread,
Jan 29, 2011, 3:54:40 AM1/29/11
to sage-devel
Hi William,

On 29 Jan., 06:31, William Stein <wst...@gmail.com> wrote:
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.

I wonder if that comes from the fact that there are so many (too many,
I'd say) sage-related list. There exist:

sage-algebra
sage-combinat-devel
sage-devel
sage-flame
sage-notebook
sage-nt
sage-solaris
sage-support

How many did I forgot? Hang on: I remember that recently a new support
location was opened - but I don't remember where it was. Simply I
don't see the point of having such a place in addition to sage-
support, so, I won't go there.

There is a large overlap of these lists. For example, Sage is a
computer ALGEBRA project. Hence, the majority of development is
expected to be related with algebra. Thus, why is there a separate
list for algebra? And why is there, in addition to sage-algebra, also
sage-nt?

Personally, I find it frustrating that category/coercion stuff is
expected to be discussed on sage-algebra (and then usually just
between 2 or 3 people) even though that topic usually touches the main
engine of Sage. And I could imagine that some people feel a similar
frustration in their respective topic, thus posting less frequently,
out of frustration.

I don't think that any of these lists had a traffic that would justify
splitting them up. I'd find it easier to follow two big lists than 8
small lists.

Cheers,
Simon

William Stein

unread,
Jan 29, 2011, 4:11:32 AM1/29/11
to sage-...@googlegroups.com
On Sat, Jan 29, 2011 at 12:54 AM, Simon King <simon...@uni-jena.de> wrote:
> Hi William,
>
> On 29 Jan., 06:31, William Stein <wst...@gmail.com> wrote:
>> Last year in January 2010, there were 1580 messages on sage-devel.
>> This year, in January 2011, there have so far been only 604 messages.
>
> I wonder if that comes from the fact that there are so many (too many,
> I'd say) sage-related list. There exist:
>
> sage-algebra
> sage-combinat-devel
> sage-devel
> sage-flame
> sage-notebook
> sage-nt
> sage-solaris
> sage-support
>
> How many did I forgot? Hang on: I remember that recently a new support
> location was opened - but I don't remember where it was. Simply I
> don't see the point of having such a place in addition to sage-
> support, so, I won't go there.

It's http://ask.sagemath.org, and it's vastly different than sage-support.

> There is a large overlap of these lists. For example, Sage is a
> computer ALGEBRA project. Hence, the majority of development is
> expected to be related with algebra.

Sage is a "mathematics software" project. I do not think the phrase
"CAS = computer algebra system" accurately describes Sage. Numerical
and other non-algebraic approaches to mathematics are very important
to Sage.

> Thus, why is there a separate
> list for algebra? And why is there, in addition to sage-algebra, also
> sage-nt?
>
> Personally, I find it frustrating that category/coercion stuff is
> expected to be discussed on sage-algebra (and then usually just
> between 2 or 3 people) even though that topic usually touches the main
> engine of Sage. And I could imagine that some people feel a similar
> frustration in their respective topic, thus posting less frequently,
> out of frustration.

That's a very valid complaint. Maybe the proliferation of lists was a mistake.

> I don't think that any of these lists had a traffic that would justify
> splitting them up. I'd find it easier to follow two big lists than 8
> small lists.

You may very well be right.

-- William

Justin C. Walker

unread,
Jan 29, 2011, 4:25:33 AM1/29/11
to sage-...@googlegroups.com

On Jan 29, 2011, at 01:11 , William Stein wrote:

> On Sat, Jan 29, 2011 at 12:54 AM, Simon King <simon...@uni-jena.de> wrote:
>> Hi William,
>>
>> On 29 Jan., 06:31, William Stein <wst...@gmail.com> wrote:
>>> Last year in January 2010, there were 1580 messages on sage-devel.
>>> This year, in January 2011, there have so far been only 604 messages.
>>
>> I wonder if that comes from the fact that there are so many (too many,
>> I'd say) sage-related list. There exist:

[snip]


> That's a very valid complaint. Maybe the proliferation of lists was a mistake.

+1.

Justin

--
Justin C. Walker, Curmudgeon-At-Large
Institute for the Enhancement of the Director's Income
--------
Experience is what you get
when you don't get what you want.
--------

Simon King

unread,
Jan 29, 2011, 4:44:04 AM1/29/11
to sage-devel
Hi William,

William Stein schrieb:
> It's http://ask.sagemath.org, and it's vastly different than sage-support.

I see. Thank you for the link!

> Sage is a "mathematics software" project. I do not think the phrase
> "CAS = computer algebra system" accurately describes Sage. Numerical
> and other non-algebraic approaches to mathematics are very important
> to Sage.

Good point. I certainly have a tendency to ignore numbers.

But what main mathematical components are there for sage? Algebra,
combinatorics, numerics, symbolics, ... ? And what non-mathematical
components? Distribution, notebook, ports (Solaris, Windows), public
relations, quality management (bug fixes, doc tests, preventing code
smells), teaching...?

Should there be a separate list for each (or at least most) of them?

If not: Why is there a list for algebra but not for numerics? That
would create the public impression that, after all, Sage is *not*
about numerics but about algebra.

If yes: My fear is that people would then mainly hang around in one or
two small lists that match their personal interests, and would thus
completely loose track of what happens in other fields and become a
one-trick pony.

Of course, one can hardly be an expert in all parts of Sage. But at
least the Sage discussion lists should offer the opportunity to get a
vague impression of what's going on, to broaden one's horizon (so that
even *I* get a glimpse of numerics...).

And that's easier with few well-balanced lists.

Cheers,
Simon

daveloeffler

unread,
Jan 29, 2011, 5:34:11 AM1/29/11
to sage-devel


On Jan 29, 5:31 am, William Stein <wst...@gmail.com> wrote:
> If every person reading responded with a paragraph about what they've
> been up to related to sage this month, then maybe we could get to 1000
> messages by the end of the month!

I wrote code for computing local components of modular forms, based on
my paper with Jared Weinstein. I also did a Sage demo session as part
of my undergraduate modular forms lecture course, which led to the
discovery of several bugs in the Sage modular forms code, all of which
I have now fixed. I am supervising a student who is implementing the p-
adic zeta function in Sage as a project.

David

Simon King

unread,
Jan 29, 2011, 5:50:44 AM1/29/11
to sage-devel
Hi William,

On 29 Jan., 10:11, William Stein <wst...@gmail.com> wrote:
> It's http://ask.sagemath.org, and it's vastly different than sage-support.

I do not like the style of that page: It seems too noisy to me.

However, I find the tags nice. Could that somehow be adopted for sage
discussion lists?

In that way, one could have just one (or two) big lists. On the start
page, all topics with recent activity are visible, so that people have
a chance to get a small glimpse of it, by seeing the title (and
perhaps they feel inclined to actually read it, even though it isn't
their primary field of interest). Then, by just one click on a tag,
one gets a list that matches the interests better.

What do people think about the idea of just having one list, and
replace the old lists sage-algebra, sage-combinat-devel, sage-flame,
sage-notebook, sage-... by tags?

Perhaps there could even be a hierarchy of tags?
No tag: See all recent activity, get a general overview.
Top-tag "maths": See all activity relating with math in general.
Sub-tag "maths-algebra", sub-sub-tag "maths-algebra-number theory":
Guess what.

Labeling a post with several tags should also be easier than cross-
posting on several lists, and customizing should be easy as well.

0.02 Euros,
Simon

John Cremona

unread,
Jan 29, 2011, 5:55:37 AM1/29/11
to sage-...@googlegroups.com
Not much Sage this last month, but:

I wrote code in Sage to handle all the elliptic curve database files
starting from the output of my main C++ program; which works well and
is more robust than the collection of scripts and other C++ programs I
used to use.

The "main C++ program" itself is in the eclib distribution but mostly
not accessible from within Sage. I intend to change that, so that any
Sage user can contribute to extending the database.

John

William Stein

unread,
Jan 29, 2011, 6:24:54 AM1/29/11
to sage-...@googlegroups.com
On Sat, Jan 29, 2011 at 2:50 AM, Simon King <simon...@uni-jena.de> wrote:
> On 29 Jan., 10:11, William Stein <wst...@gmail.com> wrote:
>> It's http://ask.sagemath.org, and it's vastly different than sage-support.
>
> However, I find the tags nice. Could that somehow be adopted for sage
> discussion lists? [snip]

The Sage mailing list are "Google groups", and as such, unfortunately,
they are not customizable in any nontrivial ways.

-- William

David Joyner

unread,
Jan 29, 2011, 7:57:52 AM1/29/11
to sage-...@googlegroups.com
On Sat, Jan 29, 2011 at 12:31 AM, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?


One thing I've been working on very recently is writing scripts to parse
csv files derived from xsl files. The data can be fed into Sage and
analyzed using the graph theory functionality of Sage. These kinds of
things can be done using commercial products but I try not to use them
as I find them annoying to use and over-priced. There are two
sources for the csv files, but in each case they arise from an
xls spreadsheet. One is an FBR database of activities of some
animal rights groups (I hope to get paid during the summer for
basically helping with data mining of some sociology and polysci
databases). Mostly it is a matter of writing simply Python scripts,
which to me is a lot of fun. I'm not seeing any patterns yet that I
could use for a more general Sage package though.

At some point fairly soon I'm going to need to write some pedagogically-oriented
digital steganography programs. (Embed a simple short message
into a small image, probably regarded as a matrix over ZZ/8ZZ
visualized using Sage's matrix plot command.) I don't think Sage
has anything like that yet and it might be a cool thing to have.


>
> Besides writing code on top of Sage for number theory related projects
> (which goes into http://code.google.com/p/purplesage/), I've mainly
> been "mulling over" (but not actually writing code) what's going to
> happen with making the power of Sage available over the web in some
> highly-scalable manner.     I would really like to kick into gear the
> recent idea for evaluating a "single block of code" very robustly,
> since many other tools could build on that.   There was a lot of
> discussion about this a week or two ago, but nobody popped up and did
> all the work for me, which suggests I should stop being lazy and
> actually write some code.   Also, a lot of this problem is really
> about how to setup a solution in the particular environment of the
> sage.math cluster, which few people have access to.
>
> If every person reading responded with a paragraph about what they've
> been up to related to sage this month, then maybe we could get to 1000
> messages by the end of the month!
>
>  -- William
>
> --
> William Stein
> Professor of Mathematics
> University of Washington
> http://wstein.org
>

> --
> To post to this group, send an email to sage-...@googlegroups.com
> To unsubscribe from this group, send an email to sage-devel+...@googlegroups.com
> For more options, visit this group at http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org
>

Dima Pasechnik

unread,
Jan 29, 2011, 10:29:18 AM1/29/11
to sage-devel
Hi William,

I figured out how to catch GAP interrupts in libgap. Basically, I use
the existing Sage's abort() functionality,
inserted in the appropriate place in GAP's ReadEvalDebug function, to
escape back to gap.pyx from the GAP interpreter loop.
Hopefully this should be sufficient to mimic most of the functionality
of the existing pexpect interface.
Although certainly there is still quite a bit of code to write.

As well, I wonder whether the recent Jeroen's rewrite of sign_on/
sign_off stuff should be used instead of
the current functionality --- are there any immediate plans to do such
a move to Jeroen's code?


I'll report the progress on this on the corresponding trac ticket,
when I have more time over the coming Chinese New Year.
(I started to teach two new courses this week, and this does not give
me much time for Sage or anything else
--- while I am also supposed to work on 3 or 4 papers with various
people).

Dima

On Jan 29, 1:31 pm, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?
>
> Besides writing code on top of Sage for number theory related projects
> (which goes intohttp://code.google.com/p/purplesage/), I've mainly

Niles

unread,
Jan 29, 2011, 10:44:37 AM1/29/11
to sage-devel


On Jan 29, 6:24 am, William Stein <wst...@gmail.com> wrote:
> On Sat, Jan 29, 2011 at 2:50 AM, Simon King <simon.k...@uni-jena.de> wrote:
> > On 29 Jan., 10:11, William Stein <wst...@gmail.com> wrote:
> >> It'shttp://ask.sagemath.org, and it's vastly different than sage-support.
>
> > However, I find the tags nice. Could that somehow be adopted for sage
> > discussion lists? [snip]
>
> The Sage mailing list are "Google groups", and as such, unfortunately,
> they are not customizable in any nontrivial ways.


In fact, the features that Simon mentions were, as I understand it,
the reason some people thought ask.sagemath could eventually be a good
step up from sage-support. I, for one, am in favor of a similar site
for sage development! (before you oppose it, try to search through the
past messages on this list for something you know happened about a
month ago but can't quite remember-- I think you'll find it
challenging.)


As for what I've been working on, I just joined sage development this
year, so my personal posting rate to the sage lists has seen a
dramatic increase :) I spent a large amount of time and effort
writing code for multivariate power series (ticket #1956), and I very
much hope it gets a final review soon.

I also filed some new tickets having to do with algebra and graphics,
and fixed a few other tickets. I think I even did a review or two.
Oh, and I'm really happy about the new look of the sage documentation,
another change I got to be involved with :)

In general, it's been a fun and challenging year!

-Niles


Martin Albrecht

unread,
Jan 29, 2011, 10:52:54 AM1/29/11
to sage-...@googlegroups.com
On Saturday 29 January 2011, William Stein wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?

- I started working on M4RI again after meeting with Clément for 2 days this
week to discuss elimination.

- I've also worked on various utility functions for polynomial system solving
such as predicting the highest degree reached during the computation and

http://trac.sagemath.org/sage_trac/ticket/1819 hint hint

Cheers,
Martin

--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinr...@jabber.ccc.de

Georg S. Weber

unread,
Jan 29, 2011, 11:19:16 AM1/29/11
to sage-devel
Hi Sage-Devel,

this January I worked on two topics.
Firstly, getting Sage working as an integral part of Gentoo Prefix (a
"hosted" distribution, like Cygwin, MacPorts, ...), under three host
OSes: 32-bit OS X 10.4, 64-bit OS X 10.6, and Maemo 5 (a Debian-based
32-bit Linux on my N900 mobile) --- not with complete success yet, but
e.g. on OS X 10.4, Sage-on-Prefix at least starts up and is usable.

Secondly, I worked on getting the "dual" notion of the modular symbols
into Sage.
I do not have a good name for them yet, for the time being I call them
"comodular symbols". Technically, such a comodular symbol is a Python
dictionary whose keys are "all" the 2x2 matrices with entries from ZZ,
and invariant (in a suitable sense) under some arithmetic subgroup
Gamma (so we need only ever a finite number of key-value pairs to be
actually stored). Since every notion is dual, instead of factoring out
the 2-relations and 3-relations, one has to take the subspace
invariant under 2- and 3-relations. There are also coboundary symbols
(Python dicts on the cusps), and ("dual" to the boundary map) a
coboundary map from these to the comodular symbols, the image of which
is exactly the Co(?)-Eisenstein subspace of the comodular symbols. And
so on, etc.pp.

Why do I do this, since from a theoretical point of view, it's "just
taking the dual(s)"?

On the one hand, that's what half of the papers (from e.g. Greenberg,
Stevens, Pollack, ...), where "modular symbols" occur, actually mean
by "modular symbol". And poor me quite regularly messing things up, I
finally wanted to be able to "put my hands on" these two notions (dual
to each other) a bit more concretely.
On the other hand, there are technical reasons to do this.
Currently, Sage needs to use values from a field when working with
modular symbols. That's OK for QQ, CC, or finite fileds. But already
the integers (ZZ) pose a problem. Although I'm pretty confident that
the current Sage modular symbols code base could be fully
"integralized" (this implies e.g. finding "good" sets of
representatives under the 2- and 3-relations), that does not suffice
for my purposes. Ultimately, I want to work with power series over the
p-adics as "domain of values" --- and these could only be approximated
in computations by certain "domains of values" which are rings with
non-trivial zero-divisors. (Coming not primarily from inevitably
truncating the power series, but from the coefficent rings being
essentially all some ZZ mod p^k, where p^k is a prime power, but with
the power k varying.) For these, the "comodular" computational setting
seems to have some advantages over the usual (Merel, Stein, ...) "Sage
modular" computational setting. (Famous last words ... let's see ...)


Cheers,
Georg

John Cremona

unread,
Jan 29, 2011, 12:03:21 PM1/29/11
to sage-...@googlegroups.com
[I hope someone will soon volunteer to paste in these interesting
reports on "what have been doing recently" into a more permanent
record.]

Georg,

Very interesting.

Did you know that although our descriptions of the modular symbol
method sound as if we are working with the space of modular symbols
itself, in fact almost everything we do is in the dual space? By "we"
here I mean both myself (working in the dual space for 20 years) and
William (ditto for 10 or so).

I'm also interested in the integrality question, and my own code is
pretty good at keeping denominators to a minimum (at most 2), though
admittedly that is just for weight 2 and trivial character.

John

BFJ

unread,
Jan 29, 2011, 2:29:02 PM1/29/11
to sage-devel
Over the winter break I wrote some code in Sage for working with the
Demazure character formula with elements of WeightRing (the group ring
of the weight lattice for a semisimple finite dimensional Lie
algebra). There is an implementation of the Demazure operators as part
of the Crystal framework, but I think it's also useful to work
directly in the WeightRing.

I'd like some feedback about whether people think the following two
things would be a useful addition to the Sage library:

1. A function demazure() (or could be a method of WeightRingElement)
that applies a given list of Demazure operators corresponding to
simple roots to a WeightRingElement, returning the character of the
Demazure module. In particular, if we apply Demazure operators in the
order corresponding to the longest element of the Weyl group, we can
compare the Demazure character formula and the Weyl character formula:

# Check the Demazure character formula in B2
sage: A = WeylCharacterRing(['B',2])
sage: a = WeightRing(A)
sage: space = a.space()
sage: lam = space.fundamental_weights()
sage: rho = sum(list(lam))
sage: wch = A(2*rho) # character of the irreducible representation
sage: ch = a(2*rho) # element in the weight ring
sage: dch = demazure(ch,[1,2,1,2]) # apply 4 Demazure operators
sage: sum([m for (wt,m) in dch.mlist()]) # degree should be 81
81
sage: sorted(wch.mlist()) == sorted(dch.mlist()) # Demazure and Weyl
characters agree!
True


2. A plot() method for WeightRingElement which plots finite characters
for the rank 2 irreducible root systems (type A2, B2, and G2). Here's
an example of the characters of 5 Demazure modules in type B2 building
up to the irreducible G-module V(2*rho)

https://bluedrive.uwstout.edu/users/facultystaff/jonesbe/B2_Demazure_Character.gif

--
Benjamin Jones
University of Wisconsin-Stout
jon...@uwstout.edu
benjami...@gmail.com


On Jan 28, 11:31 pm, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>

Volker Braun

unread,
Jan 29, 2011, 3:05:47 PM1/29/11
to sage-...@googlegroups.com
Jeroen indicated that he'll work on a Sage-4.7 immediately after releasing Sage-4.6.2. This will then integrate a couple of more "dangerous" patches, like the new signal handling and gcc wrapper. They are all tested on Linux, OSX, and Solaris by now but there is a chance that specific versions break something.

As for libgap, I'd recommend you work on top of the new signal framework. I've kept the patches in my own queue for a while now and everything is working fine.

Nicolas M. Thiery

unread,
Jan 29, 2011, 5:37:22 PM1/29/11
to sage-...@googlegroups.com
On Fri, Jan 28, 2011 at 11:30:36PM -0800, Simon King wrote:
> A LOT OF STUFF

Hmm, for myself, not much actually. Basically finishing up my teaching
load for the year, coorganizing Sage days 28, working on tutorials,
planing for a few other Sage events, animating the Sage-Combinat
community. The little remaining time was mostly about trying to catch
up with everything Simon is doing and providing timely answers to his
questions :-)

But in a couple weeks, I'll be back and bang hard on representation
theory of monoids and algebras together with some required category
support behind the scene. And more work on the Sage book (we currently
plan for a paper of the French version for next August).

Cheers,
Nicolas
--
Nicolas M. Thi�ry "Isil" <nth...@users.sf.net>
http://Nicolas.Thiery.name/

Nicolas M. Thiery

unread,
Jan 29, 2011, 5:38:59 PM1/29/11
to sage-...@googlegroups.com
On Sat, Jan 29, 2011 at 02:50:44AM -0800, Simon King wrote:
> On 29 Jan., 10:11, William Stein <wst...@gmail.com> wrote:
> However, I find the tags nice. Could that somehow be adopted for sage
> discussion lists?

That would be great indeed. If anyone has an idea on how to achieve
that, please speak up. We can't currently afford to ask the
sage-combinat friends to all register to sage-devel; it's just too
much traffic.

David Kirkby

unread,
Jan 29, 2011, 5:57:54 PM1/29/11
to sage-...@googlegroups.com
On 29 January 2011 05:31, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.

Every month since February 2010, the posts in sage-devel were down on
the same month in 2009.

January was the only month in 2010 to have more posts than the same
month in 2009. So its no big surprise Jan 2011 is down on Jan 2010, as
a particularly high number of posts were made in Jan 2010. See

http://groups.google.com/group/sage-devel/about?hl=en

I think the proliferation of lists might be a small factor, but I
don't think it is the main one. Since the problem existed before
http://ask.sagemath.org existed, that is certainly not the reason.

Dave

William Stein

unread,
Jan 29, 2011, 6:27:12 PM1/29/11
to sage-...@googlegroups.com
On Sat, Jan 29, 2011 at 7:29 AM, Dima Pasechnik <dim...@gmail.com> wrote:
> Hi William,
>
> I figured out how to catch GAP interrupts in libgap. Basically, I use
> the existing Sage's abort() functionality,
> inserted in the appropriate place in GAP's ReadEvalDebug function, to
> escape back to gap.pyx from the GAP interpreter loop.

Wow, this is absolutely amazing! This is the first progress on the
libgap interface by anybody in two years. I'm very, very impressed.

> Hopefully this should be sufficient to mimic most of the functionality
> of the existing pexpect interface.
> Although certainly there is still quite a bit of code to write.
>
> As well, I wonder whether the recent Jeroen's rewrite of sign_on/
> sign_off stuff should be used instead of
> the current functionality --- are there any immediate plans to do such
> a move to Jeroen's code?

I'm not aware of it. Jeroen, what do you think?

> --
> To post to this group, send an email to sage-...@googlegroups.com
> To unsubscribe from this group, send an email to sage-devel+...@googlegroups.com
> For more options, visit this group at http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org
>

--

Robert Bradshaw

unread,
Jan 30, 2011, 5:49:03 AM1/30/11
to sage-...@googlegroups.com

+1 I might not consolidate to 2 lists, but the -algebra one at least
is very low traffic and often highly relevant to sage-devel (and
anything not mentioned here is probably even lower).

- Robert

Robert Bradshaw

unread,
Jan 30, 2011, 5:52:39 AM1/30/11
to sage-...@googlegroups.com
On Fri, Jan 28, 2011 at 9:31 PM, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> Last year in January 2010, there were 1580 messages on sage-devel.
> This year, in January 2011, there have so far been only 604 messages.
>
> What are people working on?
>
> Besides writing code on top of Sage for number theory related projects
> (which goes into http://code.google.com/p/purplesage/), I've mainly

> been "mulling over" (but not actually writing code) what's going to
> happen with making the power of Sage available over the web in some
> highly-scalable manner.     I would really like to kick into gear the
> recent idea for evaluating a "single block of code" very robustly,
> since many other tools could build on that.   There was a lot of
> discussion about this a week or two ago, but nobody popped up and did
> all the work for me, which suggests I should stop being lazy and
> actually write some code.   Also, a lot of this problem is really
> about how to setup a solution in the particular environment of the
> sage.math cluster, which few people have access to.

I started something on this, but didn't get far.

> If every person reading responded with a paragraph about what they've
> been up to related to sage this month, then maybe we could get to 1000
> messages by the end of the month!

I've tweaked the patchbot a bit, rebased my bit-rotted patches
http://sage.math.washington.edu:21100/ticket/?author=robertwb , and
did some stuff on Cython.

- Robert

koffie

unread,
Jan 30, 2011, 7:07:39 AM1/30/11
to sage-devel
My recent work has been in to speed up a lot of modular symbols
related code, especially the linear algebra it depends on. Not
everything is up to standars to get it into sage but should be in the
near future.


> I'm also interested in the integrality question, and my own code is
> pretty good at keeping denominators to a minimum (at most 2), though
> admittedly that is just for weight 2 and trivial character.
>
> John
>

I'm also very interested in the integrallity question. I'm quite happy
that your code is good at this specific case, since this is the case I
really need for my master thesis which will be related to williams
quartic torsion calculations. When working with Gamma1(p) for p prime
and between 44 to 272 the denominator 2 occurs only for the primes 89,
239 and 257. If you are interested, I found a trick to at least
calculate an integral basis of the modular symbols very efficiently in
the case where the denominator is two.

Nicolas M. Thiery

unread,
Jan 31, 2011, 10:34:28 AM1/31/11
to sage-...@googlegroups.com
On Sun, Jan 30, 2011 at 02:49:03AM -0800, Robert Bradshaw wrote:
> +1 I might not consolidate to 2 lists, but the -algebra one at least
> is very low traffic and often highly relevant to sage-devel (and
> anything not mentioned here is probably even lower).

If I recall correctly, every message to sage-algebra is automatically
forwarded to sage-devel. Or was just an intention that we agreed upon
but did not actually get implemented?

By the way, shall we do the same for sage-combinat-devel?

Best,

Reply all
Reply to author
Forward
0 new messages