[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski


Hi Jason,

Qepcad sounds VERY interesting. I have not heard about it before. Do
you know how to install qepcad (on a mac)? I did not find it in the
optional packages list.

Cheers
Stan

On Oct 25, 5:48 pm, Jason Grout <[EMAIL PROTECTED]> wrote:

> The optional qepcad package can solve inequalities, as well as
> expressions involving quantifiers (for all, there exists, etc.).  You
> can see the documentation by typing qepcad?; you'll need to install the
> qepcad optional spkg to use it.
>
> Thanks,
>
> Jason
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

I just had another look around for qepcad on sage. Here is what I
found:

There is a ticket for including an interface to qepcad (http://
trac.sagemath.org/sage_trac/ticket/772), which has been merged in sage
3.1.2.alpha2. According to this ticket, it seems that qepcad does not
compile properly on osx. Is this the latest stand on this?

Stan

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Jason Grout

Stan Schymanski wrote:
> I just had another look around for qepcad on sage. Here is what I
> found:
> 
> There is a ticket for including an interface to qepcad (http://
> trac.sagemath.org/sage_trac/ticket/772), which has been merged in sage
> 3.1.2.alpha2. According to this ticket, it seems that qepcad does not
> compile properly on osx. Is this the latest stand on this?

I'm not sure, not having OSX to test.  Here is the spkg:

http://sagemath.org/packages/experimental/qepcad-1.50.spkg

Does it work for you?

Thanks,

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: How to detect memory leaks?

2008-10-27 Thread Simon King

Hi!

On Oct 25, 11:07 pm, Simon King <[EMAIL PROTECTED]> wrote:
> At http://sage.math.washington.edu/home/SimonKing/f5/f5.pyx is the
> latest version, i.e., the one with counters in __init__, __del__ and
> __dealloc__ (which of course should eventually be removed).

Sorry, meanwhile I found that I was mistaken about __del__ versus
__dealloc__: There is no __del__ method for extension types.

My conjecture was that the memory leak was caused by (one of) the two
extension types in my code. But now it seems that the problem is
located somewhere else.

At http://sage.math.washington.edu/home/SimonKing/f5/f5.pyx is the
version with extension classes, and at 
http://sage.math.washington.edu/home/SimonKing/f5/f5B.pyx
is essentially the same code with Python classes replacing the
extension types. The memory leak is still present with Python
classes.

So, it seems to me that the leak might come from other compiled
components.
Libsingular? This is what I'm using most frequently.

Valgrinding revealed a definite loss of 612 bytes and a potential loss
of 394,644 bytes in two runs. See 
http://sage.math.washington.edu/home/SimonKing/f5/sage-memcheck.2402

Best regards
   Simon

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Excuse my ignorance, but how do I install an spkg? Do I need to use
Darwinports or is there a way to get sage to do it?

Stan

On Oct 27, 12:02 pm, Jason Grout <[EMAIL PROTECTED]> wrote:


> I'm not sure, not having OSX to test.  Here is the spkg:
>
> http://sagemath.org/packages/experimental/qepcad-1.50.spkg
>
> Does it work for you?
>
> Thanks,
>
> Jason
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread David Joyner

>From the command line in the sage directory and on a machine with
an internet connection, type
./sage -i qepcad-1.50.spkg
See also http://sagemath.org/packages/experimental/


On Mon, Oct 27, 2008 at 7:28 AM, Stan Schymanski <[EMAIL PROTECTED]> wrote:
>
> Excuse my ignorance, but how do I install an spkg? Do I need to use
> Darwinports or is there a way to get sage to do it?
>
> Stan
>
> On Oct 27, 12:02 pm, Jason Grout <[EMAIL PROTECTED]> wrote:
>
>
>> I'm not sure, not having OSX to test.  Here is the spkg:
>>
>> http://sagemath.org/packages/experimental/qepcad-1.50.spkg
>>
>> Does it work for you?
>>
>> Thanks,
>>
>> Jason
> >
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Hi Jason,

Thanks for that. Unfortunately, the compilation produced some errors.
I put the log at ftp://ftp.bgc-jena.mpg.de/pub/outgoing/sschym/qepcad_errors.
It starts with "Could not determine processor type" and "Could not
determine OS type".

Stan

On Oct 27, 12:02 pm, Jason Grout <[EMAIL PROTECTED]> wrote:

> I'm not sure, not having OSX to test.  Here is the spkg:
>
> http://sagemath.org/packages/experimental/qepcad-1.50.spkg
>
> Does it work for you?
>
> Thanks,
>
> Jason
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread David Joyner

On Mon, Oct 27, 2008 at 7:57 AM, Stan Schymanski <[EMAIL PROTECTED]> wrote:
>
> Hi Jason,
>
> Thanks for that. Unfortunately, the compilation produced some errors.
> I put the log at ftp://ftp.bgc-jena.mpg.de/pub/outgoing/sschym/qepcad_errors.
> It starts with "Could not determine processor type" and "Could not
> determine OS type".


These sound serious, but the qepcad webpage has a link to an install page which
might help. http://www.cs.usna.edu/~qepcad/B/QEPCAD.html


>
> Stan
>
> On Oct 27, 12:02 pm, Jason Grout <[EMAIL PROTECTED]> wrote:
>
>> I'm not sure, not having OSX to test.  Here is the spkg:
>>
>> http://sagemath.org/packages/experimental/qepcad-1.50.spkg
>>
>> Does it work for you?
>>
>> Thanks,
>>
>> Jason
> >
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Thanks, but the comments on the install page do not sound too
promising. Even if I finally managed to get qepad to work on my
computer on its own, I wouldn't know how to make sage work with it, so
I'll wait until someone more knowledgeable with osx and enough time
solves the problem.
Or until Sage itself will be able to do what qepad does. :) By the
way, I haven't found a way in Mathematica to solve inequalities, so
this would definitely be great.

Thanks for your help!
Stan

