[sage-devel] Axiom and Sage

Well,per your request, I logged in to the Sage VM and did sage -f fricas-0.3.1 simply hangs. However, sage -f axiom4sage-0.3.1 succeeds and shows a total time of real 18m42 or, if I include network time real 19.6 which is about the wall-clock time. So there appears to be a suggestion tha

[sage-devel] Approximating Ei using polynomials

The A&S handbook lists polynomial coefficients for approximation of E1, the exponential integral. Does anyone know how these coefficients were derived? Is it a chebyshev polynomial? I want to dynamically compute these coefficients to the required precision. Tim --~--~-~--~~--

[sage-devel] Axiom and the Numerical Mathematics Consortium

I have been concentrating on Axiom's numerical capabilities. I am making a set of regression tests against the published values in Abramowitz and Stegun (1965). You might find it interesting to run these same tests in Sage. I can send them to anyone who would like to volunteer. They are basicall

[sage-devel] Two Computational Mathematics Job Openings

g connections. Visit <http://grouptheory.org> Tim Daly --~--~-~--~~~---~--~~ 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] Sage 3.0 notebook fails to display

On a clean build (see specs below) (log is at ) ./sage sage: notebook() on Fedora 8 86_64 on processor : 0 vendor_id : AuthenticAMD cpu family : 15 model : 104 model name : AMD Athlon(tm) 64 X2 Dual-Core Processor TK-5

[sage-devel] Sage build failure

The install.log file is at This fails on fedora 5 [EMAIL PROTECTED] sage-3.0]# uname -a Linux localhost.localdomain 2.6.18-1.2239.fc5 #1 Fri Nov 10 13:04:06 EST 2006 i686 i686 i386 GNU/Linux You have new mail in /var/spool/mail/root [EMAIL PROTECT

[sage-devel] sage OSX 10.4.4 dmg

Here is a disk image of the vanilla Sage release for OSX 10.4.4 http://daly.axiom-developer.org/sage-3.0-osx10.4-ppc-PowerMacintosh-Darwin.dmg Tim Daly --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from

Re: [sage-devel] Science Code Manifesto

have nothing, no rights and no publication. As a major advocate of Literate Programming I was hoping to publish a follow-on paper that included the actual source code. Why bother? Tim Daly On Sun, 2011-10-16 at 12:20 -0700, William Stein wrote: > > > On Sunday, October 16, 2011, Dima

Re: [sage-devel] Science Code Manifesto

e light of day. Which implies that I cannot use my last 6 years of work. Technically I cannot complain as I knew the rules while I worked there but it really does seem like a waste of good research. Nobody will be able to build on the results, which is a fundamental principle of scientific progress.

Re: [sage-devel] Multiple databases and sage

ble to use the algebra as a scaffold to organize the software. It has proven to be very effective. Can you point me at the sage-combinat project? Tim Daly -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-d

Re: [sage-devel] Re: Code style guidelines

diff has options to deal with whitespace. -b --ignore-space-change -w --ignore-all-space Tim Daly On Tue, 2011-10-25 at 07:35 +0200, Florent Hivert wrote: > On Mon, Oct 24, 2011 at 11:20:47AM -0700, Keshav Kini wrote: > > Hmm. I have to say I'm surprised that people are advoca

Re: [sage-devel] Re: Mathematica/Magma/Sage dictionaries ?

t; > > But really.. Wouldn't it be much much easier if someone around here > > already knew of an index of equivalents between Mathematica/Sage or > > Magma/Sage ? :-) > > Great idea. Tim Daly has long been asking people around here to > contribute to the Rosetta Stone [

Re: [sage-devel] Two articles of interest to Sage in latest Notices

On Wed, 2012-01-18 at 23:45 +0100, Burcin Erocal wrote: > On Wed, 18 Jan 2012 12:26:33 -0800 (PST) > kcrisman wrote: > > > Publishing Computational Mathematics, by Tim Daly (of Axiom, a > > frequent contributor on sage-devel) > > http://www.ams.org/notices/201202/rtx1

