[sage-devel] Re: andlinux

2007-10-19 Thread Bill Page
On 10/13/07, William Stein [EMAIL PROTECTED] wrote: On 10/12/07, Bill Page [EMAIL PROTECTED] wrote: Excellent! So you and me could work together on Sage-via-andLinux. Sounds good to me. The build of Sage on andLinux worked fine. Everything seems to work as advertised. It took

[sage-devel] Re: sloccount of sage-2.8.9.rc1

2007-10-25 Thread Bill Page
I was a little surprised by the number lisp:340210 (6.96%) For example, does the Lisp entry in mercurial-0.9.5 python=27386,sh=8300,tcl=3484,lisp=1411,ansic=1364 make sense? As far as I know mercurial does not use any Lisp, or does it? Regards, Bill Page. On 10/24/07, William

[sage-devel] Axiom Wiki and Portal are moving

2007-10-31 Thread Bill Page
things have changed since I did this last, so it may take a little more time but this should be completed in the new few days. And as usual, if you have any questions, comments, suggestions or criticisms I would be glad to hear them. Regards, Bill Page

[sage-devel] Re: [Axiom-mail] Axiom Wiki and Portal are moving

2007-11-01 Thread Bill Page
On 01 Nov 2007 12:54:00 -0500, Gabriel Dos Reis wrote: Bill Page [EMAIL PROTECTED] writes: | new sites now. They can be found at: | | http://axiom-wiki.newsynthesis.org | | and | | http://axiom-portal.newsynthesis.org What will happen to the email [EMAIL PROTECTED] Right now

[sage-devel] Re: [fricas-devel] Re: Axiom Wiki and Portal are moving

2007-11-02 Thread Bill Page
On 11/1/07, Waldek Hebisch wrote: Bill Page wrote: ... new sites now. They can be found at: http://axiom-wiki.newsynthesis.org and http://axiom-portal.newsynthesis.org ... Bill, I must admit that I have doubts concerning your migration tactic. AFAU there are two

[sage-devel] Re: Sage 2.8.14 on Solaris

2007-11-27 Thread Bill Page
welcome ;) I am interested in Sage binaries on Solaris 10 for both Sparc and Intel. Please let us know when and where you have a chance to do this. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe

[sage-devel] Re: build failure using clisp

2007-12-05 Thread Bill Page
some significant improvements in the build since 2.41. I would be glad in anyone can try this 'clisp-2.43-alpha.spkg' and let me know what works and what doesn't. Also please feel free to take the above and run with it. ;-) Regards, Bill Page

[sage-devel] Re: [fricas-devel] Re: build failure using clisp

2007-12-05 Thread Bill Page
-ffi'. Regards, Bill Page. On 12/5/07, Waldek Hebisch [EMAIL PROTECTED] wrote: Bill Page wrote: While trying to build fricas: [EMAIL PROTECTED]:~$ cd ~/fricas-src snip [EMAIL PROTECTED]:~/fricas-build$ cd ~/fricas-build using clisp: snip Features: (REGEXP SYSCALLS I18N LOOP

[sage-devel] Re: Sage-2.9.alpha1 released

2007-12-06 Thread Bill Page
a work around? Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@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-devel

[sage-devel] Re: Sage-2.9.alpha1 released

2007-12-06 Thread Bill Page
Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@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-devel URLs: http

[sage-devel] Re: [fricas-devel] sage package

2008-01-17 Thread Bill Page
Axiom/FriCAS in sage. Regards, Bill Page. On 17 Jan 2008 20:28:49 +0100, Martin Rubey [EMAIL PROTECTED] wrote: Dear Bill, I try to push it a little: do you think you could make a new fricas package for sage. It seems to me that the last one is already a bit dated, isn't it? It seems

[sage-devel] [the Algebraist Network] Your user profile at Algebraist

2008-03-27 Thread Bill Page
Bill Page from the Algebraist Network has sent you a message: First of all, thank you to everyone for your interest and participation in Algebraist! Algebraist on crowdvine.com is intended as a social network between developers and users of Aldor as well as a front-end to other developer

[sage-devel] Re: Project

2008-04-20 Thread Bill Page
that GCL is necessarily the right lisp for Sage (or even that Sage needs a lisp compiler at all) but I do rather think you should give GCL another try. I would be glad to try to help you debug the problems on Solaris. Regards, Bill Page

