On Wednesday, May 22, 2019 at 7:25:26 AM UTC-7, Simon King wrote:
>
>
> I tend to argue that in the first place, SageMath is a maths software.
> And mathematically, universal constructions do come "with batteries"
> included. Hence, the projections and coprojections are part of the
> constructio
Let us know if you find a way to fix that. All my attempts failed (make
doc-clean, dist-clean)
David.
Le mardi 21 mai 2019 10:35:38 UTC+2, Nicolas M. Thiéry a écrit :
>
>
> Just for the record: same error here on Balthazar's laptop, sage
> 8.8.beta5, fresh Ubuntu 18.04.
>
> Cheers,
>
Hi Vincent,
On 2019-05-22, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> I am not a big fan of bundling everything into a single
> bigger object. What about returning a triple
> (V, projections, coprojections)?
I tend to argue that in the first place, SageMath is a maths software.
And ma
Hi Eric,
On 2019-05-22, Eric Gourgoulhon wrote:
> According to
> https://ipython.readthedocs.io/en/stable/config/integrating.html
> if _repr_latex_() returns None then it falls back to repr(). So a strategy
> could be to implement _repr_latex_ in SageObject (I guess all Cython
> objects are in
I am not a big fan of bundling everything into a single
bigger object. What about returning a triple
(V, projections, coprojections)?
Le 22/05/2019 à 11:19, Simon Brandhorst a écrit :
Right now I can do
sage: V = ZZ^2
sage: D = V.direct_sum(V)
sage: D
Free module of degree 4 and rank 4 over Inte
Right now I can do
sage: V = ZZ^2
sage: D = V.direct_sum(V)
sage: D
Free module of degree 4 and rank 4 over Integer Ring
Echelon basis matrix:
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
But the result has forgotten that it is a direct sum.
Of a direct sum I expect, that it has a projection and a co-
Le mercredi 22 mai 2019 10:49:33 UTC+2, Eric Gourgoulhon a écrit :
>
> I've tested the code above and it fully solves
> https://trac.sagemath.org/ticket/23330
>
>
PS: if someone would like to have a look, I've pushed the code to the trac
branch:
https://git.sagemath.org/sage.git/commit/?h=u/egour
Hi Simon,
Le mercredi 22 mai 2019 09:15:10 UTC+2, Simon King a écrit :
>
> A lot of Sage objects are written in Cython. So, a potential problem of
> that approach would be multiple inheritance.
>
>
Ah yes, that's right...
According to
https://ipython.readthedocs.io/en/stable/config/integrat
Hi Eric,
On 2019-05-21, Eric Gourgoulhon wrote:
> Le lundi 20 mai 2019 07:55:30 UTC+2, Kwankyu Lee a écrit :
>>
>> . Moreover many sage objects currently are displayed broken if typeset.
>>
>
> In that case, a solution could be to introduce a new class,
> TypesetSageObject, say, to implement _r