Re: [sage-devel] Re: Literal matrix syntax

x(Float) := [[1.1]] or for larger values c:Matrix(Integer) := [[1,2,3],[4,5,6]] d:Matrix(Float) := [[1.1,2.1,3.1],[4.1,5.1,6.1]] Tim Daly -- 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...@googlegroup

Re: [sage-devel] Re: Literal matrix syntax

On Thu, 2012-01-26 at 02:24 -0800, Robert Bradshaw wrote: > On Thu, Jan 26, 2012 at 2:16 AM, daly wrote: > > On Thu, 2012-01-26 at 02:06 -0800, David Roe wrote: > >> > As for global defaults, it's nice for both examples and debugging for > >> > there to be a

Re: [sage-devel] Re: Literal matrix syntax

ython does not know about rings. How is this done? Could the processing allow you to specify the type of the target with a particular syntax? All you need to do is keep a hash table of the specified target type. If the symbol is not found then do the usual process else use the specified target typ

Re: [sage-devel] GSOC 2012

ferent environment, which at least appears a bit different, even if in > fact > it is no less chaotic. I suspect that, like all things Google, they just get swamped by applications. Google funding applications are to NSF applications like Chatroulette is to dating. :-) It wouldn't surp

Re: [sage-devel] Re: FAQ suggestion: I'm a programmer, how can I contribute to Sage?

the loss of the authors? How do we architect systems to survive the changing platforms? Will Sage live? Tim Daly -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org

Re: [sage-devel] Re: FAQ suggestion: I'm a programmer, how can I contribute to Sage?

On Sun, 2011-01-30 at 13:52 -0800, William Stein wrote: > On Sun, Jan 30, 2011 at 9:23 AM, daly wrote: > > > >> > >> 3) I think the issue of crackpots and bad code dragging things down is > >> not much of a problem. The reason is that it takes quite a bit o

Re: [sage-devel] Re: FAQ suggestion: I'm a programmer, how can I contribute to Sage?

e and embedding issues. I would expect the NSF to fund this as it sits squarely in the center of their mandate. In any case, this Sage effort you suggested above has my endorsement, for whatever that's worth. Tim Daly -- To post to this group, send an email to sage-devel@googlegr

Re: [sage-devel] Re: FAQ suggestion: I'm a programmer, how can I contribute to Sage?

gt; > -- William > There is a patent on that business plan. The Supreme Court just ruled that it is valid. I'm sure you'll be hearing from MicroGooglzon shortly. Oh, and step 2 is considered a trade secret, which you just revealed, so you've REALLY stepped in it now :-)

Re: [sage-devel] Re: FAQ suggestion: I'm a programmer, how can I contribute to Sage?

s to decide what the long term goals are. But I don't think that a "plan" is useful except maybe in the short term among a group of developers. Open source does not really attract "groups" in my experience. It is usually a set of single-person efforts. Tim Daly -- To post

Re: [sage-devel] Re: sage thoughts

; 1 of type Fraction(Integer) gcd((2/1)::Integer,4)) => 2 of type PositiveInteger gcd(2/1,4) => 1 of type Fraction(Integer) gcd(2,4)=> 2 of type PositiveInteger gcd(2,4::Fraction(Integer)) => 1 of type Fraction(Integer) Tim Daly

Re: [sage-devel] Re: sage thoughts

ategory point of view" is granted - > lcm(1/2,1/4) = 42 is not wrong in QQ. > > But that freedom means: We can *in addition* achieve consistency with > respect to sub-structures, namely by seeing QQ as a quotient field. > > Cheers, > Simon > Can you suggest an algorit

Re: [sage-devel] Re: gcd lcm and numberfields

On Fri, 2011-02-11 at 09:20 +, David Kirkby wrote: > On 10 February 2011 14:51, rjf wrote: > > in maxima, gcd(1/4,1/6) is 1/12, lcm is 1/2 > > > > Since maxima immediately simplifies 2/1 to 2, there is no > > distinction between gcd(2/1, ) and gcd(2, ...) > > FWIW, I just noticed tha

