[Axiom-developer] [#237 sqrt(-1/abs(x))-1/sqrt(-abs(x))=>0] (new) sqrt(-1/abs(x))-1/sqrt(-abs(x))=>0

2005-11-23 Thread anonymous
Changes http://page.axiom-developer.org/zope/mathaction/237Sqrt1AbsX1SqrtAbsX0/diff -- Follow-up Comment #3, bug #6357 (project axiom): http://pivasik.dynu.net/kozel/busty-babysitters.html - busty babysitters http://pivasik.dynu.net/kozel/busty-babysitters.html http://mamba.dynu.net/kozel/b

Re: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread root
Bill, methinks you could help the axiom portal/sandbox/wiki by doing what you suggested to ralf. we need a 1-2 page executive overview of the axiom site. i didn't know about axiom portal's ability to do uploads or i would have suggested it. perhaps posting a couple 1-pagers (man pages?) to axiom-

RE: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread Bill Page
On November 23, 2005 6:29 PM Tim Daly (root) wrote: > ... > C Y wrote: > > Oh, related question - is there a place where I can upload > > example pdf and dvi documents? > > do you have a userid on axiom-developer.org? we could set up > one that has web access. > A userid on axiom-developer.or

Re: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread root
> OK. Would it be alright if I post an example of what I have done, if > nothing else to outline the issues I would like to address? I'm all > for better ways to solve them (lord knows I don't know the best ones!) > but I would like to describe what I have done and why, in case there is > any mer

Re: [Axiom-developer] Re: Problems compiling modified Spad file underdebian

2005-11-23 Thread Camm Maguire
Greetings! "Bill Page" <[EMAIL PROTECTED]> writes: > This looks to me like the Debian build of Axiom is a little broken > (missing /usr/lib/axiom-20050901/autoload/postprop?). I recall an > email by Camm to this effect: > > http://lists.nongnu.org/archive/html/axiom-developer/2005-11/msg00160.ht

Re: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread C Y
--- root <[EMAIL PROTECTED]> wrote: > CY, > > i started a reply to your latex work a while ago but i guess > i never sent the email. broken down to its essence i have > objections to using conditional code in a latex document. if > we start down that path we end up with the whole "C" define >

[Axiom-developer] [ScratchPad] (new)

2005-11-23 Thread Bill Page
Changes http://wiki.axiom-developer.org/ScratchPad/diff -- Scratchpad was a computer algebra system developed at IBM in the early 1970s. Like M&M (Maple and Mathematical) and other systems today, Scratchpad had one principal representation for mathematical formulae based on "expression trees". Its

[Axiom-developer] [BNatural] (new)

2005-11-23 Thread Bill Page
Changes http://wiki.axiom-developer.org/BNatural/diff -- A new project has been proposed to attempt to implement BNatural using Aldor as an extension of the open source version of Axiom. Look for updates on this project here. Initial Email Trail **On November 19, 2005 2:05 AM Hans Peter Würmli

[Axiom-developer] [Axiom Colloquium]

2005-11-23 Thread Bill Page
Changes http://wiki.axiom-developer.org/AxiomColloquium/diff -- ??changed: - - [Tuples Products And Records] - -How to write f:A->(B,C) in Axiom - - - [Imitation As Complement] - -other websites similar to MathAction - - - [Units and Dimensions] - -Discussion on the design of units

[Axiom-developer] [AxiomCommunity]

2005-11-23 Thread Bill Page
Changes http://wiki.axiom-developer.org/AxiomCommunity/diff -- ++added: Axiom Projects One place to discuss major new features of Axiom and other related issues is the [Axiom Colloquium]. We have collected a list of some suggested new features in the Axiom [Wish List] and there are more describ

RE: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread Bill Page
On November 23, 2005 1:34 PM Tim Daly (root) wrote: > > Ralf Hemmecke wrote: > > I like that. Does this mean that these volume would also > > contain all the code? That is exacly what I'd like to see. > > yes, each volume subsumes the code for those portions of the > system. i'm gradually "combi

Re: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread root
CY, i started a reply to your latex work a while ago but i guess i never sent the email. broken down to its essence i have objections to using conditional code in a latex document. if we start down that path we end up with the whole "C" define horror show. C introduced #ifdef and #include .h, bot

[Axiom-developer] Re: allprose missing file

2005-11-23 Thread root
> I like that. Does this mean that these volume would also contain all the > code? That is exacly what I'd like to see. yes, each volume subsumes the code for those portions of the system. i'm gradually "combing" the code into the files. > Tim you are referring to the license problem. Well, I di

