Re: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Michael Brickenstein
Hello Bill! I will forward the mail about the bug report to the singular mailing list ([EMAIL PROTECTED]). But you shouldn't care about it, Singular should work fine without this dynamic module "kstd.so". In fact, dynamic modules are quite new in Singular and still experimental. The only

[Axiom-developer] Axiom Lisp API for OpenMath

2005-10-03 Thread Bill Page
Tim, I searched through my source archives but I did not find the file 'src/cslbase/openmath.c' referred to by Mike Dewar in the email below. Apparently we need to write something analogous for GCL to interface with the Open Math library in OMCv1.4a.tgz OMCv1.4a.tgz is in the current zips directo

RE: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Bill Page
Michael, I have tried to build Singular from source on the axiom- developer server but but after compiling a large part of the system, the build terminates with the following error: ... make[2]: Leaving directory `/home/page/Singular-3-0-0/modules/modgen' for file in loctriv; do \ if test

[Axiom-developer] RE: New Version of REDUCE

2005-10-03 Thread Bill Page
Tony Hearn, You will recall I am sure, that a little more than a year ago, with your kind approval I installed Reduce on the axiom-developer server. The axiom-developer server runs the wiki-based web application that I call MathAction which provides a web-based interface for both Axiom and Reduce.

RE: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Bill Page
Michael, On October 3, 2005 10:38 PM I wrote: > > One of the original design goals of MathAction was to be able > to support a large number of different mathematical software > with the same user interface. OpenMath goes beyond that by > providing the means (in principle) to exchange mathematical

RE: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Bill Page
On October 3, 2005 2:03 PM Michael Brickenstein wrote: > I am very sorry for not expressing me more clearly. I hope > nobody feels offended. I appreciate the work of all axiom > Developers. It was only some weakness of English language > (in German you say "Dein" for Singular and "Euer" in Plura

RE: [Axiom-developer] Re: Openmath, Singular

2005-10-03 Thread Bill Page
On October 3, 2005 3:27 PM Jens Axel Søgaard wrote: > > Bill Page wrote: >> On October 3, 2005 4:37 AM Michael Brickenstein wrote: > >>> ... Python is in fact a strongly typed language, which >>> doesn't do implicit conversions (at default), I only >>> mention this, as I know that axiom focuses v

[Axiom-developer] Re: Openmath, Singular

2005-10-03 Thread Jens Axel Søgaard
Bill Page wrote: On October 3, 2005 4:37 AM Michael Brickenstein wrote: My Openmath implementation is based on Python which is embedded in Singular and plays together with the Singular interpreter nicely (can dynamically call all (a the moment nearly all) interpreter and kernel functions). T

Re: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Michael Brickenstein
Hello! I am very sorry for not expressing me more clearly. I hope nobody feels offended. I appreciate the work of all axiom Developers. It was only some weakness of english language (in German you say "Dein" for Singular and "Euer" in Plural as translation for "your"). My view is, that such

RE: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Bill Page
On October 3, 2005 4:37 AM Michael Brickenstein wrote: > > Actually I had a discussion in sci.math.symbolic and my > conversation partner stated that he would like to see our > functionality in your system. I almost never hang out in the usenet news groups, but I am glad that some people there ar

Re: [Axiom-developer] Openmath, Singular

2005-10-03 Thread Michael Brickenstein
Hello Bill Page! Thanks for your positive response. I am very pleased with this welcome. Actually I had a discussion in sci.math.symbolic and my conversation partner stated that he would like to see our functionality in your system. Additionally I have heared in our team, that you have made

[Axiom-developer] [WishList]

2005-10-03 Thread billpage
Changes http://wiki.axiom-developer.org/WishList/diff -- ??changed: - I think that a general concept is needed in order to fix - http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9217 and to I think that a general concept is needed in order to fix #212 and to -- forwarded from http://w

[Axiom-developer] [#212 substituting for an operator in a sum does not apply the summation algorithms]

2005-10-03 Thread billpage
Changes http://wiki.axiom-developer.org/212SubstitutingForAnOperatorInASumDoesNotApplyTheSummationAlgorithms/diff -- ??changed: - - -From BillPage Mon Oct 3 01:08:57 -0500 2005 -From: Bill Page -Date: Mon, 03 Oct 2005 01:08:57 -0500 -Subject: (new) substituting for an operator in a sum does not a

[Axiom-developer] [DesignIssues]

2005-10-03 Thread wyscc
Changes http://page.axiom-developer.org/zope/mathaction/DesignIssues/diff -- ??changed: -Type 'Expression Integer' refers to any expression with 'coefficients' -that are integers. If you don't tell Axiom otherwise, then Axiom -"thinks" of 'sin(x)' as '1*sin(x)' i.e. and 'Expression' with the -'Int