date:20200406

Re: [sage-support] another naive question

2020-04-06 Thread Dima Pasechnik

On Tue, Apr 7, 2020 at 2:29 AM Fernando Gouvea  wrote:
>
> I'm working with ideals in the polynomial ring in three variables.
>
> sage> R.=QQ[]
> sage> f=u*v-w
> sage> g=u^2-v
> sage> I=Ideal(f,g)
> sage> I.is_prime()
> True
> sage> I.associated_primes()
> [Ideal (v^2 - u*w, u*v - w, u^2 - v) of Multivariate Polynomial Ring in 
> u, v, w over Rational Field]
>
> That last ideal is the same as I, since u(uv - w) - v(u^2-v) = v^2-uw. So why 
> do I get an extra generator?

I think that it's a Groebner basis (w.r.t. the default monomial
ordering) of the ideal in question.

>
> Thanks,
>
> Fernando
>
>
> --
>
> =
> Fernando Q. Gouvea http://www.colby.edu/~fqgouvea
> Carter Professor of Mathematics
> Dept. of Mathematics and Statistics
> Colby College
> 5836 Mayflower Hill
> Waterville, ME 04901
>
> So if a man's wit be wandering,let him study the mathematics; for in
> demonstrations, if his wit be called away never so little, he must
> begin again.
>   -- Francis Bacon, "Of Studies"
>
> --
> 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/1f24f76e-7925-adbe-8e05-5648babaef4c%40colby.edu.

-- 
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/CAAWYfq0Uu7tuV2irUYk8j6Zhv77C%2BhS64aYSe7babXOxpD%2B2Tg%40mail.gmail.com.

Re: [sage-support] Apparently Sage lost Python

2020-04-06 Thread Dima Pasechnik

On Tue, Apr 7, 2020 at 2:37 AM rana-aere  wrote:
>
> Dear Dima,
>
> I found something strange in this error message.
> 
> anirojas@MacBook-de-Anita ~ % /Applications/SageMath/sage --notebook=export 
> --list
>
> File "/Applications/SageMath/local/bin/sagenb-export"
>
> File 
> "/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/cmdline.py",
>
> File 
> "/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/actions.py",
>
> File 
> "/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/actions.py",
>
> File 
> "/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/sagenb_reader.py"
>
>
> On MacOS, normally, we see
>
> -
>
> /Applications/SageMath-9.0.app/sage --notebook=export --list
>
> /Applications/SageMath-9.0.app/Contents/Resources/sage/local/lib/python3.7/site-packages/sagenb_export/...
>
This might be due to a different binary Sage package installed (.app
vs non-app, packaged as a tar file)

>
>
> I do not understand why "Contents/Resources/sage/" disappeared.
>
> More strangely, functions defined in these files are actually executed.
>
> Is it possible some problem in setting PATH leads to python3 bundled with 
> Catalina controls
>
> Sagemath instead of python3.7 included in Sagemath?
>
the recent Sage 9.1 betas have ability to use system Python3 rarher
than build Python.
But then there would not be "SageMath" in some paths at all.


>
> I do not have Catalina installed. So, I cannot verify anything on it.
>
> I only heard Catalina now has python3 not python2.
>
> The default shell changed to zsh instead of bash.
>
> --
> 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/bf88b236-c428-4d8a-80c3-0fced449a0e3%40googlegroups.com.

-- 
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/CAAWYfq2cPK1m2bZnOEYVAFBL23X63mQ48gBNxq8kFUKK695t%2Bw%40mail.gmail.com.

Re: [sage-support] Apparently Sage lost Python

2020-04-06 Thread rana-aere

Dear Dima,

I found something strange in this error message.

anirojas@MacBook-de-Anita ~ % /Applications/SageMath/sage --notebook=export
--list

File "/Applications/SageMath/local/bin/sagenb-export"

File
"/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/cmdline.py",

File
"/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/actions.py",

File
"/Applications/SageMath/local/lib/python3.7/site-packages/sagenb_export/sagenb_reader.py"

On MacOS, normally, we see

/Applications/SageMath-9.0.app/sage --notebook=export --list

/Applications/SageMath-9.0.app/Contents/Resources/sage/local/lib/python3.7/site-packages/sagenb_export/...

I do not understand why "Contents/Resources/sage/" disappeared.

More strangely, functions defined in these files are actually executed.

Is it possible some problem in setting PATH leads to python3 bundled with
Catalina controls

Sagemath instead of python3.7 included in Sagemath?

I do not have Catalina installed. So, I cannot verify anything on it.

I only heard Catalina now has python3 not python2.

