Re: [sage-combinat-devel] Re: Inversion of matrix...

2013-09-05 Thread Nicolas Borie
Hi all, Thanks you Simon for the time you spent to give answers. Thanks you also Vincent for the suggestion. I have now a trac number : http://trac.sagemath.org/ticket/15160 Feel free to rephrase the ticket description or modify anything (still my English...). This is far from final but

Re: [sage-combinat-devel] Re: Inversion of matrix...

2013-09-04 Thread Vincent Delecroix
Hi Nicolas B., T. Monteil get the same problem in #10063 when he fixes the determinant. He used something like {{{ try: test = my_ring.is_field() except AttributeError: test = False }}} Vincent 2013/9/4 Nicolas Borie nicolas.bo...@univ-mlv.fr: On 03/09/2013 22:48, Simon King wrote:

Re: [sage-combinat-devel] Re: Inversion of matrix...

2013-09-04 Thread Nicolas Borie
On 03/09/2013 22:48, Simon King wrote: PS: - I recommend to *try* (no guarantee it will work) to create a new type of action A (inherit from sage.categories.action.Action). You need to implement its _call_ and _repr_name_, and I think that's all what is to do (but perhaps you'll find

[sage-combinat-devel] Re: Inversion of matrix...

2013-09-03 Thread Simon King
Hi Nicolas, On 2013-09-03, Nicolas Borie nicolas.bo...@univ-mlv.fr wrote: For now : *** sage: SF = SymmetricFunctions(QQ).schur() sage: Id = identity_matrix(SF, 2); Id [s[] 0] [ 0 s[]] sage: Id.inverse() Traceback (most recent

Re: [sage-combinat-devel] Re: Inversion of matrix...

2013-09-03 Thread Nicolas Borie
On 03/09/2013 22:48, Simon King wrote: PS: On 2013-09-03, Simon King simon.k...@uni-jena.de wrote: Shouldn't there always be a coercion from the base ring into a unital algebra? It seems to me that the underlying problem is that matrix spaces do not properly use the new coercion model (in

[sage-combinat-devel] Re: Inversion of matrix...

2013-09-03 Thread Simon King
PS: On 2013-09-03, Simon King simon.k...@uni-jena.de wrote: Shouldn't there always be a coercion from the base ring into a unital algebra? It seems to me that the underlying problem is that matrix spaces do not properly use the new coercion model (in particular, they define their own