On Oct 27, 1:12 pm, "David Joyner" <[EMAIL PROTECTED]> wrote:
> On Mon, Oct 27, 2008 at 7:57 AM, Stan Schymanski <[EMAIL PROTECTED]> wrote:
>
> > Hi Jason,
>
> > Thanks for that. Unfortunately, the compilation produced some errors.
> > I put the log atftp://ftp.bgc-jena.mpg.de/pub/outgoing/sschym/qepcad_errors.
> > It starts with "Could not determine processor type" and "Could not
> > determine OS type".
>
> These sound serious, but the qepcad webpage has a link to an install page 
> which
> might help.http://www.cs.usna.edu/~qepcad/B/QEPCAD.html
>
>
>
> > Stan
>
> > On Oct 27, 12:02 pm, Jason Grout <[EMAIL PROTECTED]> wrote:
>
> >> I'm not sure, not having OSX to test.  Here is the spkg:
>
> >>http://sagemath.org/packages/experimental/qepcad-1.50.spkg
>
> >> Does it work for you?
>
> >> Thanks,
>
> >> Jason
>
>
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Jason Grout

Stan Schymanski wrote:
> Thanks, but the comments on the install page do not sound too
> promising. Even if I finally managed to get qepad to work on my
> computer on its own, I wouldn't know how to make sage work with it, so
> I'll wait until someone more knowledgeable with osx and enough time
> solves the problem.
> Or until Sage itself will be able to do what qepad does. :) By the
> way, I haven't found a way in Mathematica to solve inequalities, so
> this would definitely be great.

Mathematica implements the same sort of basic ideas that qepcad 
implements, I think.  In Mma, you can use Reduce to do the equivalent thing:

http://reference.wolfram.com/mathematica/ref/Reduce.html

http://reference.wolfram.com/mathematica/tutorial/Inequalities-SymbolicMathematics.html


Thanks,

Jason



--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Jason Grout

Stan Schymanski wrote:
> Thanks, but the comments on the install page do not sound too
> promising. Even if I finally managed to get qepad to work on my
> computer on its own, I wouldn't know how to make sage work with it, so
> I'll wait until someone more knowledgeable with osx and enough time
> solves the problem.

If you could get qepcad to compile on OSX (just by itself), I think we 
could get what you did to work in Sage.

To get the QEPCAD sources that Sage uses, download the spkg, then in a 
terminal do:

tar -xjvf qepcad-1.50.spkg

Then the sources should be in the qepcad-1.50/src/ directory.  The 
instructions on the qepcad webpage then apply.  To see what Sage is 
doing to build qepcad, just look in qepcad-1.50/spkg-install.


> Or until Sage itself will be able to do what qepad does. :) 

I think that is/was an eventual goal of Carl Witty's.  I think it's a 
goal that will take a while to do, though.  Qepcad is very good at what 
it does, though.

Thanks,

Jason




--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] solve, integrate, series

2008-10-27 Thread Martin Rubey

How come that solve doesn't solve this?

sage: solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x)
[x == -sqrt(sqrt(4*x^2 + 1) - 1), x == sqrt(sqrt(4*x^2 + 1) - 1)]

sage: axiom.solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x)

+-+   +-+
  [x= 0,x= \|2 ,x= - \|2 ]

Furthermore, is there a way to convince integrate to do

sage: integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x,0,sqrt(2))
integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x, 0, sqrt(2))

sage: axiom.integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), "x=0..sqrt(2)", 
'"noPole"')

  1
  -
  2

a third question: how do I get a power series expansion of, say, x^(1/3)?

sage: axiom.series(sin(x)^(1/3),x=0)

   1   7
   -   -
   31  3  4
  x  - -- x  + O(x )
   18