The default shell changed to zsh instead of bash.

--
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/bf88b236-c428-4d8a-80c3-0fced449a0e3%40googlegroups.com.

[sage-support] another naive question

2020-04-06 Thread Fernando Gouvea


I'm working with ideals in the polynomial ring in three variables.

sage> R.=QQ[]
sage> f=u*v-w
sage> g=u^2-v
sage> I=Ideal(f,g)
sage> I.is_prime()
    True
sage> I.associated_primes()
    [Ideal (v^2 - u*w, u*v - w, u^2 - v) of Multivariate Polynomial 
Ring in u, v, w over Rational Field]


That last ideal is the same as I, since u(uv - w) - v(u^2-v) = v^2-uw. 
So why do I get an extra generator?


Thanks,

Fernando


--

=
Fernando Q. Gouvea http://www.colby.edu/~fqgouvea
Carter Professor of Mathematics
Dept. of Mathematics and Statistics
Colby College
5836 Mayflower Hill
Waterville, ME 04901

So if a man's wit be wandering,let him study the mathematics; for in
demonstrations, if his wit be called away never so little, he must
begin again.
  -- Francis Bacon, "Of Studies"

--
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/1f24f76e-7925-adbe-8e05-5648babaef4c%40colby.edu.

Re: [sage-support] Re: Slow Computations in Quotient Rings

2020-04-06 Thread rana-aere

Dear Vincent ,

I am tempted to do so.
But, for now, I must focus on trouble of Sagemath start-up in MacOS.

I have fixed a trick of Sagemath (double click) hands over the ticket to 
the browser.
At the same time, I fixed some part of the trouble of error messages 
truncated.

I have an idea on some other problem with getcwd.

I have an idea on fixing problematic validation on MacOS 
HighSierra--Mojave--Catalina.
 This turned out much more difficult than I expected.

I must also fix deprecation warnings, which makes us hard to consult new 
users installing Sagemath.
 Most of this turns out upstream problem so I must find a way to 
reproduce warnings.

I accept to work on the ring but please allow me to be very slow.

In any event I take your welcome message.
Thank you. 

2020年4月7日火曜日 2時09分21秒 UTC+9 vdelecroix:
>
> Dear rana-aere, 
>
> If you think this is an issue, then *you* should be working on it. 
> Every SageMath developers is a volunteer that does not take orders 
> and think by herself or himself what is relevant to do. Note that 
> helping others is indeed a concern for most of them. 
>
> As a start: 
>
> - you can check whether there is already an existing ticket 
>on https://trac.sagemath.org/ for this problem, and if not 
>open one which tracks down the problem to its essence (for 
>example it has nothing to do with elliptic curves). 
>
> - If you have a *concrete suggestion* in favor of an improvement 
>but does not know how to implement it, this could be discussed 
>on the sage-devel mailing list. 
>
> SageMath developers are mature enough to read the messages on this 
> list and figure out what is relevant to do without your call. 
>
> Best 
> Vincent 
>
> Le 05/04/2020 à 17:38, rana-aere a écrit : 
> > I think it is an issue to be reported. 
> > So, I wait for someone to respond this question. 
> > 
> > To developers of the SageMath module of rings: 
> > Please verify the program in this question, with debugging messages I 
> added. 
> > we ran into a weakness of SageMath either 
> >   in formula processing producing too complicated denominators 
> >   or in SageMath module of quotient of rings, which fail to reduce the 
> > element of the ring. 
> > I believe the code reported here is an important entry for new students 
> to 
> > SageMath. 
> > Please program what is going for this program. 
> > 
> > 2020年4月5日日曜日 5時56分25秒 UTC+9 finotti: 
> >> 
> >> Thanks for the reply! 
> >> 
> >> On Saturday, April 4, 2020 at 1:00:12 PM UTC-4, rana-aere wrote: 
> >>> 
> >>> I modified the code and tried to trace computation. 
> >>> 
> >>> I think you stepped over the weakness of Sagemath. 
> >>> 
> >> 
> >> I was afraid that that would be the case... 
> >>   
> >> 
> >>> 
> >>> The modified code is quoted below. 
> >>> The line with many minus signs is meant to separate the program in 
> >>> different cells of jupyter notebook. 
> >>> My impression is that the program computes R, P + Q, LHS = (P + Q) + R 
> >>> and then Q + R for RHS. 
> >>> After that the data for the outer call of P + (Q + R) becomes too big 
> so 
> >>> that Sagemath cannot pass the parameters to add_EC. 
> >>> 
> >> 
> >> Thanks for taking the time to do that! I really appreciate.  I wonder 
> if 
> >> this is an issue that I should report or if it simply "how it is"... 
> >> 
> >> I think we will just stick with Magma for now.  I try to use (and teach 
> >> with) Sage whenever possible, but in this case I think I will have to 
> stick 
> >> with Magma. 
> >> 
> >> Thanks again! 
> >> 
> > 
>