[sage-devel] Re: Project

2008-04-21 Thread Bill Page
of platforms. Bill Page -- I would be interested in any comments you might have. For example, is the fact that GCL doesn't build for us anywhere, something that you think we'll get passed by just trying harder? Or is it going to be really really hard. The fact that it doesn't build for you

[sage-devel] Re: Project

2008-04-22 Thread Bill Page
, mabshoff wrote: On Apr 22, 7:36 am, Bill Page wrote: ... The most recent branch 'Version_2_6_8pre' is what we normally use to build Axiom. There is a change about 4 months old. If I recall correctly 'Version_2_6_8pre' actually corresponds to the version distributed on Debian and would

[sage-devel] Re: Project

2008-04-22 Thread Bill Page
and will not magically make a project better. It seems to me that my proposal for the place that Axiom/Aldor could have in Sage has more depth to it than that... :-( ... Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel

[sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Bill Page
bone distribution it would be great. Do you mean, for example eliminating the hyperdoc browser and Axiom graphics? I think that trying to eliminate mathematical functionality is not likely to save much in a bare bones distribution. Regards, Bill Page

[sage-devel] Re: LU decomposition

2009-06-05 Thread Bill Page
Jason, Perhaps this Axiom code might be of some use? The generic coding style is rather similar to the way Python is used in Sage. http://axiom-wiki.newsynthesis.org/JetLUDecomposition Regards, Bill Page. On Thu, Jun 4, 2009 at 5:46 PM, Jason Groutjason-s...@creativetrax.com wrote: If I

[sage-devel] Re: [fricas-devel] Re: fricas and ECL

2009-06-17 Thread Bill Page
On Wed, Jun 17, 2009 at 9:09 PM, Waldek Hebisch wrote: maxthemouse wrote: ... What was not clear to me was where I should send a mail/patch for this. i.e. Who is charge of the fricas.spkg? The packages were created by Bill Page.  He also uploaded them to some testing area on sagemath.org

[sage-devel] Fwd: fricas and ECL

2009-06-18 Thread Bill Page
-- Forwarded message -- From: maxthemouse adamwebb_...@yahoo.com Date: Thu, Jun 18, 2009 at 7:10 AM Subject: Re: fricas and ECL To: Bill Page bill.p...@newsynthesis.org On Jun 18, 4:45 am, Bill Page bill.p...@newsynthesis.org wrote: On Wed, Jun 17, 2009 at 9:09 PM, Waldek

[sage-devel] Fwd: fricas and ECL

2009-06-18 Thread Bill Page
-- Forwarded message -- From: maxthemouse adamwebb_...@yahoo.com Date: Thu, Jun 18, 2009 at 7:26 AM Subject: Re: fricas and ECL To: Bill Page bill.p...@newsynthesis.org Sorry, I think I sent you the wrong version. That was the before the reply from Waldek Hebisch. The following

[sage-devel] Fwd: fricas-1.0.6.p0.spkg

2009-06-19 Thread Bill Page
-- Forwarded message -- From: Adam Webb adamwebb_...@yahoo.com Date: Fri, Jun 19, 2009 at 5:55 AM Subject: fricas-1.0.6.p0.spkg To: bill.p...@newsynthesis.org Hi Bill, I threw together a Sage package. (fricas-1.0.6.p0.spkg, http://www.mediafire.com/file/whwmdzfimg2) The big

[sage-devel] Fwd: patch for fricas.py

2009-06-19 Thread Bill Page
. Regards, Bill Page. -- Forwarded message -- From: Adam Webb adamwebb_...@yahoo.com Date: Fri, Jun 19, 2009 at 9:58 AM Subject: patch for fricas.py To: Bill Page bill.p...@newsynthesis.org Bill, I made two changes to fricas.py to make the tests pass. The first is sage: a = fricas(x

[sage-devel] Re: Is new symbolic derivative really worth the efforts?

2009-07-22 Thread Bill Page
On Wed, Jul 22, 2009 at 8:52 PM, Golam Mortuza Hossain wrote: Hi, On Wed, Jul 22, 2009 at 11:49 PM, Bill Page wrote: - h = f(x^2).diff(x)*(x+1/x) sage: h.subs(f(x^2)==1) 2*(x + 1/x)*x*D[0](f)(x^2) sage: h.subs(f(x^2).diff(x)==0) 2*(x + 1/x)*x*D[0](f)(x^2) - It does

[sage-devel] Re: units

2009-08-12 Thread Bill Page
much algebra to use? +1 Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group

[sage-devel] Re: barriers to community growth

2009-08-12 Thread Bill Page
experience with VirtualBox is very positive on Windows Vista, Debian and SuSE linux systems. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel

[sage-devel] Re: Explicit variable of integration

2009-08-18 Thread Bill Page
not quite so raw. So normally one would write for example: (2) - integrate(sin(x),x=a..b) (2) - cos(b) + cos(a) Type: Union(f1: OrderedCompletion(Expression(Integer)),...) Why doesn't Sage support something like this? Regards, Bill Page

[sage-devel] converting sage expressions to fricas

2009-08-26 Thread Bill Page
This used to work. Is it a known problem? The traceback does not make much sense to me. I guess a lot has changed in this code since sage-3.4 I would appreciate any help/suggestions for debugging. Thanks. wsp...@debian:~/sage-4.1.1$ ./sage

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
/6517 ) with the included ecl (also works with the updated ecl that is coming). It would be great if someone could review these two tickets. Thanks! I will install and look at both of these ASAP. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
On Thu, Aug 27, 2009 at 10:29 AM, Martin Rubey wrote: Bill Page writes: On Thu, Aug 27, 2009 at 8:34 AM, MaxTheMouse wrote: This is a known problem. The patch at http://trac.sagemath.org/sage_trac/ticket/6318 should fix this. sage: expr=x+1 sage: maxima(expr) x+1 sage: fricas(expr

[sage-devel] Re: converting sage expressions to fricas

2009-08-27 Thread Bill Page
On Thu, Aug 27, 2009 at 1:55 PM, Martin Rubey wrote: Bill Page writes: What version of Sage are you using? What patches applied (if any)? 4.0.2, combinat branch, patches 6318 applied. Ok, thanks. I am currently testing with Sage 4.1.1. Without patch 6318, I get the error that I reported

[sage-devel] Re: converting sage expressions to fricas

2009-08-28 Thread Bill Page
Bill Page wrote: So this patch really does depend on installing a later version of FriCAS than what is available at the Sage web site. On Fri, Aug 28, 2009 at 6:10 AM, MaxTheMouse wrote: The patch at 6318 was changed for how the newer version of fricas behaves. My thought

[sage-devel] Re: converted sage vmware image to run on virtualbox

2009-08-28 Thread Bill Page
and type sage: notebook() and enter the admin password (twice). Hit control-C. and exit 3) Now enter 'notebook' to start Sage notebook 4) Start browser with url shown. Regards, Bill Page. On Fri, Aug 28, 2009 at 3:01 PM, Yoav Aner wrote: Don't know if anyone's interested, but I've converted

[sage-devel] Re: [fricas-devel] Re: Aldor interface

2009-09-02 Thread Bill Page
...@debian:~/sage-4.1.1/spkg/build/fricas-1.0.7.p0$ Regards, Bill Page. On Mon, Aug 31, 2009 at 11:01 AM, Ralf Hemmecke wrote: I am sure that the Aldor-interface used to build with GCL. But rather than invest time to continue to support it maybe it would be better to try to make sure that the Aldor

[sage-devel] Re: [fricas-devel] Re: Aldor interface

2009-09-03 Thread Bill Page
the log. Regards, Bill Page. On Thu, Sep 3, 2009 at 6:16 AM, Ralf Hemmecke wrote:   But after including '-lm' it fails again with the following error: Bill, could you send me the exact list of commands to arrive at this error. Maybe you even have the full log of this 'make'. Are you sure

[sage-devel] Re: [fricas-devel] Re: Aldor interface

2009-09-03 Thread Bill Page
Ralf, On Thu, Sep 3, 2009 at 5:32 PM, Ralf Hemmecke wrote: On 09/03/2009 02:48 PM, Bill Page wrote: I am sorry, I don't the logs to send but if you have any problems with the instructions below, then I can reproduce and send them later. Assuming that you already have Aldor and Sage

[sage-devel] Re: [fricas-devel] Re: Aldor interface

2009-09-04 Thread Bill Page
) libaxiom.al plus code to create the runtime files (APL2-licenced)    Of course B) depends on A), but I believe there is a way to say this    in an .spkg file. I must say, I rather like to go for 3). Any comments? +1 I also very much like your option 3) Regards, Bill Page

