Re: [sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Jeroen Demeyer
On 2012-05-23 03:14, John H Palmieri wrote:
> Try installing the command line tools and see if that helps. Sage
> bundles GCC, but it doesn't necessarily include everything which is
> installed with the command line tools, so the machine might be missing
> some important component.
What are these "command line tools"?  The problem is a missing include file.

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: sagenb.org

2012-05-22 Thread Jason Grout

On 5/21/12 1:10 PM, Jason Grout wrote:

On 5/18/12 5:46 PM, Jason Grout wrote:

It does seem to me like the problems are in threads acquiring locks and
possibly sending/receiving data. Maybe switching to the multithreaded
flask server might help. For the record, all the other *.sagenb.org
servers are switched over to 5.0 and seem like they are working fine.


Just heads-up---as you may have seen, there was a problem with the other
*.sagenb.org servers on upgrade, but it was totally unrelated to the
thread locking problems we're seeing on sagenb.org, and has been resolved.

I'm going to be profiling things a bit more today to try to get to the
bottom of the sagenb.org thread contention problems. This might cause
sagenb.org to be slow or down periodically.


Another heads-up, and call for testing...

William: I tried switching over to a multi-threaded flask (werkzeug) 
server.  The load absolutely crushed that server, so that's a no-go for 
a heavy site like sagenb.org (which is exactly what they said in the 
documentation).


Then I tried using uwsgi [1].  And *wow*.  It's amazing how much faster 
things feel.  All of this testing led to a big refactoring of the code 
to start up the notebook.  The end result is that you can do:


sage -sh -c 'easy_install uwsgi'

and then in sage, do

sage: notebook(server="uwsgi")

and the notebook will launch with the uwsgi server.

(you can also do server="twistd" for the twisted server, and 
server="flask" for the flask server)


I've upgraded all *.sagenb.org servers *except* the main sagenb.org 
server to use uwsgi.  Please let me know if you see any problems on any 
of the *.sagenb.org servers.  If I don't hear of any problems by 
tomorrow or so, then I'll switch the main sagenb.org server over to 
uwsgi.  My guess is that this won't completely solve our problems (there 
still are some pretty dumb and wasteful things the server is doing), but 
it should alleviate them quite a bit, hopefully.


Thanks,

Jason

[1] http://projects.unbit.it/uwsgi/ -- this is one of the leading WSGI 
production servers.


--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread John H Palmieri


On Tuesday, May 22, 2012 2:26:52 PM UTC-7, Jason Ekstrand wrote:
>
> On Tue, May 22, 2012 at 2:53 PM, Jason Grout wrote: 
> > Sorry I haven't got back to you on this.  Is XCode installed on the 10.7 
> > laptop?  Also, I notice that the error messages seem to indicate that 
> you're 
> > using the 10.6 binary; I wonder if that might be part of the problem? 
>  Did 
> > you compile 5.0 on the 10.7 machine, or did you download a binary? 
>
> I'm not sitting at the machine right now, but I believe that XCode was 
> installed. The "command line tools" are, however, NOT installed. But I 
> believe the point of bundling GCC in with sage was to get rid of this 
> problem, wasn't it? 
>

Try installing the command line tools and see if that helps. Sage bundles 
GCC, but it doesn't necessarily include everything which is installed with 
the command line tools, so the machine might be missing some important 
component.

-- 
John

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: sage mirror path?

2012-05-22 Thread Dima Pasechnik


On Tuesday, 22 May 2012 21:00:57 UTC+2, Nils Bruin wrote:
>
> I've discovered that the sage mirror www.cecm.sfu.ca/sage isn't 
> updating anymore. It's doing a cron job trying to rsync with 
>
> cecmir...@boxen.math.washington.edu:/home/was/www/sage/ 
>
> which fails. Has there been a change to the path required to sync to? 
> (It hasn't able to find this directory since Fri Apr 27 04:30:01 PDT 
> 2012) 
>
> same applies to the Sage mirror at NTU (Singapore)
By the way, I have a complaint: the mirror info says:

Nanyang Technological University
Last Updated by 
HaraldS on 
May 15, 2011
http://jambu.spms.ntu.edu.sg/sage/index.html
Nanyang Business 
School
36 
reviews
Nanyang Ave
Singapore 639798
9847 5423
ntu-singapore.com/nbs

But it is not by NBS, it's by SPMS, School of Physical and Mathematical 
Sciences:
http://www.spms.ntu.edu.sg/

 

> Cheers, 
>
> Nils

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: weighted projective spaces

2012-05-22 Thread Marco Streng
Op 22-05-2012 15:26, Volker Braun schreef:
> On Tuesday, May 22, 2012 4:16:08 AM UTC-4, Marco Streng wrote:
> 
> Definitely! That would make it possible to have a smooth projective
> model, with the correct points at infinity.
> 
> 
> I don't understand that sentence - a smooth elliptic surface can already
> be embedded in P^2, right?

That sentence refers to the sentence by David Eklund right above it. So
it has nothing to do with elliptic surfaces, but is about hyperelliptic
curves.

Hyperelliptic curves can be mapped birationally onto a curve in P^2,
just by going via the standard model in A^2 of the form y^2 + h(x)*y =
f(x). But the image is not smooth at infinity for any hyperelliptic
curve (of genus >=2). To make the image smooth, the standard solutions
are to
1) glue two copies of A^2,
2) use a higherdimensional P^n, or
3) use a weighted projective 2-dimensional space.

I think David was aiming at (3), and I was simply welcoming that.

> 
> Note that the toric variety code assumes that the base ring is a field
> at various places. So for number theory purposes it might be good to
> split things into ToricVariety_ring vs. ToricVariety_field. Its mostly
> my ignorance about toric varieties over general rings that prevented me
> from doing so... 

> 
> 
> -- 
> To post to this group, send an email to sage-devel@googlegroups.com
> To unsubscribe from this group, send an email to
> sage-devel+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Jason Ekstrand
On Tue, May 22, 2012 at 2:53 PM, Jason Grout
 wrote:
> Sorry I haven't got back to you on this.  Is XCode installed on the 10.7
> laptop?  Also, I notice that the error messages seem to indicate that you're
> using the 10.6 binary; I wonder if that might be part of the problem?  Did
> you compile 5.0 on the 10.7 machine, or did you download a binary?

I'm not sitting at the machine right now, but I believe that XCode was
installed. The "command line tools" are, however, NOT installed. But I
believe the point of bundling GCC in with sage was to get rid of this
problem, wasn't it?

> Also, Jason, can you try executing the above?  I think the file you are using
> is version 1.0.0 of the library, but the above code loads version 1.1.0.  I
> doubt it will make a difference in the limits.h problem, but who knows.

That was the first thing I tried. It gives the exact same error.

--Jason Ekstrand

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: Sage 5.0 on ARM

2012-05-22 Thread Julien Puydt
Le mardi 22 mai, Julien Puydt a écrit:
> http://boxen.math.washington.edu/home/jpuydt/sage-5.0-armv7l-Linux.tar.bz2

I forgot :
$ md5sum sage-5.0-armv7l-Linux.tar.bz2 
ad53951e62c802071844f9bc6d5763d8  sage-5.0-armv7l-Linux.tar.bz2

if you don't get the same, perhaps the upload isn't finished yet (I
should have waited before announcing :-P)...

Snark on #sagemath

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: Sage 5.0 on ARM

2012-05-22 Thread Julien Puydt
Le lundi 21 mai, mmarco a écrit:
> I am a bit busy now, but if you pass me a tarball with the compiled
> sage directory in it i can try to create a chroot environment to be
> run in (rooted) android devices.

Sorry it took so long -- apparently I've been slow to ask for an
account :-P :