-- 
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/14512428-56d0-4176-9b34-981b422691ed%40googlegroups.com.

Re: [sage-support] Re: Slow Computations in Quotient Rings

2020-04-06 Thread Vincent Delecroix

Dear rana-aere,

If you think this is an issue, then *you* should be working on it.
Every SageMath developers is a volunteer that does not take orders
and think by herself or himself what is relevant to do. Note that
helping others is indeed a concern for most of them.

As a start:

- you can check whether there is already an existing ticket
on https://trac.sagemath.org/ for this problem, and if not
open one which tracks down the problem to its essence (for
example it has nothing to do with elliptic curves).

- If you have a *concrete suggestion* in favor of an improvement
but does not know how to implement it, this could be discussed
on the sage-devel mailing list.

SageMath developers are mature enough to read the messages on this
list and figure out what is relevant to do without your call.

Best
Vincent

Le 05/04/2020 à 17:38, rana-aere a écrit :

I think it is an issue to be reported.
So, I wait for someone to respond this question.

To developers of the SageMath module of rings:
Please verify the program in this question, with debugging messages I added.
we ran into a weakness of SageMath either
in formula processing producing too complicated denominators
or in SageMath module of quotient of rings, which fail to reduce the
element of the ring.
I believe the code reported here is an important entry for new students to
SageMath.
Please program what is going for this program.

2020年4月5日日曜日 5時56分25秒 UTC+9 finotti:

Thanks for the reply!

On Saturday, April 4, 2020 at 1:00:12 PM UTC-4, rana-aere wrote:

I modified the code and tried to trace computation.

I think you stepped over the weakness of Sagemath.

I was afraid that that would be the case...

The modified code is quoted below.
The line with many minus signs is meant to separate the program in
different cells of jupyter notebook.
My impression is that the program computes R, P + Q, LHS = (P + Q) + R
and then Q + R for RHS.
After that the data for the outer call of P + (Q + R) becomes too big so
that Sagemath cannot pass the parameters to add_EC.

Thanks for taking the time to do that! I really appreciate. I wonder if
this is an issue that I should report or if it simply "how it is"...

I think we will just stick with Magma for now. I try to use (and teach
with) Sage whenever possible, but in this case I think I will have to stick
with Magma.

Thanks again!

Re: [sage-support] Apparently Sage lost Python

2020-04-06 Thread Anita Rojas

Not at all, please! Thanks for your support. I will come back to these line
of messages once again in (hopefully) near future.
Best,
Anita

On Mon, Apr 6, 2020 at 11:00 AM rana-aere  wrote:

> I am sorry for I might have given you extra work, which produced nothing.
> I agree it is not a good time to use SageMath on Catalina.
>
>
> 2020年4月6日月曜日 3時14分47秒 UTC+9 Anita Rojas:
>>
>> Thanks a lot for your support and patience but I gave up. I can not
>> succeed. There are too many difficulties that I am not going to be able of
>> solving: My older routines lost, my files with computations and examples. I
>> do not know how to recover them. Perhaps I will try again in next future,
>> with less anxiety and more energy.
>> Thanks again.
>> Best regards
>>
>> On Sat, Apr 4, 2020 at 12:13 AM Dima Pasechnik  wrote:
>>
>>>
>>>
>>> On Sat, 4 Apr 2020, 11:11 Anita Rojas,  wrote:
>>>
 Hi! I am far away of being a OSX guru, but I managed to get my SAGE
 working.

 It use to work properly but now I got the following message:


 Error: Tried to use Sage's Python which was not yet installed.

 If this was called from an spkg-install script for another

 package you should add $(PYTHON) as a dependency in

 build/pkgs//dependencies


 I looked for solutions but I could not find answers. I would appreciate
 help.

>>>
>>> Probably a MacOS update broke your Sage installation.
>>>
>>> If so, reinstalling might be the only  known way to fix this.
>>>
>>>
 Best,

 Anita

 --
 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-s...@googlegroups.com.
 To view this discussion on the web visit
 https://groups.google.com/d/msgid/sage-support/e7c84768-c030-425a-b78b-aa1a378e757e%40googlegroups.com
 
 .