[sage-devel] Re: new jmol

2009-09-24 Thread Bill Page
Jason, What are the Sage version prerequisites for this package (if any)? Besides new features is there a list of bug fixes? In particular, do you know if this version solves the problem with jmol on some Windows XP systems that has been mentioned occasionally here on this list? Regards, Bill

[sage-devel] Re: new jmol

2009-09-25 Thread Bill Page
on the same server when viewed from the other clients works fine. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com

[sage-devel] Re: new jmol

2009-09-25 Thread Bill Page
On Fri, Sep 25, 2009 at 2:35 PM, Alfredo Portes wrote: On Fri, Sep 25, 2009 at 1:14 PM, Bill Page wrote: Unfortunately there is no change in behavior with this update. It still works fine for me on my Linux clients and when using Windows Vista, but on a slightly older laptop running

[sage-devel] Re: new jmol

2009-09-28 Thread Bill Page
allocation on this system is not enough. Is there some way to configure the JRE on Windows to make more memory available? Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] Re: standalone sage notebook

2009-09-29 Thread Bill Page
I'd like to propose a new item in the File ... drop-down box. One thing that has always bugged me is having to Rename a worksheet before clicking Save. I have also seen it stump a few first time users of the Notebook. How about a Save As ... option that prompts you with a pop-up for a

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Bill Page
really mean at the file level, the files that you will probably care most about are those found in the src/algebra directory. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] Re: [fricas-devel] Re: Sage, Maxima, Lisp