(I know how to do it with FriCAS, but I'd like to know how I can show my
students how to do these things with sage.  Actually, sage-3.1.2, that is
what's installed.)

Martin


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Yes, that's right, Mathematica does solve inequalities using the
Reduce[] command. Forgot about that! If EQPCAD does what Reduce[] does
in Mathematica it may be well worth the effort to get it installed.
Thanks for the instructions. I may give it a try. I can't wait for the
improved equation and inequality solver in Sage. Good luck to Carl
Witty!

Cheers
Stan
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Hi Jason,

I tried what you said and the error occurs right at the beginning.
Btw, shall we move this to the devel group?

I get the following error messages:

uname: illegal option -- i
usage: uname [-amnprsv]
SACLIB Warning: Could not determine processor type!
SACLIB Warning: Could not determine OS type!

when executing bin/sconf, which calls mksysdep.pl, where the relevant
lines are:

### Get architecture type
$ptype = "unknown";
$uname = `uname -mpi`;
if ($uname =~ /i\S*86/ or $uname =~ /x86_64/)
{
$ptype = "x86";
}
elsif ($uname =~ /Sun|sun|SUN|Sparc|sparc|SPARC/)
{
$ptype = "sparc";
}
else
{
print "SACLIB Warning: Could not determine processor type!\n";
}

### Get OS type
$ostype = "unknown";
$uname = `uname -s`;
if ($uname =~ /linux|Linux|LINUX/)
{
$ostype = "linux";
}
elsif ($uname =~ /Sun|sun|SUN|solaris|Solaris/)
{
$ostype = "solaris";
}
else
{
print "SACLIB Warning: Could not determine OS type!\n";
}



Could mksysdep.pl be changed somehow to run on a mac?

Stan

On Oct 27, 3:48 pm, Jason Grout <[EMAIL PROTECTED]> wrote:

> If you could get qepcad to compile on OSX (just by itself), I think we
> could get what you did to work in Sage.
>
> To get the QEPCAD sources that Sage uses, download the spkg, then in a
> terminal do:
>
> tar -xjvf qepcad-1.50.spkg
>
> Then the sources should be in the qepcad-1.50/src/ directory.  The
> instructions on the qepcad webpage then apply.  To see what Sage is
> doing to build qepcad, just look in qepcad-1.50/spkg-install.
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Actually, the qepcad distro is only made for Linux and Solaris, so I
suppose we would need to put more effort into getting it compiled on a
mac.
mksysdep.pl only tries to get the architecture of the computer in
order to call the appropriate install script, but there is no install
script for a Mac, anyway. I saw that there are people that got it
compiled on a mac, but only the older version of qepcad (e.g.
http://www.cl.cam.ac.uk/~lp15/papers/Arith/qepcad-for-mac.html).

I think this is becoming way too complicated for me. Sorry!

Stan
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Stan Schymanski

Hi Michael,

If you could upload a fix somewhere, I would be happy to try it.

The web page I referred to does not give any information on what
needed to be done in order to compile it on a Mac (unfortunately).

Stan

On Oct 27, 5:23 pm, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:

> This should be fairly trivial to fix - at least to make it compile. I
> am curious why the above web page states that the code cannot work on
> MacOSX/PPC.
>
>
> Cheers,
>
> Michael
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Jason Grout

Stan Schymanski wrote:
> Actually, the qepcad distro is only made for Linux and Solaris, so I
> suppose we would need to put more effort into getting it compiled on a
> mac.
> mksysdep.pl only tries to get the architecture of the computer in
> order to call the appropriate install script, but there is no install
> script for a Mac, anyway. I saw that there are people that got it
> compiled on a mac, but only the older version of qepcad (e.g.
> http://www.cl.cam.ac.uk/~lp15/papers/Arith/qepcad-for-mac.html).
> 
> I think this is becoming way too complicated for me. Sorry!
>

No problem.  Thanks for looking into this.  Again, the first step here 
is to get it compiling on a mac.  I don't have a mac, so I can't test 
this, but you are welcome to try.

The link you provide above gives a bzipped tar file that contains 
several patches to get qepcad to compile on a mac.  The version they use 
is actually fairly close to the version we use.  There were a couple of 
bug fixes and some work to get qepcad to work on 64-bit systems.  The 
main change between 1.48 and 1.50, I believe, was the license change 
that was needed to incorporate qepcad into Sage.

Can you compile the package at the link you gave above?  If so, it looks 
like the work may have already been done for us and it's just a matter 
of including that Mac OSX patch.

Thanks,

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread Jason Grout

Stan Schymanski wrote:
> Hi Michael,
> 
> If you could upload a fix somewhere, I would be happy to try it.
> 
> The web page I referred to does not give any information on what
> needed to be done in order to compile it on a Mac (unfortunately).


The tbz archive has a README, which is a script that apparently compiles 
the package, though.

So downloading the package at the link you gave, untarring it, and doing 
sh README seems like it should work.  You might have the change the 
first statement in the README.

side note: Interestingly, the README is a shell script.  So apparently, 
in this case, the code has become the documentation!

Thanks,

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: radius of convergence and inequalities

2008-10-27 Thread mabshoff



On Oct 27, 9:19 am, Stan Schymanski <[EMAIL PROTECTED]> wrote:
> Actually, the qepcad distro is only made for Linux and Solaris, so I
> suppose we would need to put more effort into getting it compiled on a
> mac.
> mksysdep.pl only tries to get the architecture of the computer in
> order to call the appropriate install script, but there is no install
> script for a Mac, anyway. I saw that there are people that got it
> compiled on a mac, but only the older version of qepcad 
> (e.g.http://www.cl.cam.ac.uk/~lp15/papers/Arith/qepcad-for-mac.html).
>
> I think this is becoming way too complicated for me. Sorry!

This should be fairly trivial to fix - at least to make it compile. I
am curious why the above web page states that the code cannot work on
MacOSX/PPC.

> Stan

Cheers,

Michael
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: solve, integrate, series

2008-10-27 Thread William Stein

On Mon, Oct 27, 2008 at 7:48 AM, Martin Rubey <[EMAIL PROTECTED]> wrote:
>
> How come that solve doesn't solve this?
>
> sage: solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x)
> [x == -sqrt(sqrt(4*x^2 + 1) - 1), x == sqrt(sqrt(4*x^2 + 1) - 1)]
>
> sage: axiom.solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x)
>
>+-+   +-+
>  [x= 0,x= \|2 ,x= - \|2 ]

Sage's solve command is simply a light wrapper around Maxima's, and Maxima
doesn't solve the above:

--
teragon:Desktop wstein$ sage -maxima
Maxima 5.16.3 http://maxima.sourceforge.net
Using Lisp CLISP 2.46 (2008-07-02)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) solve(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x);
2 2
(%o1)   [x = - sqrt(sqrt(4 x  + 1) - 1), x = sqrt(sqrt(4 x  + 1) - 1)]
--

In the long run in Sage some of us will likely have to write a new solve
command from scratch, which is much more sophisticated than Maxima's,
and will certainly benefit from knowledge about what's in Fricas.

> Furthermore, is there a way to convince integrate to do
>
> sage: integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x,0,sqrt(2))
> integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), x, 0, sqrt(2))
>
> sage: axiom.integrate(sqrt(sqrt(4*x^2 + 1) - x^2 - 1), "x=0..sqrt(2)", 
> '"noPole"')
>
>  1
>  -
>  2

Exactly the same answer as to your previous question.

