[sage-devel] Re: Clarification of Sage and GPL

2009-05-07 Thread root
> Gee... is "Sage" a trademark? > > Besides, I don't think a trademark is that strong... E.g. "firefox" is > a trademark of mozilla. Debian doesn't want to be bound by the terms > of use of said trademark, so the rename the program to "iceweasel". > All visible occurrences of the name "firefox" a

[sage-devel] NSF conference

2009-05-02 Thread root
I've just returned from the NSF conference. There was a big push for teaching, especially related to CAS. I suggested a joint effort with the game industry. The idea would be to use a game like the bridge building game (www.bridgebuilder-game.com) and a CAS. The idea of the bridge game is to con

[sage-devel] Re: sage and symbolic software design

2009-05-02 Thread root
This is such an amusing thread. Try re-reading the thread as if everyone were arguing that "we should improve Maxima because it is open source and many people can improve upon it". Sure, you'd have to learn lisp but Guido argues that python is lisp, so is the learning curve so steep? On average o

[sage-devel] Re: Is Maxima incompatible with Sage licensing

2009-04-27 Thread root
> But there is certainly still the issue with distribution, i.e. the > trade press covered the [planned?] deployment of Debian by the > government of Cuba a couple weeks ago. I wonder who gets into trouble > for "exporting" Debian in that context - even though there is only a > minuscule chance th

[sage-devel] Re: programming: define a new function

2009-04-22 Thread root
> > It's on our list too, so it will happen eventually. We definitely > > still need to improve our algorithms a lot, see e.g.: > > > > http://groups.google.com/group/sympy/browse_thread/thread/58916fb31e1ff1ea > > > > but a nice thing is that it's in Python, so it's easy to work with. > > > > Ond

[sage-devel] Re: programming: define a new function

2009-04-22 Thread root
> >>> Kudos to SymPy! > >>> > >>> I'm wondering why the python integration algorithms implemented there > >>> aren't in the short term adopted by SAGE. > >> > >> They are --- you can use them from sympy inside Sage. It's my goal > >> that all sympy features are nicely integrated in Sage. I work on

[sage-devel] Re: programming: define a new function

2009-04-19 Thread root
> > A much shorter example is: > > > > integrate(sqrt(x+log(x)),x) > > > > to which Axiom replies: > > > > integrate: implementation incomplete (constant residues) > > > > What is f(x) = sqrt(x+log(x)) supposed to be an example of? Does f > has an antiderivative that can be expressed in terms of

[sage-devel] Re: programming: define a new function

2009-04-19 Thread root
> So we have a good start to implement the Risch algorithm in sympy already. Ondrej, what result do you get for: integrate(sqrt(x+log(x)),x) Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this grou

[sage-devel] Re: programming: define a new function

2009-04-19 Thread root
> > Wikipedia also has a few interesting remarks, e.g., that the Risch > > algorithm isn't an algorithm, because it depends on being able to > > check equality of general elementary functions, which is evidently an > > open problem in general (so in practice you just fake it by evaluating > > nume

[sage-devel] Re: programming: define a new function

2009-04-19 Thread root
> > Wikipedia also has a few interesting remarks, e.g., that the Risch > > algorithm isn't an algorithm, because it depends on being able to > > check equality of general elementary functions, which is evidently an > > open problem in general (so in practice you just fake it by evaluating > > nume

[sage-devel] Dr. Kovacic died April 1

2009-04-04 Thread root
A loss for the CAS community, from William Sit: Dear Friends of Jerry Kovacic: It is with great sadness that I am passing on the news that Jerry Kovacic died of brain cancer at around 2:30 pm on April 1, 2009. He was 67. Jerry is well known for his eponymous algorithm for solving linear second

[sage-devel] Re: Python and Lisp

2009-04-01 Thread root
> About two years ago we made the painful transition from using Darcs to > Mercurial for our revision control system. This was difficult, but had > to be done because it was hard to get Darcs to run everywhere, and > there were weird corner cases where Darcs would hang. Mercurial isn't > optimal

