[sage-devel] Re: Combinatorics in SAGE

2007-02-25 Thread Martin Rubey
"William Stein" <[EMAIL PROTECTED]> writes: > Axiom is not part of SAGE, so the fact they are implemented in Axiom doesn't > imply that one should not implement them in SAGE. OK, sorry, I was misinformed. I once was told that SAGE aims at connecting different CAS and special purpose packages, in

[sage-devel] unsubscribe

2007-03-01 Thread Martin Rubey
Dear maintainers, please unsubscribe me from the list. Something went wrong with my google account and I cannot access my subscription anymore. (I only used it for sage) Many thanks Martin --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@go

[sage-devel] Re: Fwd: [SAGEdev] calling python from lisp

2008-10-29 Thread Martin Rubey
Robert Bradshaw <[EMAIL PROTECTED]> writes: > Your /usr/bin/python is API version 1013, and the one we ship with > Sage is API version 1011 (with some patches). The errors above (and > below) are complaints about this mismatch. Some stuff will work but > it's going to be touchy, especially

[sage-devel] Re: Lazy Infinite Power Series

2008-10-29 Thread Martin Rubey
"David Roe" <[EMAIL PROTECTED]> writes: > Great! This has been on my list of things I'd like to have > implemented for a while. > > Presumably, much of this code will be incorporated into the Sage > library. So it's not really a "package" per se. Instead, you should > make a ticket on trac (h

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

2008-11-09 Thread Martin Rubey
"Nicolas M. Thiery" <[EMAIL PROTECTED]> writes: > Very much like in MuPAD. And somehow that's the part I don't like in > MuPAD. We often wanted to have parents which would simultaneously be > also elements (e.g. consider a monoid whose elements would themselves > be monoids, using cartesian produ

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

2008-11-11 Thread Martin Rubey
Robert Bradshaw <[EMAIL PROTECTED]> writes: > In Sage, we use the term "coercion" to denote a canonical (using the > term a bit loosely), implicit map between Parents (or objects of a > concrete category). E.g. from ZZ to F5 would be a "coercion," but > there is a "conversion" and not a "co

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

2008-11-11 Thread Martin Rubey
Ralf Hemmecke <[EMAIL PROTECTED]> writes: > The only difference between Sage and Aldor/panAxiom is that Sage checks > whether the Object can be coerced to SomeType at runtime whereas Aldor > and SPAD allow to check at compile time. I don't think this is the full story. As far as I can see, it

[sage-devel] Re: Test Suite for Sage-FriCAS interaction?

2008-11-23 Thread Martin Rubey
Tim Lahey <[EMAIL PROTECTED]> writes: > Hi, > > I'm in the process of installing the FriCAS 1.0.3p0 optional package > and I was wondering if there are tests to run to make sure everything > is built and installed correctly. I'd like to run them before I start > exploring FriCAS. Do you m

[sage-devel] Re: Test Suite for Sage-FriCAS interaction?

2008-11-23 Thread Martin Rubey
Tim Lahey <[EMAIL PROTECTED]> writes: > On Nov 23, 2008, at 4:30 PM, Martin Rubey wrote: > > > > > Tim Lahey <[EMAIL PROTECTED]> writes: > > > >> Hi, > >> > >> I'm in the process of installing the FriCAS 1.0.3p0 optional pac

[sage-devel] Re: First Integral Test Suite

2008-11-25 Thread Martin Rubey
"Tim Lahey" <[EMAIL PROTECTED]>: a hint: the simplification facilities in FriCAS are not extremely powerful (because they try to be correct - in vain). The closest thing to "simplify" in Maxima, Maple, Mathematica etc., is probably "normalize". "William Stein" <[EMAIL PROTECTED]> writes: > Hal

[sage-devel] how to call Sage from Lisp, was: Re: [sage-devel] Re: First Integral Test Suite

2008-11-25 Thread Martin Rubey
"William Stein" <[EMAIL PROTECTED]> writes: > > For cooperation: is there an equivalent of "InputForm" in Sage? I.e., > > given an > > object ("output"), is there a way to have Sage output a string ("input"), > > which > > fed back into Sage gives "output"? (Should be something like a textfor

[sage-devel] problem installing qepcad

2008-12-11 Thread Martin Rubey
I wanted to install qepcad-1.50, but failed. After sage -i qepcad-1.50 it told me that readline is missing. So, I installed readline-dev (kubuntu hardy) and said sage -i qepcad-1.50 again. This time I get the error below. Thanks, Martin g++ -I/home/martin/Documents/sage-3.1.4/spkg/build

[sage-devel] Re: problem installing qepcad

2008-12-15 Thread Martin Rubey
Martin Rubey writes: > I wanted to install qepcad-1.50, but failed. just for the record: installing tcsh makes the problem go away. This hint was buried in a longer mail on this list, so I repeat it here... Another hint: qepcad does not like fractions, not even of integers, and the s

[sage-devel] Re: gcd in QQ and ZZ

2009-01-05 Thread Martin Rubey
"John Cremona" writes: > 2009/1/5 Martin Rubey : > > > > (not sure whether this belongs to sage-support or sage-devel) > > > > I'm preparing class for tomorrow, and ran across something I do not quite > > understand: > > > > sage: f=

[sage-devel] gcd in QQ and ZZ

2009-01-05 Thread Martin Rubey
(not sure whether this belongs to sage-support or sage-devel) I'm preparing class for tomorrow, and ran across something I do not quite understand: sage: f=ZZ[x].random_element(10) sage: g=ZZ[x].random_element(10) sage: timeit('gcd(QQ[x](f),QQ[x](g))') 125 loops, best of 3: 2.96 ms per loop sage

[sage-devel] resultants

2009-01-07 Thread Martin Rubey
What did I do wrong? I have no idea how to proceed! Martin sage: f=Integers(5)[y][x](x*(y^2-x)^2+y^5); g=Integers(5)[y][x](y^4+y^3-x^2); sage: f x^3 + 3*y^2*x^2 + y^4*x + y^5 sage: f.res f.reset_name f.resultant sage: f.resultant(g) *** Mod(1, 5)*x already exists with incompatible vale

[sage-devel] Re: resultants

2009-01-07 Thread Martin Rubey
mabshoff writes: > Is this what you want? Actually, I want: (15) -> f := x*(y^2-x)^2+y^5; g := y^4+y^3-x^2 432 (15) y + y - x Type: Polynomial(Integer) (16) -> factor resultant(f,g,x) 92 (16) y

[sage-devel] Re: Clifford + Sage

2009-01-17 Thread Martin Rubey
David Joyner writes: > (d) Email someone to ask for an immediate quick review. I can try > myself or maybe Martin Rubey or Simon King can? I won't be able to do that, because I cannot build sage anymore. My computer has become too old for sage, sor

[sage-devel] Re: fricas release 1.0.5 package for sage

2009-01-26 Thread Martin Rubey
William Stein writes: > By the way, when using this, I repeatedly felt like I wished the > command in Sage were "fricas" instead of "axiom" and the file to test > were "fricas.py" instead of "axiom.py". I agree. Meanwhile, FriCAS is well established. By the way, is the following differential

[sage-devel] Re: fricas release 1.0.5 package for sage

2009-01-26 Thread Martin Rubey
William Stein writes: > I don't personally know it, since it's pretty hard to read that ASCII > art in email. I know some people (Chris Mihelich and Ken Ono) who > would likely instantly know... but you should typeset a short note > about this in tex to make it more palatable to mathematicians.

[sage-devel] Re: fricas release 1.0.5 package for sage

2009-01-26 Thread Martin Rubey
David Roe writes: > It's possible that you're using html or some other markup in your e-mail > that some of us using text-based clients aren't getting. Huh? I don't understand, who are you adressing? I'm using Gnus, which is unlikely to insert any tabs or markup. > The main problem with the

[sage-devel] Re: fricas release 1.0.5 package for sage

2009-01-27 Thread Martin Rubey
William Stein writes: > How is fricas going these days, by the way? I think, very very well. It's amazing how much improvement is possible even if only very few people work with that code. Of course, you could also read that as "the code was very shitty, it's easy to improve" :-) Yesterday n

[sage-devel] Re: fricas release 1.0.5 package for sage

2009-01-27 Thread Martin Rubey
William Stein writes: > > I think, very very well. It's amazing how much improvement is possible > > even if only very few people work with that code. Of course, you could > > also read that as "the code was very shitty, it's easy to improve" :-) > > Is the main improvement implementing the s

[sage-devel] Re: bespin: future of sage coding in the cloud?

2009-02-14 Thread Martin Rubey
Alexander Hupfer writes: On 13 Feb., 12:51, Harald Schilly wrote: > Imagine, logging into an online sage-code-editor right into the > browser from everywhere and start hacking a bugfix! I think that's > certainly very interesting and lowers the entry level for new > developers once more. Math

[sage-devel] Re: bespin: future of sage coding in the cloud?

2009-02-14 Thread Martin Rubey
Mike Hansen writes: > Hello, > > On Sat, Feb 14, 2009 at 6:19 AM, Martin Rubey > wrote: > > MathAction (the axiom/fricas/open-axiom wiki) actually allows this > > already (for FriCAS.) > > Could you explain this in more detail? It allows you to change > ex

[sage-devel] Re: Composition of power series

2009-02-25 Thread Martin Rubey
John Cremona writes: > I agree: composition of power series should only be allowed when the > "inner" one has positive valuation, i.e. zero constant term. (At > least over an integral domain. Maybe it's ok if the constant term is > just a zerodivisor, but I cannot think of a situation where th

[sage-devel] Re: Fractions with factored denominators

2009-03-09 Thread Martin Rubey
Michel writes: > Hi Nicolas, > > A long time ago I made a FractionFIeld implementation which would > cache factorizations of denominators. instead of taking gcd's all the > time > > http://markmail.org/message/7hxox5cbz5knxjse#query:new%20implementation%20of%20fraction%20field+page:1+mid:5bf3l

[sage-devel] Re: Fractions with factored denominators

2009-03-09 Thread Martin Rubey
"Nicolas M. Thiery" writes: > Let me dream a bit. I very much like the idea of Factored(Ring), where > elements are kept in factored form as long as possible, as is done in > FriCas (thanks Martin for the pointer). I would like to have several > variants to choose from: > > - PartiallyFactored

[sage-devel] Re: Fractions with factored denominators

2009-03-09 Thread Martin Rubey
"Nicolas M. Thiery" writes: > > actually, this would be my dream, too! (I think I proposed something > > like this on fricas-devel already, but I don't remember well.) > > :-) Please provide a pointer if you find back your e-mail. sorry, very unlikely :-( > > But perhaps you should make sure

[sage-devel] Re: Fractions with factored denominators

2009-03-09 Thread Martin Rubey
Martin Rubey writes: > "Nicolas M. Thiery" writes: > > > > actually, this would be my dream, too! (I think I proposed something > > > like this on fricas-devel already, but I don't remember well.) > > > > :-) Please provide a pointer if y

[sage-devel] Re: element of integermod is element of integer?

2009-03-14 Thread Martin Rubey
"Nicolas M. Thiery" writes: > Well, maybe we could join forces, and write a paper "coercion and > dispatch in Sage and MuPAD". Having more than one implementation of > the concept would even make it a standard :-) Maybe it's even possible to include the FriCAS coercion system, too? It has some

[sage-devel] Re: Is Sage implementing mathematics?

2009-03-14 Thread Martin Rubey
Simon King writes: > Since the topic now changed into "is Sage implementing Mathematics": > IMHO it is frankly impossible for *any* CAS to implement a > mathematically meaningful notion of == that is both useful and > rigorous. This is certainly not true. The point is that you have to make equ

[sage-devel] Re: element of integermod is element of integer?

2009-03-15 Thread Martin Rubey
"Nicolas M. Thiery" writes: > On Sat, Mar 14, 2009 at 03:51:36PM +0100, Martin Rubey wrote: > > > > "Nicolas M. Thiery" writes: > > > > > Well, maybe we could join forces, and write a paper "coercion and > > > dispatch in S

[sage-devel] Re: element of integermod is element of integer?

2009-03-15 Thread Martin Rubey
(cross posting to fricas-devel, maybe others want to make things more precise. Eg., I won't touch the difference between coercion and conversion here, although I probably should...) "Nicolas M. Thiery" writes: > > > Do you foresee any occasion to meet physically all three of us? > > > > Well,

[sage-devel] Coercion, was: element of integermod is element of integer?

2009-03-16 Thread Martin Rubey
"Nicolas M. Thiery" writes: > > > Do you foresee any occasion to meet physically all three of us? > > > > Well, at least two of us are at FPSAC 09 at RISC. > > > > (I love all these abbreviations, it feels so french :-) > > :-) > > > (3) The interpreter makes a heuristic choice which signatu

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

2008-04-21 Thread Martin Rubey
Just a quick note now, maybe more later: "William Stein" <[EMAIL PROTECTED]> writes: > I don't understand the Axiom distribution enough to understand > how big it is, but my impression is that it is *also* huge. Looking > in the src/src/algebra directory there are many hundreds of > thousands o

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

2008-04-23 Thread Martin Rubey
Dear Michael, just a short recap, whether I have understood things correctly: the problem you currently face with external symbolic calculus is that the representation of the objects is not identical in SAGE and in the external progam (Maxima). you are using something called "pexpec

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

2008-04-23 Thread Martin Rubey
"Gary Furnish" <[EMAIL PROTECTED]> writes: > I'd be interested in hearing which features of FriCAS/OpenAxiom has that > might be useful in more detail. I'm not quite sure what you are interested in. I attach some things that I know to be working well or that I used recently below. > My main

[sage-devel] [ANN] Aldor & Axiom / OpenAxiom / FriCAS Workshop 2008

2008-05-16 Thread Martin Rubey
//www.risc.uni-linz.ac.at/about/conferences/summer2008/registration/ Please note that the fee (30 EUR) does not cover hotel, lunch, dinner, and transportation to Hagenberg. You may reserve a hotel room in Hagenberg through the registration page. Organisers -- Ralf Hemmecke an

[sage-devel] Re: [sage-combinat-devel] Re: Functorial Composition of Species

2008-08-18 Thread Martin Rubey
Dear Robert, Sorry, yet another question: your package is able to generate orbit representatives of graphs, when the symmetric group acts on the set of vertices. Now, what about the case where some subgroup of the symmetric group acts onb the vertices - is this handled, too? Many thanks, Marti

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

2008-09-07 Thread Martin Rubey
Hi Mike, I try to answer the questions, hoping that I do not make a mistake... "Mike Hansen" <[EMAIL PROTECTED]> writes: > * Is there only one global precision for floating point numbers or can > different floating point numbers each have different precisions? What > happens if you create a nu

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

2008-09-13 Thread Martin Rubey
(question for Ralf at the bottom of the mail :-) "Mike Hansen" <[EMAIL PROTECTED]> writes: > >> * Given a domain like "Polynomial Integer", how do I get the base ring > >> "Integer" programatically? This would be like the base_ring method in > >> Sage. > > > > You cannot, currently. One possibi

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

2008-09-13 Thread Martin Rubey
I see the trac items, but I do not see how to get the latest version of axiom.py... Thanks, Martin --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more opt

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

2008-09-13 Thread Martin Rubey
"Bill Page" <[EMAIL PROTECTED]> writes: > Martin, > > The patches are at: > > http://trac.sagemath.org/sage_trac/attachment/ticket/4036 > > Click on for example: trac_4036-2.patch > > http://trac.sagemath.org/sage_trac/attachment/ticket/4036/trac_4036-2.patch > > This displays the patch with

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

2008-09-13 Thread Martin Rubey
"Mike Hansen" <[EMAIL PROTECTED]> writes: > Hi Martin, > > > Great! I applied this, but > > > > a = axiom(x^2 + 1) > > a.sage() > > > > still does not work. I guess I have to tell sage somehow to reconfigure or > > so? > > You need to run start Sage with "sage -br" (for build and run) to make

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

2008-09-13 Thread Martin Rubey
OK, thanks to Bill, Mike and William the axiom interface is now mostly working on my computer. Mostly, because I think the following *should* work... sage: a = axiom.sin(x) sage: a sin(x) sage: a.sage() --- NotImplementedErr

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

2008-09-13 Thread Martin Rubey
Martin Rubey <[EMAIL PROTECTED]> writes: > OK, thanks to Bill, Mike and William the axiom interface is now mostly working > on my computer. > > Mostly, because I think the following *should* work... > > sage: a = axiom.sin(x) I hacked around axiom.py a little, and ca

[sage-devel] always print parent

2008-09-30 Thread Martin Rubey
Dear all, is it possible to have Sage always print the parent of the object, when it's printed, as FriCAS does it? (1) -> 3/2 3 (1) - 2 Type: Fraction(Integer) (2) -> x^2+1 2 (2) x + 1

[sage-devel] OT: community was: What are *DIS*advantages of Sage compared to the 3 M's ?

2009-07-07 Thread Martin Rubey
Dear all, I would like to try to build constructively on the following statement and reply: William Stein writes: > On Tue, Jul 7, 2009 at 9:16 AM, rjf wrote: >> >> In terms of support, one major disadvantage of Sage, I think, is that >> significant pieces of the implementation apparently cons

[sage-devel] Re: Configure error trying to install fricas

2009-07-16 Thread Martin Rubey
Rob writes: > Hi again. Unfortunately it failed again, but this time with a > different error message. Here's what it does now: > > ... > > checking for gtar... no > checking for tar... tar > checking for gpatch... no > checking for patch... no > configure: error: FriCAS needs a patch program

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

2009-08-27 Thread Martin Rubey
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) >> x + 1 >> >> I am using fricas 1.0.7

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

2009-08-27 Thread Martin Rubey
Martin Rubey writes: > I just tried it (with external FriCAS) and it seems to work ok. It > might make sense to expand FriCASElement a little. Currently we have: > > P = self._check_valid() > name = str(self) > if name == 'Integer': >

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

2009-08-27 Thread Martin Rubey
Bill Page writes: > What version of Sage are you using? What patches applied (if any)? 4.0.2, combinat branch, patches 6318 applied. >> It might make sense to expand FriCASElement a little. Currently we have: >> >>P = self._check_valid() >>name = str(self) >>if name ==

[sage-devel] Re: Question about multivariate power series.

2009-08-30 Thread Martin Rubey
Jonathan Hanke writes: > Hi, > > I was wondering if there is (or is planned) support for natural multivariate > power series ring constructions (with say > fixed precision for each variable) similar to that of polynomal rings?  It > would be nice to be able to say something like > > S = PowerS

Re: [sage-devel] new talk: The Development of Symbolic Calculus in Sage

2010-07-17 Thread Martin Rubey
William Stein writes: > http://wstein.org/talks/stein-sd24/stein-sd24.pdf "world domination" has a very intimidating (naziesque) connotation for me (I do not think only for me, but I cannot know). Sage is great, but that makes me shiver. Martin -- To post to this group, send an email to sage

[sage-devel] sage -f locally

2010-11-08 Thread Martin Rubey
is there a possibility for installing optional packages on top of a existing *global* sage installation *locally*, i.e., without root rights? I tried sage -f foo.spkg but it failed of course with permission denied... Martin -- To post to this group, send an email to sage-devel@googlegroups.co

Re: [sage-devel] Re: sage -f locally

2010-11-08 Thread Martin Rubey
Jason Grout writes: > On 11/8/10 7:34 AM, Martin Rubey wrote: >> is there a possibility for installing optional packages on top of a >> existing *global* sage installation *locally*, i.e., without root >> rights? >> >> I tried >> >> sage -f foo.spkg

[sage-devel] Re: [sage-combinat-devel] Re: Refactoring of posets

2011-03-23 Thread Martin Rubey
"Nicolas M. Thiery" writes: > Dear poset fans, > > In the process of refactoring / categorifying the poset code, I am > creating a category for posets which are lattices. What should be the > name for this category? Lattices() would be natural, but might get > into conflict with other kind

Re: [sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Martin Rubey
Are libraries somewhat similar in spirit to the method .an_element? Martin -- 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.c

Re: [sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Martin Rubey
"Nicolas M. Thiery" writes: > How does this all sound? Very nice! Martin -- 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.

[sage-devel] Re: Incorrect definite integral

2009-10-17 Thread Martin Rubey
Harald Schilly writes: > this report came in from the "report a problem" link for 4.1.1. > > - > > Sage gives an incorrect value when calculating a definite integral > analytically: > > sage: integrate(cos(x)^2 * (1 + sin(x)^2)^-3,x,0,pi/2) > 21/64*pi*sqrt(2) > sage: _.n

[sage-devel] Re: 0^0

2009-10-22 Thread Martin Rubey
>>> For any x, x^0 is 1 by definition. >> >> I always thought that for any y, 0^y = 0. >> >> Anyway, 0^0 is undefined in mathematics, so it's good that it's >> undefined in Sage. > > It's defined for Sage *integers*: ... I think I've seen this discussion before. Categories! Martin --~--~-

[sage-devel] Re: Maxima fails to build with ECL on Cygwin

2009-10-28 Thread Martin Rubey
Mike Hansen writes: > Hello, > > Currently when I try to build Maxima with ECL on Cygwin, I get the > following error: it is the same error with FriCAS. ECL cannot compile-file on cygwin :-( would be nice indeed. Martin > ecl -norc -eval '(progn (load "../lisp-utils/defsystem.lisp") (load

[sage-devel] Re: Maxima fails to build with ECL on Cygwin

2009-11-02 Thread Martin Rubey
I would like to "announce" that thanks to Juanjo, FriCAS now builds "out of the box" with ecl under cygwin, so I suspect that maxima should do so, too. Martin --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe

[sage-devel] Re: Polynomial interpolation....

2009-11-07 Thread Martin Rubey
Nathann Cohen writes: > Hello everybody !!! > > I recently asked a question here : I have a set of points in R^n (or > C^n, or any vectorial space for the matter..), to which is associated > a set of values. Said differently, I have a function whose values I > only know at several points. I then

[sage-devel] Re: testing all optional spkg's

2009-11-13 Thread Martin Rubey
> NOT INSTALLED: > fricas-1.0.3.p0 this is ancient! (should be 1.0.8 meanwhile) Although, I admit I have no idea whether anybody has built a 1.0.8 package yet. > 2) checking for noweave... no > axiom_build_bindir = > /export/home/drkirkby/sage-4.2/spkg/build/fricas-1.0.3.p0/build-dir/build/s

Re: [sage-devel] fricas ticket 6517

2009-11-19 Thread Martin Rubey
Thanks for forwarding. I would only like to remark that email mangled the output of series, too, which sage didn't :-) Martin David Joyner writes: > -- Forwarded message -- > From: Martin Rubey > Date: Thu, Nov 19, 2009 at 8:42 AM > Subject: [SAGEdev] fricas

[sage-devel] Re: [sage-combinat-devel] Categories: final report!

2009-11-20 Thread Martin Rubey
"Nicolas M. Thiery" writes: > Dear category fans, dear Sage-Combinat developers, > > This is my final status report for the category patches: > > Yiiippeee! factorial(Congratulations) I should say to live up to the cliché... Martin -- To post t

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

2009-11-23 Thread Martin Rubey
Jaap Spies writes: > 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 Mathworks out of b

Re: [sage-devel] Sage and commercial software

2009-11-23 Thread Martin Rubey
"Dr. David Kirkby" writes: > I find it hard to believe Sage will not have a negative impact on the > sales of Mathematica, but I certainly hope Sage does not put Wolfram > Research out of business. I very much doubt it will either. I am with your hope (how to say this properly?). At any rate, I

Re: [sage-devel] Fraction fields (multiplication, in particular)

2010-01-05 Thread Martin Rubey
Sebastian Pancratz writes: > I am wondering whether there is a good reason for doing this. > > Typically, assuming that (or even on the spot enforcing that!) a/b and > c/d are in lowest terms, it would be much faster to compute GCD(a,d) > and GCD(c,b) and to then divide out appropriately. If all

Re: [sage-devel] Fraction fields (multiplication, in particular)

2010-01-05 Thread Martin Rubey
Martin Rubey writes: > Sebastian Pancratz writes: > >> I am wondering whether there is a good reason for doing this. >> >> Typically, assuming that (or even on the spot enforcing that!) a/b and >> c/d are in lowest terms, it would be much faster to compute GCD(a,

Re: [sage-devel] Re: GR package

2010-02-13 Thread Martin Rubey
Hazem writes: > From what I've heard, > > The available open-source packages that could form a basis for tensor > calculus and Differential geometry in Sage are: > > Axiom (FriCAS, OpenAxiom) In case that this option is truly considered, there are probably quite a few people on fricas-devel will

Re: [sage-devel] Re: clisp instead of ecl mentioned on Sage web page

2010-02-22 Thread Martin Rubey
Harald Schilly writes: > On Feb 22, 1:12 pm, "Dr. David Kirkby" > wrote: >> http://www.sagemath.org/doc/tutorial/interfaces.html >> says: >> >> "Maxima is included with Sage, as is clisp (a version of the Lisp language)." >> > > that should be a trac ticket, component "documentation". I suggest

Re: [sage-devel] Re: incidence matrix of undirected graph should not have entries with -1

2010-02-24 Thread Martin Rubey
Rob Beezer writes: > I would definitely expect the entries of an undirected graph to just > be 0 and +1 for an incidence matrix. > > Doc string says: > > Returns an incidence matrix of the (di)graph. Each row is a vertex, > and each column is an edge. Note that in the case of graphs, there > is a

Re: [sage-devel] Re: incidence matrix of undirected graph should not have entries with -1

2010-02-25 Thread Martin Rubey
Minh Nguyen writes: > def G.incidence_matrix(orientation=False) > > The keyword "orientation" takes on a Boolean value. So > G.incidence_matrix(orientation=False) or G.incidence_matrix() returns > the unoriented incidence matrix of an undirected graph G. Furthermore, > G.incidence_matrix(orientat

Re: [sage-devel] Re: Vote on bugs to be fixed for sage-4.4 "stabilization release".

2010-03-03 Thread Martin Rubey
> Personally I have a bit of a problem understanding why I need to > worry about a program starting up in less than 2 s, when I might run > something on it which will take at least one order of magnitude > longer, and probably several order of magnitudes longer. I can only say why it matters for

Re: [sage-devel] Let's collect data on Sage startup time.

2010-03-03 Thread Martin Rubey
> 1) Sun Blade 2000, circa 2000 > 2 x 900 MHz UltraSPARC III+ CPUs > Load average 1 (Sorry, I'm doing something and can't stop that) > 1x 147 GB Seagate SEAGATE-ST3146807FC. 15,000 rpm SCSI with a 2 Gbit/s fibre > channel interface. > Sage version 4.3.3 with patches for Solaris as documented

Re: [sage-devel] Re: Naming various kinds of trees...

2010-04-19 Thread Martin Rubey
Florent Hivert writes: > Do I understand that you can't help me with choosing good names :-) ? I'm not sure whether it will help you ... but you may want to look at the files fricas/src/algebra/aggcat.spad.pamphlet and fricas/src/algebra/tree.spad.pamphlet where "categories" (in quotation ma

Re: [sage-devel] Differential forms

2010-05-11 Thread Martin Rubey
jvkersch writes: > Last but not least, I noticed that there was some discussion on this > mailing list on adding support for differential forms and exterior > algebra using FriCAS and/or Reduce. In case you are interested in using FriCAS to extend Sage, I'd be glad to actively work on that (an

Re: [sage-devel] Differential forms

2010-05-13 Thread Martin Rubey
Hi Joris, Waldek just pointed me to a package by Seiler: http://axiom-wiki.newsynthesis.org/JetBundles is that more in line of what you'd like to have? Martin -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+un

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

2010-06-01 Thread Martin Rubey
William Stein writes: > Hi, > > Burcin Erocal and I wrote a paper > > "The Sage Project: Unifying Free Mathematical Software to Create a > Viable Alternative to Magma, Maple, Mathematica and Matlab" > > for http://www.math.kobe-u.ac.jp/icms2010/index.html > > Here it is: > > http://wstein.o

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

2010-06-02 Thread Martin Rubey
Mike Hansen writes: > On Tue, Jun 1, 2010 at 11:31 PM, Martin Rubey > wrote: >> A tiny correction to the list on 6, Table 2: as far as I know, sage does >> not communicate with axiom, but rather with fricas.  But I admit, I am >> not 100% certain, what the default in

[sage-devel] profiling cython

2011-04-13 Thread Martin Rubey
Hi there! I'd like to profile some performance-critical cythonized sage code. I read that this can be done by writing # cython: profile=True at the very beginning of my file (which is configs.spyx). However, I have the suspicion that this does not work entirely. I get the following without "

Re: [sage-devel] profiling cython

2011-04-13 Thread Martin Rubey
Robert Bradshaw writes: > It's really hard to diagnose without seeing some code, yes, sorry about that, > but my guess is that either > > 1) The methods called in children are not in a python file compiled > with #cython: profile=True > 2) The spyx file gets a header prepended, meaning that th

Re: [sage-devel] Re: profiling cython

2011-04-13 Thread Martin Rubey
Simon King writes: > On 13 Apr., 15:53, Martin Rubey > wrote: >> > 2) The spyx file gets a header prepended, meaning that the #cython ... >> > pragmas are not at the top of the file anymore, and so are not >> > applied. (Similar issues happen with __future__ i

Re: [sage-devel] Re: profiling cython

2011-04-14 Thread Martin Rubey
Robert Bradshaw writes: > On Wed, Apr 13, 2011 at 7:19 AM, Martin Rubey > wrote: >> Simon King writes: >> >>> On 13 Apr., 15:53, Martin Rubey >>> wrote: >>>> > 2) The spyx file gets a header prepended, meaning that the #cython ... >>&g

Re: [sage-devel] Re: profiling cython

2011-04-14 Thread Martin Rubey
Simon King writes: > On 14 Apr., 12:06, Martin Rubey > wrote: >> Please bear with me - what would that mean?  Yes, the first line of >> >> /home/martin/martin/TeXSource/Mathematik/configs.spyx >> >> contains this >> >> # cython: profle=True >