Page,
> I took a look at this file but this sort of LaTeX coding is
> way past my level of incompetence! I will be very happy if
> or when you have time to modify it to create a jsmath mode! :)
I'll provide a jsmath mode. Probably during the winter break. Maybe
before that.
> But our "acid
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Wednesday, October 19, 2005 1:09 AM Gaby wrote:
| >
| > My current work on designing and implementing a general,
| > efficient, scalable, complete representation of ISO C++ (with
| > concepts) in C++ has led me to look at the materials on proof
| > te
Eitan,
On Saturday, October 15, 2005 2:05 PM you wrote:
> Bill Page wrote:
> > If I were to attempt to change the mathml.4ht config file
> > myself can you suggest some documentation/tutorial to get me
> > started quickly?
>
> Take a look at the literate source tex4ht-mathml.tex of
> mathml.4ht,
On Wednesday, October 19, 2005 10:28 PM C Y wrote:
>
> One comment - the algebra volume could wind up containing a really
> really large amount of data. Perhaps after 5, 6, and 7 have been
> tackled we should look at breaking down the algebra into more
> manageable chunks?
I agree completely. A
--- root <[EMAIL PROTECTED]> wrote:
> > Gee, that reminds me of our plans long ago to publish
> > hardcopies of these volumes on www.lulu.com .
Heh, funny I was just looking at lulu.com myself.
> There are 4 volumes in book--main--1:
> Vol 1: Tutorial
> Vol 2: Programming
> Vol 3: Refer
> Gee, that reminds me of our plans long ago to publish
> hardcopies of these volumes on www.lulu.com . I haven't
> looked at these volumes lately. What would be your estimate
> of how much work remains before we could submit something?
> Do you think getting these published should have a higher/
>
Hi Tim!
On Wednesday, October 19, 2005 6:32 PM you wrote:
>
> I'm in the debugsys image chasing a few things and came
> across this interesting variable. In an axiom image type:
>
> )lisp (setq |$reportInstantiations| t)
>
I believe that flag is controlled by the Axiom command:
)set message
I'm in the debugsys image chasing a few things and came across this
interesting variable. In an axiom image type:
)lisp (setq |$reportInstantiations| t)
and then type an expression such as
-> 1
# instantiated/# dropped/domain name
1 0 PositiveInteger
1 0 OutputForm
1 0 NonNegativeInteger
1
On Wednesday, October 19, 2005 1:09 AM Gaby wrote:
>
> My current work on designing and implementing a general,
> efficient, scalable, complete representation of ISO C++ (with
> concepts) in C++ has led me to look at the materials on proof
> techniques in Axiom. I've read claims that Type:Type is
On Wednesday, October 19, 2005 5:02 AM Martin Rubey wrote:
>
> Christian Aistleitner writes:
>
> > I wrote that parser almost 1.5 years ago (I guess). I still
> > have it on some Backup if someone is interested. It was
> > implemented in Aldor. I could parse all source files I tested.
An Aldor p
Hi Gaby,
Gabriel Dos Reis writes:
> Martin Rubey <[EMAIL PROTECTED]> writes:
>
> | just not enough. And, moreover, we need to attract more genuine
> mathematicians,
> | i.e., researchers.
>
> :-)
>
> What criteria do you propose for use to recognize "genuine" mathematician
> from a "
--- Martin Rubey <[EMAIL PROTECTED]> wrote:
> Dear all,
>
> concerning the freeing of Aldor, Ralf told me a week ago or so that
> there is some hope. It seems that Stephen is looking at the issue,
> but "it's not settled yet".
Good news!
> > > An alternative that does exist (maybe) is to make
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> On Tuesday, October 18, 2005 10:15 PM Camm Maguire wrote:
> >
> > Bill Page writes:
> > >
> > > In fact to take best advantage of this knowledge, perhaps we
> > > might seriously consider the possibility of writing "new Aldor"
> > > in a language lik
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| just not enough. And, moreover, we need to attract more genuine
mathematicians,
| i.e., researchers.
:-)
What criteria do you propose for use to recognize "genuine"
mathematician from a "fake" one?
-- Gaby
Dear Christian,
great that you pop in -- you are not at RISC-Linz anymore, are you?
Christian Aistleitner writes:
> I wrote that parser almost 1.5 years ago (I guess). I still have it on some
> Backup if someone is interested. It was implemented in Aldor. I could parse
> all source files I te
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
++added:
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff
--
It *should* work, given that the compiler does not stumble over some bug.
However, I don't think it is the right direction to take anyway:
- The bugs mentioned here won't go away, since you would have to provide
On Wednesday, October 19, 2005 4:40 AM Martin Rubey wrote:
> ...
> Bill Page wrote:
> > > I still think however that even improving SPAD will not
> > > be easy. It will require rather deep knowledge of the
> > > largely undocumented legacy code that currently implements
> > > SPAD in Axiom.
>
>
Dear all,
concerning the freeing of Aldor, Ralf told me a week ago or so that there is
some hope. It seems that Stephen is looking at the issue, but "it's not settled
yet".
> > An alternative that does exist (maybe) is to make incremental improvements
> > to Axiom's built-in SPAD compiler that
19 matches
Mail list logo