[sage-support] Re: Will Sage run on a 4GB Asus Eee PC?

2008-05-15 Thread chu-ching huang

Hi,


 i'm not using an eeepc, but i think your slax + sage + python +...
 would be really interesting for many ppl using this sort of software.
 Means, an official ISO image would be fantastic :D


This distro is not only for EeePC, but it can run on other PC and
Notebook. Only I had added some modules and option for EeePC. I had
test it on a Dell server, Toshiba A100 NB and OK.

Now, the iso image is made and put at the site:

a href=http://diffusion.cgu.edu.tw/ftp;ModTeXmacs-1.0.6.14.iso/a

about 1.3G, where ModTeXmacs - Modulization and TeXmacs.

This DVD will be released and freely distributed in 5th European
Coference of Math in Amsterdam, 2008/07/14~18. Thanks for contribution
of every developers of open sources.

cch




--~--~-~--~~~---~--~~
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] R interface issues

2008-05-15 Thread shahab

Hi,

Maybe I am doing something wrong.  I used to work with rpy and it
worked fairly well.  I am having trouble with the new R interface.
For example, I can't explain why:

r.summary(r.c(1,2,3,11,2,3,4,5))

works perfectly fine but:

x = r.cbind(1, 1:7)

gives me a syntax error and

y = r.apply(x,2,median)

tells me
NameError: name 'median' is not defined

All of these functions work well if I switch the entire notebook to
evaluate cells using R.
Where can I found documentation on the R interface, I specially need
info for moving large arrays from sage to R and vice versa. (with rpy,
one could use the array function or assign function and use
No_Conversion to get R objects in memory)

Thanks

Shahab

P.S. I am using Sage 3.0 running on OpenSuse 10.3
I also had to comment out the test for the R_HOME script in the R file
located in the bin directories for Sage and local/lib/R in order to be
able to install various R packages.
--~--~-~--~~~---~--~~
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: R interface issues

2008-05-15 Thread Simon King

Hi Shahab,

disclaimer: I have never used R.
But hopefully my remarks make sense.

On May 15, 9:49 am, shahab [EMAIL PROTECTED] wrote:
 x = r.cbind(1, 1:7)
 gives me a syntax error and

It complains about the colon in 1:7. Do you mean 1/7 or 1.7?
Both work:
sage: x = r.cbind(1,1/7)
sage: x
 sage6 sage5
[1,] 1 0.1428571
sage: x = r.cbind(1,1.7)
sage: x
 sage3 sage2
[1,] 1   1.7


 y = r.apply(x,2,median)

 tells me
 NameError: name 'median' is not defined

I guess you forgot the quotation marks around median:
sage: y=r.apply(x,2,'median')
sage: y
sage3 sage2
  1.0   1.7

Cheers
 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: matrix over the booleans

2008-05-15 Thread Pedro Patricio

great: that's exactly the case. the adjacency matrix of transitive
closure is the reachability matrix, so this is a good workarround.

On 14 Maio, 16:16, Jason Grout [EMAIL PROTECTED] wrote:
 Jason Grout wrote:
  William Stein wrote:
  On Wed, May 14, 2008 at 6:57 AM, David Joyner [EMAIL PROTECTED] wrote:
  On Wed, May 14, 2008 at 8:54 AM, Pedro Patricio [EMAIL PROTECTED] wrote:
   nope, booleans means 1+1=1.
   take + as OR and * as AND in the propositional calculus.
  So 1+1 = 1 and 1*1 = 1 and 1*0 = 0 and 1+0 = 1 and 0+0=0?
  That's *not* a ring, so you shouldn't make matrices over it in
  Sage, since in Sage all matrices are over rings.

  You could fake things by creating a new the booleans data
  type but then you are asking for trouble since they aren't a ring.

  You could also just make a very simple boolean type with
  the properties you want and make a numpy matrix with
  entries that type.  What do you actually want to *do* with
  your boolean matrix?

   From your post on sage-edu, it sounds like you just want the adjacency
  matrix of the transitive closure of a digraph; is that right?  If so,
  you might use the transitive closure function.  I can't remember if it
  is defined for digraphs, but it should be easy to extend.

 Sorry, I wasn't thinking.  Of course the transitive closure function is
 defined for digraphs: that's the only case where it's actually interesting.

 sage: g=DiGraph({0:[1,2], 1:[3], 2:[5,6]})
 sage: g.transitive_closure().adjacency_matrix()
 [0 1 1 1 1 1]
 [0 0 0 1 0 0]
 [0 0 0 0 1 1]
 [0 0 0 0 0 0]
 [0 0 0 0 0 0]
 [0 0 0 0 0 0]

 The transitive closure function isn't very smart right now.  It ought to
 be sped up by looking at the strongly connected components (I don't know
 if we already have a function to do that, 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] Re: Will Sage run on a 4GB Asus Eee PC?