> a third question: how do I get a power series expansion of, say, x^(1/3)?
>
> sage: axiom.series(sin(x)^(1/3),x=0)
>
>   1   7
>   -   -
>   31  3  4
>  x  - -- x  + O(x )
>   18
>
>
> (I know how to do it with FriCAS, but I'd like to know how I can show my
> students how to do these things with sage.  Actually, sage-3.1.2, that is
> what's installed.)

Is this what you want?

sage: (sin(x)^(1/3)).taylor(x,0,10)
x^(1/3) - x^(7/3)/18 - x^(13/3)/3240 - 53*x^(19/3)/1224720 -
191*x^(25/3)/62985600

 -- William

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: solve, integrate, series

2008-10-27 Thread Martin Rubey

Dear William,

thanks for your quick answer, even though it doesn't make me too happy.  I'm
having a hard time here, I must admit.  So far I thought that sage would do
most things out of the box, and it's only inconsistent (eg., arguments to plot,
plot3d and integrate vary wildly.  There are several functions plot, plot3d,
contour_plot, parametric_plot, etc. and not only one that decides on the type
of self what to do.  limit requires "x=x0" as second argument, and not "x==x0"
as would be natural for an equation.  The syntax for lambda is completely
different to usual function definition - no parens for example.  sage just eats
all cpu time when I call contour_plot with an equation as self by mistake.  In
general, it seems that functions are "dangerous", i.e., do little to no type
checking, but it's not at all clear when a method does the same thing as the
function, and when it is available at all (eg. contour_plot is not a method,
while plot is.)  A general rule would be extremely helpful here.

Sorry for the rant.

"William Stein" <[EMAIL PROTECTED]> writes:
> Is this what you want?
> 
> sage: (sin(x)^(1/3)).taylor(x,0,10)
> x^(1/3) - x^(7/3)/18 - x^(13/3)/3240 - 53*x^(19/3)/1224720 -
> 191*x^(25/3)/62985600

Oh, I didn't realize that taylor does Puiseux.  Can I coerce this to an object
of PowerSeriesRing, or something similar, so that I can play with it?  In other
words: is there a Ring of Puiseux series in Sage?

More questions:

Is there a way to obtain a power series solution to a differential equation?

Is there a way to solve an ODE?

(ideally, without resorting to maxima or fricas syntax...)

Many thanks,

Martin


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: solve, integrate, series

2008-10-27 Thread David Joyner

On Mon, Oct 27, 2008 at 1:59 PM, Martin Rubey <[EMAIL PROTECTED]> wrote:
>
> Dear William,
>
> thanks for your quick answer, even though it doesn't make me too happy.  I'm
> having a hard time here, I must admit.  So far I thought that sage would do
> most things out of the box, and it's only inconsistent (eg., arguments to 
> plot,
> plot3d and integrate vary wildly.  There are several functions plot, plot3d,
> contour_plot, parametric_plot, etc. and not only one that decides on the type


I don't see the problem in having more than one function name for plotting.
Actually I think I agree with you about one (easily fixed)  problem, since
the various plot functions might be hard to find. It would be nice for
all plotting
functions to start with plot (eg, plot_parametric could be an alias for
parametric_plot), so the variations can be found by tab completion.


> of self what to do.  limit requires "x=x0" as second argument, and not "x==x0"
> as would be natural for an equation.  The syntax for lambda is completely
> different to usual function definition - no parens for example.  sage just 
> eats
> all cpu time when I call contour_plot with an equation as self by mistake.  In
> general, it seems that functions are "dangerous", i.e., do little to no type
> checking, but it's not at all clear when a method does the same thing as the
> function, and when it is available at all (eg. contour_plot is not a method,
> while plot is.)  A general rule would be extremely helpful here.
>
> Sorry for the rant.


I think it is useful having such comments from an experience CAS user,
personally.

>
> More questions:
>
> Is there a way to obtain a power series solution to a differential equation?

David Harvey implemented something for 1st order linear DEs of the form
y'=ay+b:

sage: R. = PowerSeriesRing(QQ, default_prec=10)
sage: a = 2 - 3*t + 4*t^2 + O(t^10)
sage: b = 3 - 4*t^2 + O(t^7)
sage: a.solve_linear_de(prec=5, b=b, f0=3/5)
3/5 + 21/5*t + 33/10*t^2 - 38/15*t^3 + 11/24*t^4 + O(t^5)


>
> Is there a way to solve an ODE?
>
> (ideally, without resorting to maxima or fricas syntax...)


Yes, in the 1st or 2nd order linear cases, but the methods call Maxima:

sage: x = var('x')
sage: y = function('y', x)
sage: desolve(diff(y,x) + y - 1, y)
e^(-x)*(e^x + c)
sage: f = desolve(diff(y,x) + y - 1, y, ics=[10,2]); f
e^(-x)*(e^x + e^10)
sage: plot(f)

See calculus/desolvers for more details/examples. Hats off to
Robert Bradshaw for this.


>
> Many thanks,
>
> Martin
>
>
> >
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] How remove these jsMath messages when print Sage notebooks?

2008-10-27 Thread [EMAIL PROTECTED]

When I print a Sage notebook to a PDF file, I see the following text
in a red box at the top that I'd like to remove...

" To print higher-resolution math symbols, click the Hi-Res Fonts for
Printing button on the jsMath control panel."

Also,

When I press the "print" link on a Sage web notebook I get the
following error message in an popup box...

"It looks like jsMath failed to set up properly (error code -7).  I
will try to keep going, but it could get ugly."

How fix/remove these?

Chris


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: How remove these jsMath messages when print Sage notebooks?

2008-10-27 Thread Jason Grout

[EMAIL PROTECTED] wrote:
> When I print a Sage notebook to a PDF file, I see the following text
> in a red box at the top that I'd like to remove...
> 
> " To print higher-resolution math symbols, click the Hi-Res Fonts for
> Printing button on the jsMath control panel."
> 
> Also,
> 
> When I press the "print" link on a Sage web notebook I get the
> following error message in an popup box...
> 
> "It looks like jsMath failed to set up properly (error code -7).  I
> will try to keep going, but it could get ugly."
> 
> How fix/remove these?


See 
http://wiki.sagemath.org/faq#head-91adf347436a57bbfa5e9a875511593c9632a4b2

Thanks,

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: How remove these jsMath messages when print Sage notebooks?

2008-10-27 Thread Timothy Clemans

I think that getting message is a bug. I remember when we didn't have
to install the fonts. I got sick of it and finally installed the fonts
this morning.

On Mon, Oct 27, 2008 at 4:37 PM, Jason Grout
<[EMAIL PROTECTED]> wrote:
>
> [EMAIL PROTECTED] wrote:
>> When I print a Sage notebook to a PDF file, I see the following text
>> in a red box at the top that I'd like to remove...
>>
>> " To print higher-resolution math symbols, click the Hi-Res Fonts for
>> Printing button on the jsMath control panel."
>>
>> Also,
>>
>> When I press the "print" link on a Sage web notebook I get the
>> following error message in an popup box...
>>
>> "It looks like jsMath failed to set up properly (error code -7).  I
>> will try to keep going, but it could get ugly."
>>
>> How fix/remove these?
>
>
> See
> http://wiki.sagemath.org/faq#head-91adf347436a57bbfa5e9a875511593c9632a4b2
>
> Thanks,
>
> Jason
>
>
> >
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Project Euler

2008-10-27 Thread cesarnda

is there a way to do that in a fancy way in pure cython?

On Oct 26, 4:02 pm, Georg <[EMAIL PROTECTED]> wrote:
> Hi Roland,
>
> > 2.      Is there a more elegant way for:
> > for k1 in range(-2,3):
> >  for k2 in range(-2,3):
> >   for k3 in range(-2,3):
> >    for k4 in range(-2,3):
> >     for k5 in range(-2,3):
> >      for k6 in range(-2,3):
> >       for k7 in range(-2,3): ?
>
> > Roland
>
> if you want to stay in pure python do this:
>
> Python 2.4.4 (#2, Apr 15 2008, 23:43:20)
> [GCC 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)] on linux2
> Type "help", "copyright", "credits" or "license" for more information.>>> for 
> x in [(k1,k2) for k1 in range(-2,3) for k2 in range(-2,3)]:
>
> ...     print x
>
> Georg
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: solve, integrate, series