Re: [sage-devel] Re: sage thoughts

Does anyone have a better idea? Would it be a correct definition if > one insisted on reduced fractions? > > Cheers, > Simon > That's why I was asking for an algorithm for gcd and lcm in the subdomain. I'm not sure what answer is expected. The unit (1) is correct but not by

Re: [sage-devel] Re: Rapid growth in Python popularity

An interesting article about computational science programming: http://www.nature.com/news/2010/101013/full/467775a.html?ref=nf Tim Daly -- 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

Re: [sage-devel] Re: Rapid growth in Python popularity

rywhere, including in the universities. Smalltalk took the world by storm. PL/I was universal. Ada was the ultimate language. Most people probably don't even list these languages on their resume anymore. Wait 10 years. Nobody will admit to knowing Python. Tim Daly -- To post

Re: [sage-devel] Re: Rapid growth in Python popularity

MA, Maple, etc. From that data point I'd say that Python is not a computational mathematics language of note. >From the data it seems that Python is "the new Perl", a new, improved system scripting language; a glue language for the new millenium. That might explain why it a

Re: [sage-devel] Re: Support contracts for commercial customers.

> I'm also curious about honest *opinions* about how people in the Sage > community would feel about a company making potentially gobs of money > selling support contracts? What balance between profit and giving > back to the community would be appropriate? What services might be > offensive, a

Re: [sage-devel] Re: Support contracts for commercial customers.

On Thu, 2011-02-24 at 11:18 -0800, Tom Boothby wrote: > > I'm also curious about honest *opinions* about how people in the Sage > > community would feel about a company making potentially gobs of money > > selling support contracts? What balance between profit and giving > > back to the community

Re: [sage-devel] Re: Support contracts for commercial customers.

ll maintain them? Who but the original authors could understand their internals? What happens to all of those thousands of algorithms? So I hope that you advertise well. I hope you start a company. I hope you all get rich and famous. But I also think that there needs to be a bit more thought about e

Re: [sage-devel] Re: profiling Sage startup

Sage could follow the same technique used by Gimp. Gimp loads a huge number of files at startup and can take over a minute to start on small systems. They have a startup splash screen that shows the files which are being loaded. That way the user sees progress during startup. -- To post to this g

Re: [sage-devel] Re: LaTeX code to Sage expression?

would closely approximate the actual linear input to the CAS. Tim Daly On Sat, 2011-05-14 at 08:25 -0700, rjf wrote: > Look at > http://moralfiber.org/eylon/berkeley/cs282/ > to see a paper, > Parsing Mathematics Typeset in TeX > that successfully parsed many many formulas > f

Re: [sage-devel] Re: Sage & Pari

ke small steps in this direction, possibly by hosting a "literate program" track at conferences or workshops to encourage the more literate among us to show examples and build up the technology. Raising the standards for published mathematical software will help us all in the long run. We c

Re: [sage-devel] Re: Sage & Pari

rithm papers could become standards. Oak Ridge National Labs has a numeric library interest and might be convinced to help fund a literate form of the library. Sage has a reach and connection with a large number of academic researchers. It would certainly help a tenure review if the software algorith

Re: [sage-devel] Re: Sage & Pari

t on your code but I'd obviously make a fool of myself in front of a crowd of number theorists :-) Never the less, a small "pamphlet" on the implementation of Bell Numbers would make a good starting example to critique. I would be willing to provide the tools and techniques if you'd be

Re: [sage-devel] Re: Sage & Pari

ish then the tenure committee won't see any of that work. I managed to widen ("hijack") this thread to the larger topic of computational math and literate programming. Apologies for that. Tim Daly -- To post to this group, send an email to sage-devel@googlegroups.co

Re: [sage-devel] Re: MATLAB: viable alternative...?

MIT's online linear algebra course with Gilbert Strang mentions rref as one of the very first functions in Matlab. On Tue, 2011-08-16 at 00:44 -0700, Rob Beezer wrote: > On Aug 15, 11:38 pm, William Stein wrote: > > It sound like it wouldn't be difficult for you to name one single > > Matlab matr

