Re: [sage-combinat-devel] Constructing homs

2012-12-05 Thread Nicolas M. Thiery
On Tue, Dec 04, 2012 at 08:00:57PM -0800, Andrew Mathas wrote: Thanks Nicolas. I appreciate your efforts in putting the category framework in place! It's beginning to grow on me:) :-) Depending how far my explorations go I may end up adding some of the missing pieces... You

Re: [sage-combinat-devel] Constructing homs

2012-12-05 Thread Andrew Mathas
- Matrices with rows and columns indexed by whatever objects I have a (very) rough prototype for this as it is one of the things that I need. Rather than matrices, however, I am thinking of making the underlying object just an array/table as for my applications the full matrix is often

[sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Dima Pasechnik
On 2012-12-05, Andrew Mathas andrew.mat...@sydney.edu.au wrote: --=_Part_1499_29645117.1354701799117 Content-Type: text/plain; charset=ISO-8859-1 - Matrices with rows and columns indexed by whatever objects I have a (very) rough prototype for this as it is one of the things that I

[sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Andrew Mathas
huh? sage: m=matrix([[1,2],[3,4]]) sage: m [1 2] [3 4] sage: m[1,1]=100 sage: m [ 1 2] [ 3 100] sage: Yes, you're right. My issue with matrices is that I can't write something like: sage: matrix([[1,0],[None,0]]) (Unless, of course, you want to correct me again:) A.

[sage-combinat-devel] facade initialisation

2012-12-05 Thread Vincent Delecroix
Dear facade lovers, I just upload on trac a patch about the initialisation of facade sets at #13801. One of the smallest patch I never write... which corrects two errors. Please, send comments. Best, Vincent -- You received this message because you are subscribed to the Google Groups

[sage-combinat-devel] sage.sets.disjoint_set and sage.combinat.set_partitions

2012-12-05 Thread Vincent Delecroix
Hello, I do not understand the purpose of sage.sets.disjoint_set (which moreover has nothing to do with disjoint set) ! As far as I understand it is a duplicate of set partitions with some special features. Am I right ? Best, Vincent -- You received this message because you are subscribed to

[sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Travis Scrimshaw
Hey Andrew, It sounds more like you want to use a spare matrix (or even just a dictionary with a tuple as the key) and fill in entries as you compute them. Best, Travis On Wednesday, December 5, 2012 3:29:27 AM UTC-8, Andrew Mathas wrote: huh? sage: m=matrix([[1,2],[3,4]]) sage: m

Re: [sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Andrew Mathas
Here's a related question: suppose I have an object G in sage. Is there a correct way to ask G if is it a CombinatorialFreeModule? I can check for if hasattr(G,'_basis_keys'): ... but I would have thought that there was a better way to do this... Andrew -- You received this message because

[sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Dima Pasechnik
On 2012-12-05, Andrew Mathas andrew.mat...@sydney.edu.au wrote: --=_Part_33_6944284.1354751535501 Content-Type: text/plain; charset=ISO-8859-1 Here's a related question: suppose I have an object G in sage. Is there a correct way to ask G if is it a CombinatorialFreeModule? I can check

[sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Andrew Mathas
Yes, I worked it out and deleted my question bot before you replied it seems. Thanks anyway, Andrew -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To view this discussion on the web visit

Re: [sage-combinat-devel] Re: Constructing homs

2012-12-05 Thread Nicolas M. Thiery
On Thu, Dec 06, 2012 at 01:13:09AM +, Dima Pasechnik wrote: Here's a related question: suppose I have an object G in sage. Is there a correct way to ask G if is it a CombinatorialFreeModule? I can check for if hasattr(G,'_basis_keys'): ... but I would have thought that there was a

[sage-combinat-devel] End(CombinatorialFreeModule)?

2012-12-05 Thread Dima Pasechnik
I wonder if one can actually work in the endomorphism ring/algebra of a CombinatorialFreeModule, and if yes, how. Examples most appreciated. (Ideally, I would like to know how to work with algebras specified by multiplication coefficients in this framework) Thanks, Dima -- You received this

[sage-combinat-devel] Re: facade initialisation

2012-12-05 Thread Travis Scrimshaw
Hey everyone, What is the reason why facade=True is allowable by Parent? It seems like we always want to pass in the parent(s) which our facade parent is acting for. Best, Travis On Wednesday, December 5, 2012 8:23:01 AM UTC-8, Vincent Delecroix wrote: Dear facade lovers, I just

Re: [sage-combinat-devel] Re: facade initialisation

2012-12-05 Thread Vincent Delecroix
An example in sage.sets.finite_enumerated_set. But an example is not an explanation ;-) 2012/12/6 Travis Scrimshaw tsc...@ucdavis.edu: What is the reason why facade=True is allowable by Parent? It seems like we always want to pass in the parent(s) which our facade parent is acting for. On