2008-04-23 Thread Bill Page
system or maybe linking the Python into the lisp image that runs Axiom? What do you think? Is this crazy? Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Bill Page
for compiled code in Cython or interfaces to external libraries? How important is the web-based notebook interface? ... Just some different ideas. I know ideas are cheap, but you did ask. :-) Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email

[sage-devel] Re: ISSAC abstract

2008-04-30 Thread Bill Page
On Wed, Apr 30, 2008 at 9:53 AM, William Stein wrote: On Wed, Apr 30, 2008 at 12:02 AM, Bill Page wrote: On Wed, Apr 30, 2008 at 1:57 AM, William Stein wrote: I'm giving a plenary talk at ISSAC in Linz, Austria this summer. I'm supposed to write a 2-page abstract

[sage-devel] Re: fast vs viable (offline post)

2008-05-01 Thread Bill Page
that's a reasonable thing to talk about for that conference... I think it would be great if you could spend at least 50% of your talk on this subject - or better - way not plan to give two talks! :-) ... Regards, Bill Page. --~--~-~--~~~---~--~~ To post

[sage-devel] Re: ISSAC abstract

2008-05-01 Thread Bill Page
not the first) seemed like a good balance to me: What is Sage? What can it do? This one is more about: What you would like to do to make Sage more than what it is so far. It seems to me that at best that deserves a few minutes toward the end of the second abstract. Regards, Bill Page

[sage-devel] Re: Fwd: Tensor products

2008-05-07 Thread Bill Page
is likely to require or at least interact with such generic programming features. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options

[sage-devel] Re: coercing of sqrt(2)

2008-06-03 Thread Bill Page
it as a plus that coercion has been given a more categorical founding. Absolutely! :-) BTW, where can I read more about these categorical concepts that are currently built-in or planned for Sage? Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group

[sage-devel] Re: coercing of sqrt(2)

2008-06-03 Thread Bill Page
On Tue, Jun 3, 2008 at 5:48 PM, William Stein wrote: On Tue, Jun 3, 2008 at 2:45 PM, Bill Page wrote: On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote: On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote: ... I consider homsets to be a gigantic flaw in coercion that absolutely have

[sage-devel] Re: coercing of sqrt(2)

