[sage-devel] Re: UniqueRepresentation MRO Question

[enriqu...@gmail.com]

Is there any sense to define a new class of UniqueRepresentation with the 
same characteristics and  other name with the switch of order?  

El miércoles, 13 de marzo de 2024 a las 16:58:49 UTC+1, Travis Scrimshaw 
escribió:

> Hi everyone,
>On https://github.com/sagemath/sage/pull/37128, we find it useful to 
> swap the order of the base classes for UniqueRepresentation. Thus, it 
> becomes
>
> class UniqueRepresentation(WithEqualityById, CachedRepresentation):
>
> I believe this is very reasonable since we want to have objects' 
> (typically parents, but not limited to them) comparison and hashing be 
> first in the MRO. In particular, this is important if we have the following 
> setup:
>
> class Foo(CachedRepresentation):
> pass
>
> class Bar(UniqueRepresentation, Foo):
> pass
>
> That way Bar gets the main benefits of being a UR (fast equality and 
> hashing). With the current way, there is no way (that I know) to simply 
> have the corresponding methods at the Cython level (at best, there is a 
> Python redirect that has to be manually implemented) since WithEqualityById 
> is a Cython cdef class.
>
> However, we then have a problem with unpickling, but I suspect it is a 
> bigger issue. From combinat/root_system/cartan_type.py, the last line fails 
> with an incompatible class order:
>
> sage: pg_CartanType_simple_finite = 
> unpickle_global('sage.combinat.root_system.cartan_type', 
> 'CartanType_simple_finite')
> sage: si1 = unpickle_newobj(pg_CartanType_simple_finite, ())
> sage: from sage.misc.fpickle import unpickleModule
> sage: pg_make_integer = unpickle_global('sage.rings.integer', 
> 'make_integer')
> sage: si2 = pg_make_integer('4')
> sage: unpickle_build(si1, 
> {'tools':unpickleModule('sage.combinat.root_system.type_A'), 't':['A', 
> si2], 'letter':'A', 'n':si2})
>
> Mainly, the last line does a self.__class__ = UR.__class__, where UR is an 
> instance of a UniqueRepresentation. Granted, this is a very old pickle, but 
> I am worried it isn't a problem with this specific pickle.
>
> This is beyond my knowledge of Cython. Any thoughts or advice about this 
> issue would be appreciated.
>
> Thank you,
> Travis
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/00d93dad-e13c-4eae-9c50-5b131f8cfdean%40googlegroups.com.

[sage-devel] Generators of a number field

[enriqu...@gmail.com]

I encountered an issue which can be easily solved interactively but it may 
give problems inside code:
sage: F = CyclotomicField(4, 'b')
sage: R = PolynomialRing(F, 'x, b')
sage: u, v = R.gens()
sage: f = v^2 - u
sage: f0 = f.subs({u:1})
sage: f1 = F[v](f0)
Related to this, I discovered number_field_elements_from_algebraics
which is useful to constuct a number field (abstract or embedded) in QQbar 
from a finite set of algebraic numbers. There are several options but I saw 
no way to change the name of the primitif element ('a') we may produce 
errors as above. 
It seems it is not difficult to add an optional keyword to choose this name.
Best, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/09ccda7a-b774-4e01-89c8-02fac1821821n%40googlegroups.com.

[sage-devel] Fedora sagemath package maintainer

[enriqu...@gmail.com]

I have learnt that at this momente there is no Fedora sagemath package 
maintainer. I am a Fedora user but I do not use the rpm package; more 
relevant, I do not have the skills for this maintenance.
Would anyone take the task?
Best regards, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/68fc6152-0cb4-4f53-beba-449b9be7f02an%40googlegroups.com.

[sage-devel] Problems with symmetric groupos

[enriqu...@gmail.com]

The following code gives problems:

sage: A5 = AlternatingGroup(5) 
sage: h0 = A5.hom(codomain=A5, im_gens=A5.gens()) 
--- 
ValueErrorTraceback (most recent call last) 
Cell In [22], line 1 
> 1 h0 = A5.hom(codomain=A5, im_gens=A5.gens()) 

...

libgap.function_factory("GroupHomomorphismByImagesNC") 

ValueError: images do not define a group homomorphism


It is probably related with the following:

sage: A5.gens()
((3,4,5), (1,2,3,4,5))
sage: libgap(A5).GeneratorsOfGroup()
[ (1,2,3,4,5), (3,4,5) ]

I works for AlternatingGroup(n) for n = 3, 4.

Probably independent problem, but if I want to construct a presentation of 
a group after importing wrap_FpGroup the code 
wrap_FpGroup(libgap(G).IsomorphismFpGroup().Range()) works for 
PermutationGroup([(1,2),(1,2,3,4)]) but not for SymmetricGroup(4)

Thanks, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/f16b68d1-5f3a-4eea-80a6-7199a53b81a2n%40googlegroups.com.

[sage-devel] Re: SageMath docker image + mybinder.org

[enriqu...@gmail.com]

I checked the dockerfile (with 10.0 and replacing noteobook by jupyterlab) 
and besides some missing icons it works. It is nice to have several 
alternatives. In conda I could add optional packages; is it possible with 
this new dockerfile? Thanks, Enrique.

El jueves, 17 de noviembre de 2022 a las 20:33:10 UTC+1, 
enriqu...@gmail.com escribió:

> There is also a working solution with conda (see the environment.yml file 
> in https://github.com/sagemath/sage-binder-env 
> <https://github.com/sagemath/sage-binder-env/issues/9>)
>
> El jueves, 17 de noviembre de 2022 a las 10:44:16 UTC+1, Eric Gourgoulhon 
> escribió:
>
>> PS: I confirm that your solution works for the notebooks of 
>> https://sagemanifolds.obspm.fr/examples.html
>> The start up is quite long, but if one is patient enough, it works!
>>
>> Le jeudi 17 novembre 2022 à 09:41:11 UTC+1, Eric Gourgoulhon a écrit :
>>
>>> Hi,
>>> Le mercredi 16 novembre 2022 à 23:53:41 UTC+1, de...@benjamin-hackl.at 
>>> a écrit :
>>>
>>>> Hey all,
>>>>
>>>> I really liked the way of making code accessible via a repository or 
>>>> gist containing a bunch of notebooks together with a simple Dockerfile 
>>>> that 
>>>> has not much more than "FROM sagemath/sagemath:version" in it -- but this 
>>>> is something that broke down a while ago (
>>>> https://github.com/sagemath/sage-binder-env/issues/9, couldn't find a 
>>>> trac ticket).
>>>>
>>>> Now, I don't speak Jupyter well enough to understand why it doesn't 
>>>> still work, but I've found that if, instead of using notebook from 
>>>> SageMath's venv, one installs Python 3 + Jupyter separately in the 
>>>> container and links the SageMath kernel to it, the docker images *can* 
>>>> still be used with mybinder. I've left details here: 
>>>> https://github.com/sagemath/sage-binder-env/issues/9#issuecomment-1317769194,
>>>>  
>>>> mybinder link: 
>>>> https://mybinder.org/v2/gist/behackl/a5d25c901ec557565f99331b130f09a2/HEAD
>>>> .
>>>>
>>>
>>> Thanks for sharing! It's very nice that we can have mybinder + Sage 
>>> working again! 
>>>
>>> Eric.
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/c162362b-0178-417a-b4ee-37dcf7a9274dn%40googlegroups.com.

[sage-devel] Re: Ideals in LaurentPolynomialRing

[enriqu...@gmail.com]

I tried to compute associated_primes and it works, maybe it is related to 
the bug.

El miércoles, 31 de mayo de 2023 a las 22:20:43 UTC+2, enriqu...@gmail.com 
escribió:

> I guess it can be possible to get a smaller example and it may be possible 
> that this code has other problems. My goal is to compute the Fitting ideals 
> of the "abelian" Alexander matrix of a finitely presented group. If you 
> execute and hold the two last paragraphs, for me the execution time of the 
> first of those paragraphs is quite fast while the last one takes really 
> long (I have no patience to say how long if it ends).
> I try to provide you a shorter code starting directly with the matrix 
> (print out the list of coefficients and recreate it) but in that case both 
> codes were fast.
> So maybe the problem is not on Laurent polynomials but I still share it 
> just in case.
> Thanks, Enrique.
>
> El miércoles, 31 de mayo de 2023 a las 15:24:46 UTC+2, Kiran Kedlaya 
> escribió:
>
>> I wrote that code into the Sage library and it is supposed to be doing 
>> exactly what you proposed (clear denominators and do the computation in the 
>> polynomial ring). It is possible the regression was triggered by an update 
>> to Singular; it would indeed be helpful to identify a minimal example of 
>> the problem and then post it to a ticket.
>>
>> I believe there are also some upstream bugs with minimal associated 
>> primes, e.g., https://github.com/sagemath/sage/issues/29671.
>>
>> Kiran
>>
>> On Monday, May 29, 2023 at 8:53:59 PM UTC-7 Travis Scrimshaw wrote:
>>
>>> Dear Enrique,
>>>I am having a bit of trouble understanding exactly what computations 
>>> are slow and fast from your description. As Nils said, can you give us some 
>>> explicit code (with some comments about which parts are slow)?
>>>
>>> Best,
>>> Travis
>>>
>>> On Tuesday, May 30, 2023 at 3:28:39 AM UTC+9 Nils Bruin wrote:
>>>
>>>> Dear Enrique,
>>>>
>>>> From what you write I get the impression you may be talking about a 
>>>> regression in performance relative to earlier versions of sage. If you 
>>>> want 
>>>> to make an actionable item out of this, you'll probably have to file a 
>>>> ticket with explicit code on it that can be profiled; preferably with an 
>>>> indication why you think the performance could be significantly improved. 
>>>> That doesn't guarantee someone will work on it but it at least gives them 
>>>> a 
>>>> place to start if they want to, including you yourself! You could file it 
>>>> as an "enhancement" or even as a "bug" if you can convincingly show it's a 
>>>> regression. In the latter case you would probably end up identifying a 
>>>> version in which performance was significantly better. A git diff on some 
>>>> of the relevant files could then perhaps very quickly show what's 
>>>> happening.
>>>>
>>>>
>>>>
>>>> On Monday, 29 May 2023 at 09:07:07 UTC-7 enriqu...@gmail.com wrote:
>>>>
>>>>> Some time ago I had some computations on ideals in Laurent polynomial 
>>>>> rings, namely looking for minimal associated primes. Basically, I 
>>>>> converted 
>>>>> any generator into a polynomial, study the ideal in the polynomial ring, 
>>>>> and forget the prime ideals containing monomials. From some time ago, it 
>>>>> is 
>>>>> much easier since it can be done directly in the ring of Laurent 
>>>>> polynomials. 
>>>>> Yesterday these computations on an ideal with 80 generators were 
>>>>> really slow, but for some reason I checked that if the generators were 
>>>>> converted to elements in the associated polynomial ring, and then the 
>>>>> ideal 
>>>>> in the Laurent polynomial ring is constructed, then those computations 
>>>>> were 
>>>>> solved really fast. 
>>>>> I checked the code but I was not able to isolate the reason. Best, 
>>>>> Enrique.
>>>>>
>>>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9d9668c7-1bce-4aa1-ad86-9c81e3f53b60n%40googlegroups.com.

[sage-devel] Re: Ideals in LaurentPolynomialRing

[enriqu...@gmail.com]

I guess it can be possible to get a smaller example and it may be possible 
that this code has other problems. My goal is to compute the Fitting ideals 
of the "abelian" Alexander matrix of a finitely presented group. If you 
execute and hold the two last paragraphs, for me the execution time of the 
first of those paragraphs is quite fast while the last one takes really 
long (I have no patience to say how long if it ends).
I try to provide you a shorter code starting directly with the matrix 
(print out the list of coefficients and recreate it) but in that case both 
codes were fast.
So maybe the problem is not on Laurent polynomials but I still share it 
just in case.
Thanks, Enrique.

El miércoles, 31 de mayo de 2023 a las 15:24:46 UTC+2, Kiran Kedlaya 
escribió:

> I wrote that code into the Sage library and it is supposed to be doing 
> exactly what you proposed (clear denominators and do the computation in the 
> polynomial ring). It is possible the regression was triggered by an update 
> to Singular; it would indeed be helpful to identify a minimal example of 
> the problem and then post it to a ticket.
>
> I believe there are also some upstream bugs with minimal associated 
> primes, e.g., https://github.com/sagemath/sage/issues/29671.
>
> Kiran
>
> On Monday, May 29, 2023 at 8:53:59 PM UTC-7 Travis Scrimshaw wrote:
>
>> Dear Enrique,
>>I am having a bit of trouble understanding exactly what computations 
>> are slow and fast from your description. As Nils said, can you give us some 
>> explicit code (with some comments about which parts are slow)?
>>
>> Best,
>> Travis
>>
>> On Tuesday, May 30, 2023 at 3:28:39 AM UTC+9 Nils Bruin wrote:
>>
>>> Dear Enrique,
>>>
>>> From what you write I get the impression you may be talking about a 
>>> regression in performance relative to earlier versions of sage. If you want 
>>> to make an actionable item out of this, you'll probably have to file a 
>>> ticket with explicit code on it that can be profiled; preferably with an 
>>> indication why you think the performance could be significantly improved. 
>>> That doesn't guarantee someone will work on it but it at least gives them a 
>>> place to start if they want to, including you yourself! You could file it 
>>> as an "enhancement" or even as a "bug" if you can convincingly show it's a 
>>> regression. In the latter case you would probably end up identifying a 
>>> version in which performance was significantly better. A git diff on some 
>>> of the relevant files could then perhaps very quickly show what's happening.
>>>
>>>
>>>
>>> On Monday, 29 May 2023 at 09:07:07 UTC-7 enriqu...@gmail.com wrote:
>>>
>>>> Some time ago I had some computations on ideals in Laurent polynomial 
>>>> rings, namely looking for minimal associated primes. Basically, I 
>>>> converted 
>>>> any generator into a polynomial, study the ideal in the polynomial ring, 
>>>> and forget the prime ideals containing monomials. From some time ago, it 
>>>> is 
>>>> much easier since it can be done directly in the ring of Laurent 
>>>> polynomials. 
>>>> Yesterday these computations on an ideal with 80 generators were really 
>>>> slow, but for some reason I checked that if the generators were converted 
>>>> to elements in the associated polynomial ring, and then the ideal in the 
>>>> Laurent polynomial ring is constructed, then those computations were 
>>>> solved 
>>>> really fast. 
>>>> I checked the code but I was not able to isolate the reason. Best, 
>>>> Enrique.
>>>>
>>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/ae1e10b1-6343-488a-93a6-87213d7e2be2n%40googlegroups.com.
# Return a ring of Laurent polynomials together with an ideal,
# the images of the generators of the group in the abelianization
# and the abelianization itself. The group algebra of the group
# is the quotient of the ring by the ideal
def abelianization(G):
from sage.groups.finitely_presented import wrap_FpGroup
hom_libgap_ab =  libgap(G).MaximalAbelianQuotient()
ab_libgap = hom_libgap_ab.Range()
hom_ab_fp = ab_libgap.IsomorphismFpGroup()
ab0 = hom_ab_fp.Range()
hom_sim = ab0.IsomorphismSimplifiedFpGroup()
ab = wrap_FpGroup(hom_sim.Range())
R = L

[sage-devel] Ideals in LaurentPolynomialRing

[enriqu...@gmail.com]

Some time ago I had some computations on ideals in Laurent polynomial 
rings, namely looking for minimal associated primes. Basically, I converted 
any generator into a polynomial, study the ideal in the polynomial ring, 
and forget the prime ideals containing monomials. From some time ago, it is 
much easier since it can be done directly in the ring of Laurent 
polynomials. 
Yesterday these computations on an ideal with 80 generators were really 
slow, but for some reason I checked that if the generators were converted 
to elements in the associated polynomial ring, and then the ideal in the 
Laurent polynomial ring is constructed, then those computations were solved 
really fast. 
I checked the code but I was not able to isolate the reason. Best, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/e7f232a3-99ee-4dd4-baf4-f5a16d5b813fn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Thank you!

El miércoles, 29 de marzo de 2023 a las 19:58:08 UTC+2, David Roe escribió:

> Hi Enrique,
> I've added you to the Triage team, so now you can manage labels.
> David
>
> On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com  
> wrote:
>
>> Actually I have the same problem, I cannot see how to apply labels to PR 
>> I created. Maybe I can't. Thanks, Enrique.
>>
>> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik 
>> escribió:
>>
>>> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote: 
>>> > 
>>> > Aaron Dwyer and I have just finished an initial implementation of 
>>> covering arrays for sagemath and posted it as a PR ready for review. The 
>>> Provisional workflow on GitHub suggest attaching labels to the PR which we 
>>> cannot figure out how to do. 
>>> > 
>>> > We think labels would help us get the most appropriate reviewers for 
>>> the PR 
>>>
>>> you're invited to the sagemath org :-) 
>>>
>>> Cheers 
>>> Dima 
>>>
>>> > 
>>> > thanks 
>>> > brett 
>>> > 
>>> > -- 
>>> > You received this message because you are subscribed to the Google 
>>> Groups "sage-devel" group. 
>>> > To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-devel+...@googlegroups.com. 
>>> > To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com.
>>>  
>>>
>>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/64c57e5e-2a62-44f9-a91d-dff90109d8cbn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Actually I have the same problem, I cannot see how to apply labels to PR I 
created. Maybe I can't. Thanks, Enrique.

El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik escribió:

> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
> >
> > Aaron Dwyer and I have just finished an initial implementation of 
> covering arrays for sagemath and posted it as a PR ready for review. The 
> Provisional workflow on GitHub suggest attaching labels to the PR which we 
> cannot figure out how to do.
> >
> > We think labels would help us get the most appropriate reviewers for the 
> PR
>
> you're invited to the sagemath org :-)
>
> Cheers
> Dima
>
> >
> > thanks
> > brett
> >
> > --
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com.

[sage-devel] Re: The build of giac-1.9.0.15p0 in sage-9.7 failed on fedora-37 (x86_64)

[enriqu...@gmail.com]

I had the same issue, running ./configure --with-system-pari=no before make 
solved the issue

El sábado, 19 de noviembre de 2022 a las 13:33:07 UTC+1, 
furutaka@gmail.com escribió:

> (It compiled w/o any trouble on the previous version of fedora (36)...)
>
> -- 
> Kazuyoshi Furutaka
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/c7901d87-3aac-4013-91df-84ed16fd52ddn%40googlegroups.com.

[sage-devel] Re: SageMath docker image + mybinder.org

[enriqu...@gmail.com]

There is also a working solution with conda (see the environment.yml file 
in https://github.com/sagemath/sage-binder-env 
)

El jueves, 17 de noviembre de 2022 a las 10:44:16 UTC+1, Eric Gourgoulhon 
escribió:

> PS: I confirm that your solution works for the notebooks of 
> https://sagemanifolds.obspm.fr/examples.html
> The start up is quite long, but if one is patient enough, it works!
>
> Le jeudi 17 novembre 2022 à 09:41:11 UTC+1, Eric Gourgoulhon a écrit :
>
>> Hi,
>> Le mercredi 16 novembre 2022 à 23:53:41 UTC+1, de...@benjamin-hackl.at a 
>> écrit :
>>
>>> Hey all,
>>>
>>> I really liked the way of making code accessible via a repository or 
>>> gist containing a bunch of notebooks together with a simple Dockerfile that 
>>> has not much more than "FROM sagemath/sagemath:version" in it -- but this 
>>> is something that broke down a while ago (
>>> https://github.com/sagemath/sage-binder-env/issues/9, couldn't find a 
>>> trac ticket).
>>>
>>> Now, I don't speak Jupyter well enough to understand why it doesn't 
>>> still work, but I've found that if, instead of using notebook from 
>>> SageMath's venv, one installs Python 3 + Jupyter separately in the 
>>> container and links the SageMath kernel to it, the docker images *can* 
>>> still be used with mybinder. I've left details here: 
>>> https://github.com/sagemath/sage-binder-env/issues/9#issuecomment-1317769194,
>>>  
>>> mybinder link: 
>>> https://mybinder.org/v2/gist/behackl/a5d25c901ec557565f99331b130f09a2/HEAD
>>> .
>>>
>>
>> Thanks for sharing! It's very nice that we can have mybinder + Sage 
>> working again! 
>>
>> Eric.
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/00e51823-9829-4997-90a0-dca71423e3fcn%40googlegroups.com.

Re: [sage-devel] trac.sagemath.org unreachable

[enriqu...@gmail.com]

Probably unrelated because I was able to access the web page after the 
update but right now I get from the browser (chrome and firefox):

Traceback (most recent call last): File 
"/usr/local/lib/python2.7/dist-packages/trac/web/api.py", line 602, in 
send_error data, 'text/html') File 
"/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 1104, in 
render_template template = self.load_template(filename, method=method) File 
"/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 1053, in 
load_template self.get_all_templates_dirs(), auto_reload=self.auto_reload, 
File "/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 758, 
in get_all_templates_dirs for provider in self.template_providers: File 
"/usr/local/lib/python2.7/dist-packages/trac/core.py", line 82, in 
extensions components = [component.compmgr[cls] for cls in classes] File 
"/usr/local/lib/python2.7/dist-packages/trac/core.py", line 208, in 
__getitem__ component = cls(self) File 
"/usr/local/lib/python2.7/dist-packages/trac/core.py", line 144, in 
__call__ self.__init__() File 
"/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 195, in 
__init__ self._init_gitolite_admin() File 
"/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 66, in 
wrapper ret = inner_wrapper(self, *args, **kwargs) File 
"/usr/local/lib/python2.7/dist-packages/fasteners/lock.py", line 302, in 
wrapper return f(self, *args, **kwargs) File 
"/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 52, in 
inner_method return method(self, *args, **kwargs) File 
"/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 226, in 
_init_gitolite_admin self._update_gitolite_admin() File 
"/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 287, in 
_update_gitolite_admin 'repository'.format(out)) TracError: Error updating 
the gitolite-admin repository: Host key verification failed. fatal: Could 
not read from remote repository. Please make sure you have the correct 
access rights and the repository exists. ; you may have to manually clean 
up or re-clone the repository