Re: [sage-devel] Re: MATLAB: viable alternative...?

y be wrong of > course. ;-) There is http://axiom-developer.org/axiom-website/rosetta.pdf which does not include Sage, although I'd be happy to replace it with a newer version that does. I'm not enough of a Sage person to do it properly. Tim Daly -- To post to this

[sage-devel] Upstream projects

The Cost of Going it Alone by Dave Neary http://blogs.gnome.org/bolsh/2011/09/01/the-cost-of-going-it-alone/ -- 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 th

Re: [sage-devel] Re: Upstream projects

Fortran, C, Lisp, etc.). I don't believe that Python allows you to redefine standard Python functions and it doesn't have a macro facility so neither path used by Axiom is available for Sage. As pointed out in the article, the longer this continues, the harder, more expensive, and more dis

[sage-devel] Re: Categories restart: call for reviewers

Nicolas Do you have the inheritance graph of the categories? Tim Daly Nicolas M. Thiery wrote: > Hi John! > > On Sun, Aug 23, 2009 at 12:37:11PM +0100, John Cremona wrote: > >> 2009/8/23 Nicolas M. Thiery : >> >>> So you can focus on looking a

[sage-devel] Axiom trademark and ethics

oundation funds. > > There is a search form here: > http://tess2.uspto.gov/bin/gate.exe?f=tess&state=4001:pj0t1h.1.1 > > I've only ever heard of trademarking math software in the context of > Tim Daly remarking that "Axiom" is his registered trademark, so I > sear

Re: [sage-devel] Re: A Sage NSF proposal to the Computational Mathematics Program

Jaap Spies wrote: > mark mcclure wrote: > >> On Nov 23, 3:30 pm, William Stein wrote: >> >>> That is true. In fact, I hope in the proposal to not insult or snub >>> non-free commercial software either. >>> >> But William, just two days ago on sage-support you wrote: >> "Let's put M

Re: [sage-devel] Re: A Sage NSF proposal to the Computational Mathematics Program

Simon King wrote: > Hi All! > > On 24 Nov., 01:15, rjf wrote: > [...] > >> It may be worthwhile pondering Tim's comment... >> >> "NSF will not fund software development that competes with >>existing commercial software." >> > > Indeed, that's irritating. What exactly does NSF mean? >

Re: [sage-devel] Re: A Sage NSF proposal to the Computational Mathematics Program

Is there a plan for what happens if funding is not approved? Do the servers continue? Are the students reassigned? Do the Sage days continue? Does the code move to sourceforge or github? Does this become a free-time only, non-academic activity? Once Sage becomes a non-academic "free and open sourc

Re: [sage-devel] new version of compmath proposal

William Stein wrote: > Hi, > > I've posted a new version of the compmath proposal here: > > http://wstein.org/grants/compmath09/project_summary.pdf > http://wstein.org/grants/compmath09/project_description.pdf > http://wstein.org/grants/compmath09/references_cited.pdf > > This is basica

Re: [sage-devel] Re: doctest failures due to rounding errors on Solaris.

Dr. David Kirkby wrote: > rjf wrote: > >> On Dec 31, 11:15 am, "Dr. David Kirkby" >> wrote: >> >> RJF >>> The point you are missing is that we want to compare the output what Sage >>> prints >>> to a human. >>> >>> >> The point you are missing is that the followi

Re: [sage-devel] Re: doctest failures due to rounding errors on Solaris.

William Stein wrote: > On Thu, Dec 31, 2009 at 9:13 PM, Tim Daly wrote: > >> Dr. David Kirkby wrote: >> >>> rjf wrote: >>> >>> >>>> On Dec 31, 11:15 am, "Dr. David Kirkby" >>>> wrote: >>>>

Re: [sage-devel] A Challenge - what is wrong with this *simple* patch?

Dr. David Kirkby wrote: I submitted a patch which I believe is very simple and should not break anything, but it could not be merged into sage-4.3.1.rc0 because it breaks the Singular installation on Sage. (It was marked as fixed, then changed to 'needs work' as it fails.) Can anyone spot wha