http://boxen.math.washington.edu/home/jpuydt/sage-5.0-armv7l-Linux.tar.bz2

Hope that helps,

Snark on #sagemath

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Justin C. Walker

On May 22, 2012, at 13:08 , Justin C. Walker wrote:

> 
> On May 22, 2012, at 12:59 , Jason Grout wrote:
> 
>> On 5/22/12 2:53 PM, Jason Grout wrote:
>>> Can anyone else evaluate this in Sage 5.0 on OSX 10.7?
>> 
>> Just as a data point, this works fine for me in Sage 5.0 on OSX 10.6.8:
>> 
>> sage: URL='http://github.com/jasongrout/minimum_rank/raw/minimum_rank_1_1_0/'
>> sage: 
>> files=['Zq_c.pyx','Zq.py','zero_forcing_64.pyx','zero_forcing_wavefront.pyx','minrank.py']
>> sage: for f in files:
>> : load(URL+f)
>> :
>> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_0.pyx...
>> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_2.pyx...
>> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_3.pyx...
>> 
>> It would be great if someone else could try OSX 10.7...
> 
> I get the same, using Mac OS X, 10.7.4, with Xcode 4.2.1

...and Sage 5.0, as well.

Justin

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

Experience is what you get
  when you don't get what you want.




-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Justin C. Walker

On May 22, 2012, at 12:59 , Jason Grout wrote:

> On 5/22/12 2:53 PM, Jason Grout wrote:
>> Can anyone else evaluate this in Sage 5.0 on OSX 10.7?
> 
> Just as a data point, this works fine for me in Sage 5.0 on OSX 10.6.8:
> 
> sage: URL='http://github.com/jasongrout/minimum_rank/raw/minimum_rank_1_1_0/'
> sage: 
> files=['Zq_c.pyx','Zq.py','zero_forcing_64.pyx','zero_forcing_wavefront.pyx','minrank.py']
> sage: for f in files:
> : load(URL+f)
> :
> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_0.pyx...
> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_2.pyx...
> Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_3.pyx...
> 
> It would be great if someone else could try OSX 10.7...

I get the same, using Mac OS X, 10.7.4, with Xcode 4.2.1

Justin

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

The path of least resistance:
it's not just for electricity any more.




-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Jason Grout

On 5/22/12 2:53 PM, Jason Grout wrote:

Can anyone else evaluate this in Sage 5.0 on OSX 10.7?


Just as a data point, this works fine for me in Sage 5.0 on OSX 10.6.8:

sage: 
URL='http://github.com/jasongrout/minimum_rank/raw/minimum_rank_1_1_0/'
sage: 
files=['Zq_c.pyx','Zq.py','zero_forcing_64.pyx','zero_forcing_wavefront.pyx','minrank.py']

sage: for f in files:
: load(URL+f)
:
Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_0.pyx...
Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_2.pyx...
Compiling /Users/grout/.sage//temp/tiny.local/77075//tmp_3.pyx...

It would be great if someone else could try OSX 10.7...

Thanks,

Jason


--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: C build problems on MacOS 10.7 Lion.

2012-05-22 Thread Jason Grout

On 5/22/12 2:13 PM, Jason Ekstrand wrote:

A professor in the department (not me) recently got a new macbook with
MacOS 10.7 Lion on it. Due to some of the issues with installing XCode,
we simply waited until Sage 5 to install Sage. However, upon installing,
it fails to build Jason Grout's minimum rank library. I've attached a
PDF of the error.

It appears as if the version of the limits.h file bundled in with sage
depends on the system's limits.h file which does not exist on a standard
MacOS 10.7 install. How do you recommend dealing with this?



Sorry I haven't got back to you on this.  Is XCode installed on the 10.7 
laptop?  Also, I notice that the error messages seem to indicate that 
you're using the 10.6 binary; I wonder if that might be part of the 
problem?  Did you compile 5.0 on the 10.7 machine, or did you download a 
binary?