El miércoles, 31 de agosto de 2022 a las 8:48:19 UTC+2, dim...@gmail.com 
escribió:

> new ssh keys on the server, don't know how to tell this to "git trac"
>
> On Wed, 31 Aug 2022, 07:45 Emmanuel Charpentier,  
> wrote:
>
>> This morning (Aug 31, 2022, 8:43), any attempt to reach `
>> trac.sagemath.org` ends up displayong a Python trace :
>>
>> ```
>> Traceback (most recent call last): File 
>> "/usr/local/lib/python2.7/dist-packages/trac/web/api.py", line 602, in 
>> send_error data, 'text/html') File 
>> "/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 1104, in 
>> render_template template = self.load_template(filename, method=method) File 
>> "/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 1053, in 
>> load_template self.get_all_templates_dirs(), auto_reload=self.auto_reload, 
>> File "/usr/local/lib/python2.7/dist-packages/trac/web/chrome.py", line 758, 
>> in get_all_templates_dirs for provider in self.template_providers: File 
>> "/usr/local/lib/python2.7/dist-packages/trac/core.py", line 82, in 
>> extensions components = [component.compmgr[cls] for cls in classes] File 
>> "/usr/local/lib/python2.7/dist-packages/trac/core.py", line 208, in 
>> __getitem__ component = cls(self) File 
>> "/usr/local/lib/python2.7/dist-packages/trac/core.py", line 144, in 
>> __call__ self.__init__() File 
>> "/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 195, in 
>> __init__ self._init_gitolite_admin() File 
>> "/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 66, in 
>> wrapper ret = inner_wrapper(self, *args, **kwargs) File 
>> "/usr/local/lib/python2.7/dist-packages/fasteners/lock.py", line 302, in 
>> wrapper return f(self, *args, **kwargs) File 
>> "/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 52, in 
>> inner_method return method(self, *args, **kwargs) File 
>> "/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 226, in 
>> _init_gitolite_admin self._update_gitolite_admin() File 
>> "/usr/local/lib/python2.7/dist-packages/sage_trac/sshkeys.py", line 287, in 
>> _update_gitolite_admin 'repository'.format(out)) TracError: Error updating 
>> the gitolite-admin repository: Host key verification failed. fatal: Could 
>> not read from remote repository. Please make sure you have the correct 
>> access rights and the repository exists. ; you may have to manually clean 
>> up or re-clone the repository
>> ```
>>
>> Any idea ?
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/0c956548-4fa6-4970-8662-84de5b6975f0n%40googlegroups.com
>>  
>> 

Re: [sage-devel] Unable to push to trac server

[enriqu...@gmail.com]

Actually, now I was able to push my commit even if ssh still gives an error

El martes, 23 de agosto de 2022 a las 16:44:41 UTC+2, enriqu...@gmail.com 
escribió:

> My .ssh folder looks as yours but the ssh command ends with Permission 
> denied (publickey).and I cannot push a commit to a ticket. I am in Fedora 
> 36 if it gives a hint.
> El viernes, 5 de agosto de 2022 a las 21:40:26 UTC+2, dim...@gmail.com 
> escribió:
>
>> Another common pitfall are permissions on keys and ~/.ssh
>> The latter should only be readable/writable to your user, as well as 
>> private keys.
>> (but .pub keys should be readable to the world)
>> I.e. (my usename here is dimpase)
>>
>> $ cd
>> $ ls -al | grep .ssh
>> drwx-- 1 dimpase dimpase 246 May 23 10:00 .ssh
>>
>> $ ls -l .ssh/id_rsa*
>> -rw--- 1 dimpase dimpase 1766 Feb 18 14:04 .ssh/id_rsa
>> -rw-r--r-- 1 dimpase dimpase  391 Feb 18 14:04 .ssh/id_rsa.pub
>>
>> Please check you have the same.
>>
>>
>>
>> On Fri, Aug 5, 2022 at 5:52 PM 'Georgia Channing' via sage-devel <
>> sage-...@googlegroups.com> wrote:
>>
>>> Yep! The public part of the key was uploaded. The attached image is the 
>>> result of running the ssh command you suggested.
>>>
>>> [image: Screen Shot 2022-08-05 at 12.50.16 PM.png]
>>> On Thursday, August 4, 2022 at 2:53:04 PM UTC-4 dim...@gmail.com wrote:
>>>
>>>>
>>>>
>>>> On Thu, 4 Aug 2022, 19:16 'Georgia Channing' via sage-devel, <
>>>> sage-...@googlegroups.com> wrote:
>>>>
>>>>> Thanks! I am using a Github account to authenticate. I have uploaded 
>>>>> my ssh-key to trac and GitHub. My key is RSA-4096. Any more ideas?
>>>>>
>>>>
>>>> just to avoid any doubt, make sure you uploaded the public parts of 
>>>> keys, i.e. .pub files.
>>>>
>>>> What is the output of
>>>>
>>>> ssh -v g...@trac.sagemath.org info
>>>>
>>>>
>>>> - to be run in terminal?
>>>>
>>>>
>>>>> On Tuesday, August 2, 2022 at 9:52:30 AM UTC-4 dim...@gmail.com wrote:
>>>>>
>>>>>> Please specify your setup is some detail.
>>>>>> Are you using a GitHub account, or a "legacy" trac account?
>>>>>>
>>>>>>
>>>>>> Have you uploaded your ssh key to trac?
>>>>>> (Or/and to GitHub?)
>>>>>> Without this it would not work.
>>>>>>
>>>>>> Type of ssh key matters too. You  need a sufficiently long RSA key, 
>>>>>> or an Ed25519 key
>>>>>>
>>>>>>
>>>>>>
>>>>>> On Tue, 2 Aug 2022, 14:29 'Georgia Channing' via sage-devel, <
>>>>>> sage-...@googlegroups.com> wrote:
>>>>>>
>>>>>>> Hello!
>>>>>>>
>>>>>>> I am having persistent issues checking out tickets and pushing back 
>>>>>>> to tickets with trac (I am sometimes randomly able to checkout, but I 
>>>>>>> can 
>>>>>>> never seem to push). 
>>>>>>>
>>>>>>> Basically, no matter what I do, I get an error saying:
>>>>>>> STDERR: g...@trac.sagemath.org: Permission denied (publickey).
>>>>>>>
>>>>>>> STDERR: fatal: Could not read from remote repository.
>>>>>>>
>>>>>>> STDERR: 
>>>>>>>
>>>>>>> STDERR: Please make sure you have the correct access rights
>>>>>>>
>>>>>>> STDERR: and the repository exists.
>>>>>>>
>>>>>>>
>>>>>>> I attach a screenshot of the error and of my .git config. Below the 
>>>>>>> last line of my git config, there is another line with my token because 
>>>>>>> I 
>>>>>>> authenticate through GitHub.
>>>>>>>
>>>>>>> Sometimes I get a different error saying: urllib.error.URLError: 
>>>>>>> >>>>>> failed: 
>>>>>>> unable to get local issuer certificate (_ssl.c:1129)>
>>>>>>>
>>>>>>> Any help is greatly appreciated!
>>>>>>>
>>>>>>> -- 
>>>>>>> You receiv