Re: [sage-devel] GPL issues again - trivial ones this time !!!

Try sending a question to FSF. I'm sure they'd give you an authoritative answer. Stallman has answered every question I ever sent him. Tim Daly Tom Boothby wrote: Context is important. The GPL doesn't say that every GPL'd interactive program must print a banner. It says t

Re: [sage-devel] Randomised testing against Mathematica

s raise the level of expected quality of answers without directly competing against commercial efforts. I'd like to see a CAS testing research lab that published standardized answers to a lot of things we all end up debating, such as branch cuts, sqrt-of-squares, foo^0, etc. Tim Daly Dr. David Kir

Re: [sage-devel] Re: code review tools

s a great motivation. Tim Daly Jason Grout wrote: On 04/14/2010 03:04 PM, William Stein wrote: On Wed, Apr 14, 2010 at 12:43 PM, John Cremona wrote: I have been strongly encouraging new students starting out with Sage to make small (initially) patches on their very own ticket, so that the

Re: [sage-devel] Sage and Amazon EC2?

blems. If you're used to working on linux nothing should come as a surprise. Tim Daly Dan Drake wrote: The current thread about using the notebook server with classes of students made me think about the possibility of using Amazon EC2 instances to do the computing for a notebook server.

Re: [sage-devel] Re: Fwd: numerically stable fast univariate polynomial multiplication over RR[x]

Bill Hart wrote: On Apr 27, 8:55 pm, rjf wrote: Oh, just another note. There are people who have made their whole careers on devising asymptotically fast algorithms which have never been implemented, or (if they have been implemented) are not fast because their overly-simplified analysis

Re: [sage-devel] Re: numerically stable fast univariate polynomial multiplication over RR[x]