2008-05-15 Thread William Stein

On Thu, May 15, 2008 at 12:08 AM, chu-ching huang
[EMAIL PROTECTED] wrote:

 Hi,


 i'm not using an eeepc, but i think your slax + sage + python +...
 would be really interesting for many ppl using this sort of software.
 Means, an official ISO image would be fantastic :D


 This distro is not only for EeePC, but it can run on other PC and
 Notebook. Only I had added some modules and option for EeePC. I had
 test it on a Dell server, Toshiba A100 NB and OK.

 Now, the iso image is made and put at the site:

 a href=http://diffusion.cgu.edu.tw/ftp;ModTeXmacs-1.0.6.14.iso/a

 about 1.3G, where ModTeXmacs - Modulization and TeXmacs.

 This DVD will be released and freely distributed in 5th European
 Coference of Math in Amsterdam, 2008/07/14~18. Thanks for contribution
 of every developers of open sources.


Incidentally, I will be at the last two days of the above conference
in Amsterdam.  I'm giving a talk about number theory on the 18th.

 --  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: Cannot create notebook.log: Permission denied...Broken pipe

2008-05-15 Thread Travis

Willaim,

I'll give Sage another try when I get a new computer (which hopefully
isn't too far off), or when there is a native Sage for windows.

Thank you for your time. For now, I will stick to straight Python. I
admire your dedication to the Sage project and wish you success. I
will give Sage another look later on. (I might try out sympy in Python
now.)

Travis

