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
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:
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
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
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
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