2008-06-04 Thread Bill Page
to correct or comment as time permits, that would be great. On Tue, Jun 3, 2008 at 10:04 PM, Robert Bradshaw wrote: On Jun 3, 2008, at 4:50 PM, Bill Page wrote: How does it [categories in Sage] relate to the concept of parent - which seems equally ill-defined to me? A Parent is an Object

[sage-devel] parent of component of CartesianProduct

2008-06-04 Thread Bill Page
Ring sage: parent(t[1]) Integer Ring - Notice that the parent of t[1] is incorrect in the 2nd case. Is there any interest in also implementing the Co-product constructor? What about Record and Union constructors? Regards, Bill Page

[sage-devel] Re: parent of component of CartesianProduct

2008-06-04 Thread Bill Page
On Wed, Jun 4, 2008 at 6:07 PM, William Stein wrote: On Wed, Jun 4, 2008 at 3:03 PM, Bill Page wrote: Is there any interest in also implementing the Co-product constructor? Yes. What about Record and Union constructors? I don't know what those are (at least what Record is). Records

[sage-devel] Re: coercing of sqrt(2)

2008-06-04 Thread Bill Page
On Wed, Jun 4, 2008 at 1:54 PM, Robert Bradshaw wrote: On Jun 4, 2008, at 4:07 AM, Bill Page wrote: ... These seem consistent to me, albeit rather complex. However I am not sure I understand the following: sage: parent(IntegerRing()) type 'sage.rings.integer_ring.IntegerRing_class' sage

[sage-devel] Re: coercing of sqrt(2)

2008-06-04 Thread Bill Page
On Wed, Jun 4, 2008 at 11:06 PM, William Stein wrote: On Wed, Jun 4, 2008 at 7:35 PM, Bill Page wrote: On Wed, Jun 4, 2008 at 1:54 PM, Robert Bradshaw wrote: David's explanation of this is right on. We need parent() to work in some sensible way on non-Elements (e.g. Python ints, objects

[sage-devel] Re: parent of component of CartesianProduct

2008-06-05 Thread Bill Page
: http://www.artima.com/weblogs/viewpost.jsp?thread=86641 It is possible to write a Python class that provides these types. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] Re: coercing of sqrt(2)

2008-06-05 Thread Bill Page
On Thu, Jun 5, 2008 at 1:47 AM, William Stein wrote: On Wed, Jun 4, 2008 at 10:16 PM, Bill Page wrote: ... Python classes can also take parameters. I didn't know that. I thought the only way to create a Python class is for the Python interpreter to execute Python code that looks like

[sage-devel] Re: coercing of sqrt(2)

2008-06-05 Thread Bill Page
. Agreed. Python can treat types as fully first class objects. I think this strongly supports William's initial decision to choose Python as the basis for a new computer algebra system comparable to Magma and Axiom. Regards, Bill Page. --~--~-~--~~~---~--~~ To post

[sage-devel] Re: coercing of sqrt(2)

2008-06-05 Thread Bill Page
class), parent (an object in some category) and category. Metaclasses are a good match for Categories. Thus you can have everything in one package and remain closer to conventional Python programming in spirit. Regards, Bill Page. --~--~-~--~~~---~--~~ To post

[sage-devel] Re: coercing of sqrt(2)

2008-06-05 Thread Bill Page
On Thu, Jun 5, 2008 at 4:16 AM, Robert Bradshaw wrote: On Jun 4, 2008, at 7:35 PM, Bill Page wrote: ... Types are all about the implementations of things, they synonymous with the classes of Object Oriented programming, and are insufficient (and the wrong vehicle) to carry deeper

[sage-devel] Re: coercing of sqrt(2)

2008-06-05 Thread Bill Page
and CommutativeRing are categories. characteristic is a method of Integer. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group

[sage-devel] Re: coercing of sqrt(2)

2008-06-06 Thread Bill Page
/5/08, Bill Page [EMAIL PROTECTED] wrote: Do you still consider the example code like that given above by Gonzalo unnatural and ugly? It seems like pretty standard Python to me. There of course various ways of packaging the metaclass machinery to provide an even cleaner user interface. I do

[sage-devel] Re: [fricas-devel] Re: SAGE and FriCAS

