[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2012-01-05 Thread Jason Grout
On 1/4/12 10:53 PM, kcrisman wrote: On Jan 4, 9:04 pm, Felix Breuer wrote: I'd be happy to do some more work on it. I would need some pointers, though, on what still needs to be done. I can write up some documentation next week. Cheers, Felix PS: I am at the Joint Meetings right now. Are yo

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2012-01-04 Thread kcrisman
On Jan 4, 9:04 pm, Felix Breuer wrote: > I'd be happy to do some more work on it. I would need some pointers, > though, on what still needs to be done. I can write up some documentation > next week. > > Cheers, > Felix > > PS: I am at the Joint Meetings right now. Are you at JMM? Or are there an

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2012-01-04 Thread Felix Breuer
I'd be happy to do some more work on it. I would need some pointers, though, on what still needs to be done. I can write up some documentation next week. Cheers, Felix PS: I am at the Joint Meetings right now. Are you at JMM? Or are there any Sage-related events at JMM? -- To post to this gr

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2012-01-04 Thread John H Palmieri
On Monday, December 5, 2011 6:07:56 PM UTC-8, Felix Breuer wrote: > > Here is a first implementation of the cup product. [snip] > If there is interest, I would be willing to put in the additional work to > add this function to Sage. But for that I would need to learn about the all > the ot

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2011-12-05 Thread Felix Breuer
Here is a first implementation of the cup product. I hope (of course) that the code is correct, but it is certainly not very idomatic. Any suggestions for improvement are welcome! def cup_product(X,c1,dim1,c2,dim2): d = dim1 + dim2 faces1 = list(X.n_faces(dim1)) faces2 = list(X.n_fa

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2011-12-04 Thread John H Palmieri
On Sunday, December 4, 2011 7:47:13 PM UTC-8, Felix Breuer wrote: > > Hello again! > > I have followed your instructions and come up with the following: > > X = simplicial_complexes.Torus() > C = X.chain_complex(cochain=True) > print C._chomp_repr_() > H = C.homology(generators=True) > gen1 = H[1

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2011-12-04 Thread Felix Breuer
Hello again! I have followed your instructions and come up with the following: X = simplicial_complexes.Torus() C = X.chain_complex(cochain=True) print C._chomp_repr_() H = C.homology(generators=True) gen1 = H[1][1][0] gen2 = H[1][1][1] d1 = C.differential()[1] This works very well so far. In pa

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2011-12-04 Thread Felix Breuer
Hi John! Thanks for your detailed answer! I will try to figure this out and get back to you! Felix -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group a

[sage-support] Re: computing the cup-product in the cohomology of a simplicial complex

2011-12-03 Thread John H Palmieri
On Saturday, December 3, 2011 6:15:03 PM UTC-8, Felix Breuer wrote: > > Hello everyone! > > I would like to compute the cup-product of two chains in the cohomology of > a simplicial complex. > Me too. > > What I have so far, is that I have the simplicial complex realized as a > SimplicialCo