Bill Hart wrote: That's actually a very interesting paper. I've recently been playing with Forth, which is a kind of "Lisp type language" (yeah I know you won't agree with that), based on a data stack. I also worked through a book on Lisp up to the point where macros were defined, as I wanted t

Re: [sage-devel] Re: numerically stable fast univariate polynomial multiplication over RR[x]

ime. Bill. On May 3, 10:04 pm, Tim Daly wrote: Bill Hart wrote: That's actually a very interesting paper. I've recently been playing with Forth, which is a kind of "Lisp type language" (yeah I know you won't agree with that), based on a data stack. I also worke

Re: [sage-devel] Re: icc

how about using: find . -name "*.pyx" -exec touch {} \; William A. Stein wrote: On May 23, 2010, at 1:12 PM, leif wrote: On 23 Mai, 21:40, "Dr. David Kirkby" wrote: 'lcalc' had a particularly annoying attempt to cover up warnings from the assembler, as it actually caused the build

Re: [sage-devel] A function to compute Bezout coefficients ?

Is anyone else getting duplicate copies of Sage messages? -- Tim Mike Hansen wrote: Hello, I've been looking for a function that allows one to compute Bezout coefficients of two numbers (say natural numbers). There is the GCD function, but I haven't found anything about Bezout coefficients.

Re: [sage-devel] Re: What's the point of two "stable" releases in two days?

big changes to occur without breaking everyone and little changes to occur without annoying everyone. Every project seems to have this debate. Good luck with it. Tim Daly kcrisman wrote: On May 26, 3:56 pm, William Stein wrote: On Wed, May 26, 2010 at 12:50 PM, Dr. David Kirkby wrote:

Re: [sage-devel] Re: What's the point of two "stable" releases in two days?

William Stein wrote: On Wed, May 26, 2010 at 3:08 PM, Tim Daly wrote: The Axiom project had a long debate about releases and version numbers which I see is about to happen here. Axiom decided that a reasonable balance was to make 2 decisions, one about releases and one about versions

Re: [sage-devel] new paper on sage by myself and Burcin Erocal

but rather with fricas. But I admit, I am not 100% certain, what the default installation does. Please correct me, if I'm mistaken. Martin Thanks for raising this point. I remember Tim Daly complaining at some point that I should rename the "axiom" command in sage to &q

Re: [sage-devel] new paper on sage by myself and Burcin Erocal

lliam Stein wrote: On Wed, Jun 2, 2010 at 6:10 AM, Tim Daly wrote: You have Axiom from 2005? You do realize it is updated every 2 months :-) Tim Huh? I can't figure out what you're referring to above. William William Stein wrote: On Tue, Jun 1, 2010 at 11:31 P

Re: [sage-devel] Re: Is 'flex' needed to build Sage?

Advocacy is volunteering. Send them a thank-you note for all the free code and include a patch file. Tim "Open source... now it's YOUR problem to solve" -- daly Dr. David Kirkby wrote: On 06/ 6/10 11:48 PM, François Bissey wrote: yes singular is a downright mess, upstream and

Re: [sage-devel] Re: Patches overwriting patches in singular

I'm surprised you don't use patch. Mercurial can generate patches. François Bissey wrote: On Jun 29, 4:13 pm, François Bissey wrote: sage doesn't assume that the patch command is installed but rely on cp being there. That's why patch aren't used. I agree not ideal but that's a lowest comm

Re: [sage-devel] Re: Patches overwriting patches in singular

m. Mike Hansen wrote: On Tue, Jun 29, 2010 at 4:54 PM, Tim Daly wrote: I'm surprised you don't use patch. Mercurial can generate patches. The issue is not generating the patches -- it's applying them. All of the spkgs (should) have the diff as well as the file with t

Re: [sage-devel] Re: Patches overwriting patches in singular

We use a naming convention for patches. Thus the 3rd new patch created today by me would have the name: 20100629.03.tpd.patch which orders the patches by date, sub-sequence, and author. You might want to use your spkg name instead as in: 20100629.03.singular.patch This would ensure that patche

Re: [sage-devel] Re: Vote on making GNU patch a standard package

It is officially none of my business what you decide. However, given that developers are the only people likely to know how to create and post a diff-Naur patch file and developers are likely able to install tools and 'patch' is a well-known, widely used, and standard tool ... does it make sense

Re: [sage-devel] Re: Vote on making GNU patch a standard package

Yes, I agree. I missed the point. David Kirkby wrote: On 1 July 2010 15:26, Tim Daly wrote: It is officially none of my business what you decide. However, given that developers are the only people likely to know how to create and post a diff-Naur patch file and developers are likely able

Re: [sage-devel] About mpmath and sympy

As an aside, if two upstream packages include another upstream package (e.g. both include GMP) what does Sage do? Are there two copies of GMP? They could have different versions of the same package since project 1 could have stopped at one version and project 2 could have stopped at another. Sage

Re: [sage-devel] About mpmath and sympy

er when I tried LD_PRELOAD=libpolybori.so and discovered that it builds stubs to several libc calls if UNIX is not defined, and it is not in Linux). About Tim Daly comment that I think may be related to axiom :-) The axiom package was broken for quite some time in Mandriva. My first work on it I got

Re: [sage-devel] Re: Python, Sage, categories

You might find this interesting... http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.110.7221&rep=rep1&type=pdf Taivalsaari, Antero "On the Notion of Inheritance" ACM Computing Surveys, Vol 28 No 3 Sept 1996 Robert Bradshaw wrote: On Sat, Jul 24, 2010 at 10:46 AM, Harald Schilly wrote:

Re: [sage-devel] Re: complementary problem

mda_ wrote: Hopefully this all agrees with you, and if not, I guess I can start learning Lisp... My apologies for the cross-posting (I am not yet approved for sage- flame) http://www.buayacorp.com/wp-content/uploads/2007/10/john-mccarthy-poster1.jpg The fact that you're "doing it

Re: [sage-devel] Re: How does real_lazy work?

"type tower" Sage can use a similar scheme to separate the category information from the domain information and from the domain representation. From a mathematical point of view this has been a very successful way to separate concerns. Tim Daly Johan S. R. Nielsen wrote: On Aug 1

Re: [sage-devel] Random banter about Sage standards