If someone wants to double-check things, just evaluate this in a cell or 
at the command line:


URL='http://github.com/jasongrout/minimum_rank/raw/minimum_rank_1_1_0/'
files=['Zq_c.pyx','Zq.py','zero_forcing_64.pyx','zero_forcing_wavefront.pyx','minrank.py']
for f in files:
load(URL+f)

Can anyone else evaluate this in Sage 5.0 on OSX 10.7?

Also, Jason, can you try executing the above?  I think the file you are 
using is version 1.0.0 of the library, but the above code loads version 
1.1.0.  I doubt it will make a difference in the limits.h problem, but 
who knows.


Thanks,

Jason

--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] sage mirror path?

2012-05-22 Thread Nils Bruin
I've discovered that the sage mirror www.cecm.sfu.ca/sage isn't
updating anymore. It's doing a cron job trying to rsync with

cecmir...@boxen.math.washington.edu:/home/was/www/sage/

which fails. Has there been a change to the path required to sync to?
(It hasn't able to find this directory since Fri Apr 27 04:30:01 PDT
2012)

Cheers,

Nils

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] maxima error on calls like solve((A+p^B,p), is that the intended behavior?

2012-05-22 Thread Benjamin Jones
On Tue, May 22, 2012 at 8:27 AM, Jonathan  wrote:
> Yes, I made a typo..Thanks for realizing what I meant.
>
> However, I still think that a solution that has complex answers is OK.  If
>  you are finding the symbolic solution isn't it better to find the general
> solution and then deal with specific cases?  I don't see what is wrong with:
> p = (-A)^(1/B), even when B = 2 and A > 0.  This just means p =
> (+/-)sqrt(-A). I just don't see any problem with having two possible
> answers, even if they are complex.  Is the problem that Maxima is trying to
> solve the problem restricting it to RR?
>
> I believe this is a case where Sage should try to catch this kind of Maxima
> error and allow the user to get the general answer without having to drop
> into Maxima.
>
> So, I am arguing that Sage really should return: p = (-A)^(1/B) in cases
> like this and that when Maxima asks a question, we need a better explanation
> for the user of how to respond.
>
> Jonathan
>

Well, I agree. I guess I was trying to say that a solution, if one
exists, depends on the context (the underlying ring and also the
values of A and B) so I don't think it's unreasonable for Maxima to
ask for more information before giving an apparent solution which may
or may not really exist.

Mathematica seems to agree with you to:

http://www.wolframalpha.com/input/?i=solve+A+%2B+p%5EB+%3D+0+for+p

I definitely agree that Sage could be more helpful here as the middle
man. I wonder if Maxima has any flags related to this, e.g.
`return_purely_symbolic_solutions = true` would return `[ p =
(-A)^(1/B) ]` and we could wrap this flag as an option to solve?

--
Benjamin Jones

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: maxima error on calls like solve((A+p^B,p), is that the intended behavior?

2012-05-22 Thread kcrisman


On May 22, 9:27 am, Jonathan  wrote:
> Yes, I made a typo..Thanks for realizing what I meant.
>
> However, I still think that a solution that has complex answers is OK.  If
>  you are finding the symbolic solution isn't it better to find the general
> solution and then deal with specific cases?  I don't see what is wrong
> with: p = (-A)^(1/B), even when B = 2 and A > 0.  This just means p =
> (+/-)sqrt(-A). I just don't see any problem with having two possible
> answers, even if they are complex.  Is the problem that Maxima is trying to
> solve the problem restricting it to RR?
>
> I believe this is a case where Sage should try to catch this kind of Maxima
> error and allow the user to get the general answer without having to drop
> into Maxima.
>
> So, I am arguing that Sage really should return: p = (-A)^(1/B) in cases
> like this and that when Maxima asks a question, we need a better
> explanation for the user of how to respond.
>

You mean like

http://hg.sagemath.org/sage-main/file/c239be1054e0/sage/symbolic/integration/integral.py#l327

 sage: var('x, n')
   330 (x, n)
   331 sage: integral(x^n,x)
   332 Traceback (most recent call last):
   333 ...
   334 ValueError: Computation failed since Maxima requested
additional
   335 constraints; using the 'assume' command before integral
evaluation
   336 *may* help (example of legal syntax is 'assume(n+1>0)',
see `assume?`
   337 for more details)
   338 Is  n+1  zero or nonzero?
   339 sage: assume(n > 0)
   340 sage: integral(x^n,x)
   341 x^(n + 1)/(n + 1)
   342 sage: forget()

I don't think we will be going for the answer you suggest, if only
because we'd have to write our own solver.

If you look at

sage: x.solve?

you'll see that we do incorporate the assumptions in (very naively and
basically) and we should also try to give the right syntax in this
case for the error.   Assuming this is Jonathan G., can you open a
Trac ticket for this?  Maybe search in the symbolic component first to
make sure this isn't already there, though I don't recall that it is.

- kcrisman

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: Error in sage-5.0 + R: sage notebook does not show R parsing errors if length(input)>=1024 characters

2012-05-22 Thread kcrisman


On May 21, 5:08 pm, Maciek Sykulski  wrote:
> The old patch somewhat 
> works.http://trac.sagemath.org/sage_trac/attachment/ticket/11436/trac_11436...
>
> It didn't apply automatically because the source in sage-5.0
> looks a bit different now:
> -
>     def _read_in_file_command(self, filename):
>         r"""
>         Return the R command (as a string) to read in a file named
>         filename into the R interpreter.
>
>         EXAMPLES::
>
>             sage: r._read_in_file_command('file.txt')
>             'file=file("file.txt",open="r")\nsource(file)'
>         """
>         return 'file=file("%s",open="r")\nsource(file)'%filename
> -
>
> Changing to>        return 
> 'file=file("%s",open="r")\nsource(file,print.eval=TRUE)'%filename
>
> doesn't do the trick, however reverting back to the old way, does:
>
> >        return 'source("%s",print.eval=TRUE)'%filename
>
> The error message in the notebook prints full %filename, however.
>

I bet this is debuggable without changing to the old syntax (which
change I assume was made for some good reason in one of the more
recent R fixes).  Can you put some of your experiments on that
ticket?  (Yes, this is a not-so-subtle ploy to get you to acquire a
Trac account and lure you into Sage development!)

Thanks for helping look at this,
- kcrisman

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: IPC with SAGE

2012-05-22 Thread Volker Braun
Maybe you should state at least a few details of your problem if you want 
meaningful advice. 

I like zeromq/pyzmq which is currently an optional package

http://trac.sagemath.org/sage_trac/ticket/12843

Its very easy to implement various messaging patterns without getting 
bogged down in details of implementation. Also offers the same api for both 
IPC and networking...






On Tuesday, May 22, 2012 12:05:16 AM UTC-4, Jorge Catumba Ruiz wrote:
>
> Hi, I was wondering if is possible to use IPC mechanisms with SAGE. That 
> its important because I'm working on a project in my university.
>
> Thanks in advance.
>

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: weighted projective spaces

2012-05-22 Thread Volker Braun
On Tuesday, May 22, 2012 4:16:08 AM UTC-4, Marco Streng wrote:
>
> Definitely! That would make it possible to have a smooth projective 
> model, with the correct points at infinity. 
>

I don't understand that sentence - a smooth elliptic surface can already be 
embedded in P^2, right?

Note that the toric variety code assumes that the base ring is a field at 
various places. So for number theory purposes it might be good to split 
things into ToricVariety_ring vs. ToricVariety_field. Its mostly my 
ignorance about toric varieties over general rings that prevented me from 
doing so... 


-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Geo buckets?

2012-05-22 Thread Simon King
Hi!

AFAIK, Singular uses the geo bucket data structure for internally
representing polynomials during Gröbner basis computations. I did not
succeed in finding it with search_src, but to be on the safe side, I
ask here: Are geo buckets wrapped in Sage?

Best regards,
Simon

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: how do I build sage-5.0 on virtualbox?

2012-05-22 Thread Adam Webb


On May 21, 4:02 pm, Jeroen Demeyer  wrote:
> On 2012-05-21 23:21, Adam Webb wrote:
>
>
>
>
>
>
>
>
>
> >> William (or anyone else having this problem), can you test the SPKG
> >> Jeroen has put up on #12970 ? Just unpack a sage source tarball, and
> >> replace mpir-2.4.0.p3.spkg 
> >> withhttp://boxen.math.washington.edu/home/jdemeyer/spkg/mpir-2.4.0.p5.spkg.
>
> >> I'd test it myself but I don't have access to my VM for the next month
> >> or so.
>
> >> -Keshav
>
> >> 
> >> Join us in #sagemath on irc.freenode.net !
>
> > I tried the spkg and everything built without problems. A 'make -
> > ptestlong' also passed.
> > This is using Ubuntu 12.04 (64 bit) on vmplayer in Windows 7.
>
> Please
> 1) Mention your CPU model
> 2) Send the MPIR build log