Re: [sage-devel] Unable to push to trac server

[enriqu...@gmail.com]

My .ssh folder looks as yours but the ssh command ends with Permission 
denied (publickey).and I cannot push a commit to a ticket. I am in Fedora 
36 if it gives a hint.
El viernes, 5 de agosto de 2022 a las 21:40:26 UTC+2, dim...@gmail.com 
escribió:

> Another common pitfall are permissions on keys and ~/.ssh
> The latter should only be readable/writable to your user, as well as 
> private keys.
> (but .pub keys should be readable to the world)
> I.e. (my usename here is dimpase)
>
> $ cd
> $ ls -al | grep .ssh
> drwx-- 1 dimpase dimpase 246 May 23 10:00 .ssh
>
> $ ls -l .ssh/id_rsa*
> -rw--- 1 dimpase dimpase 1766 Feb 18 14:04 .ssh/id_rsa
> -rw-r--r-- 1 dimpase dimpase  391 Feb 18 14:04 .ssh/id_rsa.pub
>
> Please check you have the same.
>
>
>
> On Fri, Aug 5, 2022 at 5:52 PM 'Georgia Channing' via sage-devel <
> sage-...@googlegroups.com> wrote:
>
>> Yep! The public part of the key was uploaded. The attached image is the 
>> result of running the ssh command you suggested.
>>
>> [image: Screen Shot 2022-08-05 at 12.50.16 PM.png]
>> On Thursday, August 4, 2022 at 2:53:04 PM UTC-4 dim...@gmail.com wrote:
>>
>>>
>>>
>>> On Thu, 4 Aug 2022, 19:16 'Georgia Channing' via sage-devel, <
>>> sage-...@googlegroups.com> wrote:
>>>
 Thanks! I am using a Github account to authenticate. I have uploaded my 
 ssh-key to trac and GitHub. My key is RSA-4096. Any more ideas?

>>>
>>> just to avoid any doubt, make sure you uploaded the public parts of 
>>> keys, i.e. .pub files.
>>>
>>> What is the output of
>>>
>>> ssh -v g...@trac.sagemath.org info
>>>
>>>
>>> - to be run in terminal?
>>>
>>>
 On Tuesday, August 2, 2022 at 9:52:30 AM UTC-4 dim...@gmail.com wrote:

> Please specify your setup is some detail.
> Are you using a GitHub account, or a "legacy" trac account?
>
>
> Have you uploaded your ssh key to trac?
> (Or/and to GitHub?)
> Without this it would not work.
>
> Type of ssh key matters too. You  need a sufficiently long RSA key, or 
> an Ed25519 key
>
>
>
> On Tue, 2 Aug 2022, 14:29 'Georgia Channing' via sage-devel, <
> sage-...@googlegroups.com> wrote:
>
>> Hello!
>>
>> I am having persistent issues checking out tickets and pushing back 
>> to tickets with trac (I am sometimes randomly able to checkout, but I 
>> can 
>> never seem to push). 
>>
>> Basically, no matter what I do, I get an error saying:
>> STDERR: g...@trac.sagemath.org: Permission denied (publickey).
>>
>> STDERR: fatal: Could not read from remote repository.
>>
>> STDERR: 
>>
>> STDERR: Please make sure you have the correct access rights
>>
>> STDERR: and the repository exists.
>>
>>
>> I attach a screenshot of the error and of my .git config. Below the 
>> last line of my git config, there is another line with my token because 
>> I 
>> authenticate through GitHub.
>>
>> Sometimes I get a different error saying: urllib.error.URLError: 
>> > failed: 
>> unable to get local issuer certificate (_ssl.c:1129)>
>>
>> Any help is greatly appreciated!
>>
>> -- 
>> You received this message because you are subscribed to the Google 
>> Groups "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, 
>> send an email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/75a96a18-1197-4415-9775-584376626828n%40googlegroups.com
>>  
>> 
>> .
>>
> -- 
 You received this message because you are subscribed to the Google 
 Groups "sage-devel" group.
 To unsubscribe from this group and stop receiving emails from it, send 
 an email to sage-devel+...@googlegroups.com.

>>> To view this discussion on the web visit 
 https://groups.google.com/d/msgid/sage-devel/d5e0ba98-5ca3-4c21-b0e0-04104a1afb94n%40googlegroups.com
  
 
 .

>>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/5400a680-5580-4433-bb53-d19f66dd5715n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe 

[sage-devel] gap, gap_packages, binder and conda

[enriqu...@gmail.com]

Hi everyone,
I would like to know why there are some gap packages included in the 
standard package gap, some other ones included in gap_packages and other 
ones nowhere. I think someone said sometime ago that some of them could 
interfere with other sage packages but I am not sure which ones.
These days I have been using binder with an image created with conda-forge 
(thanks to the team of sage-binder-env). It works great (the last docker 
images stopped working some time ago, even cocalc images which worked a 
little bit longer).
I find binder is a useful tool for teaching and it also gives the 
possibility of verification purposes for people not having access to 
sagemath.
For this purposes, there is a problem when one uses optional packages; very 
recently, it is possible to build images working with some optional 
packages (bliss or sirocco, thanks to Fernando Isuru and also to Julian 
Rüth). It would be useful to construct such images also for several 
packages at the same time.
Maybe some packages of gap could be include in the core packages. Is it 
worth to open tickets for these questions?
Best, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/33317c6e-ff84-4970-bca7-940fb5964b7fn%40googlegroups.com.

[sage-devel] Re: SageMath Accepted as GSoC 2022 Mentor Organization

[enriqu...@gmail.com]

Today I received a message from EAGER mail list (algebraic geometry events) 
a message about a GeomScale organization being accepted as a mentoring 
organization for the 2022 Google Summer of Code and looking for candidates. 
Would it be useful if Travis or someone else would send a message to this 
list? Best, Enrique.

El martes, 8 de marzo de 2022 a las 5:22:14 UTC+1, Matthias Koeppe escribió:

> Wonderful! Thanks for serving as the org admin again this year!
>
> On Monday, March 7, 2022 at 8:03:20 PM UTC-8 Travis Scrimshaw wrote:
>
>> Hi everyone,
>>Great news. SageMath has been accepted this year as a mentor 
>> organization. I will start the preparations for the next stages.
>>
>> Best,
>> Travis
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a81b0861-e6a8-4b99-9f79-7c5ce896c473n%40googlegroups.com.

Re: [sage-devel] UCLA paper

[enriqu...@gmail.com]

I did a PR for one paper, if everything goes smoothly I will put other 
ones. Thanks, Enrique.

El jueves, 24 de febrero de 2022 a las 16:55:43 UTC+1, wst...@gmail.com 
escribió:

> And then your paper appears at
> https://www.sagemath.org/library-publications.html
>
> On Thu, Feb 24, 2022 at 7:22 AM Dima Pasechnik  wrote:
> >
> > Ideally, do a PR at https://github.com/sagemath/publications, our
> > GitHub repo specifically for gathering such data.
> >
> >
> > On Thu, Feb 24, 2022 at 3:17 PM enriqu...@gmail.com
> >  wrote:
> > >
> > > Is there a place to communicate papers citing Sagemath?
> > >
> > > El miércoles, 23 de febrero de 2022 a las 20:38:26 UTC+1, 
> dim...@gmail.com escribió:
> > >>
> > >> On Wed, Feb 23, 2022 at 7:23 PM William Stein  
> wrote:
> > >> >
> > >> > Hi
> > >> >
> > >> > UCLA just published a new paper about teaching Dynamics to about 
> 1,400
> > >> > Biology students a year. They use Sage heavily in this course. The
> > >> > paper is freely available here:
> > >> >
> > >> > 
> https://www.researchgate.net/publication/358569003_Teaching_Dynamics_to_Biology_Undergraduates_the_UCLA_Experience
> > >>
> > >>
> > >> Just added in 
> https://github.com/sagemath/publications/commit/356ef19157e964b25df9694c527aa8912d700dc6
> > >>
> > >> :-)
> > >> >
> > >> >
> > >> > --
> > >> > William (http://wstein.org)
> > >> >
> > >> > --
> > >> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > >> > To unsubscribe from this group and stop receiving emails from it, 
> send an email to sage-devel+...@googlegroups.com.
> > >> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CACLE5GBcp%2BStq9%2B%2BvEoH7jDHx-02FO_GdUAG9dVS32h7rdxVdg%40mail.gmail.com
> .
> > >
> > > --
> > > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com.
> > > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/03ac38db-2519-4d03-b6d1-8d69f5b3ff54n%40googlegroups.com
> .
> >
> > --
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq2COG78e4tjDaTOnnKV1A4BUp8tV2Sgqzquavkh_%3DkcCg%40mail.gmail.com
> .
>
>
>
> -- 
> William (http://wstein.org)
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/504feb9a-7b2a-4971-a8fd-3d332feecd97n%40googlegroups.com.

Re: [sage-devel] UCLA paper

[enriqu...@gmail.com]

Is there a place to communicate  papers citing Sagemath? 

El miércoles, 23 de febrero de 2022 a las 20:38:26 UTC+1, dim...@gmail.com 
escribió:

> On Wed, Feb 23, 2022 at 7:23 PM William Stein  wrote:
> >
> > Hi
> >
> > UCLA just published a new paper about teaching Dynamics to about 1,400
> > Biology students a year. They use Sage heavily in this course. The
> > paper is freely available here:
> >
> > 
> https://www.researchgate.net/publication/358569003_Teaching_Dynamics_to_Biology_Undergraduates_the_UCLA_Experience
>
>
> Just added in 
> https://github.com/sagemath/publications/commit/356ef19157e964b25df9694c527aa8912d700dc6
>
> :-)
> >
> >
> > --
> > William (http://wstein.org)
> >
> > --
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CACLE5GBcp%2BStq9%2B%2BvEoH7jDHx-02FO_GdUAG9dVS32h7rdxVdg%40mail.gmail.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/03ac38db-2519-4d03-b6d1-8d69f5b3ff54n%40googlegroups.com.

Re: [sage-devel] Docker images no longer being build and is gitlab still maintained?

[enriqu...@gmail.com]

Besides the binder problem something may happen from sagemath side, since 
for my binder pages the cocalc image works. With other sagemath dockers I 
got basically the same errors as above.
Enrique

El viernes, 3 de diciembre de 2021 a las 14:01:43 UTC+1, dim...@gmail.com 
escribió:

> On Fri, 3 Dec 2021, 12:36 Eric Gourgoulhon,  wrote:
>
>> Hi, 
>>
>> Le vendredi 3 décembre 2021 à 05:06:30 UTC+1, maarten...@navara.nl a 
>> écrit :
>>
>>> In the meantime I managed to verify that aside from the gitlab CI/CD 
>>> there are no other things that are broken. Meaning that I managed to build 
>>> the docker file shipped with sage just fine on my laptop. I pushed a build 
>>> of 9.4 to https://hub.docker.com/r/mderickx/sagemath/ in case anyone is 
>>> interested.
>>>
>>
>> Thanks for the 9.4 image! 
>> I've tried it to run a notebook with Binder, by inserting 
>>
>
> that's certainly  a Binder problem that is doesn't start (well, it's close 
> to 3Gb image...)
>
> I can get this image and run it in Docker (on macOS) in terminal, as
>
>  docker run -it  mderickx/sagemath
>
> This gives Sage 9.4 prompt immediately. Terminal things work, things like
> sage: sphere() 
> 
>
> Launched html viewer for Graphics3d Object
>
> do not have any effects, the graphics is nowhere to be seen (not so 
> surprising)
>
> It would be more interesting to know how to use it in local Jupyter 
> (notebook, or VSCcode)
>
> Dima
>  
>
>> FROM mderickx/sagemath:latest
>> in the Dockerfile of the repository
>> https://github.com/egourgoulhon/SageMathTour
>> But it fails, as the previous Sage images (cf. the discussion at 
>> https://groups.google.com/g/sage-devel/c/GCOg8oT3beI/m/I_hWqTYaAQAJ), 
>> with the following error:
>>
>> 2021-12-03T10:30:51Z [Normal] Successfully pulled image "
>> gcr.io/binderhub-288415/r2d-staging-g5b5b759-egourgoulhon-2dsagemathtour-2fda44:32fab2e884998806d7465f08b7dc21a8a99793d8"
>>  
>> in 49.782009677s
>> 2021-12-03T10:30:52Z [Normal] Created container notebook
>> 2021-12-03T10:30:52Z [Normal] Started container notebook
>> Spawn failed: Timeout
>> Launch attempt 2 failed, retrying...
>> Server requested
>> 2021-12-03T10:35:09.007721Z [Normal] Successfully assigned 
>> prod/jupyter-egourgoulhon-2dsagemathtour-2dyl7nva8s to 
>> gke-prod-user-202009-b9c03ca0-5ga5
>> 2021-12-03T10:35:10Z [Normal] Container image 
>> "jupyterhub/mybinder.org-tc-init:2020.12.4-n655.hfe65496" already present 
>> on machine
>> 2021-12-03T10:35:10Z [Normal] Created container tc-init
>> 2021-12-03T10:35:10Z [Normal] Started container tc-init
>> 2021-12-03T10:35:11Z [Normal] Pulling image "
>> gcr.io/binderhub-288415/r2d-staging-g5b5b759-egourgoulhon-2dsagemathtour-2fda44:32fab2e884998806d7465f08b7dc21a8a99793d8
>> "
>> 2021-12-03T10:36:58Z [Normal] Successfully pulled image "
>> gcr.io/binderhub-288415/r2d-staging-g5b5b759-egourgoulhon-2dsagemathtour-2fda44:32fab2e884998806d7465f08b7dc21a8a99793d8"
>>  
>> in 1m47.176651527s
>> 2021-12-03T10:37:00Z [Normal] Created container notebook
>> 2021-12-03T10:37:00Z [Normal] Started container notebook
>> Failed to connect to event stream
>>
>> More precisely, this was obtained by clicking on the button "Execute on 
>> Binder" of 
>>
>> https://nbviewer.org/github/egourgoulhon/SageMathTour/blob/master/Notebooks/demo_pseudo_Riemannian_Schwarzschild.ipynb
>>
>> Again, this used to work with the Sage 9.3.beta8 image and previous ones 
>> at some time. So it could be that a change has been performed on the Binder 
>> side...
>>
>> Eric
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/9f422d44-39a5-47ea-8cd3-0d06ec80c9b9n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/64a4acb7-77ca-4107-a96b-8347d2bafcd6n%40googlegroups.com.

Re: [sage-devel] trac and ssh

[enriqu...@gmail.com]

It works now! Thanks!

El lunes, 8 de noviembre de 2021 a las 18:18:08 UTC+1, dim...@gmail.com 
escribió:

> On Mon, Nov 8, 2021 at 8:55 AM enriqu...@gmail.com  
> wrote:
>
>> If I change the ip address of my computer, I have access to trac; coming 
>> back to the original address, no access
>>
>
> yes, this looks like blacklisting, but I have no idea how to manage it.
> I've just installed updates and rebooted trac, please check whether this 
> has somehow flished the blacklisting.
>
>
>  
>
>>
>> El domingo, 7 de noviembre de 2021 a las 22:40:26 UTC+1, 
>> enriqu...@gmail.com escribió:
>>
>>> I do not find my previous answer, did it arrive to you? Anyway, I got 
>>> locked with my tries from my laptop, and rebooting solved that issue (not 
>>> for the first machine)
>>>
>>> El domingo, 7 de noviembre de 2021 a las 18:59:07 UTC+1, 
>>> dim...@gmail.com escribió:
>>>
>>>> On Sat, Nov 6, 2021 at 3:56 PM enriqu...@gmail.com  
>>>> wrote:
>>>>
>>>>> This week I had problems to connect via ssh with trac (in order to 
>>>>> checkout a trac branch). It is not the first time it happened, last time 
>>>>> I 
>>>>> think it was a problem with the type of the ssh key and I managed to 
>>>>> solve 
>>>>> it.
>>>>> I tried in the same way and probably I made too many tries and now I 
>>>>> have no access to trac from my office computer probably locked by the 
>>>>> system. If it is a temporary lock I can wait since most likely I 
>>>>> desserved 
>>>>> it and I hope it won't be permanent.
>>>>>
>>>>
>>>> I don't think there is any blacklisting, more like you have an old 
>>>> keypair - please try to generate a new keypair and add  the new public key 
>>>> to 
>>>> trac.  
>>>> I recently had to do something like this.
>>>> If this doesn't work, please post the output of 
>>>>
>>>>  ssh -v g...@trac.sagemath.org
>>>>
>>>> from the machine in question
>>>>
>>>>
>>>>
>>>>
>>>> Enrique.
>>>>>
>>>>> -- 
>>>>> You received this message because you are subscribed to the Google 
>>>>> Groups "sage-devel" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send 
>>>>> an email to sage-devel+...@googlegroups.com.
>>>>> To view this discussion on the web visit 
>>>>> https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com
>>>>>  
>>>>> <https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com?utm_medium=email_source=footer>
>>>>> .
>>>>>
>>>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/ee74300b-f1c3-4b95-8e21-4c87fe968e49n%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-devel/ee74300b-f1c3-4b95-8e21-4c87fe968e49n%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9e6070c9-2856-41d1-b078-8cbf7908a07cn%40googlegroups.com.

Re: [sage-devel] trac and ssh

[enriqu...@gmail.com]

If I change the ip address of my computer, I have access to trac; coming 
back to the original address, no access

El domingo, 7 de noviembre de 2021 a las 22:40:26 UTC+1, 
enriqu...@gmail.com escribió:

> I do not find my previous answer, did it arrive to you? Anyway, I got 
> locked with my tries from my laptop, and rebooting solved that issue (not 
> for the first machine)
>
> El domingo, 7 de noviembre de 2021 a las 18:59:07 UTC+1, dim...@gmail.com 
> escribió:
>
>> On Sat, Nov 6, 2021 at 3:56 PM enriqu...@gmail.com  
>> wrote:
>>
>>> This week I had problems to connect via ssh with trac (in order to 
>>> checkout a trac branch). It is not the first time it happened, last time I 
>>> think it was a problem with the type of the ssh key and I managed to solve 
>>> it.
>>> I tried in the same way and probably I made too many tries and now I 
>>> have no access to trac from my office computer probably locked by the 
>>> system. If it is a temporary lock I can wait since most likely I desserved 
>>> it and I hope it won't be permanent.
>>>
>>
>> I don't think there is any blacklisting, more like you have an old 
>> keypair - please try to generate a new keypair and add  the new public key 
>> to 
>> trac.  
>> I recently had to do something like this.
>> If this doesn't work, please post the output of 
>>
>>  ssh -v g...@trac.sagemath.org
>>
>> from the machine in question
>>
>>
>>
>>
>> Enrique.
>>>
>>> -- 
>>> You received this message because you are subscribed to the Google 
>>> Groups "sage-devel" group.
>>> To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-devel+...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com
>>>  
>>> <https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/ee74300b-f1c3-4b95-8e21-4c87fe968e49n%40googlegroups.com.

Re: [sage-devel] trac and ssh

[enriqu...@gmail.com]

I do not find my previous answer, did it arrive to you? Anyway, I got 
locked with my tries from my laptop, and rebooting solved that issue (not 
for the first machine)

El domingo, 7 de noviembre de 2021 a las 18:59:07 UTC+1, dim...@gmail.com 
escribió:

> On Sat, Nov 6, 2021 at 3:56 PM enriqu...@gmail.com  
> wrote:
>
>> This week I had problems to connect via ssh with trac (in order to 
>> checkout a trac branch). It is not the first time it happened, last time I 
>> think it was a problem with the type of the ssh key and I managed to solve 
>> it.
>> I tried in the same way and probably I made too many tries and now I have 
>> no access to trac from my office computer probably locked by the system. If 
>> it is a temporary lock I can wait since most likely I desserved it and I 
>> hope it won't be permanent.
>>
>
> I don't think there is any blacklisting, more like you have an old keypair 
> - please try to generate a new keypair and add  the new public key to 
> trac.  
> I recently had to do something like this.
> If this doesn't work, please post the output of 
>
>  ssh -v g...@trac.sagemath.org
>
> from the machine in question
>
>
>
>
> Enrique.
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/3fbb0c81-24fc-446a-857c-b0c11354166dn%40googlegroups.com.

[sage-devel] trac and ssh

[enriqu...@gmail.com]

This week I had problems to connect via ssh with trac (in order to checkout 
a trac branch). It is not the first time it happened, last time I think it 
was a problem with the type of the ssh key and I managed to solve it.
I tried in the same way and probably I made too many tries and now I have 
no access to trac from my office computer probably locked by the system. If 
it is a temporary lock I can wait since most likely I desserved it and I 
hope it won't be permanent.
Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/2d41ba96-2d6e-46ff-8bb9-b028b13ca3fen%40googlegroups.com.

Re: [sage-devel] Re: Sage no longer working in Binder

[enriqu...@gmail.com]

I have tried with sagemathinc/cocalc:latest and it works. There is a 
message of permission denied when running the notebooks, but it is possible 
to run them. Any other try with sagemath or sagemath-dev (installing 
jupyterlab) failed. This was my dockerfile:

FROM sagemathinc/cocalc:latest

COPY --chown=sage:sage . ${HOME}

El viernes, 1 de octubre de 2021 a las 10:18:39 UTC+2, Eric Gourgoulhon 
escribió:

> Le vendredi 1 octobre 2021 à 09:44:48 UTC+2, Eric Gourgoulhon a écrit :
>
>> Le jeudi 30 septembre 2021 à 17:53:46 UTC+2, wst...@gmail.com a écrit :
>>
>>> My understanding is that the Sage-9.3 and Sage-9.4 binaries are broken 
>>> on a large number of machines due to an issue with how openblas was 
>>> built. You probably have to use a sage-9.2 docker container, or wait 
>>> for sage 9.5 to come out. 
>>>
>>> Thanks for your feedback. However, I am not sure this is the source of 
>> the issue here, because the Sage 9.3.beta8 Docker image used to work on 
>> Binder, until quite recently. So maybe there has been some change on the 
>> Binder side. I should try with Sage 9.2 though...
>>
>
> Well, there is no need to test further against the Sage version since the 
> user who reported the issue on ask.sagemath is using Sage 9.1:
> https://github.com/calculuslab/Calculus_Lab/blob/main/Dockerfile
>
> Eric. 
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9c3e2fea-232c-49c9-88bc-dc44ffc8f5acn%40googlegroups.com.

Re: [sage-devel] snappy

[enriqu...@gmail.com]

The error disappeared with 
sage -pip install --upgrade 
https://github.com/3-manifolds/SnapPy/archive/master.zip
adapting the suggestion in https://github.com/3-manifolds/SnapPy/issues/22

El miércoles, 7 de abril de 2021 a las 23:43:58 UTC+2, enriqu...@gmail.com 
escribió:

> Thanks!
>
> El miércoles, 7 de abril de 2021 a las 21:48:37 UTC+2, vdelecroix escribió:
>
>> More precisely 
>>
>> https://trac.sagemath.org/ticket/30857#comment:9 
>>
>> Le 07/04/2021 à 21:45, Vincent Delecroix a écrit : 
>> > Isn't it 
>> > 
>> > https://trac.sagemath.org/ticket/30857 
>> > 
>> > Le 07/04/2021 à 21:06, enriqu...@gmail.com a écrit : 
>> >> Is there anyone using snappy inside sage? Uninstalling and stalling 
>> >> produce 
>> >> the same errors. 
>> >> 
>> >> El miércoles, 17 de marzo de 2021 a las 16:02:06 UTC+1, 
>> >> enriqu...@gmail.com 
>> >> escribió: 
>> >> 
>> >>> I did it a few minutes ago. The orders "sage -i snappy", "sage -f 
>> >>> snappy", 
>> >>> "sage -pip uninstall snappy"+"sage -pip uninstall snappy" made no 
>> change 
>> >>> 
>> >>> El miércoles, 17 de marzo de 2021 a las 10:56:21 UTC+1, 
>> dim...@gmail.com 
>> >>> escribió: 
>> >>> 
>> >>>> did you try reinstalling it? 
>> >>>> 
>> >>>> 
>> >>>> 
>> >>>> On Wed, 17 Mar 2021, 08:33 enriqu...@gmail.com,  
>>
>> >>>> wrote: 
>> >>>> 
>> >>>>> I was able to install in snappy in Sage 9.3beta8. I did not test it 
>> >>>>> when 
>> >>>>> installed and now in beta9 I am unable to test it. 
>> >>>>> For import snappy I get a couple of DeprecationWarnings: 
>> >>>>> 
>> >>>>> local/lib/python3.9/site-packages/snappy/snap/shapes.py:4: 
>> >>>>> DeprecationWarning: the complex_field module is deprecated, please 
>> use 
>> >>>>> sage.rings.complex_mpf 
>> >>>>> 
>> >>>>> 
>> local/lib/python3.9/site-packages/snappy/verify/verifyCanonical.py:6: 
>> >>>>> DeprecationWarning: the complex_number module is deprecated, please 
>> >>>>> use 
>> >>>>> sage.rings.complex_mpfr 
>> >>>>> 
>> >>>>> and the following error: 
>> >>>>>from .squareExtensions import 
>> >>>>> find_shapes_as_complex_sqrt_lin_combinations 
>> >>>>> 
>> --- 
>> >>>>> 
>> >>>>> 
>> >>>>> TypeError Traceback (most recent 
>> call 
>> >>>>> last) 
>> >>>>>  in  
>> >>>>> > 1 import snappy 
>> >>>>> 
>> >>>>> ~/sage/local/lib/python3.9/site-packages/snappy/__init__.py in 
>> >>>>>  
>> >>>>>   5 #logging.debug('This message should go to the log file') 
>> >>>>>   6 import sys 
>> >>>>> > 7 from .SnapPy import (AbelianGroup, HolonomyGroup, 
>> >>>>> FundamentalGroup, 
>> >>>>>   8  DirichletDomain, CuspNeighborhood, 
>> >>>>> SymmetryGroup, 
>> >>>>>   9  AlternatingKnotExteriors, 
>> >>>>> NonalternatingKnotExteriors, 
>> >>>>> 
>> >>>>> cython/core/fundamental_group.pyx in init SnapPy() 
>> >>>>> 
>> >>>>> cython/core/fundamental_group.pyx in 
>> >>>>> SnapPy.HolonomyGroup.use_field_conversion() 
>> >>>>> 
>> >>>>> TypeError: can't set attributes of built-in/extension type 'type' 
>> >>>>> 
>> >>>>> -- 
>> >>>>> You received this message because you are subscribed to the Google 
>> >>>>> Groups "sage-devel" group. 
>> >>>>> To unsubscribe from this group and stop receiving emails from it, 
>> send 
>> >>>>> an email to sage-devel+...@googlegroups.com. 
>> >>>>> To view this discussion on the web visit 
>> >>>>> 
>> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com
>>  
>> >>>>> 
>> >>>>> <
>> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com?utm_medium=email_source=footer>
>>  
>>
>> >>>>> 
>> >>>>> . 
>> >>>>> 
>> >>>> 
>> >> 
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/e8c3f342-d433-4ce3-b18b-22047ce2e953n%40googlegroups.com.

Re: [sage-devel] snappy

[enriqu...@gmail.com]

Thanks!

El miércoles, 7 de abril de 2021 a las 21:48:37 UTC+2, vdelecroix escribió:

> More precisely
>
> https://trac.sagemath.org/ticket/30857#comment:9
>
> Le 07/04/2021 à 21:45, Vincent Delecroix a écrit :
> > Isn't it
> > 
> > https://trac.sagemath.org/ticket/30857
> > 
> > Le 07/04/2021 à 21:06, enriqu...@gmail.com a écrit :
> >> Is there anyone using snappy inside sage? Uninstalling and stalling 
> >> produce
> >> the same errors.
> >>
> >> El miércoles, 17 de marzo de 2021 a las 16:02:06 UTC+1, 
> >> enriqu...@gmail.com
> >> escribió:
> >>
> >>> I did it a few minutes ago. The orders "sage -i snappy", "sage -f 
> >>> snappy",
> >>> "sage -pip uninstall snappy"+"sage -pip uninstall snappy" made no 
> change
> >>>
> >>> El miércoles, 17 de marzo de 2021 a las 10:56:21 UTC+1, 
> dim...@gmail.com
> >>> escribió:
> >>>
> >>>> did you try reinstalling it?
> >>>>
> >>>>
> >>>>
> >>>> On Wed, 17 Mar 2021, 08:33 enriqu...@gmail.com, 
> >>>> wrote:
> >>>>
> >>>>> I was able to install in snappy in Sage 9.3beta8. I did not test it 
> >>>>> when
> >>>>> installed and now in beta9 I am unable to test it.
> >>>>> For import snappy I get a couple of DeprecationWarnings:
> >>>>>
> >>>>> local/lib/python3.9/site-packages/snappy/snap/shapes.py:4:
> >>>>> DeprecationWarning: the complex_field module is deprecated, please 
> use
> >>>>> sage.rings.complex_mpf
> >>>>>
> >>>>> local/lib/python3.9/site-packages/snappy/verify/verifyCanonical.py:6:
> >>>>> DeprecationWarning: the complex_number module is deprecated, please 
> >>>>> use
> >>>>> sage.rings.complex_mpfr
> >>>>>
> >>>>> and the following error:
> >>>>>from .squareExtensions import
> >>>>> find_shapes_as_complex_sqrt_lin_combinations
> >>>>> 
> --- 
> >>>>>
> >>>>>
> >>>>> TypeError Traceback (most recent call
> >>>>> last)
> >>>>>  in 
> >>>>> > 1 import snappy
> >>>>>
> >>>>> ~/sage/local/lib/python3.9/site-packages/snappy/__init__.py in 
> >>>>> 
> >>>>>   5 #logging.debug('This message should go to the log file')
> >>>>>   6 import sys
> >>>>> > 7 from .SnapPy import (AbelianGroup, HolonomyGroup,
> >>>>> FundamentalGroup,
> >>>>>   8  DirichletDomain, CuspNeighborhood,
> >>>>> SymmetryGroup,
> >>>>>   9  AlternatingKnotExteriors,
> >>>>> NonalternatingKnotExteriors,
> >>>>>
> >>>>> cython/core/fundamental_group.pyx in init SnapPy()
> >>>>>
> >>>>> cython/core/fundamental_group.pyx in
> >>>>> SnapPy.HolonomyGroup.use_field_conversion()
> >>>>>
> >>>>> TypeError: can't set attributes of built-in/extension type 'type'
> >>>>>
> >>>>> -- 
> >>>>> You received this message because you are subscribed to the Google
> >>>>> Groups "sage-devel" group.
> >>>>> To unsubscribe from this group and stop receiving emails from it, 
> send
> >>>>> an email to sage-devel+...@googlegroups.com.
> >>>>> To view this discussion on the web visit
> >>>>> 
> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com
>  
> >>>>>
> >>>>> <
> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com?utm_medium=email_source=footer>
>  
>
> >>>>>
> >>>>> .
> >>>>>
> >>>>
> >>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/cc1a5050-8cd1-4486-97de-6721efd18e24n%40googlegroups.com.

Re: [sage-devel] snappy

[enriqu...@gmail.com]

Is there anyone using snappy inside sage? Uninstalling and stalling produce 
the same errors.

El miércoles, 17 de marzo de 2021 a las 16:02:06 UTC+1, enriqu...@gmail.com 
escribió:

> I did it a few minutes ago. The orders "sage -i snappy", "sage -f snappy", 
> "sage -pip uninstall snappy"+"sage -pip uninstall snappy" made no change
>
> El miércoles, 17 de marzo de 2021 a las 10:56:21 UTC+1, dim...@gmail.com 
> escribió:
>
>> did you try reinstalling it?
>>
>>
>>
>> On Wed, 17 Mar 2021, 08:33 enriqu...@gmail.com,  
>> wrote:
>>
>>> I was able to install in snappy in Sage 9.3beta8. I did not test it when 
>>> installed and now in beta9 I am unable to test it. 
>>> For import snappy I get a couple of DeprecationWarnings:
>>>
>>> local/lib/python3.9/site-packages/snappy/snap/shapes.py:4: 
>>> DeprecationWarning: the complex_field module is deprecated, please use 
>>> sage.rings.complex_mpf
>>>
>>> local/lib/python3.9/site-packages/snappy/verify/verifyCanonical.py:6: 
>>> DeprecationWarning: the complex_number module is deprecated, please use 
>>> sage.rings.complex_mpfr
>>>
>>> and the following error:
>>>   from .squareExtensions import 
>>> find_shapes_as_complex_sqrt_lin_combinations 
>>> --- 
>>>
>>> TypeError Traceback (most recent call 
>>> last) 
>>>  in  
>>> > 1 import snappy 
>>>
>>> ~/sage/local/lib/python3.9/site-packages/snappy/__init__.py in  
>>>  5 #logging.debug('This message should go to the log file') 
>>>  6 import sys 
>>> > 7 from .SnapPy import (AbelianGroup, HolonomyGroup, 
>>> FundamentalGroup, 
>>>  8  DirichletDomain, CuspNeighborhood, 
>>> SymmetryGroup,   
>>>  9  AlternatingKnotExteriors, 
>>> NonalternatingKnotExteriors, 
>>>
>>> cython/core/fundamental_group.pyx in init SnapPy() 
>>>
>>> cython/core/fundamental_group.pyx in 
>>> SnapPy.HolonomyGroup.use_field_conversion() 
>>>
>>> TypeError: can't set attributes of built-in/extension type 'type'
>>>
>>> -- 
>>> You received this message because you are subscribed to the Google 
>>> Groups "sage-devel" group.
>>> To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-devel+...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com
>>>  
>>> <https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/b5bec710-46dd-413d-85ee-2bc56d2bd889n%40googlegroups.com.

Re: [sage-devel] snappy

[enriqu...@gmail.com]

I did it a few minutes ago. The orders "sage -i snappy", "sage -f snappy", 
"sage -pip uninstall snappy"+"sage -pip uninstall snappy" made no change

El miércoles, 17 de marzo de 2021 a las 10:56:21 UTC+1, dim...@gmail.com 
escribió:

> did you try reinstalling it?
>
>
>
> On Wed, 17 Mar 2021, 08:33 enriqu...@gmail.com,  
> wrote:
>
>> I was able to install in snappy in Sage 9.3beta8. I did not test it when 
>> installed and now in beta9 I am unable to test it. 
>> For import snappy I get a couple of DeprecationWarnings:
>>
>> local/lib/python3.9/site-packages/snappy/snap/shapes.py:4: 
>> DeprecationWarning: the complex_field module is deprecated, please use 
>> sage.rings.complex_mpf
>>
>> local/lib/python3.9/site-packages/snappy/verify/verifyCanonical.py:6: 
>> DeprecationWarning: the complex_number module is deprecated, please use 
>> sage.rings.complex_mpfr
>>
>> and the following error:
>>   from .squareExtensions import 
>> find_shapes_as_complex_sqrt_lin_combinations 
>> --- 
>>
>> TypeError Traceback (most recent call 
>> last) 
>>  in  
>> > 1 import snappy 
>>
>> ~/sage/local/lib/python3.9/site-packages/snappy/__init__.py in  
>>  5 #logging.debug('This message should go to the log file') 
>>  6 import sys 
>> > 7 from .SnapPy import (AbelianGroup, HolonomyGroup, 
>> FundamentalGroup, 
>>  8  DirichletDomain, CuspNeighborhood, 
>> SymmetryGroup,   
>>  9  AlternatingKnotExteriors, 
>> NonalternatingKnotExteriors, 
>>
>> cython/core/fundamental_group.pyx in init SnapPy() 
>>
>> cython/core/fundamental_group.pyx in 
>> SnapPy.HolonomyGroup.use_field_conversion() 
>>
>> TypeError: can't set attributes of built-in/extension type 'type'
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/b12e00af-22ef-4485-a795-0b1af20f3571n%40googlegroups.com.

[sage-devel] snappy

[enriqu...@gmail.com]

I was able to install in snappy in Sage 9.3beta8. I did not test it when 
installed and now in beta9 I am unable to test it. 
For import snappy I get a couple of DeprecationWarnings:

local/lib/python3.9/site-packages/snappy/snap/shapes.py:4: 
DeprecationWarning: the complex_field module is deprecated, please use 
sage.rings.complex_mpf

local/lib/python3.9/site-packages/snappy/verify/verifyCanonical.py:6: 
DeprecationWarning: the complex_number module is deprecated, please use 
sage.rings.complex_mpfr

and the following error:
  from .squareExtensions import 
find_shapes_as_complex_sqrt_lin_combinations 
--- 
TypeError Traceback (most recent call last) 
 in  
> 1 import snappy 

~/sage/local/lib/python3.9/site-packages/snappy/__init__.py in  
 5 #logging.debug('This message should go to the log file') 
 6 import sys 
> 7 from .SnapPy import (AbelianGroup, HolonomyGroup, FundamentalGroup, 
 8  DirichletDomain, CuspNeighborhood, 
SymmetryGroup,   
 9  AlternatingKnotExteriors, 
NonalternatingKnotExteriors, 

cython/core/fundamental_group.pyx in init SnapPy() 

cython/core/fundamental_group.pyx in 
SnapPy.HolonomyGroup.use_field_conversion() 

TypeError: can't set attributes of built-in/extension type 'type'

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/b92b7369-c9f4-47e1-b13f-1530ad0323acn%40googlegroups.com.

[sage-devel] Re: Bug in hom

[enriqu...@gmail.com]

Dear Travis,
I basically agree with you, in the sense to fix that what equality means. 
At this time, equality of vector spaces does not imply equality of 
associated vectors. I think both choices have good reasons. I am not sure 
how to collaborate with these issues but I am ready to. Best, Enrique.

El domingo, 27 de diciembre de 2020 a las 2:49:11 UTC+1, Travis Scrimshaw 
escribió:

> We need to be very careful here about what "same" means, and the category 
> we want to work in is vector spaces with a distinguished basis. By similar 
> I really meant up to a change-of-basis, and I should have been more 
> precise. Although perhaps it is a more simple problem than I was thinking 
> because we know explicitly how to link different bases together (not just 
> some abstract isomorphism). Thus, the comparison as matrices is the correct 
> thing to do, provided the two bases are the same. Hence, we just need to 
> make sure each linear map set up from basis B to basis B'. Therefore, the 
> bug is in the __call__, which handles the coercion between the elements of 
> the (distinct) Hom spaces before the _richcmp_ sees the objects.
>
> Again, let me reiterate that Python == should not always be taken as 
> equality as you might think of it. However, in this case, if we fix the 
> aforementioned bug, everything should behave how you expect it to.
>
> Best,
> Travis
>
> On Thursday, December 24, 2020 at 7:37:10 PM UTC+10 enriqu...@gmail.com 
> wrote:
>
>> Not exactly, when one asks if two linear maps are equal it is not the 
>> same thing to ask if they are similar, I mean equal as maps. In my example, 
>> if you enter:
>>
>> K=GF(2)
>> V=K^2
>> B=V.basis()
>> B1=[vector(K,[i,j]) for i,j in [(1,0),(1,1)]] 
>> V1=V.subspace_with_basis(B1)
>>
>> and you ask V==V1 the answer is True despite they are distinct objects in 
>> Sage as their associated bases are not the same. In my opinion the option 
>> is correct because as mathematical objects they are the same.
>>
>> When one defines morphisms with domains V or V1, and same codomain, the 
>> method keeps the matrix as comparison object. As you say computing the 
>> Smith form (or Jordan form in case of endomorphisms) is expensive. I am not 
>> sure if computing the images of the basis elements of either V or V1 is so 
>> expensive. If it is so, it would be better to avoid an answer for the 
>> equality, to avoid wrong answers.
>>
>> This is the source of a._richcmp_??
>>
>> def _richcmp_(self, other, op):
>> if not isinstance(other, MatrixMorphism) or op not in (op_EQ, op_NE): # 
>> Generic comparison 
>> return sage.categories.morphism.Morphism._richcmp_(self, other, op) 
>> return richcmp(self.matrix(), other.matrix(), op) 
>> File: 
>> /usr/local/sage/local/lib/python3.8/site-packages/sage/modules/matrix_morphism.py
>>  
>> Type: method
>>
>> Best, Enrique.
>>
>>
>> El jueves, 24 de diciembre de 2020 a las 0:41:10 UTC+1, Travis Scrimshaw 
>> escribió:
>>
>>> What you're asking for is checking if two matrices defining the linear 
>>> transformations are similar, which involves computing the Smith normal 
>>> forms of the matrices. This is computationally expensive. Instead, what we 
>>> do is == becomes a weaker form of equality that is fast (equivalently has 
>>> stronger conditions). This is something we do for graphs where we have a 
>>> separate method is_isomorphic(). Therefore, I think that equal linear maps 
>>> not being == is okay if they are given by different matrices.
>>>
>>> That being said, there is a definite issue with the false equality a == 
>>> c, which because
>>>
>>> sage: a.parent()(c)
>>> Vector space morphism represented by the matrix:
>>> [1 0]
>>> [0 1]
>>> Domain: Vector space of dimension 2 over Finite Field of size 2
>>> Codomain: Vector space of dimension 2 over Finite Field of size 2
>>>
>>> which is not the correct map. This is a result of the fact the __call__ 
>>> does not check that the the (co)domains match and compose with the 
>>> corresponding coercion maps.
>>>
>>> Best,
>>> Travis
>>>
>>>
>>> On Thursday, December 24, 2020 at 2:07:35 AM UTC+10 enriqu...@gmail.com 
>>> wrote:
>>>
>>>> I have posted a bug in hom method for vector spaces in 
>>>> https://groups.google.com/g/sage-support/c/1VDRFjZePCo/m/sFimwoV2BgAJ 
>>>>
>>>> If one defines linear mappings using hom, distinct morphisms may be 
>>>> tol

[sage-devel] Re: Bug in hom

[enriqu...@gmail.com]

Not exactly, when one asks if two linear maps are equal it is not the same 
thing to ask if they are similar, I mean equal as maps. In my example, if 
you enter:

K=GF(2)
V=K^2
B=V.basis()
B1=[vector(K,[i,j]) for i,j in [(1,0),(1,1)]] 
V1=V.subspace_with_basis(B1)

and you ask V==V1 the answer is True despite they are distinct objects in 
Sage as their associated bases are not the same. In my opinion the option 
is correct because as mathematical objects they are the same.

When one defines morphisms with domains V or V1, and same codomain, the 
method keeps the matrix as comparison object. As you say computing the 
Smith form (or Jordan form in case of endomorphisms) is expensive. I am not 
sure if computing the images of the basis elements of either V or V1 is so 
expensive. If it is so, it would be better to avoid an answer for the 
equality, to avoid wrong answers.

This is the source of a._richcmp_??

def _richcmp_(self, other, op):
if not isinstance(other, MatrixMorphism) or op not in (op_EQ, op_NE): # 
Generic comparison 
return sage.categories.morphism.Morphism._richcmp_(self, other, op) 
return richcmp(self.matrix(), other.matrix(), op) 
File: 
/usr/local/sage/local/lib/python3.8/site-packages/sage/modules/matrix_morphism.py
 
Type: method

Best, Enrique.


El jueves, 24 de diciembre de 2020 a las 0:41:10 UTC+1, Travis Scrimshaw 
escribió:

> What you're asking for is checking if two matrices defining the linear 
> transformations are similar, which involves computing the Smith normal 
> forms of the matrices. This is computationally expensive. Instead, what we 
> do is == becomes a weaker form of equality that is fast (equivalently has 
> stronger conditions). This is something we do for graphs where we have a 
> separate method is_isomorphic(). Therefore, I think that equal linear maps 
> not being == is okay if they are given by different matrices.
>
> That being said, there is a definite issue with the false equality a == c, 
> which because
>
> sage: a.parent()(c)
> Vector space morphism represented by the matrix:
> [1 0]
> [0 1]
> Domain: Vector space of dimension 2 over Finite Field of size 2
> Codomain: Vector space of dimension 2 over Finite Field of size 2
>
> which is not the correct map. This is a result of the fact the __call__ 
> does not check that the the (co)domains match and compose with the 
> corresponding coercion maps.
>
> Best,
> Travis
>
>
> On Thursday, December 24, 2020 at 2:07:35 AM UTC+10 enriqu...@gmail.com 
> wrote:
>
>> I have posted a bug in hom method for vector spaces in 
>> https://groups.google.com/g/sage-support/c/1VDRFjZePCo/m/sFimwoV2BgAJ 
>>
>> If one defines linear mappings using hom, distinct morphisms may be told 
>> to be equal and viceversa
>>
>> Following a colleague advice (Miguel Marco) I looked at the method 
>> _richcmp_ and it seems that it checks if the matrices of the morphisms are 
>> equal. Since the same vector space can be defined in Sage with distinct 
>> associated bases, this is the reason of the error. 
>>
>> I guess that equality of domains (and maybe codomains) is the first 
>> condition to be checked and then the equality of the images of self.
>>
>> Best, Enrique.
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/1c8af874-83ca-4ea8-9837-5ad7142b888dn%40googlegroups.com.

[sage-devel] Bug in hom

[enriqu...@gmail.com]

I have posted a bug in hom method for vector spaces in 
https://groups.google.com/g/sage-support/c/1VDRFjZePCo/m/sFimwoV2BgAJ 

If one defines linear mappings using hom, distinct morphisms may be told to 
be equal and viceversa

Following a colleague advice (Miguel Marco) I looked at the method 
_richcmp_ and it seems that it checks if the matrices of the morphisms are 
equal. Since the same vector space can be defined in Sage with distinct 
associated bases, this is the reason of the error. 

I guess that equality of domains (and maybe codomains) is the first 
condition to be checked and then the equality of the images of self.

Best, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/cf6968b5-228d-4029-a3c3-6b2c2e008a54n%40googlegroups.com.