ut nobody there has "the vision and the will" to get it done. Maybe we should nominate William as an NSF director :-) Tim Daly Dr. David Kirkby wrote: On 08/24/10 02:06 PM, kcrisman wrote: Anyway, I think (as you have correctly noted before) we have a bit of a culture clash between sof

Re: [sage-devel] Textbook converted to Sage worksheets

Rob Beezer wrote: I've converted Tom Judson's open-source Abstract Algebra textbook (http://abstract.pugetsound.edu) from Latex to a series of Sage worksheets (one per chapter) with almost no compromises (ie the same source also builds a faithful PDF). Cross-worksheet links are not supporte

Re: [sage-devel] Re: Random banter about Sage standards

andardize the algorithms. Obama wants to bring science back to life and encourage research. As the largest group of academics I would wish that you would petition the funding sources. Even if all of the funds went to Sage I'd still feel that this was worthwhile. In short, I don't see

Re: [sage-devel] Re: Random banter about Sage standards

ior so you can identify failing cases. See http://daly.axiom-developer.org/TimothyDaly_files/publications/sei/Man75586.pdf (disclaimer: I am one of the authors of the FX technology) "Testing programs" is as ineffective as "testing theorems". No matter how many examples you cre

[sage-devel] Re: test suites for Sage

ATS test suite each file contains the problem, the expected answer, and Axiom's answer. The format of the files makes it possible to run them automatically which I do with every system build. Does Sage have such a file format? Tim Daly Minh Nguyen wrote: This is a split off from t

Re: [sage-devel] Re: test suites for Sage

set of comments. The comments contain the expected output. A post-process reads the output from Axiom and compares it to the comments. The --S/--E numbering scheme allow the compare function to check that all tests run and list the number of the failing function. This allows us to automate th

Re: [sage-devel] Re: Random banter about Sage standards

apply the same lesson to Sage. Assume that 30 years from now, none of the original developers are connected with the code and there is no one to ask. It will happen. Tim Daly -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sa

Re: [sage-devel] Re: Random banter about Sage standards

nd replacing the 4Ms. The bulk of the discussion rests on that assumption. If that assumption is not true and Sage disappears, nobody cares. Tim Daly -- 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...@

Re: [sage-devel] Re: Random banter about Sage standards

t my suggestions are wrong but you'll only be able to know after the fact and by then it will be too late. Anyway, I've said about all I want to say so I'm abandoning this topic. Good luck and thanks for all the fish. Tim Daly -- To post to this group, send an e

Re: [sage-devel] Re: Random banter about Sage standards

William Stein wrote: On Wed, Sep 1, 2010 at 6:08 PM, Jason Grout wrote: On 9/1/10 10:32 AM, Bill Hart wrote: Tim, all screwing around aside for a moment. I broadly agree with your sentiments. However, there are also some issues with what you are suggesting. And I mean to make these

Re: [sage-devel] A Mathematica parser for Sage.

n than it already is. While they are conceptually equivalent tasks, the lisp version seems to me to be mechanically easier to implement. It is considerably more flexible and more easily extended. Lisp could easily add new syntax, something a MMA-to-python based compiler would find a struggle.

Re: [sage-devel] A Mathematica parser for Sage.

e primitive, hand-processed form. Writing an MMA compiler on top of the python/cython stack is a LOT more work and re-invents technology that is 30 years old. Just parse Foo[x] into (Foo x) and execute it. Problem solved. Tim Daly -- To post to this group, send an email to sage-devel@googlegrou

Re: [sage-devel] Re: A Mathematica parser for Sage.

Some of the questions you have about "why lisp" are answered in: http://channel9.msdn.com/shows/Going+Deep/Expert-to-Expert-Rich-Hickey-and-Brian-Beckman-Inside-Clojure/ which is about Clojure, a more recent lisp although the ideas are essentially the same in Common Lisp. Tim Daly Da

Re: [sage-devel] Cliquer - upstream modifications and dubious code

This might be of interest on security grounds: http://www.amazon.com/Secure-Coding-Robert-C-Seacord/dp/0321335724 On 9/15/2010 6:46 AM, Dr. David Kirkby wrote: On 09/15/10 06:17 AM, Minh Nguyen wrote: I'm disheartened that this happened. One should not modify upstream source, but place patche

Re: [sage-devel] Suggestion to provide external links in documentation.

You might find this document useful: http://axiom-developer.org/axiom-website/rosetta.pdf On 9/21/2010 5:11 AM, Dr. David Kirkby wrote: I was just looking at a post of Minh's, in which he suggested others had suggested adding to docstrings the names of related commands. That seems very sensbi

Re: [sage-devel] Re: Function assume() has no effect on Maxima via desolve()

d be rewritten into interval constraints. A simple "assume" facility does not begin to address the problem for many reasons, such as the fact that provisos can arise during intermediate computations. Tim Daly On 9/23/2010 8:36 AM, Burcin Erocal wrote: On Wed, 22 Sep 2010 11:40:4

Re: [sage-devel] Re: Function assume() has no effect on Maxima via desolve()

sult. An assume facility could create some initial conditions but would naturally be expressed using something like Axiom's "suchthat". Tim Daly On 9/23/2010 11:19 AM, rjf wrote: On Sep 23, 5:36 am, Burcin Erocal wrote: I think it would be a huge overstatement to say that th

Re: [sage-devel] Re: Supported platforms - once again

t the compile-from-source Gentoo model. Certainly the packaging of OSX binaries for Fortran will raise a few eyebrows. Tim Daly On 10/27/2010 3:38 PM, François Bissey wrote: On 10/27/10 04:26 PM, mmarco wrote: A few words about the gentoo platform. Since gentoo does not follow the usual system of ver

[sage-devel] Python 2.7 vs 3.2

There was an interesting comment here about the question of Python 2.8 and the smooth upgrade path. Apparently the only Pythonic path is a 3.2 version. http://sayspy.blogspot.com/2010/10/viewing-python-32-as-successor-to.html -- To post to this group, send an email to sage-devel@googlegroups.co

Re: [sage-devel] Re: ECL / Maxima / Fedora 14 issues.

I experimented with using Amazon's cloud for (Axiom) builds. It is trivially easy to set up custom images that can be used for builds. It is also very cheap for an hour of CPU. So consider setting up a cloud buildbot. Tim Daly On 10/30/2010 1:30 PM, David Kirkby wrote: On 30 October 20

Re: [sage-devel] Re: "Why Sage?" Website Section

ossibly have to do with Python? Python is the glue. Who chooses a workbench based on the glue? Tim Daly On 11/13/2010 10:13 AM, rjf wrote: On Nov 13, 6:32 am, "Johan S. R. Nielsen" wrote: two info boxes on this suggested "Why Sage"-page. I don't think that Python is

Re: [sage-devel] Re: "Why Sage?" Website Section

to have a name. Tim Daly On 11/14/2010 2:45 PM, Dr. David Kirkby wrote: On 11/14/10 07:00 PM, Tim Daly wrote: I find it amusing that mathematicians are being told that a math-specific language is a liability. Mathematics is, after all, a specialized language that took me years to learn. I as

Re: [sage-devel] Re: "Why Sage?" Website Section

epresent the same value. Simplification of the value depends on whether the desired result is a Polynomial(Fraction(Integer)) or a Fraction(Polynomial(Integer)) By specifying the target type you can define the simple form. Tim Daly -- To post to this group, send an email to sage-de

Re: [sage-devel] Re: "Why Sage?" Website Section

On 11/15/2010 8:54 PM, Robert Bradshaw wrote: On Sun, Nov 14, 2010 at 11:45 AM, Dr. David Kirkby wrote: On 11/14/10 07:00 PM, Tim Daly wrote: I find it amusing that mathematicians are being told that a math-specific language is a liability. Mathematics is, after all, a specialized language

Re: [sage-devel] Re: "Why Sage?" Website Section

I don't really have anything more worth saying on this subject. Tim Daly -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at

  1   2   >