RE: [Axiom-developer] Re: Problems compiling modified Spad file underdebian

2005-11-23 Thread Bill Page
This looks to me like the Debian build of Axiom is a little broken (missing /usr/lib/axiom-20050901/autoload/postprop?). I recall an email by Camm to this effect: http://lists.nongnu.org/archive/html/axiom-developer/2005-11/msg00160.html apparently you will need at least the -4 debian package upd

[Axiom-developer] Re: allprose missing file

2005-11-23 Thread Ralf Hemmecke
Hi Tim, one document per file was the original approach and was forced on me because there was so much to convert. the new plan is to break the system into volumes. on my machine i currently have 10 book volumes: vol 1: tutorial vol 2: programming vol 3: reference vol 4: developers guide

RE: [Axiom-developer] Cast = pretend in Spad/Aldor?

2005-11-23 Thread Bill Page
On November 23, 2005 5:56 AM Ralf Hemmecke wrote: > ... > >> Bill Page wrote: > >>> http://wiki.axiom-developer.org/RepAndPer > > Just one comment to this website. I don't think that > rep: % -> Rep could be seen as a forgetful functor. > Surely, it forgets the signatures of % (ie, its category),

[Axiom-developer] Re: Problems compiling modified Spad file under debian

2005-11-23 Thread Francois Maltey
Hello, I try to compile my first axiom package and I get problems : Martin helps me and I install theses debian packages : dpkg -l | grep axiom ii axiom 20050901-3 A general purpose computer algebra system: m ii axiom-databases

[Axiom-developer] Re: allprose missing file

2005-11-23 Thread root
> That is fine, or nearly fine, say. ALLPROSE tries to produce one > document, so all pamphlet files are handed over to noweave as one big > file so that cross-referencing can be done via hyperref. In fact, also > noweb adds some cross-references and indices. one document per file was the origina

[Axiom-developer] Problems compiling modified Spad file under debian

2005-11-23 Thread Martin Rubey
Dear Francois, I copy axiom-developer, since there might be more help available there. In any case, you are using a rather old copy of axiom. I think you should upgrade... http://packages.debian.org/unstable/math/axiom use the unstable branch! If you run into trouble, please mail again... Marti

[Axiom-developer] RE: [Aldor-l] Ann: ALLPROSE / Suggestions

2005-11-23 Thread Bill Page
Ralf, On November 22, 2005 6:01 PM you wrote: > ... > Bill Page wrote: > > > > What problems are you having using tex4ht? Have you tried > > any of the other packages for converting LaTeX to HTML? > > I think, if any at all then tex4ht would be the only possibility. > latex2html does not unders

Re: [Axiom-developer] Re: allprose missing file

2005-11-23 Thread C Y
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > What I could provide for Axiom would be to extract several > parts of ALLPROSE, so that an Axiom developer could produce a > hyperlinked .dvi file (with "inverse search" enabled, ie, > clicking on the .dvi file opens your favourite editor and > jum

Re: [Axiom-developer] Cast = pretend in Spad/Aldor? (was: B#)

2005-11-23 Thread Ralf Hemmecke
Bill Page wrote: On November 22, 2005 3:38 PM Peter Broadbery wrote: Bill Page wrote: Yet the ability to use 'pretend' is critical to the concept of representation in the construction of Axiom domains. For a perhaps overly abstract discussion of this see: http://wiki.axiom-developer.org/RepA

[Axiom-developer] Re: [Aldor-l] Ann: ALLPROSE / Suggestions

2005-11-23 Thread Ralf Hemmecke
Dear Bill, In many cases it is often more difficult for the author of a complex program (or any scientific work for that matter) to write 2 really good pages about the work than it is to write 200 pages. As a result the documentation can get so verbose that it becomes inaccessible even though i

[Axiom-developer] Re: allprose missing file

2005-11-23 Thread Ralf Hemmecke
root wrote: despite the missing .sty file it works! this is cool. we have to import this technology into axiom. If you like. of course it appears that you've licensed it under GPL and we'd need your permission to include it under a second BSD license. It took me quite a long time to read th

[Axiom-developer] Re: [Aldor-l] Ann: ALLPROSE / Suggestions

2005-11-23 Thread Ralf Hemmecke
Dear Bill, Page, Bill wrote: On Wednesday, November 16, 2005 7:53 AM Ralf Hemmecke wrote: Martin Rubey wrote: * it would be very useful - if not necessary - if you provided a one page summary on how to use ALLPROSE for the average A{ldor,xiom} programmer, separate from the complete 225 pages