[sage-support] LLL algorithm in infinity norm

2019-11-01 Thread Santanu Sarkar
Dear all,
  I want run LLL algorithm in infinity norm (max norm). Is it
possible in Sage? My lattice is generated by row vectors
of a square matrix.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/CAOe8sPK62RGd%3DP03PPZmHvuTFM9E5w6cACcxERc4TRTjpg8ADA%40mail.gmail.com.


[sage-support] Re: optional packages and binder

2019-11-01 Thread Enrique Artal
Thanks for the help to Alexander and Vincent. It works now (branch sage); I 
have no excuses to avoid to add more comments to the notebook. Best, 
Enrique.

El sábado, 2 de noviembre de 2019, 0:53:19 (UTC+1), Enrique Artal escribió:
>
> Yes:
> https://github.com/enriqueartal/GuervilleViuZariskiPairs
>
> Thanks for the link, I am going to try. Best wishes, Enrique.
>
>
> El viernes, 1 de noviembre de 2019, 21:39:19 (UTC+1), Alexander Konovalov 
> escribió:
>>
>> This is an example by Nicolas M. Thiéry which worked earlier this week: 
>> https://github.com/OpenDreamKit/demo-semigroup-representation-theory/blob/master/Dockerfile
>>  
>>
>> Hope it may help. Is your setup somewhere on GitHub?
>>
>> Best wishes
>> Alex
>>
>> On Tuesday, October 29, 2019 at 12:13:34 PM UTC, Enrique Artal wrote:
>>>
>>> I want to make available some of my notebooks in binder. I found very 
>>> useful sage-binder-env but I ran into problems in a case where I needed an 
>>> optional package, namely gap_packages. As stated I installed make package 
>>> using the Dockerfile but the installation stops with an error in make 
>>> all-toolchain. I guess I need to install more packages but I do not know 
>>> which ones. Best regards, Enrique.
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/6ed5a3f5-9fdf-460a-bbcc-a9b1f6427169%40googlegroups.com.


[sage-support] Re: optional packages and binder

2019-11-01 Thread Enrique Artal
Yes:
https://github.com/enriqueartal/GuervilleViuZariskiPairs

Thanks for the link, I am going to try. Best wishes, Enrique.


El viernes, 1 de noviembre de 2019, 21:39:19 (UTC+1), Alexander Konovalov 
escribió:
>
> This is an example by Nicolas M. Thiéry which worked earlier this week: 
> https://github.com/OpenDreamKit/demo-semigroup-representation-theory/blob/master/Dockerfile
>  
>
> Hope it may help. Is your setup somewhere on GitHub?
>
> Best wishes
> Alex
>
> On Tuesday, October 29, 2019 at 12:13:34 PM UTC, Enrique Artal wrote:
>>
>> I want to make available some of my notebooks in binder. I found very 
>> useful sage-binder-env but I ran into problems in a case where I needed an 
>> optional package, namely gap_packages. As stated I installed make package 
>> using the Dockerfile but the installation stops with an error in make 
>> all-toolchain. I guess I need to install more packages but I do not know 
>> which ones. Best regards, Enrique.
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/681ba696-b0c6-45c6-82fb-edb96243f71f%40googlegroups.com.


[sage-support] symbolic manipulation -- insufficient simplification

2019-11-01 Thread Robert Samal
I observed the following weird behavior of the symbolic engine. 

sage: x/x
1
sage: x^2/x
x
sage: (x^2+x)/x
(x^2 + x)/x
sage: assume(x>0)
sage: assume(x,'real')
sage: assumptions()
[x > 0, x is real]
sage: (x^2+x)/x
(x^2 + x)/x

To clarify: first, I consider the first two simplifications slightly 
incorrect (x/x is undefined if x=0, or possibly if x is in some weird 
algebraic structure). However, if x/x==1 and x^2/x==x then I wonder why 
simplification of (x^2+x)/x is not done?

In this case, .simplify() does not help, .full_simplify() does. In my 
original example though, .full_simplify() did something crazy, so I was led 
to this. 

In general, is there some explanation regarding which simplifications one 
can expect to be done automatically and which by the two 
simplify-functions? 

Thanks!



-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/1a730333-a573-40b8-8388-93eb5a54451d%40googlegroups.com.


[sage-support] Re: optional packages and binder

2019-11-01 Thread Alexander Konovalov
This is an example by Nicolas M. Thiéry which worked earlier this week: 
https://github.com/OpenDreamKit/demo-semigroup-representation-theory/blob/master/Dockerfile
 

Hope it may help. Is your setup somewhere on GitHub?

Best wishes
Alex

On Tuesday, October 29, 2019 at 12:13:34 PM UTC, Enrique Artal wrote:
>
> I want to make available some of my notebooks in binder. I found very 
> useful sage-binder-env but I ran into problems in a case where I needed an 
> optional package, namely gap_packages. As stated I installed make package 
> using the Dockerfile but the installation stops with an error in make 
> all-toolchain. I guess I need to install more packages but I do not know 
> which ones. Best regards, Enrique.
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/c8b04815-d41b-4c0f-8841-6e8e0fc3e3cc%40googlegroups.com.