2008-08-18 Thread Bill Page
Martin, On Sat, Aug 16, 2008 at 1:59 AM, Martin Rubey wrote: Bill Page writes: I am not so sure that a similar role can be played by FriCAS. The FriCAS/Axiom libraries are not so easily called by an external program. Instead we have the same option to interface with FriCAS as we have

[sage-devel] Re: [fricas-devel] Re: SAGE and FriCAS

2008-08-18 Thread Bill Page
On Mon, Aug 18, 2008 at 11:29 AM, Ondrej Certik wrote: On Mon, Aug 18, 2008 at 5:10 PM, Bill Page wrote: ... Anyway, I think there is a lot of potential for improvement in the existing 'axiom.py' interface even without considering how to solve the problem of an efficient application program

[sage-devel] Re: [fricas-devel] Re: SAGE and FriCAS

2008-08-18 Thread Bill Page
On Mon, Aug 18, 2008 at 12:06 PM, Ondrej Certik wrote: On Mon, Aug 18, 2008 at 5:51 PM, Bill Page wrote: ... There is supposed to be an easy way to call programs compiled with ECL from C (and thus via some suitable wrapper from Python or from Cython), but I have yet to see this demonstrated

[sage-devel] Re: [fricas-devel] Re: SAGE and FriCAS

2008-08-18 Thread Bill Page
On Mon, Aug 18, 2008 at 12:48 PM, Ondrej Certik wrote: On Mon, Aug 18, 2008 at 6:24 PM, Bill Page wrote: ... It is not so easy to call Python code from a C mainline program either, is it? Thanks to Cython, it is very easy to call my Python implementation of something from pure C. And it's

[sage-devel] Re: [fricas-devel] Re: SAGE and FriCAS

2008-08-18 Thread Bill Page
On Mon, Aug 18, 2008 at 1:51 PM, Ondrej Certik wrote: On Mon, Aug 18, 2008 at 7:08 PM, Bill Page wrote: Ok, thanks for the example. Yes I admit that using Cython this way is quite nice. It makes me think that maybe it would be interesting to write such Cython wrappers for calling larger

[sage-devel] Fwd: axiom

2008-08-19 Thread Bill Page
-- Forwarded message -- From: Ondrej Certik [EMAIL PROTECTED] Date: Tue, Aug 19, 2008 at 4:23 AM Subject: Re: axiom To: Bill Page [EMAIL PROTECTED] Yes, please post it to sage-devel and I'll reply there. I wasn't sure what your reply would be, so I started offlist. :) Ondrej

[sage-devel] Re: Fwd: axiom

2008-08-21 Thread Bill Page
On Thu, Aug 21, 2008 at 12:50 AM, mhampton wrote: I really need to go to sleep so I won't do a top-ten, but here's a top 2: 1) Powerful substitutions and rules. Sage does not have anything comparable. The .subs() function is buggy even in its limited domain. There have been previous

[sage-devel] Re: [fricas-devel] Re: Fortran names in unparse

2008-09-06 Thread Bill Page
ordering are available in all systems by design and so I see no good reason not to use them until a better approach is implemented. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from

[sage-devel] Re: [fricas-devel] Re: Fortran names in unparse

2008-09-06 Thread Bill Page
(foo, ExpectElement) and not foo.parent() is self: foosage = foo._sage_() # i.e. convert to Sage and then to the other system return self(foosage) Yes, I think this is a good idea that allows the external interface to be more intelligent. Regards, Bill Page

[sage-devel] Re: Sage 3.1.2.alpha4 released

2008-09-06 Thread Bill Page
for the Axiom type system. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@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-devel] Re: Sage 3.1.2.alpha4 released

2008-09-06 Thread Bill Page
On Sat, Sep 6, 2008 at 9:31 PM, Bill Page wrote: #4028: Mike Hansen: doctest and improve sage/interfaces/axiom.py [Reviewed by Michael Abshoff] I have looked carefully at the changes to 'axiom.py' by Mike Hansen and I think there is a serious problem: The change relating to displaying

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Sage 3.1.2.alpha4 released

2008-09-06 Thread Bill Page
? If you wrote: sage: axiom('2.123::DoubleFloat') you would see what you expect. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Sage 3.1.2.alpha4 released