>>> --
>>> You received this message because you are subscribed to a topic in the
>>> Google Groups "sage-support" group.
>>> To unsubscribe from this topic, visit
>>> https://groups.google.com/d/topic/sage-support/NletjrinNhM/unsubscribe.
>>> To unsubscribe from this group and all its topics, send an email to
>>> sage-s...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-support/CAAWYfq0h61z4n-xV2yT6-CB_-izF5ZkOtF%3DXUu%2Bq_h%2BDekYCZw%40mail.gmail.com
>>> 
>>> .
>>>
>>
>>
>> --
>> Anita M. Rojas
>> Departamento de Matemáticas
>> Facultad de Ciencias
>> Universidad de Chile
>>
>> https://sites.google.com/a/u.uchile.cl/mat-ciencias-prof-anita-rojas/
>>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "sage-support" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/sage-support/NletjrinNhM/unsubscribe.
> To unsubscribe from this group and all its topics, 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/e2a51b32-7a5b-44e6-b56c-a17aea65113f%40googlegroups.com
> 
> .
>


-- 
Anita M. Rojas
Departamento de Matemáticas
Facultad de Ciencias
Universidad de Chile

https://sites.google.com/a/u.uchile.cl/mat-ciencias-prof-anita-rojas/

-- 
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/CAFV-Ve0naGXjJgagHw1d%2BRLMG7zBNu%3DJHRQHmSaTcnETaV-T2A%40mail.gmail.com.

Re: [sage-support] Apparently Sage lost Python

2020-04-06 Thread rana-aere

I am sorry for I might have given you extra work, which produced nothing.
I agree it is not a good time to use SageMath on Catalina.


2020年4月6日月曜日 3時14分47秒 UTC+9 Anita Rojas:
>
> Thanks a lot for your support and patience but I gave up. I can not 
> succeed. There are too many difficulties that I am not going to be able of 
> solving: My older routines lost, my files with computations and examples. I 
> do not know how to recover them. Perhaps I will try again in next future, 
> with less anxiety and more energy.
> Thanks again.
> Best regards
>
> On Sat, Apr 4, 2020 at 12:13 AM Dima Pasechnik  > wrote:
>
>>
>>
>> On Sat, 4 Apr 2020, 11:11 Anita Rojas, > 
>> wrote:
>>
>>> Hi! I am far away of being a OSX guru, but I managed to get my SAGE 
>>> working. 
>>>
>>> It use to work properly but now I got the following message:
>>>
>>>
>>> Error: Tried to use Sage's Python which was not yet installed.
>>>
>>> If this was called from an spkg-install script for another 
>>>
>>> package you should add $(PYTHON) as a dependency in 
>>>
>>> build/pkgs//dependencies
>>>
>>>
>>> I looked for solutions but I could not find answers. I would appreciate 
>>> help.
>>>
>>
>> Probably a MacOS update broke your Sage installation.
>>
>> If so, reinstalling might be the only  known way to fix this.
>>
>>
>>> Best,
>>>
>>> Anita
>>>
>>> -- 
>>> 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-s...@googlegroups.com .
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-support/e7c84768-c030-425a-b78b-aa1a378e757e%40googlegroups.com
>>>  
>>> 
>>> .
>>>
>> -- 
>> You received this message because you are subscribed to a topic in the 
>> Google Groups "sage-support" group.
>> To unsubscribe from this topic, visit 
>> https://groups.google.com/d/topic/sage-support/NletjrinNhM/unsubscribe.
>> To unsubscribe from this group and all its topics, send an email to 
>> sage-s...@googlegroups.com .
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-support/CAAWYfq0h61z4n-xV2yT6-CB_-izF5ZkOtF%3DXUu%2Bq_h%2BDekYCZw%40mail.gmail.com
>>  
>> 
>> .
>>
>
>
> -- 
> Anita M. Rojas
> Departamento de Matemáticas
> Facultad de Ciencias
> Universidad de Chile
>
> https://sites.google.com/a/u.uchile.cl/mat-ciencias-prof-anita-rojas/
>

-- 
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/e2a51b32-7a5b-44e6-b56c-a17aea65113f%40googlegroups.com.

Re: [sage-support] another naive question

Re: [sage-support] Apparently Sage lost Python

Re: [sage-support] Apparently Sage lost Python

[sage-support] another naive question

Re: [sage-support] Re: Slow Computations in Quotient Rings

Re: [sage-support] Re: Slow Computations in Quotient Rings

Re: [sage-support] Apparently Sage lost Python

Re: [sage-support] Apparently Sage lost Python

8 matches

Site Navigation

Mail list logo

Footer information