Re: [sage-support] spec.an_element()

[Justin C. Walker]

On Mar 31, 2016, at 12:33 , William Stein wrote:

> On Thu, Mar 31, 2016 at 12:31 PM, Justin C. Walker  wrote:
>> Dear Sage Support:
>> 
>> Just checking, but this seems wrong:
>> 
>> sage: R12=Integers(12)
>> sage: Spec12=Spec(R12)
>> sage: Spec12.an_element()
>> Point on Spectrum of Ring of integers modulo 12 defined by the Principal 
>> ideal (0) of Ring of integers modulo 12
>> 
>> Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
>> the rational integers, it punts and assumes the zero-ideal is prime in that 
>> ring.
> 
> You're right -- this is definitely wrong.

This is now 

Suggestions (on the ticket) welcome.

--
Justin C. Walker, Curmudgeon-at-Large
() The ASCII Ribbon Campaign
/\ Help Cure HTML Email



-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] spec.an_element()

[William Stein]

On Thu, Mar 31, 2016 at 12:31 PM, Justin C. Walker  wrote:
> Dear Sage Support:
>
> Just checking, but this seems wrong:
>
> sage: R12=Integers(12)
> sage: Spec12=Spec(R12)
> sage: Spec12.an_element()
> Point on Spectrum of Ring of integers modulo 12 defined by the Principal 
> ideal (0) of Ring of integers modulo 12
>
> Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
> the rational integers, it punts and assumes the zero-ideal is prime in that 
> ring.

You're right -- this is definitely wrong.

>
> Thanks for confirmation or firm smacks!
>
> Justin
>
> --
> Justin C. Walker, Curmudgeon at Large
> Institute for the Absorption of Federal Funds
> ---
> If it weren't for carbon-14, I wouldn't date at all.
> ---
>
>
> --
> 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 post to this group, send email to sage-support@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/d/optout.



-- 
William (http://wstein.org)

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] spec.an_element()

[Justin C. Walker]

Dear Sage Support:

Just checking, but this seems wrong:

sage: R12=Integers(12)
sage: Spec12=Spec(R12)
sage: Spec12.an_element()
Point on Spectrum of Ring of integers modulo 12 defined by the Principal ideal 
(0) of Ring of integers modulo 12

Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
the rational integers, it punts and assumes the zero-ideal is prime in that 
ring.

Thanks for confirmation or firm smacks!

Justin

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
---
If it weren't for carbon-14, I wouldn't date at all.
---


-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] Installation problem on Mac OS X

[Justin C. Walker]

On Mar 31, 2016, at 10:36 , Jacques Tramu wrote:

> Hi, after installation of Sage-6.9 which did not work (unknow signal at 
> startup), I installed
> Sage 7-1. osX-10-11.3-x86-64 
> IT aborts with the following message :
> 
> 
> Last login: Thu Mar 31 19:20:44 on ttys000
> -bash: PS1: command not found
> '/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
> iMac-de-Jacques-Tramu:~ echolalie$ 
> '/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
> /Applications/SageMath-7.1.app/Contents/Resources/sage/sage: line 118: cd: 
> /Users/echolalie/Desktop/Sage-6.9.app/Contents/Resources/sage: No such file 
> or directory ?
> /Applications/SageMath-7.1.app/Contents/Resources/sage/sage: cannot 
> determine SAGE_ROOT directory ??

Looks like a broken bash/sh script of some sort.  "PS1" is the environment 
variable containing the shell prompt.  The fact that the shell complains that 
"PS1: command not found" means that a script is trying to execute "PS1 ...".

I would look for that string without a leading "$" (which would be needed for 
the shell to properly interpret it).

