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
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
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
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?
>
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
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
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
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:
>>>>
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
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
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
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
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.
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
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
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
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
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.
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:
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
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
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
I'm sure Singular has a process to fix the problems you mention.
All you have to do is send a 'diff -Naur' patch that improves the build.
You got hundreds of megabytes of code for free and you're complaining
because the install script isn't written the way you advocate?
Advocacy is volunteering.
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
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
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
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
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
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
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
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:
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
"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
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
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
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
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
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
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
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
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...@
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Advertising images target the emotions, not the intellect.
What images bring strong emotional responses to mathematicians?
Are Mandelbrot sets the leading edge of "cool"?
For the Sage crowd wouldn't an elliptic curve be better?
Tim Daly
On 1/23/2011 7:56 AM, Martin Albrecht wr
59 matches
Mail list logo