2008-09-06 Thread Bill Page
On Sat, Sep 6, 2008 at 10:49 PM, Bill Page wrote: On Sat, Sep 6, 2008 at 10:32 PM, Mike Hansen wrote: I still find the following behavior much worse than the current behavior (which is why I made the change): sage: axiom(2.123) float(156649750673941527080,-66,2) That's not useful

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Sage 3.1.2.alpha4 released

2008-09-06 Thread Bill Page
Here is a better definition: def float(x,e,b): return RealField(axiom('precision()$Float'))(x)*b^e On Sat, Sep 6, 2008 at 11:10 PM, Bill Page wrote: On Sat, Sep 6, 2008 at 10:49 PM, Bill Page wrote: On Sat, Sep 6, 2008 at 10:32 PM, Mike Hansen wrote: I still find the following behavior

[sage-devel] Re: [fricas-devel] Axiom interface

2008-09-07 Thread Bill Page
Polynomial Integer. Types are first class objects in Axiom but 'Polynomial' is not a type - it is a functor, i.e. it is a constructor that takes an argument. 'Polynomial(Integer)' on the other hand is a type. Regards, Bill Page. --~--~-~--~~~---~--~~ To post

[sage-devel] Re: [fricas-devel] Axiom interface

2008-09-08 Thread Bill Page
, Sep 7, 2008 at 9:46 PM, Bill Page wrote: Excellent. I have applied this patch to sage-3.1.2.alpha4-sage.math-only-x86_64-Linux and with fricas-1.0.3 installed. I tried a few things and so far it seems to work great! I'll have more time to test it thoroughly in the next 24 hours and let you

[sage-devel] Re: [fricas-devel] Re: Axiom interface

2008-09-09 Thread Bill Page
) -- Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@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-devel URLs: http

[sage-devel] Re: [fricas-devel] Re: Axiom interface

2008-09-09 Thread Bill Page
support for compiling new Axiom library code written in the Spad language. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options

[sage-devel] Aldor for Sage

2008-09-10 Thread Bill Page
issues the FriCAS and Aldor package for Sage must currently remain separate. I am doubtful however if compiling Aldor from source can be made much less than 10 or 15 minutes in total. So maybe it is a good thing that they remain separate packages anyway. Regards, Bill Page

[sage-devel] Re: [fricas-devel] How do I get the most current version of axiom.py

2008-09-13 Thread Bill Page
of the page under the heading: Download in other formats Click the link * Original Format This is the format you can use with patch. There were a couple of other changes that I suggested in emails to Mike (including the compiler patch) but he has not yet included them here yet. Regards, Bill Page

[sage-devel] Re: [fricas-devel] Re: axiom interface, was:: How do I get the most current version of axiom.py

2008-09-16 Thread Bill Page
of set_xxx and is_xxx. This patch also includes the necessary code to compile spad files @@ -362,6 +362,41 @@ Regards, Bill Page. On Sat, Sep 13, 2008 at 7:07 PM, Martin Rubey wrote: I think the following *should* work... sage: a = axiom.sin(x) I hacked around axiom.py a little, and came

[sage-devel] Re: [fricas-devel] How do I get the most current version of axiom.py

2008-09-16 Thread Bill Page
-sage.math-only-x86_64-Linux/devel/sage-main/sage/interfaces/FOO.NRLIB/code sage: axiom.bar(1) 2 without having to re-compile the source for FOO again. The NRLIB would remain there indefinitely until replaced or deleted by the user. Regards, Bill Page. On Sat, Sep 13, 2008 at 5:15 PM, Bill

[sage-devel] Re: [fricas-devel] How do I get the most current version of axiom.py

2008-09-16 Thread Bill Page
On Tue, Sep 16, 2008 at 10:11 PM, Bill Page wrote: ... After the fricas-1.0.3.spkg installation the Axiom library is located here: $SAGE_ROOT/local/lib/fricas/target/x86_64-unknown-linux/algebra This is where all the algebra-related object files are located. Probably this is also a logical

[sage-devel] Re: [fricas-devel] How do I get the most current version of axiom.py

2008-09-16 Thread Bill Page
On Tue, Sep 16, 2008 at 10:46 PM, Mike Hansen wrote: ... It is better to put it somewhere in DOT_SAGE You mean like: out = self._eval_line(')cd '+DOT_SAGE+'/fricas/algebra', reformat=False) How/when to create this directory? Regards, Bill Page