Since this shows up right after the "last login" line, it appears this is in 
your startup sequence somewhere (see Volker's response).

Was this the sage binary or the sage ".app"?

HTH

--
Justin C. Walker, Curmudgeon-At-Large
Institute for the Enhancement of the Director's Income

When LuteFisk is outlawed,
Only outlaws will have LuteFisk




-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Installation problem on Mac OS X

[Volker Braun]

Do you have SAGE_ROOT set permanently 
to Users/echolalie/Desktop/Sage-6.9.app for some reason? E.g. ~/.bashrc 
~/.bash_profile, ...,

Also, the "-bash: PS1: command not found" is suspicious. Not a Sage 
problem, but most likely an issue with your init files. What is $PS1?



On Thursday, March 31, 2016 at 8:27:37 PM UTC+2, Jacques Tramu wrote:
>
>  Hi, after installation of Sage-6.9 which did not work (unknow signal at 
> startup), I installed
> Sage 7-1. osX-10-11.3-x86-64 
> IT aborts with the following message :
>
>
> Last login: Thu Mar 31 19:20:44 on ttys000
> -bash: PS1: command not found
> '/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
> iMac-de-Jacques-Tramu:~ echolalie$ 
> '/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
> /Applications/SageMath-7.1.app/Contents/Resources/sage/sage: line 118: cd: 
> /Users/echolalie/Desktop/Sage-6.9.app/Contents/Resources/sage: No such file 
> or directory ?
> /Applications/SageMath-7.1.app/Contents/Resources/sage/sage: cannot 
> determine SAGE_ROOT directory ??
>
> Can you HELP ?
> 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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Installation problem on Mac OS X

[Jacques Tramu]

 Hi, after installation of Sage-6.9 which did not work (unknow signal at 
startup), I installed
Sage 7-1. osX-10-11.3-x86-64 
IT aborts with the following message :


Last login: Thu Mar 31 19:20:44 on ttys000
-bash: PS1: command not found
'/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
iMac-de-Jacques-Tramu:~ echolalie$ 
'/Applications/SageMath-7.1.app/Contents/Resources/sage/sage' --notebook
/Applications/SageMath-7.1.app/Contents/Resources/sage/sage: line 118: cd: 
/Users/echolalie/Desktop/Sage-6.9.app/Contents/Resources/sage: No such file 
or directory ?
/Applications/SageMath-7.1.app/Contents/Resources/sage/sage: cannot 
determine SAGE_ROOT directory ??

Can you HELP ?
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] Re: Sage Crash Report

[Henri Girard]

sagemanifolds compiles well usually... Just follow the install doc and 
sm-install.sh :


http://sagemanifolds.obspm.fr/download.html#script_install/sm-install.sh

I prefer than git.

Le 31/03/2016 19:00, Oscar Alberto Castillo Felisola a écrit :

Hi Eric,

I finally compiled the source of sage from github, but I got a merge 
conflict when I added the sagemanifolds branch. I'll post further when 
I get to the office. Hope you could help me.


Cheers.

On Tuesday, 29 March 2016 15:51:53 UTC-3, Eric Gourgoulhon wrote:

Hi Oscar,

I'm afraid I cannot help much with your specific problem. The only
thing I can tell is that Sage 7.1 + SageManifolds 0.9 works well
on Ubuntu, which is based on Debian, but of course differs from it.

Best regards,

Eric.

Le mardi 29 mars 2016 16:04:20 UTC+2, Oscar Alberto Castillo
Felisola a écrit :

Dear community,

lately, I'm having problems with the installation of SAGE. I
downloaded the version Sage v.7.1 for Debian_8, and it seems
to work... but I installed sagemanifold v.0.9, and I got the
report file attached to this post.

I'm having problems too when compiling the scr code, because
the file `flint*` has a problem.

Any suggestions?

--
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 post to this group, send email to sage-support@googlegroups.com 
.

Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


--
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Sage Crash Report

[Oscar Alberto Castillo Felisola]

Hi Eric,

I finally compiled the source of sage from github, but I got a merge 
conflict when I added the sagemanifolds branch. I'll post further when I 
get to the office. Hope you could help me.

Cheers.

On Tuesday, 29 March 2016 15:51:53 UTC-3, Eric Gourgoulhon wrote:
>
> Hi Oscar, 
>
> I'm afraid I cannot help much with your specific problem. The only thing I 
> can tell is that Sage 7.1 + SageManifolds 0.9 works well on Ubuntu, which 
> is based on Debian, but of course differs from it.
>
> Best regards,
>
> Eric.
>
> Le mardi 29 mars 2016 16:04:20 UTC+2, Oscar Alberto Castillo Felisola a 
> écrit :
>>
>> Dear community, 
>>
>> lately, I'm having problems with the installation of SAGE. I downloaded 
>> the version Sage v.7.1 for Debian_8, and it seems to work... but I 
>> installed sagemanifold v.0.9, and I got the report file attached to this 
>> post.
>>
>> I'm having problems too when compiling the scr code, because the file 
>> `flint*` has a problem.
>>
>> Any suggestions?
>>
>

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Sage Crash Report