2008-10-27 Thread Martin Rubey

"David Joyner" <[EMAIL PROTECTED]> writes:

> On Mon, Oct 27, 2008 at 1:59 PM, Martin Rubey <[EMAIL PROTECTED]> wrote:
> >
> > Dear William,
> >
> > thanks for your quick answer, even though it doesn't make me too happy.  I'm
> > having a hard time here, I must admit.  So far I thought that sage would do
> > most things out of the box, and it's only inconsistent (eg., arguments to 
> > plot,
> > plot3d and integrate vary wildly.  There are several functions plot, plot3d,
> > contour_plot, parametric_plot, etc. and not only one that decides on the 
> > type
> 
> 
> I don't see the problem in having more than one function name for plotting.

Well, the problem is namespace pollution.  Already now, if I hit tab after x, I
get roughly 100 possible completions.  In a strongly typed environment, this is
unnecessary.  I do not see any benefit in having more than one name to do one
thing.  Of course, if the argument types are the same you will probably need to
have several functions.

> Actually I think I agree with you about one (easily fixed) problem, since the
> various plot functions might be hard to find. It would be nice for all
> plotting functions to start with plot (eg, plot_parametric could be an alias
> for parametric_plot), so the variations can be found by tab completion.

Oh no, more namespace pollution :-)

> > Is there a way to obtain a power series solution to a differential equation?
> 
> David Harvey implemented something for 1st order linear DEs of the form
> y'=ay+b:
> 
> sage: R. = PowerSeriesRing(QQ, default_prec=10)
> sage: a = 2 - 3*t + 4*t^2 + O(t^10)
> sage: b = 3 - 4*t^2 + O(t^7)
> sage: a.solve_linear_de(prec=5, b=b, f0=3/5)
> 3/5 + 21/5*t + 33/10*t^2 - 38/15*t^3 + 11/24*t^4 + O(t^5)

> > Is there a way to solve an ODE?
> >
> > (ideally, without resorting to maxima or fricas syntax...)
> 
> Yes, in the 1st or 2nd order linear cases, but the methods call Maxima:
> 
> sage: x = var('x')
> sage: y = function('y', x)
> sage: desolve(diff(y,x) + y - 1, y)
> e^(-x)*(e^x + c)
> sage: f = desolve(diff(y,x) + y - 1, y, ics=[10,2]); f
> e^(-x)*(e^x + e^10)
> sage: plot(f)
> 
> See calculus/desolvers for more details/examples. Hats off to
> Robert Bradshaw for this.

Ah, great.  That's exactly what I was looking for (except, why is it called
desolve and not solve, so I can find it...?)  And why is it a function?

Martin


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Using Sage on Windows

2008-10-27 Thread Justin C. Walker

Hi, all,

I am helping someone who has a Windows system, and wants to use Sage.

She has the VMWare gizmo set up and working fine.  I have a silly  
problem, due to my long history of Windows Rejection: I have a file  
on Windows that I want to "attach" in the Sage notebook.  Can that be  
done?  The obvious doesn't work ("/home/user/D:/Documents/..." not  
found).

Suggestions?  Pointers?

Thanks, as always.

Justin

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




--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread William Stein

On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]> wrote:
>
> Hi, all,
>
> I am helping someone who has a Windows system, and wants to use Sage.
>
> She has the VMWare gizmo set up and working fine.  I have a silly
> problem, due to my long history of Windows Rejection: I have a file
> on Windows that I want to "attach" in the Sage notebook.  Can that be
> done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
> found).
>
> Suggestions?  Pointers?

It's possible but you have to set up some sort of sharing
between Windows and VMware.  I.e., the Windows filesystem
(or some subset of it) has to be made available to vmware.
This is I think very easy in VMware Workstation via menus.  I don't know
if it is easy or not in VMware player.  I don't actually have access
to a windows machine right now, so i can't give step-by-step
directions.  I hope somebody else can promptly respond to
this email who can.

William

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Justin C. Walker

Thanks, William,

On Oct 27, 2008, at 4:26 PM, William Stein wrote:
> On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>  
> wrote:
>> I am helping someone who has a Windows system, and wants to use Sage.
>>
>> She has the VMWare gizmo set up and working fine.  I have a silly
>> problem, due to my long history of Windows Rejection: I have a file
>> on Windows that I want to "attach" in the Sage notebook.  Can that be
>> done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
>> found).

> It's possible but you have to set up some sort of sharing
> between Windows and VMware.  I.e., the Windows filesystem
> (or some subset of it) has to be made available to vmware.
> This is I think very easy in VMware Workstation via menus.  I don't  
> know
> if it is easy or not in VMware player.  I don't actually have access
> to a windows machine right now, so i can't give step-by-step
> directions.  I hope somebody else can promptly respond to
> this email who can.

I'll poke at VMWare when I see her next.  If anyone has some good  
ideas, I'd love to hear `em.

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 email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Jason Grout

Justin C. Walker wrote:
> Thanks, William,
> 
> On Oct 27, 2008, at 4:26 PM, William Stein wrote:
>> On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>  
>> wrote:
>>> I am helping someone who has a Windows system, and wants to use Sage.
>>>
>>> She has the VMWare gizmo set up and working fine.  I have a silly
>>> problem, due to my long history of Windows Rejection: I have a file
>>> on Windows that I want to "attach" in the Sage notebook.  Can that be
>>> done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
>>> found).
> 
>> It's possible but you have to set up some sort of sharing
>> between Windows and VMware.  I.e., the Windows filesystem
>> (or some subset of it) has to be made available to vmware.
>> This is I think very easy in VMware Workstation via menus.  I don't  
>> know
>> if it is easy or not in VMware player.  I don't actually have access
>> to a windows machine right now, so i can't give step-by-step
>> directions.  I hope somebody else can promptly respond to
>> this email who can.
> 
> I'll poke at VMWare when I see her next.  If anyone has some good  
> ideas, I'd love to hear `em.


Can't you upload the file as a "data file" and then attach it from 
there?  That way everything is done from the notebook.

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Timothy Clemans

You can also SFTP into the virtual machine. I remember seeing that in
the readme.