My cpu is an Intel Core i7-2600.  BTW I am using VMware Player 4.0.3.

For what it is worth, cpuinfo shows the following flags:

flags   : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov
pat pse36 clflush dts acpi mmx fxsr sse sse2 ss syscall nx rdtscp lm
constant_tsc arch_perfmon pebs bts nopl xtopology tsc_reliable
nonstop_tsc aperfmperf pni pclmulqdq ssse3 cx16 sse4_1 sse4_2 popcnt
hypervisor lahf_lm ida arat epb xsaveopt pln pts dts

Log file is at http://sage.math.washington.edu/home/awebb/mpir-2.4.0.p5.log.

Cheers,
Adam

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] maxima error on calls like solve((A+p^B,p), is that the intended behavior?

2012-05-22 Thread Jonathan
Yes, I made a typo..Thanks for realizing what I meant.

However, I still think that a solution that has complex answers is OK.  If 
 you are finding the symbolic solution isn't it better to find the general 
solution and then deal with specific cases?  I don't see what is wrong 
with: p = (-A)^(1/B), even when B = 2 and A > 0.  This just means p = 
(+/-)sqrt(-A). I just don't see any problem with having two possible 
answers, even if they are complex.  Is the problem that Maxima is trying to 
solve the problem restricting it to RR? 

I believe this is a case where Sage should try to catch this kind of Maxima 
error and allow the user to get the general answer without having to drop 
into Maxima.

So, I am arguing that Sage really should return: p = (-A)^(1/B) in cases 
like this and that when Maxima asks a question, we need a better 
explanation for the user of how to respond.

Jonathan

On Monday, May 21, 2012 3:21:19 PM UTC-5, Benjamin Jones wrote:
>
> On Mon, May 21, 2012 at 3:10 PM, Jonathan  wrote: 
> > sage: var('x y z p q A B C') 
> > sage: solve((A + p^B),p) 
> > 
> > results in: 
> > 
> > ... 
> > TypeError: ECL says: Maxima asks: Is B an integer? 
> > 
> > 
> > Shouldn't it result in: 
> > 
> > [p = (-A)^(1/p)] 
> > 
> > 
> > Jonathan 
>
> I guess you mean: [p = (-A)^(1/B)] 
>
> Think about what happens when A = 2 and B = 2, or when A = 2 and B = 1/2. 
>
> -- 
> Benjamin Jones 
>

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: weighted projective spaces

2012-05-22 Thread Marco Streng
Op 22-05-2012 4:09, David Eklund schreef:
> Hi Volker,
> 
> thanks for the advice! I think basing the implementation on the Cox ring
> is what I wanted anyway. 
> 
> If any number theory people are reading this I think it is worth
> thinking about making hyperelliptic curves subvarieties of weighted
> projective planes

Definitely! That would make it possible to have a smooth projective
model, with the correct points at infinity.

> (whether using the toric variety version I will work
> on or some other implementation of weighted projective spaces).
> 
> /David Eklund
> 
> On Sunday, May 20, 2012 7:03:04 PM UTC-6, Volker Braun wrote:
> 
> Hi David,
> 
> I think it would be best to construct them as toric varieties.
> This'll give you lots of functionality. For starters you should
> probably add a weighted projective space constructor to the
> toric_varieties library. There is already a toric_varieties.P(int),
> how about toric_varieties.WP(list of ints). If you want to provide
> specialized implementations for toric algorithms you can derive from
> the ToricVarieties class.
> 
> Volker
> 
> 
> On Sunday, May 20, 2012 3:06:16 PM UTC-4, David Eklund wrote:
> 
> Hi,
> 
> 
> I'm considering opening a ticket for the implementation of
> weighted projective spaces (in a class of its own). I think it
> could be quite useful in general but there are also algebraic
> varieties already in Sage for which weighted projective space is
> a natural habitat (like hyperelliptic curves).
> 
> 
> Does this sound like a good idea? Or is it superfluous?
> 
> 
> Are there tickets on this already?
> 
> 
> Any ideas of how it can be done? For example, does anyone know
> how it is done in Magma?
> 
> 
> Some technical remarks: it might be that the work is essentially
> already done in connection with toric varieties. I'm not sure
> exactly which functionalities I would like, but at least I want
> to construct them by simply giving the weights and also define
> subschemes by giving a bunch of weighted homogenous polynomials.
> Perhaps test smoothness of such subschemes etc. Maybe weighted
> projective spaces should be constructed as toric varieties. Or
> perhaps it is better to make an independent implementation of
> them. Any thoughts?
> 
> 
> thanks!
> 
> /David Eklund
> 
> -- 
> To post to this group, send an email to sage-devel@googlegroups.com
> To unsubscribe from this group, send an email to
> sage-devel+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: IPC with SAGE

2012-05-22 Thread Keshav Kini
Dima Pasechnik  writes:
> AFAIK, pexpect provides IPC (Inter-Process Communication?) in Sage, and is 
> used
> by a number of Sage packages.

While it is true that we use pexpect a lot, it is a particularly crude
kind of IPC, and we only use it because it's a quick and dirty solution
when you have a lot of control over one side of the connection - in our
case, the Sage library - and little or no control over the other - in
our case, various other mathematics software, which, though open source,
we would prefer to avoid extensively patching to create an interface for
IPC.

Good IPC solutions generally involve some support from both sides, and I
wouldn't really suggest pexpect to someone looking for general IPC
mechanisms available in Sage, especially when there are doubtless many
other, better ways to implement IPC that are easily available as Python
modules... it would be like recommending a screen scraper to someone
looking for a parser :)

-Keshav


Join us in #sagemath on irc.freenode.net !

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: IPC with SAGE

2012-05-22 Thread Dima Pasechnik
AFAIK, pexpect provides IPC (Inter-Process Communication?) in Sage, and is 
used by a number of Sage packages.

On Tuesday, 22 May 2012 08:50:59 UTC+2, Keshav Kini wrote:
>
> Jorge Catumba Ruiz  writes: 
> > Hi, I was wondering if is possible to use IPC mechanisms with SAGE. That 
> its 
> > important because I'm working on a project in my university. 
>
> Sage is just running on Python, so you can use any IPC mechanisms that 
> exist for Python (and I'm sure there are plenty). 
>
> -Keshav 
>
>  
> Join us in #sagemath on irc.freenode.net ! 
>
>

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org