[sage-support] Re: Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread Simon King
Hi Scott,

On 2015-08-28, Scott Morrison scott.morri...@gmail.com wrote:
 There are a number of sources around the web that refer to 
http://sage.math.washington.edu/home/SimonKing/Cohomology/ for 
 explanations of doing group cohomology calculations in Sage, but that link 
 is now broken.

Wow, that's bad. And I (as the maintainer) was not aware of the change
in permission.

 (And hence I, personally, gave up on using Sage to do my 
 group cohomology calculations...)

Did you use my spkg already, or did you give up before trying? Anyway,
on my web page you should find an spkg that works with the current
version of Sage (but that spkg is under review, and older versions of
the spkg suffer from backward incompatible changes in Sage).

 Is it possible to restore that URL, or provide a redirect to the new home 
 of the content (if there is one)?

I try to fix it (i.e., find someone who *can* fix it).

 (Also, if I should report this somewhere else, please let me know. It's not 
 obvious. :-)

I guess it's fine here.

Thank you for your report!
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread Scott Morrison
There are a number of sources around the web that refer to 
http://sage.math.washington.edu/home/SimonKing/Cohomology/ for 
explanations of doing group cohomology calculations in Sage, but that link 
is now broken. (And hence I, personally, gave up on using Sage to do my 
group cohomology calculations...)

Is it possible to restore that URL, or provide a redirect to the new home 
of the content (if there is one)?

(Also, if I should report this somewhere else, please let me know. It's not 
obvious. :-)

best regards,
Scott Morrison

-- 
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Re: Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread kcrisman



 On 2015-08-28, Scott Morrison scott.morri...@gmail.com wrote: 
  There are a number of sources around the web that refer to 
 http://sage.math.washington.edu/home/SimonKing/Cohomology/ for 
  explanations of doing group cohomology calculations in Sage, but that 
 link 
  is now broken. 

 Wow, that's bad. And I (as the maintainer) was not aware of the change 
 in permission. 


I think that was a result of some legal wrangling at UW regarding what Sage 
stuff is/isn't permissible, and at least for some time everything was 
turned off... iirc?  William, I recall you saying that, for the long-term, 
hosting precisely this kind of research-oriented thing was going to be 
permitted - is that correct, or did I misunderstand things there? 

-- 
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Re: Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread Simon King
Hi Karl-Dieter,

On 2015-08-28, kcrisman kcris...@gmail.com wrote:
 I think that was a result of some legal wrangling at UW regarding what Sage 
 stuff is/isn't permissible, and at least for some time everything was 
 turned off... iirc?  William, I recall you saying that, for the long-term, 
 hosting precisely this kind of research-oriented thing was going to be 
 permitted - is that correct, or did I misunderstand things there? 

I hope so.

What's worse: I cannot even ssh into sage.math.washington.edu, my
password isn't accepted.

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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Strange _.extension() function behavior

2015-08-28 Thread Rudy
Hullo all,

Can someone explain the following behavior to me? I would like to to create 
an extension of the field of rational functions in one variable 'y' over 
the finite field of three elements by adjoining a root of unity 'Y' and an 
element of Carlitz torsion 'X'. 

I run the following commands: 

sage: A.y = GF(3)[]; A
sage: w = polygen(A)
sage: K = Frac(A);K
sage: A1.X = K.extension(w^8 + (y^3 + y + 2)*w^2 + (y^2 + 2*y + 2)); A1
sage: B1.Y = A1.extension(w^2+2*w+2); B1

Note that 'w^2+2*w+2' is irreducible over GF(3), and 'w^8 + (y^3 + y + 
2)*w^2 + (y^2 + 2*y + 2)' is irreducible over 'A'. All fields are generated 
successfully. Trying to multiply 'X' and 'Y' or even 'y' and 'Y' then 
yields a NotImplementedError. This seems crazy to me, since by the output 
for 'B1', it knows it is an extension of 'A1', but it gets crazier. 

If instead I restart my worksheet and run:

sage: A.y = GF(3)[]; A
sage: w = polygen(A)
sage: K = Frac(A);K
sage: A1.X = K.extension(w^9 + (y^3 + y + 2)*w^3 + (y^2 + 2*y + 2)*w); A1
sage: B1.Y = A1.extension(w^2+2*w+2); B1

where I have multiplied through by 'w' in the modulus of 'A1', the 
extensions are generated correctly, and one may do arithmetic in all 
variables 'X', 'Y', and 'y'. 

I already have a workaround, but this behavior seems like a bug. So I 
thought I would ask. What's going on here?

All the best, Rudy

-- 
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Re: Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread William A Stein
On Fri, Aug 28, 2015 at 5:59 AM, kcrisman kcris...@gmail.com wrote:

 On 2015-08-28, Scott Morrison scott.morri...@gmail.com wrote:
  There are a number of sources around the web that refer to
 http://sage.math.washington.edu/home/SimonKing/Cohomology/ for
  explanations of doing group cohomology calculations in Sage, but that
  link
  is now broken.

 Wow, that's bad. And I (as the maintainer) was not aware of the change
 in permission.


 I think that was a result of some legal wrangling at UW regarding what Sage
 stuff is/isn't permissible, and at least for some time everything was turned
 off... iirc?  William, I recall you saying that, for the long-term, hosting
 precisely this kind of research-oriented thing was going to be permitted -
 is that correct, or did I misunderstand things there?

Yes, everything you said is right.  The additional orthogonal problem is that I
failed to get some grants, so I have no money to pay for hosting of
many of my computers.  As a result many are sitting in a pile on the
floor.   The ones that are left aren't in a great state -- with the
last of my NSF money, I hired Andrew Ohana to spend a few weeks
getting things reconfigured and working, but it wasn't enough time,
and I don't have the time right now.

Simon, etc. -- find hosting elsewhere.  Github makes hosting of 2GB
binaries for free trivial, so use that.

William

-- 
William Stein
Professor of Mathematics
University of Washington
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Re: Strange _.extension() function behavior

2015-08-28 Thread Rudy
I should add that I am running all of the above commands on the SMC on a 
free account.

-- 
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.


[sage-support] Re: Broken links to http://sage.math.washington.edu/home/SimonKing/Cohomology/

2015-08-28 Thread Dima Pasechnik


On Friday, 28 August 2015 07:20:12 UTC-7, Simon King wrote:

 Hi Karl-Dieter, 

 On 2015-08-28, kcrisman kcri...@gmail.com javascript: wrote: 
  I think that was a result of some legal wrangling at UW regarding what 
 Sage 
  stuff is/isn't permissible, and at least for some time everything was 
  turned off... iirc?  William, I recall you saying that, for the 
 long-term, 
  hosting precisely this kind of research-oriented thing was going to be 
  permitted - is that correct, or did I misunderstand things there? 

 I hope so. 

 What's worse: I cannot even ssh into sage.math.washington.edu, my 
 password isn't accepted. 

 combinat.math.washington.edu http://sage.math.washington.edu

will still give you ssh access, to the same files in your homedir.
(at least it works for me).

I'd suggest that you start by, at least, hosting the package's git (or is 
it hg?) repo  on github.
This takes 5 minutes to set up on a reasonably fast network connection, 
including setting up a github account.



Dima

-- 
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 http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.