On Mon, Oct 27, 2008 at 8:32 PM, Jason Grout
<[EMAIL PROTECTED]> wrote:
>
> Justin C. Walker wrote:
>> Thanks, William,
>>
>> On Oct 27, 2008, at 4:26 PM, William Stein wrote:
>>> On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>
>>> wrote:
 I am helping someone who has a Windows system, and wants to use Sage.

 She has the VMWare gizmo set up and working fine.  I have a silly
 problem, due to my long history of Windows Rejection: I have a file
 on Windows that I want to "attach" in the Sage notebook.  Can that be
 done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
 found).
>>
>>> It's possible but you have to set up some sort of sharing
>>> between Windows and VMware.  I.e., the Windows filesystem
>>> (or some subset of it) has to be made available to vmware.
>>> This is I think very easy in VMware Workstation via menus.  I don't
>>> know
>>> if it is easy or not in VMware player.  I don't actually have access
>>> to a windows machine right now, so i can't give step-by-step
>>> directions.  I hope somebody else can promptly respond to
>>> this email who can.
>>
>> I'll poke at VMWare when I see her next.  If anyone has some good
>> ideas, I'd love to hear `em.
>
>
> Can't you upload the file as a "data file" and then attach it from
> there?  That way everything is done from the notebook.
>
> Jason
>
>
> >
>

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] problem with installing packages

2008-10-27 Thread nostart

Hello,
when I am trying to perform the commands
sage -standard or -optional
I get the error message

Using SAGE Server http://www.sagemath.org//packages
http://www.sagemath.org//packages/standard/list --> /opt/sage-3.1.4-
debian32-IntelXeon-x86-i686-Linux/tmp/list
[Errno socket error] (-2, 'Name or service not known')







Error contacting http://www.sagemath.org//packages/standard/list. Try
using an alternative server.
For example, from the bash prompt try typing

   export SAGE_SERVER=http://sage.scipy.org/sage/

then try again.






I am using SAGE Version 3.1.4, Release Date: 2008-10-20
on linux from binary.

Any help would be appreciated.

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: problem with installing packages

2008-10-27 Thread mabshoff



On Oct 27, 5:44 pm, nostart <[EMAIL PROTECTED]> wrote:
> Hello,

Hi,

> when I am trying to perform the commands
> sage -standard or -optional
> I get the error message
>
> Using SAGE 
> Serverhttp://www.sagemath.org//packageshttp://www.sagemath.org//packages/standard/list-->
>  /opt/sage-3.1.4-
> debian32-IntelXeon-x86-i686-Linux/tmp/list
> [Errno socket error] (-2, 'Name or service not known')

This looks like a name resolution error when Sage attempts to download
the current list of standard or optional packages. Can you resolve
www.sagemath.org from that computer? Are you using any http proxy or
anything like that?

> *** 
> *
>
> Error contactinghttp://www.sagemath.org//packages/standard/list. Try
> using an alternative server.
> For example, from the bash prompt try typing
>
>    export SAGE_SERVER=http://sage.scipy.org/sage/
>
> then try again.
>
> *** 
> *
>
> I am using SAGE Version 3.1.4, Release Date: 2008-10-20
> on linux from binary.
>
> Any help would be appreciated.

Cheers,

Michael
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Justin C. Walker


On Oct 27, 2008, at 17:32 , Jason Grout wrote:

>
> Justin C. Walker wrote:
>> Thanks, William,
>>
>> On Oct 27, 2008, at 4:26 PM, William Stein wrote:
>>> On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>
>>> wrote:
 I am helping someone who has a Windows system, and wants to use  
 Sage.

 She has the VMWare gizmo set up and working fine.  I have a silly
 problem, due to my long history of Windows Rejection: I have a file
 on Windows that I want to "attach" in the Sage notebook.  Can  
 that be
 done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
 found).
>>
>>> It's possible but you have to set up some sort of sharing
>>> between Windows and VMware.  I.e., the Windows filesystem
>>> (or some subset of it) has to be made available to vmware.
>>> This is I think very easy in VMware Workstation via menus.  I don't
>>> know
>>> if it is easy or not in VMware player.  I don't actually have access
>>> to a windows machine right now, so i can't give step-by-step
>>> directions.  I hope somebody else can promptly respond to
>>> this email who can.
>>
>> I'll poke at VMWare when I see her next.  If anyone has some good
>> ideas, I'd love to hear `em.
>
>
> Can't you upload the file as a "data file" and then attach it from
> there?  That way everything is done from the notebook.

I wasn't sure that would work.  It was not clear to me where the  
upload/download commands were operating.  I will give that a shot.

To make sure I know what's going on here, the file to be attached is  
currently sitting in the Windows file system, and needs to be in the  
VMWare/Linux file system, correct?

Justin

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
---
My wife 'n kids 'n dogs are gone,
I can't get Jesus on the phone,
But Ol' Milwaukee's Best is my best friend.
---



--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Justin C. Walker


On Oct 27, 2008, at 17:50 , Timothy Clemans wrote:

>
> You can also SFTP into the virtual machine. I remember seeing that in
> the readme.

That's worth a shot.  Thanks!

Looks like the 'readme' on the Sage site details the necessary steps.

Justin

--
Justin C. Walker, Curmudgeon at Large
Director
Institute for the Enhancement of the Director's Income
---
Nobody knows the trouble I've been
---




--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: problem with installing packages

2008-10-27 Thread nostart



On 28 Οκτ, 02:45, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:
> On Oct 27, 5:44 pm, nostart <[EMAIL PROTECTED]> wrote:
>
> > Hello,
>
> Hi,
>
> > when I am trying to perform the commands
> > sage -standard or -optional
> > I get the error message
>
> > Using SAGE 
> > Serverhttp://www.sagemath.org//packageshttp://www.sagemath.org//packages/st...>
> >  /opt/sage-3.1.4-
> > debian32-IntelXeon-x86-i686-Linux/tmp/list
> > [Errno socket error] (-2, 'Name or service not known')
>
> This looks like a name resolution error when Sage attempts to download
> the current list of standard or optional packages. Can you 
> resolvewww.sagemath.orgfrom that computer? Are you using any http proxy or
> anything like that?
>

nslookup works for www.sagemath.org

As far as I can see, not http proxy is used.

-- Elias
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread Jason Grout

Justin C. Walker wrote:
> 
> On Oct 27, 2008, at 17:32 , Jason Grout wrote:
> 
>> Justin C. Walker wrote:
>>> Thanks, William,
>>>
>>> On Oct 27, 2008, at 4:26 PM, William Stein wrote:
 On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>
 wrote:
> I am helping someone who has a Windows system, and wants to use  
> Sage.
>
> She has the VMWare gizmo set up and working fine.  I have a silly
> problem, due to my long history of Windows Rejection: I have a file
> on Windows that I want to "attach" in the Sage notebook.  Can  
> that be
> done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
> found).
 It's possible but you have to set up some sort of sharing
 between Windows and VMware.  I.e., the Windows filesystem
 (or some subset of it) has to be made available to vmware.
 This is I think very easy in VMware Workstation via menus.  I don't
 know
 if it is easy or not in VMware player.  I don't actually have access
 to a windows machine right now, so i can't give step-by-step
 directions.  I hope somebody else can promptly respond to
 this email who can.
>>> I'll poke at VMWare when I see her next.  If anyone has some good
>>> ideas, I'd love to hear `em.
>>
>> Can't you upload the file as a "data file" and then attach it from
>> there?  That way everything is done from the notebook.
> 
> I wasn't sure that would work.  It was not clear to me where the  
> upload/download commands were operating.  I will give that a shot.

I believe that it will be uploaded/downloaded to the $DATA directory, so 
it could be attached with:

attach $DATA/filename.sage

I haven't tried, it, though.

Jason


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Maxima/Sage Link incompatible functions

2008-10-27 Thread schugschug

Sage does not understand the some of the following constructs in
Maxima.
These are tests I have done to check the interpretation of Maxima
parsing.
such as obtaining the sine function from maxima works OK. Most every
other seemed to map OK.  Which is great! Thanks!

sage: a=maxima('sin').sage()
sage: a(1.2)
0.932039085967226

However the following functions do not.

sage: a=maxima('sign').sage()
sage: a(-3)
-3
sage: maxima('sign(-3)')
neg
sage: a=maxima('x!').sage()
---
TypeError Traceback (most recent call
last)
 .
 .
 .
TypeError: unable to make sense of Maxima expression 'x!' in SAGE

sage: a=maxima('min').sage()
sage: a(1,2)
min(1, 2)
sage: a=maxima('min(x,y)').sage()
sage: a(1,3)
min(1, 3)
sage: a
min(x, y)

sage: a=maxima('max(x,y)').sage()
sage: a
max(x, y)
sage: a(1,3)
max(1, 3)
sage: max(1,3)
3
sage: imag(1+I*2.0)
2.00
sage: a=maxima('imagpart').sage()
sage: a(1+2*I)
2*I + 1
sage: maxima('imagpart(1+%i*2)')
2


This has been tested for version...
sage: version()
'SAGE Version 3.1.2, Release Date: 2008-09-19'

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Bug in GP conversion?

2008-10-27 Thread salmanhb


Hi,

I've got a (truncated) matrix over a power series ring over a finite
field that I want to convert to a GP matrix so that I can take its
kernel. Since the matrix is truncated, it can be viewed as just being
over a univariate polynomial ring. I want to take its kernel, but the
echelon form over a univariate polynomial ring over a finite field is
not yet implemented. I knew GP can do this, so I was going to send the
matrix to GP and have GP compute the kernel. But if I send the matrix
as a matrix over the power series ring, the coefficients are not sent
as being over a finite field. On the other hand, if I redefine the
matrix over the polynomial ring, the coefficients are treated as being
over a finite field. I could reconstruct all of my matrices as being
over the polynomial ring once I truncate my series, but that seems
like a silly hack -- GP understands power series rings over a finite
field, so the conversion shouldn't be a problem. I'm running SAGE
v3.0.2.

Thanks,
Salman

Here is the code and output:

sage: R.=PowerSeriesRing(GF(5),"x")
sage: m=matrix(R,2,[2+x, 1+x, 2+3*x,1+2*x])
sage: m.kernel()
---
NotImplementedError   Traceback (most recent call
last)

/Users/salmanhb/Documents/work/research/computations/sage/ in ()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.left_kernel (sage/matrix/matrix2.c:7985)
()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.echelon_form (sage/matrix/matrix2.c:
15292)()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.echelonize (sage/matrix/matrix2.c:15092)
()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix._echelonize_ring (sage/matrix/matrix2.c:
14807)()

NotImplementedError: echelon form over Power Series Ring in x over
Finite Field of size 5 not yet implemented
sage: gp(m)
[x + 2, x + 1; 3*x + 2, 2*x + 1]
sage: R.=PolynomialRing(GF(5),"x")
sage: m=matrix(R,2,[2+x, 1+x, 2+3*x,1+2*x])
sage: m.kernel()
---
NotImplementedError   Traceback (most recent call
last)

/Users/salmanhb/Documents/work/research/computations/sage/ in ()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.left_kernel (sage/matrix/matrix2.c:7985)
()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.echelon_form (sage/matrix/matrix2.c:
15292)()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix.echelonize (sage/matrix/matrix2.c:15092)
()

/Users/salmanhb/Documents/work/research/computations/sage/matrix2.pyx
in sage.matrix.matrix2.Matrix._echelonize_ring (sage/matrix/matrix2.c:
14807)()

NotImplementedError: echelon form over Univariate Polynomial Ring in x
over Finite Field of size 5 not yet implemented
sage: gp(m)
[Mod(1, 5)*x + Mod(2, 5), Mod(1, 5)*x + Mod(1, 5); Mod(3, 5)*x +
Mod(2, 5), Mod(2, 5)*x + Mod(1, 5)]
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Porting Sage to AIX

2008-10-27 Thread Sameer

Hi,
I am trying to port sage 3.1.1 to an IBM Power5 AIX system. After
I install gap (in 32 bits), I get:
> ./sage
--
| SAGE Version 3.1.1, Release Date: 2008-08-17   |
| Type notebook() for the GUI, and license() for information.|
--

Timeout exceeded in read_nonblocking().