[Oscar Alberto Castillo Felisola]

Hi Volker,

I discover that a git repository hosted at github. I was able to compile 
the source from that repository, which is by the way more updated that the 
repository advertised at the documentation.

Nonetheless, I'm still having problems when trying to compile the 
sagemanifolds branch... It gave me some conflict issues, and didn't work 
after the resolution.

Thank you!

On Tuesday, 29 March 2016 19:39:07 UTC-3, Volker Braun wrote:
>
> Should be fixed in the next version. In the meantime, you can download the 
> source tarball and compile that.
>
>
>
> On Tuesday, March 29, 2016 at 4:04:20 PM UTC+2, Oscar Alberto Castillo 
> Felisola wrote:
>>
>> Dear community, 
>>
>> lately, I'm having problems with the installation of SAGE. I downloaded 
>> the version Sage v.7.1 for Debian_8, and it seems to work... but I 
>> installed sagemanifold v.0.9, and I got the report file attached to this 
>> post.
>>
>> I'm having problems too when compiling the scr code, because the file 
>> `flint*` has a problem.
>>
>> Any suggestions?
>>
>

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Multivariate division with remainder of polynomials

[Marc Mezzarobba]

Jeroen Demeyer wrote:
> I don't get what you mean. What I am saying is that the following two
> should return the same answer:
> 
> p.mod([q])
> p.quo_rem(q)[1]

I was mixing up several things, sorry. Yes, that makes sense. I guess
quo_rem() for multivariate polynomials must predate the introduction of
Groebner bases in Sage...

-- 
Marc Mezzarobba

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] Re: Re: Multivariate division with remainder of polynomials

[Jeroen Demeyer]

On 2016-03-31 11:06, Marc Mezzarobba wrote:

Jeroen Demeyer wrote:

Is there any reason that quo_rem is not consistent with .mod()? That
is no longer arbitrary and would also extend the Euclidean division of
univariate polynomials.


Not quite: you'd have to return a tuple of quotients.


I don't get what you mean. What I am saying is that the following two 
should return the same answer:


p.mod([q])
p.quo_rem(q)[1]

I see no reason why this is currently not the case.

--
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Re: Multivariate division with remainder of polynomials

[Marc Mezzarobba]

Jeroen Demeyer wrote:
> Is there any reason that quo_rem is not consistent with .mod()? That
> is no longer arbitrary and would also extend the Euclidean division of
> univariate polynomials.

Not quite: you'd have to return a tuple of quotients.

-- 
Marc Mezzarobba

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Calculation of basis taking over 12 hours?

[Simon King]

Hi Saad,

On 2016-03-31, saad khalid  wrote:
> Oh wow... so there's a possibility that the calculation might take million 
> of years for what I'm trying to do? Or there some easy way to approximate 
> how long it will take based off of how many variables I have? Thank you!

The "doubly exponential" complexity is worse case. I had examples with
42 variables and about 10,000 of degree 3, and Singular (which is used
in Sage by default) could compute a Gröbner basis in about 4 hours,
Whereas Magma took a lot longer (that was a couple of years ago, perhaps
Magma has improved on that type of examples).

So, it is always a good idea to at least try. And depending on the
example, it might be possible to use some human insight to simplify the
problem.

Best regards,
Simon

-- 
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] Re: Multivariate division with remainder of polynomials

[Jeroen Demeyer]

On 2016-03-30 16:08, Marc Mezzarobba wrote:

I think it is just a more or less arbitrary function that satisfies
quo*q + rem == p and extends the Euclidean division of univariate
polynomials. (But // can still be useful for exact divisions or
divisions by monomials...)


Is there any reason that quo_rem is not consistent with .mod()? That is 
no longer arbitrary and would also extend the Euclidean division of 
univariate polynomials.



Is multivariate division in the sense of
https://en.wikipedia.org/wiki/Gr%C3%B6bner_basis#Reduction implemented
somewhere in Sage?


Yes: p.mod(ideal) or ideal.reduce(p).


Thanks for the help. Note that p.mod(list of generators) also works.

--
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 post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.