[sage-devel] Re: [fricas-devel] How do I get the most current version of axiom.py

2008-09-16 Thread Bill Page
On Tue, Sep 16, 2008 at 10:51 PM, Bill Page wrote: On Tue, Sep 16, 2008 at 10:46 PM, Mike Hansen wrote: ... It is better to put it somewhere in DOT_SAGE You mean like: out = self._eval_line(')cd '+DOT_SAGE+'/fricas/algebra', reformat=False) How/when to create this directory

[sage-devel] Re: Sage 3.1.2.rc5/final released

2008-09-17 Thread Bill Page
). Is there any problem with that? Regards, Bill Page. On Wed, Sep 17, 2008 at 12:43 AM, mabshoff wrote: Hello folks, after 251 closed tickets here we go. This is rc5/final and likely identical to the 3.1.2 release. There was an rc4 that never got publicly announced since it had some Gremlins

[sage-devel] Re: in-place WYSIWYG text-cell editing

2008-10-10 Thread Bill Page
to shift-Enter a little later. Maybe one could put an 'add text' link formatted like 'evaluate' somewhere near the top right of the cell? These links could be visible by default, but it might also be nice to be able to turn them off (display:none) when one get tired of the cues. Regards, Bill Page

[sage-devel] Re: [fricas-devel] Re: SF.net SVN: fricas:[429] releases/1.0.4/

2008-10-28 Thread Bill Page
I have made and post a patch there. Other FriCAS/Sage developers working in parallel on this would be a very good thing. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] Re: [fricas-devel] Re: field extensions

2008-10-28 Thread Bill Page
in 'axiom.py'. If any has some ideas about how best to do this, I would be very interested. Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more

[sage-devel] Re: [sage-combinat-devel] Categories for the working programmer

2008-11-10 Thread Bill Page
Warning: This email consists mostly of a rant on category theory, computer algebra, and a comparison of implementations that is somewhat tangential to the main subject. On Tue, Aug 19, 2008 at 8:14 PM, Bill Page wrote: The Sage concept of 'parent' is an attempt to capture similar generic

[sage-devel] Re: [sage-combinat-devel] Categories for the working programmer

2008-11-10 Thread Bill Page
On Tue, Nov 11, 2008 at 12:50 AM, Mike Hansen wrote: On Mon, Nov 10, 2008 at 9:31 PM, Bill Page wrote: ... It seems to me that of all the existing computer algebra systems, because of it's strong and often pedantic type system, Axiom seems most compatible with taking category theory

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
integral_test1.py, line 96, in module time_Maxima_friCAS(integrand) File integral_test1.py, line 81, in time_Maxima_friCAS print Maxima Time:, mx_time.stats[_sage_const_3 ], mx_time.stats[_sage_const_4 ] AttributeError: 'str' object has no attribute 'stats' Regards, Bill Page. On Tue, Nov

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
' The script runs ok if I comment out the timing: else: test_eval(test,test_int,desired_result) #time_Maxima_friCAS(integrand) Any ideas? Regards, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
anything named 'stats': It appears that 'sage_timeit.py' was not updated by '-upgrade'. Note: Directory sage-3.1.4 is where I previously built sage from source. I did not change this name when I did '-upgrade'. Regards. Bill Page. --~--~-~--~~~---~--~~ To post

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
On Tue, Nov 25, 2008 at 11:05 PM, Mike Hansen wrote: On Tue, Nov 25, 2008 at 8:00 PM, Bill Page wrote: It seems that none of these files has anything named 'stats': It appears that 'sage_timeit.py' was not updated by '-upgrade'. Note: Directory sage-3.1.4 is where I previously built sage

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
, Bill Page. --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@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-devel URLs: http

[sage-devel] Re: Sage Integral Test Suite

2008-11-25 Thread Bill Page
On Tue, Nov 25, 2008 at 11:42 PM, Mike Hansen wrote: On Tue, Nov 25, 2008 at 8:38 PM, Bill Page wrote: Still unhappy. Did it really mean 'don't forget to commit'? Where? You just run hg ci to commit the merge. Then to make the changes active, you have to start sage with sage -br

  1   2   3   4   >