version: 2.0 ($Revision: 1.151 $)
command: /site/PET/src/build/sage-3.1.1/local/bin/gap
args: ['/site/PET/src/build/sage-3.1.1/local/bin/gap', '-b', '-p', '-
T', '-o', 'G', '/site/PET/src/build/sage-3.1.1/data//extcode/gap/
sage.g']
patterns:
gap>
buffer (last 100 chars):
before (last 100 chars):
after: 
match: None
match_index: None
exitstatus: None
flag_eof: 0
pid: 360896
child_fd: 13
timeout: 30
delimiter: 
logfile: None
maxread: 10
searchwindowsize: None
delaybeforesend: 0

I downloaded gap 4.4.10.p8.
I would appreciate any help with this error. I have seen this
before on ppc64 Linux and I used 32 bit gap with a 64 bit sage to
solve it there. I am doing the same under AIX, but I can't seem to get
rid of this. I am still using sage -br to incrementally add packages.
   Thanks!
   - Sameer


--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Porting Sage to AIX

2008-10-27 Thread Sameer

Hi,
   I have tried building gap in both 32 bit and 64 bits. With 32 bits
I had to add a -Os optimize for size option so it would not exceed the
memory limits. With the 64 bit gap, I get:
> /site/PET/src/build/sage-3.1.1/local/bin/gap -b -p -T -o G 
> /site/PET/src/build/sage-3.1.1/data//extcode/gap/sage.g
@[EMAIL PROTECTED]@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED]
86214+@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED]@"[EMAIL 
PROTECTED]@
[EMAIL PROTECTED]@&[EMAIL PROTECTED]@"[EMAIL PROTECTED]@[EMAIL 
PROTECTED]@&[EMAIL PROTECTED]
3267+@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED]@"[EMAIL 
PROTECTED]@$6012+@
%3844+@&[EMAIL PROTECTED]@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL 
PROTECTED]
2922+@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED], Version: 4.4.10 
of 02-
Oct-2007, [EMAIL PROTECTED]@ngap> @i

@[EMAIL PROTECTED]@ngap> @i^D
@x> exit


and with the 32 bit gap, I get:
> /site/PET/src/build/sage-3.1.1/local/bin/gap -b -p -T -o G 
> /site/PET/src/build/sage-3.1.1/data//extcode/gap/sage.g
@[EMAIL PROTECTED]@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED]
59853+@"[EMAIL PROTECTED]@[EMAIL PROTECTED]@&[EMAIL PROTECTED], Version: 4.4.10
of 02-Oct-2007, [EMAIL PROTECTED]@ngap> @i

@[EMAIL PROTECTED]@ngap> @i^D
@x>

Sage gives the same error for both cases.
I am not sure if this would help debug this issue. I would appreciate
any suggestions.
Thanks,
- Sameer

On Oct 27, 9:15 pm, Sameer <[EMAIL PROTECTED]> wrote:
> Hi,
>     I am trying to port sage 3.1.1 to an IBM Power5 AIX system. After
> I install gap (in 32 bits), I get:> ./sage
>
> --
> | SAGE Version 3.1.1, Release Date: 2008-08-17                       |
> | Type notebook() for the GUI, and license() for information.        |
> --
>
> Timeout exceeded in read_nonblocking().
> 
> version: 2.0 ($Revision: 1.151 $)
> command: /site/PET/src/build/sage-3.1.1/local/bin/gap
> args: ['/site/PET/src/build/sage-3.1.1/local/bin/gap', '-b', '-p', '-
> T', '-o', 'G', '/site/PET/src/build/sage-3.1.1/data//extcode/gap/
> sage.g']
> patterns:
>     gap>
> buffer (last 100 chars):
> before (last 100 chars):
> after: 
> match: None
> match_index: None
> exitstatus: None
> flag_eof: 0
> pid: 360896
> child_fd: 13
> timeout: 30
> delimiter: 
> logfile: None
> maxread: 10
> searchwindowsize: None
> delaybeforesend: 0
>
>     I downloaded gap 4.4.10.p8.
>     I would appreciate any help with this error. I have seen this
> before on ppc64 Linux and I used 32 bit gap with a 64 bit sage to
> solve it there. I am doing the same under AIX, but I can't seem to get
> rid of this. I am still using sage -br to incrementally add packages.
>    Thanks!
>    - Sameer
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Porting Sage to AIX

2008-10-27 Thread William Stein

On Mon, Oct 27, 2008 at 9:15 PM, Sameer <[EMAIL PROTECTED]> wrote:
> Hi,
>I am trying to port sage 3.1.1 to an IBM Power5 AIX system. After
> I install gap (in 32 bits), I get:

Just out of curiosity, is this a machine you could give some (any?)
of the Sage developers accounts on?  We would love to officially
support AIX.  So far, none of us have ever been able to get access to
an AIX box.

William

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---



[sage-support] Re: Using Sage on Windows

2008-10-27 Thread William Stein

On Mon, Oct 27, 2008 at 7:26 PM, Jason Grout
<[EMAIL PROTECTED]> wrote:
>
> Justin C. Walker wrote:
>>
>> On Oct 27, 2008, at 17:32 , Jason Grout wrote:
>>
>>> Justin C. Walker wrote:
 Thanks, William,

 On Oct 27, 2008, at 4:26 PM, William Stein wrote:
> On Mon, Oct 27, 2008 at 4:23 PM, Justin C. Walker <[EMAIL PROTECTED]>
> wrote:
>> I am helping someone who has a Windows system, and wants to use
>> Sage.
>>
>> She has the VMWare gizmo set up and working fine.  I have a silly
>> problem, due to my long history of Windows Rejection: I have a file
>> on Windows that I want to "attach" in the Sage notebook.  Can
>> that be
>> done?  The obvious doesn't work ("/home/user/D:/Documents/..." not
>> found).
> It's possible but you have to set up some sort of sharing
> between Windows and VMware.  I.e., the Windows filesystem
> (or some subset of it) has to be made available to vmware.
> This is I think very easy in VMware Workstation via menus.  I don't
> know
> if it is easy or not in VMware player.  I don't actually have access
> to a windows machine right now, so i can't give step-by-step
> directions.  I hope somebody else can promptly respond to
> this email who can.
 I'll poke at VMWare when I see her next.  If anyone has some good
 ideas, I'd love to hear `em.
>>>
>>> Can't you upload the file as a "data file" and then attach it from
>>> there?  That way everything is done from the notebook.
>>
>> I wasn't sure that would work.  It was not clear to me where the
>> upload/download commands were operating.  I will give that a shot.
>
> I believe that it will be uploaded/downloaded to the $DATA directory, so
> it could be attached with:
>
> attach $DATA/filename.sage
>
> I haven't tried, it, though.

You can upload a file just like an image into a given worksheet,
and it appears in the data directory.  Then I think you can do

   attach filename.sage

(without the $DATA).  I'm pretty sure that works in
recent versions of Sage.

 -- William

--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---