[sage-devel] Re: [sage-combinat-devel] Cardinality of a set...

2009-02-26 Thread root
>> I like s.cardinality() since that's what I've used often already all >> over in Sage. >> Do >> >> sage: search_src('cardinality') >> > >Arglll !!! I had this idea and issued an > >tomahawk-*ge-combinat/sage $ grep def\ cardinality\( **/*.py* | wc > 11 35 533 > >which was a pretty

[sage-devel] Re: dump lisp and maxima from sage?

2008-12-30 Thread root
>>Could you please elaborate (in technical terms) what is wrong in >>principle with our Risch algorithm implementation, apart that it needs >>fixing for integrals that it cannot yet do? Or is the approach we took >>with sympy not the right one to get the symbolic integration done. >> >>If Sage dev

[sage-devel] Re: dump lisp and maxima from sage?

2008-12-30 Thread root
>Could you please elaborate (in technical terms) what is wrong in >principle with our Risch algorithm implementation, apart that it needs >fixing for integrals that it cannot yet do? Or is the approach we took >with sympy not the right one to get the symbolic integration done. > >If Sage developer

[sage-devel] Re: dump lisp and maxima from sage?

2008-12-29 Thread root
>> I think there might be a bit of overconfidence in assuming that any >> one of the "top 10 Sage developers" is going to reproduce even a >> fraction of that complexity in the near term. > >That's not what is being discussed. The question is about the >technical feasibility of removing lisp/maxi

[sage-devel] Re: dump lisp and maxima from sage?

2008-12-29 Thread root
>I don't mean to suggest this could be trivially done by anybody right >now. I'm talking about feasibility in the sense of several very hard >weeks work by one of the top 10 Sage developers. > >... > >1. Consider "lines of code". How many correct LOC/day does a top 10 >Sage developer wri

[sage-devel] Re: dump lisp and maxima from sage?

2008-12-29 Thread root
>The possibility to dump lisp and maxima entirely from Sage keeps >popping into my head. If you only wish to eliminate Maxima then Fricas would suffice. If you wish to dump lisp then this implies dumping the Fricas package also since it is lisp based. Tim Daly --~--~-~--~~---

[sage-devel] Re: Sage 3.2.2.alpha0 released!

2008-12-08 Thread root
>What about an option to the upgrade script, e.g. > >sage -upgrade [-b branch] > >which would upgrade specified branch inplace if specified? I don't want to start a religious war but this is trivial in a git repository. There was some talk a while back about changing to git. Tim --~--~

[sage-devel] Re: Cosine Integral and Sine Integral?

2008-12-07 Thread root
Tim, Actually what I'm hoping for is a merged document that can be used by anyone to see the results from various systems compared. This is similar in spirit to the rosetta document I helped author: except that I would like to see such inform

[sage-devel] Re: Cosine Integral and Sine Integral?

2008-12-07 Thread root
Tim, When you publish your test suite I'd like to be able to merge the Sage version of the integrations back into the CATS version of the schaums tests. Do you think this will be possible? Tim Daly --~--~-~--~~~---~--~~ To post to this group, send email to sage-d

[sage-devel] Computer Algebra Test Suite (CATS)

2008-11-25 Thread root
Tim, Were you just interested in integration or do you intend to work on a full test suite? If you're interested in building a larger test suite I'd be happy to work with you (or others) on areas that interest both Axiom and Sage. Indeed, this might be a good way for students and mathematicians w

[sage-devel] Re: Sage patch licenses

2008-11-25 Thread root
>...[snip]... >... Van Lindberg points >out implicit licenses are not legally binding and presents a legal >horror story of one guy "contributing" code he do not own to an OS >sourceforge project, only to be bankrupted by lawsuits and SF >being required to

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

2008-11-09 Thread root
>Don't worry: I am bound to be productive into translating code from >MuPAD to Sage :-) And the MuPAD's category hierarchy is quite similar >(since inspired from) Axiom's. Do you have information about MuPad's categories? Tim --~--~-~--~~~---~--~~ To post to this

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

2008-11-09 Thread root
Mike, >On Sun, Nov 9, 2008 at 1:21 PM, root <[EMAIL PROTECTED]> wrote: >> There are at least two possible paths toward a category hierarchy in Sage, >> adopting Axiom's version or designing a new one. >> >> The key advantage of adopting the Axiom category

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

2008-11-09 Thread root
There are at least two possible paths toward a category hierarchy in Sage, adopting Axiom's version or designing a new one. The key advantage of adopting the Axiom category hierarchy is the Sage system could reuse a lot of the algorithms in Axiom. The Spad language used in Axiom is similar in sty

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

2008-11-09 Thread root
Nicolas, The category hierarchy in Axiom is being documented in more detail. The latest, nearly complete, version is at: Note that the PDF is hyperlinked. A (currently partial) diagram of the hierarchy can be found at:

[sage-devel] Re: documentation licenses [was: yet another talk on Sage]

2008-11-05 Thread root
To quote U.S. copyright law, section 107: Notwithstanding the provisions of sections 106 and 106A, the fair use of a copyrighted work, including such use by reproduction in copies or phonorecords, or by any other means specified by that section, for purposes such as criticism, comment, ne

[sage-devel] Re: Fwd: New Journal

2008-09-25 Thread root
John, >As the outgoing editor-in-chief of the LMS-JCM (London Mathematical >Society Journal of Computation and Mathematics) (for the next 5 days, >when Derek Holt takes over), and also an editor of the Journal of >Algebra's Section on Computational Algebra, I feel obliged to ask >exactly what the

[sage-devel] Re: Fwd: New Journal

2008-09-24 Thread root
>> Hi.  Dan Grayson sent Greg and me a message letting us know about this >> discussion and I thought it might be helpful for if I joined the >> discussion as one of the managing editors. > > > >> I'm delighted that the journal has generated so much discussion. > >Yes, I think that forces between

[sage-devel] Re: reopening Sage - Blender discussion

2008-09-01 Thread root
>> >I've been playing around with learning blender, with the idea of >> >animating some 4-D projection/rotations of polytopes into 3D. But all >> >I really want is a nice compressed animation/movie format, and it >> >seems like there should be a lighter-weight way to do that. If I come >> >up wi

[sage-devel] Re: reopening Sage - Blender discussion

2008-08-29 Thread root
>I've been playing around with learning blender, with the idea of >animating some 4-D projection/rotations of polytopes into 3D. But all >I really want is a nice compressed animation/movie format, and it >seems like there should be a lighter-weight way to do that. If I come >up with anything wor

[sage-devel] Re: Symbolic differential equation solving deserves better syntax

2008-08-22 Thread root
>FriCAS / Axiom is supposed to be very good at linear differential >equations and differential equations of the form y'=f(x, y) - the code >is by Manuel Bronstein. It seems to be rather weak for others, it >cannot solve the equation above for example. I must admit, however, >that I do not know m

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-22 Thread root
>If someone proposes an implementation I can try and shoot it down or >improve it. But I don't know sage well enough to know whether there >is an obvious way to do it all. My guess is that this is a natural >task for Lisp and the wrong task for Python. Having worked in both python and lis

[sage-devel] Re: Things I miss from Maple in Sage

2008-08-21 Thread root
>MATHEMATICA: >Timing[a = Expand[(x^Sin[x] +y^Cos[y] - z^(x+y))^100];] > {0.180212, Null} > >SAGE: >sage: time a = expand((x^sin(x) + y^cos(y) - z^(x+y))^100) >CPU times: user 0.15 s, sys: 0.00 s, total: 0.15 s > Does this include the time to format and print the output? Tim --~--~-

[sage-devel] Re: Sage 3.1.final is out

2008-08-18 Thread root
>I tried the "sage -upgrade" way but I did not realise it would compile >everything from scratch and how long it would take. Actually, I still >don't know how long it will take, since it has been compiling for more >than an hour now and is still going. I am upgrading from 3.0.5 on a >MacBook Pro 2

[sage-devel] Re: why sage is useful for me

2008-07-22 Thread root
> > Well, there is a vast people using Windows out there either by choice > > or because they don't know about alternatives. > > True, but I suspect the first year students under discussion should be > aware of other systems such as Linux. They would have the choice to > use Linux if they wanted.

[sage-devel] Re: [Axiom-developer] Re: [sage-devel] Re: Identification with ldap.

2008-07-21 Thread root
>> Do you want your code to live? > >That's a very interesting question. When I was much younger, I used to >think I did. But when you realize that an awful lot of code isn't meant >to "live" -- it's meant to solve an immediate problem, and then be >discarded -- then you don't care whether it live

[sage-devel] Re: units, was: Suggestion components to add onto SAGE

2008-07-20 Thread root
>I have looked around to see what Maple and Mathematica have in >the way of units, but from what I have seen, there is nothing very >exciting. Which is OK --- something boring which just works right >would be very useful. Frink is the standard for unit conversion.

[sage-devel] Re: Identification with ldap.

2008-07-20 Thread root
> [EMAIL PROTECTED] writes: > > Yes, yes, it is easy to criticize and whats really needed is energy > and effort... well I hope to try some more... but the structure of the > files makes it very difficult to follow. When one only has a limited > amount of time to contribute it is really depressin

[sage-devel] Re: how to handle assumptions

2008-07-10 Thread root
Robert, >> >> view the pdf file for "Schaums 14.120-14.124" (schaum5.input.pdf) >> See the result on page 3 of the pdf. >> >> The first integral result returned by Axiom is a list of answers. > >Hmm. I don't see any indication of the domain i

[sage-devel] Re: how to handle assumptions

2008-07-08 Thread root
>>> Also part of the problem is that the assume system in Maxima >>> is not very strong, and it has bugs. We could use some help on >>> that too. >> >> What are your ideas to handle assumptions correctly? >> >> E.g. from your slides you prefer the formula and all the symbols to be >> just symbols

[sage-devel] Re: test suites, was: presentation about Maxima at Sage developer days

2008-06-21 Thread root
>> Are there any other major test suite collections available? > >At present Maxima includes a copy of Michael Wester's test suite >which was the basis for his published review of computer algebra >systems from about 10 years ago. We haven't done anything with it >but I asked for and received perm

[sage-devel] MAC OSX 10.4 port

2008-06-20 Thread root
I cleared up space on my server. The binary MAC OSX 10.4 port is at: http://daly.axiom-developer.org/sage-3.0.3-osx10.4-ppc-PowerMacintosh-Darwin.dmg Please let me know when you have a copy so I can erase it and reclaim the space. Tim --~--~-~--~~~---~--~~ To p

[sage-devel] Re: presentation about Maxima at Sage developer days

2008-06-20 Thread root
> Sage has a huge test suite that gets run with every release, Is there an obvious way to collect all of these tests? I'd like to run them in Axiom Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from th

[sage-devel] Re: presentation about Maxima at Sage developer days

2008-06-20 Thread root
>> Since the stated goal of Sage is to be a viable alternative to >> the 4Ms it makes sense to develop a "measure" of how close the >> goal is approached. >[specifc test suites] >> This is where Sage gets to prove it really is a 4Ms alternative. > >The goal of Sage is to be an alternative to the 4

[sage-devel] Re: presentation about Maxima at Sage developer days

2008-06-20 Thread root
As to the point of "community goals" I have a proposal to make. Since the stated goal of Sage is to be a viable alternative to the 4Ms it makes sense to develop a "measure" of how close the goal is approached. Maple has a Kamke ordinary differential equation test set. Maple can do almost all

[sage-devel] Re: presentation about Maxima at Sage developer days

2008-06-20 Thread root
>I think that's really the core issue in this whole thread -- some people >are really disturbed by code get thrown away... Well deal with it. Lets try to avoid ad hominem. Bernard's point is not one of ego. Nor is mine. Almost all the code I've written in the last 37 years is gone and I'm than

[sage-devel] Re: presentation about Maxima at Sage developer days

2008-06-20 Thread root
>Actually I would really like to know why Sage developers prefer to >restart from scratch. I do really believe that they are >underestimating the required work. I have read somewhere that Gary is >an undergraduate. I have nothing against undergraduates, we were all >undegraduates at one time, but

[sage-devel] Re: sage-3.0.3

2008-06-18 Thread root
>> I finished the MAC OSX 10.4 build of sage-3.0.3 and am ready to build >> the binary but I cannot remember the command. I thought it was >> make dist but the makefile doesn't contain such a stanza. >> > >./sage -bdist 3.0.3-osx10.4-ppc > >and you find the result in dist/ I tried to upload the d

[sage-devel] Lisp code development

2008-06-18 Thread root
I know there are several people who feel that Lisp code is hard to develop. I can highly recommend a series of short videos that show the development of a reddit clone in common lisp. He shows quite a few interesting features, including writing unit tests t

[sage-devel] Re: sage-3.0.3

2008-06-18 Thread root
I finished the MAC OSX 10.4 build of sage-3.0.3 and am ready to build the binary but I cannot remember the command. I thought it was make dist but the makefile doesn't contain such a stanza. Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-deve

[sage-devel] Re: hg clone and symlinks...

2008-06-05 Thread root
>I don't exactly understand these distributed control systems very >well, so hopefully this isn't an obvious question. Right now as I'm >working on symbolics I commonly have files from multiple branches open >(symbolics-stable/backup, symbolics-current, calculus-old). I also >have to frequently h

[sage-devel] git advantage

2008-06-05 Thread root
One unmentioned feature of a git-based Sage archive is the ability to pull a guaranteed-correct tree from history. This is not possible using CVS or SVN. I am not sure about bzr or hg. Suppose you work on Sage-3.0.2 and it has an spkg, say SymPy at 3.3. Suppose both Sage-3.0.2 and SymPy are held

[sage-devel] Re: hg clone and symlinks...

2008-06-05 Thread root
>In terms of using patches as a transport, its just a transport. I think >it would be cleaner to import the branch as a branch and have final >merges into mainline branches controlled using current practice. >Patches in trac are, IMHO, clumsy although in practice it probably >doesn't matter much.

[sage-devel] Re: coercing of log(2)*1.0

2008-06-03 Thread root
>I'm not sure how allowing partial coercions would help the situation. >The problems are (1) given a and b in different rings, how to quickly >find a' and b' so that a' + b' makes sense and dispatch to that >operation and (2) whether or not sqrt(2) should start out as a SR >object, or some

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

2008-06-03 Thread root
>Maple does > > > 1/(1+I); > 1/2 - 1/2 I Axiom does 1/(1+%i) 1 -- 1 + %i which is of type Fraction Complex Integer, that is a fraction whose numerator and denominator are of type Complex(Integer). You can ask Axiom to place the result i

[sage-devel] Re: Trying to extend Integer

2008-06-02 Thread root
>sage: class foo: >... def __init__(self, a): >... self.b = a >sage: f = foo(10) >sage: f.b >10 >sage: f.__init__(20) >sage: f.b >20 > >Well Sage hasn't exploded already because of this, so >I guess we'll just have to live with it. Excellent. Now we can inflate integers to match t

[sage-devel] Survey of User Interfaces for Computer Algebra Systems.

2008-05-11 Thread root
You might find some of the ideas in this paper of interest: Norbert Kajler and Neil Soiffer "A Survey of User Interfaces for Computer Algebra Systems" Journal of Symbolic Computation 1998 Vol 25 pp127-159 Tim --~--~-~--~~~---~--~~ To post to this group, send emai

[sage-devel] Re: Sage on Scientific Linux?

2008-05-08 Thread root
Troy, I recommend you talk to William Stein. He's the project lead. I follow both Scientific Linux and Sage but am not a contributor to either. But I think that FNAL and other labs would be the ideal target audience for a Sage system. Tim >> Colleagues, >> >> There is a cross-fertilization that

[sage-devel] Sage on Scientific Linux?

2008-05-07 Thread root
Colleagues, There is a cross-fertilization that might be very useful for both the Scientific Linux world and the Sage world. For those who don't know, Scientific Linux is a linux distribution that is a "common platform" for scientific users. It was recently described as: Sage is an open source

[sage-devel] Function images, visual mathematics

2008-05-04 Thread root
This is interesting. Visual mathematics of functions. http://nylander.wordpress.com --~--~-~--~~~---~--~~ 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 g

[sage-devel] Re: ISSAC abstract

2008-05-03 Thread root
>>> I can try to build a Sage binary on Fedora 3 if you wish >>> but I'm not optimistic. I know that my Fedora 5 could not >>> build Sage because the compiler was too old. >> >>The compiler wasn't too old, it was *borken*, i.e. "internal compiler >>error". IIRC it was some gcc 4.1.0 and as well al

[sage-devel] Re: ISSAC abstract

2008-05-02 Thread root
>> I can try to build a Sage binary on Fedora 3 if you wish >> but I'm not optimistic. I know that my Fedora 5 could not >> build Sage because the compiler was too old. > >The compiler wasn't too old, it was *borken*, i.e. "internal compiler >error". IIRC it was some gcc 4.1.0 and as well all know

[sage-devel] Re: ISSAC abstract

2008-05-02 Thread root
Alfredo, I can try to build a Sage binary on Fedora 3 if you wish but I'm not optimistic. I know that my Fedora 5 could not build Sage because the compiler was too old. Fedora 3 likely has the same issue. Tim --~--~-~--~~~---~--~~ To post to this group, send emai

[sage-devel] Re: ISSAC abstract

2008-05-01 Thread root
>Though I've never been to ISSAC (someone who has been, correct me if >I'm wrong), I get the impression that many of the people there would >have little C programs and scripts that they use/develop for >research. If this is the case then I think it would be worthwhile >expanding on the int

[sage-devel] Re: ISSAC abstract

2008-05-01 Thread root
> You might consider designating a particular snapshot (say, 3.0) > that you plan to package and build onto CDs. If they use Alfredo > Portes's Doyen Live CD then people can just boot up their laptops > and have Sage running live immediately. In fact, If you used the Live CD to give your tal

[sage-devel] Re: ISSAC abstract

2008-05-01 Thread root
In the past I have had 2 "distributions" that I gave away at ISSAC. The first was my Rosetta collection (about 100 open source systems collected onto CDs). Some of these I eventually put on the ISSAC CD itself (I constructed the CD for 2 years). It was distributed by ACM. The second was an Axiom

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

2008-04-30 Thread root
>My point was that information on branch cuts should either A) be >publicly available or B) preferably available as an export option. >Mathematica and Maple both do A. Perhaps B is the better answer for >open systems. In any event I stand by my point that this is only an >issue because people ha

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

2008-04-30 Thread root
>I do believe that computational mathematics needs to become a more >rigorous subject. In fact, I'd like to see a piece of code written by >Tim upholding the standards he is advocating, where someone has "taken >the time", because I would like to compare it to my own code and get >some ideas. > >H

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

2008-04-30 Thread root
>> - It suffers from the "OpenMath" communication issue (e.g. if you >>take an Axiom expression, export it to maple, compute with it, >>and re-import it to Axiom you have violated a lot of type >>assumptions in Axiom, possibly violated branch cut assumptions >>(e.g. acosh), done

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

2008-04-30 Thread root
>But you still haven't told me: where is all this time going to come >from? I can't magically make more time appear. I have other things to >do. It's a damn shame. and, for the record, I vote for MaryAnn. :-) Tim --~--~

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
Michael, >On the other hand: I couldn't find the python bindings, neither in the >sf tarball nor the sf svn/cvs repo. Any pointers? I couldn't find any >reference to python in any file: I found a copy of it. See This will unpack into "gap_fro

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
I WANT Sage to live. I want it to succeed. I want it to be the lingua-franca of the business so that we can all post our results "in Sage" at conferences. I want to be able to "drag and drop" your publication onto my system and have your code "just work", your documentation "just connect". I want

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
>On the other hand: I couldn't find the python bindings, neither in the >sf tarball nor the sf svn/cvs repo. Any pointers? I couldn't find any >reference to python in any file: The python bindings were created using SWIG. I'll see if I have a copy (I no longer work at CCNY). Gilbert probably has

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
Jason, Please send me a diff-Naur patch of your changes. --Tim --~--~-~--~~~---~--~~ 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

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

2008-04-30 Thread root
David, >> But we've already had this discussion and it is clear that I'm >> completely out-in-the-weeds, talking-nonsense, and obviously have >> no idea how REAL-open-source-projects are done. So lets just leave >> it where it left off before, which is that I've simply dropped the >> attempt to g

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
>Wasn't Magnus Tim Daly's main example of a project in trouble >development and usage-wise? From this thread: >http://groups.google.com/group/sage-devel/browse_thread/thread/c65e235f83cb2cd1/93b5dc531e50bb1c?lnk=gst&q=magnus#93b5dc531e50bb1c > >Tim wrote: >"the only person >who can properly main

[sage-devel] Re: Slightly OT: SCC 2008 & Braid Groups

2008-04-30 Thread root
>> >> I don't know if that is of any interest but someone around here might care >> about the fact that Sage was probably the most mentioned (and cited) >> mathematics software at the "First Conference for Symbolic Computation and >> Cryptography" (SCC 2008) in Beijing. >> >> Specifically, th

[sage-devel] Re: Initial support for posets

2008-04-24 Thread root
>Sage just uses the mainstream language Python; we are >not in the language design business. It's an interesting >exercise to think through how each of the ideas you generously >explained above is expressed using Python. This is a general purpose python idea, actually. If there was a python func

[sage-devel] Re: Initial support for posets

2008-04-24 Thread root
Axiom's "solution" to the lattice problem is to use an interpreter for user interaction. Instead of just talking to a top level lisp command prompt, you interact with the interpreter. The interpreter looks at the arguments and classifies them by type. It looks for "modemaps" that define the funct

[sage-devel] Re: sage OSX 10.4.4 dmg

2008-04-23 Thread root
My Mac box is generally idle except when I'm doing the every-other-month Axiom release. If you need images I can build them for OSX 10.4 Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] Re: sage OSX 10.4.4 dmg

2008-04-23 Thread root
Have you copied the image? Can I remove it? Tim --~--~-~--~~~---~--~~ 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/gr

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

2008-04-23 Thread root
Yes, both books are part of the documentation that ships with Axiom. The Jenks book (ISBN 0-387-97855-0) is in src/doc/book.pamphlet (the latex sources). It is also available as a pdf file at The Daly book (ISBN 1-411-66597-X) is in src/

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

2008-04-23 Thread root
Gary, Also of interest, the algebra hierarchy diagram and data hierarchy diagrams within Axiom (the endpapers from the Axiom book) are online at: Tim --~--~-~--~~~---~--~~ To post to this group, send

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

2008-04-23 Thread root
Gary, If you're interested in exploring Axiom's type system the best source of material available is the Jenk's book. It would be useful if Sage's type hierarchy was close to the one Axiom uses, making it possible to share algorithms. If you'll mail me a postal address (offline), I'll send you

[sage-devel] Re: Sage 3.0 released

2008-04-23 Thread root
I have a MAC OX X 10.4.4 build in process. Its on a PowerPC (G4) I'll make it available when it completes. Tim --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] Fo

[sage-devel] Re: Sage 3.0 notebook fails to display

2008-04-22 Thread root
sage -b solved it. thanks --Tim --~--~-~--~~~---~--~~ 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 UR

[sage-devel] Re: Project

2008-04-22 Thread root
>I feel that I have done more than a reasonable amount of work here. Do >you agree or disagree? Have you done a reasonable amount of work? That's for you to judge since you're the person with the need. But lets see what seems to be going on with Clisp. Sam's reply to you seems to be that you ne

[sage-devel] Re: Project

2008-04-22 Thread root
>. > If the lisp community were alive and well >their tools would be alive and well. That is clearly not the case of >gcl and clisp certainly has some serious issues to deal with with >newer gcc releases as well as compilers not gcc. > I'm also on the clisp mailing li

[sage-devel] Re: Sage 3.0 is out

2008-04-22 Thread root
Sage 3.0 build failed. See: --~--~-~--~~~---~--~~ 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 h

[sage-devel] Re: Project

2008-04-21 Thread root
>> Having spent a fair portion of my life porting software, I understand >> the frustrations you feel. And having spent the bulk of my life using >> Lisp I "get" the get-rid-of-lisp pushback. But a lot of astonishingly >> good computer algebra exists in lisp (we won't discuss the reasons). >> Repr

[sage-devel] Re: Project

2008-04-21 Thread root
>> I think you'd feel the same frustrations with Python if you compiled >> Python from scratch for every platform. You ship "sources" but assume >> that the python language exists and is compatible, which is not likely >> to be the case when 3.0 arrives. If you can assume the python >> language,

[sage-devel] Re: Project

2008-04-21 Thread root
>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. All versions are built with GCL. I do not have access to a

[sage-devel] Re: Project

2008-04-20 Thread root
(See <http://cvs.savannah.gnu.org/viewvc/gcl/o/read.d?root=gcl&view=markup>) Fetch the output from the mmapped memory output "file" region. Zero parsing overhead using filelength to delimit the output. The "problem" with this approach is that (a) it isn't

[sage-devel] Re: Project

2008-04-20 Thread root
>> I have no idea why you think ECLS is a silver bullet. > >I forgot one important argument here: With ecls you can embed the lisp >interpreter into an external library, hence we would be able to use >Maxima as a library instead of using the inefficient pexpect >interface. I am not sure how much w

[sage-devel] Re: notebook features discussion

2008-04-19 Thread root
>> For about 2/3 the things I personally want to output word wrap is >> better, and for the other half, word wrap is worse. > > >The above sentence is mathematically inconsistent because I had "half" at the >beginning of the sentence, changed it to 2/3, but didn't change the >other half to 1/3.

[sage-devel] Re: One Laptop Per Child Is very interested in Sage

2008-04-17 Thread root
>> Is there anybody at UW that is interested in meeting with some OLPC >> people? (I'm cc'ing this to sage-devel, because people there are generally >> interested in OLPC.) > >I'm not in Seattle, so I can't meet with the OLPC people, >but a very enthusiastic +1 on this effort. Sounds awesome.

[sage-devel] Output Form versus Internal Structure

2008-04-01 Thread root
Robert, I briefly looked over your coercion model. _repr_ This is the easiest way to define how your object prints It should take a string representing your object I takes one argument, do_latex I might comment that Axiom uses an output domain that exports functions for construct

[sage-devel] Re: multivariate factoring - use maxima ?

2008-03-31 Thread root
>Michael Abshoff made that comment. He's motivated by wanting >to port Sage to a wide range of architectures and keep everything >maintainable, since he works incredibly hard on that. He suffers >a huge amount trying to deal with build issues on various platforms >such as solaris, Linux PPC, et

  1   2   >