On May 14, 10:58 pm, William Stein [EMAIL PROTECTED] wrote:
 On Wed, May 14, 2008 at 8:49 PM, Travis [EMAIL PROTECTED] wrote:

  William,

  My machine-
  CPU: AMD Athalon XP 1800+  (1.53 GHz)
  OS: XP SP2 (I have kept the patches up to date)
  Mother board: A-K7T3 Ultra-2 MSI
  Memory: 1.00 GB RAM

  I did re-unzip sage-vmware-3.0.1.zip

  I think I know the general source of my problemsThe Firefox
  notebook does not work unless I am on the internet. Firefox could not
  find the notebook server (http://192.168.70.128) unless I was logged
  on to the internet. I did an experiment. I got Sage working while I
  was on the internet and everything worked fine. I logged off the
  internet and Sage stopped working. I logged back on and Sage still
  would not work. While I was still on the internet I closed the VM and
  restarted Sage. It still did not work. I imagine I would have to
  reboot in order to get Sage working again.

  I have a dial-up connection. (I downloaded Sage elsewhere!) Sage is
  not going to work for me if I must be online in order to use it.
  Admittedly, the problem may be due to my older machine.

 You undoubtedly tried to upgrade() the machine then somehow messed it
  up along the way.

  I did not try to upgrade() the VM. I just downloaded the VM and sage-
  vmware-3.0.1.zip the other day.

  Documentation suggestions:

  (1) If it is true that the computer must be on the internet in order
  for Sage and/or the VM to work it should be clearly noted in the
  documentation.

 One absolutely definitely does *not* need to be online in order
 to use Sage-vmware.   There must be something messed up
 about your Microsoft Windows system configuration.  The only
 thing I can think to suggest is playing with the networking setting of
 vmware player, and possibly looking at the vmware forums.
 If that doesn't work, it might be that you'll have to wait until we
 create a full native version of Sage for windows before using
 Sage.

 --
 William Stein
 Associate Professor of Mathematics
 University of Washingtonhttp://wstein.org
--~--~-~--~~~---~--~~
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: Cannot create notebook.log: Permission denied...Broken pipe

2008-05-15 Thread Travis

Wolfgang,

Thank you for your suggestion. I gave it a try and unfortunately it
did not work in my case.

Take care,

Travis

On May 15, 2:25 am, [EMAIL PROTECTED] wrote:
 2008/5/15 Travis [EMAIL PROTECTED]:





  William,

  My machine-
  CPU: AMD Athalon XP 1800+  (1.53 GHz)
  OS: XP SP2 (I have kept the patches up to date)
  Mother board: A-K7T3 Ultra-2 MSI
  Memory: 1.00 GB RAM

  I did re-unzip sage-vmware-3.0.1.zip

  I think I know the general source of my problemsThe Firefox
  notebook does not work unless I am on the internet. Firefox could not
  find the notebook server (http://192.168.70.128) unless I was logged
  on to the internet. I did an experiment. I got Sage working while I
  was on the internet and everything worked fine. I logged off the
  internet and Sage stopped working. I logged back on and Sage still
  would not work. While I was still on the internet I closed the VM and
  restarted Sage. It still did not work. I imagine I would have to
  reboot in order to get Sage working again.

  I have a dial-up connection. (I downloaded Sage elsewhere!) Sage is
  not going to work for me if I must be online in order to use it.
  Admittedly, the problem may be due to my older machine.

 You undoubtedly tried to upgrade() the machine then somehow messed it
  up along the way.

  I did not try to upgrade() the VM. I just downloaded the VM and sage-
  vmware-3.0.1.zip the other day.

  Documentation suggestions:

  (1) If it is true that the computer must be on the internet in order
  for Sage and/or the VM to work it should be clearly noted in the
  documentation.
  (2) Even if Sage/Firefox notebook generally does not require the
  internet, the documentation for those Sage functions that do should
  indicate as much. Case in 
  point:http://sagemath.org/SAGEbin/microsoft_windows/README.txt,
  USING SAGE, bullet 3. The optional_packages() function obviously
  will not work unless there is an internet connection, as the list of
  optional_packages() is on your website. There is no indication in
  bullet 3 that an internet connection is required.

  Travis

 Hi,

 (I am very new to Sage and I presently have no access to the system I
 am referring to; so please ignore if this advice does not make sense.)

 I exeprienced a similar problem. The reason was (I believe)
 that when disconnecting from the Internet my browser is set
 automatically into offline mode.
 Putting the browser back into online mode (without connecting to the
 Internet) solved my problem.

 Wolfgang



  On May 14, 10:01 am, William Stein [EMAIL PROTECTED] wrote:
  On Wed, May 14, 2008 at 7:36 AM, Travis [EMAIL PROTECTED] wrote:

   William,

   I'm impressed that you take the time to answer all these emails.

   Well I eventually did get the notebook and command line Sage to work
   for a while.

   I managed to crash sage a few times with commands from the Tutorial
   such as the linear algebra command kernel() and the matplotlib command
   'show()'. I believe it was sage that crashed because calculations were
   no longer carried out in the notebook. When I crashed it from the
   Vmware command line I was not able to recover. Restarting Sage does
   not help because Vmware takes me to its last state, which is a dollar
   sign prompt. when I type 'notebook' at the prompt I get the standard
   message followed by,

   sh: cannot create notebook.log: Permission denied
   echo: write error: Broken pipe

   If I type 'sage' at the $ prompt I get about 20 or 30 lines of text
   (which I can't copy and paste) followed by the prompt,

   ERROR: name 'sage_prompt' is not defined

  You undoubtedly tried to upgrade() the machine then  somehow messed it
  up along the way.

   Is there a way to reset the Vmware state?

  You could unzip the original sage-vmware.zip file that you downloaded.
  Or download a new version of sage.

   Why are certain commands found in the Tutorial such as kernel() and
   show() causing Sage to crash?

  It's possible that your computer has a processor that is very old, and
  the binary build of Sage included in the vmware image doesn't
  support your computer.

  I'm working on getting a very old computer setup to build vmware images
  that will work on an even wider class of machines...
  What is the exact model of your machine.

   Unless there is a quick fix I may just have to wait until I have a
   Linux system or partition before trying Sage, because this Vmware
   approach is not working well for me and is taking too much time.

  You could download a new vmware image from here if you
  have a fast net connection:
 http://sagemath.org/SAGEbin/microsoft_windows/

  The sage-vmware-3.0.1.b.zip version has a full latex install
  included, which is a nice bonus.  Also, I've explicitly disabled
  the upgrade() function, so you won't use upgrade by accident.

   Travis

   On May 13, 11:12 am, William Stein [EMAIL PROTECTED] wrote:
   On Tue, May 13, 2008 at 9:31 AM, Travis [EMAIL PROTECTED] wrote:


[sage-support] Sage Notebook Transfer

2008-05-15 Thread shahab

I copied sage 3.0 binary to a different location (which worked fine).
I also moved the directory sage_notebook to a different location.
When I start the notebook pointed to this new directory, it starts
fine but all the users info are gone.  All the worksheets are still
there.  If I add a user to the account (same username as before), none
of the worksheets show up.  Creating a new worksheet just adds a
worksheet to the preexisting directory for that user.  How can I get
access to the old worksheets?

Thanks in advance,

Shahab
--~--~-~--~~~---~--~~
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: Sage Notebook Transfer

2008-05-15 Thread Marshall Hampton

Are you certain that you are getting the new path correct? I've
thought that this happened to me before, and it turned out that I
wasn't specifying the new notebook directory correctly.

I have had two mysterious cases of worksheets disappearing from the
noteboook (in the sense that they didn't show up but the files were
still there), but not what you are describing.  And I have moved the
notebook location around.

-M. Hampton

On May 15, 2:09 pm, shahab [EMAIL PROTECTED] wrote:
 I copied sage 3.0 binary to a different location (which worked fine).
 I also moved the directory sage_notebook to a different location.
 When I start the notebook pointed to this new directory, it starts
 fine but all the users info are gone.  All the worksheets are still
 there.  If I add a user to the account (same username as before), none
 of the worksheets show up.  Creating a new worksheet just adds a
 worksheet to the preexisting directory for that user.  How can I get
 access to the old worksheets?

 Thanks in advance,

 Shahab
--~--~-~--~~~---~--~~
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: Sage Notebook Transfer

2008-05-15 Thread shahab

I have made that mistake before but this time the path is correct.
The user folders under the /worksheet exist and once I added a new
user with the same name (user1) to the server, nothing shows up in the
new notebook window. But when I create a new worksheet for this user1,
the worksheet folder is now placed in the correct location (worksheet/
user1/XX) where XX is the next highest number based on the folders
that exist there (but can't be accessed).

I think I'll just manually copy each worksheet text into a new
notebook session and a new directory.

Thx

Shahab

On May 15, 4:04 pm, Marshall Hampton [EMAIL PROTECTED] wrote:
 Are you certain that you are getting the new path correct? I've
 thought that this happened to me before, and it turned out that I
 wasn't specifying the new notebook directory correctly.

 I have had two mysterious cases of worksheets disappearing from the
 noteboook (in the sense that they didn't show up but the files were
 still there), but not what you are describing.  And I have moved the
 notebook location around.

 -M. Hampton

 On May 15, 2:09 pm, shahab [EMAIL PROTECTED] wrote:

  I copied sage 3.0 binary to a different location (which worked fine).
  I also moved the directory sage_notebook to a different location.
  When I start the notebook pointed to this new directory, it starts
  fine but all the users info are gone.  All the worksheets are still
  there.  If I add a user to the account (same username as before), none
  of the worksheets show up.  Creating a new worksheet just adds a
  worksheet to the preexisting directory for that user.  How can I get
  access to the old worksheets?

  Thanks in advance,

  Shahab
--~--~-~--~~~---~--~~
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] 3 == pi

2008-05-15 Thread John H Palmieri

Is this a bug?

sage: 3 == pi
3 == pi
sage: i == i
I == I

Shouldn't this return False and True, respectively?  I know this
works:

sage: 3 == pi.n()
False
sage: 3 == RR(pi)
False

but I sort of expect pi to act like the number pi when used with
things like == or , without using the .n() decoration.
--~--~-~--~~~---~--~~
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: 3 == pi

2008-05-15 Thread William Stein

On Thu, May 15, 2008 at 9:48 PM, John H Palmieri [EMAIL PROTECTED] wrote:

 Is this a bug?

 sage: 3 == pi
 3 == pi
 sage: i == i
 I == I

 Shouldn't this return False and True, respectively?

Those are symbolic equations:

sage: type(I == I)
class 'sage.calculus.equations.SymbolicEquation'

It's just a more general case of:

sage: var('a,b,c,x')
(a, b, c, x)
sage: a*x^2 + b*x + c == 0
a*x^2 + b*x + c == 0
sage: type(a*x^2 + b*x + c == 0)
class 'sage.calculus.equations.SymbolicEquation'
sage: solve(a*x^2 + b*x + c == 0, x)
[x == (-sqrt(b^2 - 4*a*c) - b)/(2*a), x == (sqrt(b^2 - 4*a*c) - b)/(2*a)]

That said, maybe something so obvious as I == I would best be simplified
to True.  But then people would argue that it is very inconsistent that
sometimes symbolic equations are simplified to True/False and sometimes
they aren't.

In all cases you can do bool( a symbolic equation ) to get True or False.

sage: bool(I == I)
True


 I know this
 works:

 sage: 3 == pi.n()
 False
 sage: 3 == RR(pi)
 False

 but I sort of expect pi to act like the number pi when used with
 things like == or , without using the .n() decoration.

Nope.  Pi is symbolic.

I'm certainly open to doing some simplification to True/False of symbolic
equalities though, when we can do so.  I think the main reason we don't
now is simply that nobody implemented it.  Comments welcome.

 -- 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: 3 == pi

2008-05-15 Thread John H Palmieri



On May 15, 9:56 pm, William Stein [EMAIL PROTECTED] wrote:
 On Thu, May 15, 2008 at 9:48 PM, John H Palmieri [EMAIL PROTECTED] wrote:



  Is this a bug?

  sage: 3 == pi
  3 == pi
  sage: i == i
  I == I

  Shouldn't this return False and True, respectively?

 Those are symbolic equations:

 sage: type(I == I)
 class 'sage.calculus.equations.SymbolicEquation'

 It's just a more general case of:

 sage: var('a,b,c,x')
 (a, b, c, x)
 sage: a*x^2 + b*x + c == 0
 a*x^2 + b*x + c == 0
 sage: type(a*x^2 + b*x + c == 0)
 class 'sage.calculus.equations.SymbolicEquation'
 sage: solve(a*x^2 + b*x + c == 0, x)
 [x == (-sqrt(b^2 - 4*a*c) - b)/(2*a), x == (sqrt(b^2 - 4*a*c) - b)/(2*a)]

Yes, except I, pi, and e are constants, not variables.

I suppose bug is not the right word, but I would content that this
behavior is not at all what beginning users will expect.  I mean, if I
can do 'e**(i * pi)' and get -1, I would expect to be able to do '3 ==
pi' and get False.

Or maybe I should say, if I can do 'a = 5; a == 7' and get False, I
would expect to be able to do '3 == pi' and get False.  Why is pi
treated as a symbolic variable and not as a number?

(Think about this from the beginning user's point of view.  If they
see odd behavior, they're going to be confused.  A goal should be to
not let this happen, or to provide a good way for them to figure out
why the behavior was actually reasonable in the first place. How do
you expect someone to react when they type in '3 == pi'?  If they're
puzzled, what do you reasonably expect them to be able to do to
clarify things?)

 That said, maybe something so obvious as I == I would best be simplified
 to True.  But then people would argue that it is very inconsistent that
 sometimes symbolic equations are simplified to True/False and sometimes
 they aren't.

 In all cases you can do bool( a symbolic equation ) to get True or False.

 sage: bool(I == I)
 True

  I know this
  works:

  sage: 3 == pi.n()
  False
  sage: 3 == RR(pi)
  False

  but I sort of expect pi to act like the number pi when used with
  things like == or , without using the .n() decoration.

 Nope.  Pi is symbolic.

 I'm certainly open to doing some simplification to True/False of symbolic
 equalities though, when we can do so.  I think the main reason we don't
 now is simply that nobody implemented it.  Comments welcome.

  -- 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: 3 == pi

2008-05-15 Thread William Stein

On Thu, May 15, 2008 at 10:42 PM, John H Palmieri
[EMAIL PROTECTED] wrote:



 On May 15, 9:56 pm, William Stein [EMAIL PROTECTED] wrote:
 On Thu, May 15, 2008 at 9:48 PM, John H Palmieri [EMAIL PROTECTED] wrote:



  Is this a bug?

  sage: 3 == pi
  3 == pi
  sage: i == i
  I == I

  Shouldn't this return False and True, respectively?

 Those are symbolic equations:

 sage: type(I == I)
 class 'sage.calculus.equations.SymbolicEquation'

 It's just a more general case of:

 sage: var('a,b,c,x')
 (a, b, c, x)
 sage: a*x^2 + b*x + c == 0
 a*x^2 + b*x + c == 0
 sage: type(a*x^2 + b*x + c == 0)
 class 'sage.calculus.equations.SymbolicEquation'
 sage: solve(a*x^2 + b*x + c == 0, x)
 [x == (-sqrt(b^2 - 4*a*c) - b)/(2*a), x == (sqrt(b^2 - 4*a*c) - b)/(2*a)]

 Yes, except I, pi, and e are constants, not variables.

They are elements of the symbolic ring:

sage: parent(I)
Symbolic Ring
sage: parent(pi)
Symbolic Ring
sage: parent(e)
Symbolic Ring

I'm not claiming to tell you the ultimate way things should be.  I'm only
explaining why they work the way they were and they do.

 I suppose bug is not the right word, but I would content that this
 behavior is not at all what beginning users will expect.  I mean, if I
 can do 'e**(i * pi)' and get -1, I would expect to be able to do '3 ==
 pi' and get False.

 Or maybe I should say, if I can do 'a = 5; a == 7' and get False, I
 would expect to be able to do '3 == pi' and get False.  Why is pi
 treated as a symbolic variable and not as a number?

Pi is an element of the symbolic ring.  What ring would you want
it to be part of?  There is no ring of numbers in Sage.   There could
be I suppose, but there isn't at present.

 (Think about this from the beginning user's point of view.  If they
 see odd behavior, they're going to be confused.  A goal should be to
 not let this happen, or to provide a good way for them to figure out
 why the behavior was actually reasonable in the first place. How do
 you expect someone to react when they type in '3 == pi'?  If they're
 puzzled, what do you reasonably expect them to be able to do to
 clarify things?)

I would prefer 3 == pi to return False.  See below.   Want to make
a Sage Enhancement Proposal and implement it?  :-)  It would
go something like this:

Sage Enhancement Proposal: Change comparisons that involve
elements of the symbolic ring to return True or False if both sides
of the symbolic comparison are constants and the comparison can
be definitely determined. [...]   There would be a discussion on sage-devel,
probably some voting, and then it would get done.


 That said, maybe something so obvious as I == I would best be simplified
 to True.  But then people would argue that it is very inconsistent that
 sometimes symbolic equations are simplified to True/False and sometimes
 they aren't.

 In all cases you can do bool( a symbolic equation ) to get True or False.

 sage: bool(I == I)
 True

  I know this
  works:

  sage: 3 == pi.n()
  False
  sage: 3 == RR(pi)
  False

  but I sort of expect pi to act like the number pi when used with
  things like == or , without using the .n() decoration.

 Nope.  Pi is symbolic.

 I'm certainly open to doing some simplification to True/False of symbolic
 equalities though, when we can do so.  I think the main reason we don't
 now is simply that nobody implemented it.  Comments welcome.

  -- William
 




-- 
William Stein
Associate Professor of Mathematics
University of Washington
http://wstein.org

--~--~-~--~~~---~--~~
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
-~--~~~~--~~--~--~---