On 03/05/2017 09:54 PM, Tim Daly wrote:
https://fordfoundcontentthemes.blob.core.windows.net/media/2976/roads-and-bridges-the-unseen-labor-behind-our-digital-infrastructure.pdf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.
Bertfried,
Yours and Tim's private response has put my mind at ease, I guess. My
concern was based on a book, Geometric Algebra by Dorst, Fontijne, and
Mann, recommended by Martin Baker, a few years ago. When I got to
section 13.8 it was mentioned that some of the work was patented and not
Be aware that Hestenes has copyrighted some of his material.
Arthur
On 11/14/2016 01:11 AM, Tim Daly wrote:
Current quantum computing uses 2x2 (Pauli) operators
and (4x4) Dirac operators expressed as matrices.
But Hestenes
https://en.wikipedia.org/wiki/David_Hestenes
showed that these are sim
On 08/08/2016 07:27 PM, Tim Daly wrote:
In the reasonable future C will be gone. Work is underway
to build hyperdoc and graphics in the browser (with
minimal standards-based javascript/xhtml).
Just a note but I don't think you need xhtml anymore since html 5 allows
embedding mathml, canvas
On 08/31/2014 11:43 PM, d...@axiom-developer.org wrote:
I've given up on my plan to live forever.
Instead I'm creating a series of videos that show how to
maintain and modify Axiom. The first of the series, which
details how to add algebra, is complete and should be on
the website soon. I'll giv
ewhat cursory perusal of the thread, he doesn't seem to
get much support.
Thanks for the heads up on this.
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
On 05/25/2011 09:57 AM, Eugene Surowitz wrote:
But that just my view and given that the current
index was essentially hand generated I don't
intend to go further in that direction for the moment.
IIRC the index was not generated by hand, rather there's markup,
something like \index{eq} in th
Eugene,
I did the xhtml-mthml version of the book several years ago from the
latex/tex using regular expressions in emacs. It was quite laborious.
Because a lot of the latex is hand written and the tex output from axiom
has been hand modified a lot of the conversion had to be done by hand.
I al
Tim Daly wrote:
> Third, the Aldor hooks are being removed since it is clear that
> Aldor will never become free and open source. Instead of doing the
> translation of this legacy code the effort will be spent to improve
> and document the existing compiler.
>
> Tim
>
Excellent.
Arthur
_
Tim, Waldek, Gaby,
Thank you very much for allaying my fears about
creeping aldorization.
Arthur
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Tim, Waldek, Gaby,
It should be clear by now that I am only interested in working
with software which is completely free in the sense of Stallman.
For this reason I have not touched aldor.
This recent quote from Tim has me concerned:
"If we were to re-think by re-coding it would make a lot mor
Zach wrote:
Tim, please tell me that Firefox will not be the only way to interface
with Axiom. It will still be possible to write an Emacs mode for it,
something like IMaxima? Also, why only Firefox, why not any browser?
Zach
Zach,
In the work I've done my goal has been to make a brow
Bill,
With the recent concern about book links I checked the xhtml+mathml version
on your wiki and noticed that you have an old version. The most recent
version
is broken down into sections rather than chapters, has better
navigation, and includes
some fixes. Did you prefer the chapter versio
After taking a look at the sage web interface I plan to continue with my
own plans. The sage interface looks very good and well developed but
is not what I have in mind.
I comment that I think it is unlikely that one interface will be optimal
for everybody.
Arthur
___
Hi Ralf,
My own perspective in what I'm doing is authoring mathematical web documents
that can be live by connecting to a CAS somewhere on a server. All
tools I use
must be completely free and open source, but in addition it is very
important to
me that somebody should be able to navigate to a
[EMAIL PROTECTED] wrote:
* Integrate graphics
One of the tasks is to integrate the existing graphics into the
Firefox browser. The planned direction for this over the coming
months is to write the graphics onto the new CANVAS object. This
involves figuring out an interface to the graphics, worki
[EMAIL PROTECTED] wrote:
> -> x:=104348/33215
>
>104348
>--
> 33215
>
> -> factor(numer x)/factor(denom x)
>
>2
> 2 19 1373
> -
> 5 7 13 73
>
> but mathML output shows:
>
>2
> 2 191373
> -
>571373
>
> Tim
>
>
>
Tim,
This patch just change
root wrote:
>> -> x:=104348/33215
>>
>>104348
>>--
>> 33215
>>
>> -> factor(numer x)/factor(denom x)
>>
>>2
>> 2 19 1373
>> -
>> 5 7 13 73
>>
>> but mathML output shows:
>>
>>2
>> 2 191373
>> -
>>571373
>>
>
> The mathML lacks spaces so the
Tim,
When I build Axiom on OpenSuse I have to modify the
"Makefile.linux" section of Makefile.pamphlet to find the
X files. /usr/X11R6/lib and /usr/X11R6/include are not
used, they need to be changed to /usr/lib and /usr/include.
Arthur
___
Axiom-dev
Martin Rubey wrote:
> 3) it seems to me that the domains FORMULA, TEX and MATHML share a *lot* of
>code. Woldn't it make sense to factor that out? Won't the precedence
> order
>be the same for all output formats? I do not know whether anybody still
>uses SCRIPT, but that's really be
Martin Rubey wrote:
> Thus, it seems to me that
>
> plexOps := ["SIGMA","SIGMA2","PI", "PI2", "INTSIGN","INDEFINTEGRAL"]
> plexPrecs := [700, 800, 700, 800, 700]
>
> is possibly a mistake: why should SIGMA and SIGMA2 have different precs?
> Maybe it sho
Tim,
This patch fixes some ambiguities in the display of sums and
products brought to my attention by Martin. It doesn't bring the
silver version of mathml into sync with what I have. I'll leave that
possibly for later.
The problems can be seen in the output from the following commands:
1. sum
Tim,
I have some fixes for mathml to deal with the issues concerning
sums and products that Martin brought to my attention. I downloaded
mathml.spad.pamphlet from the silver repository today so as to make
sure I submit a clean patch. I noticed that there are a number of minor
differences between
> > This patch is for axserver.spad.pamphlet to fix the lastType
> function which
> > wasn't doing the right thing.
>
> Could you give me an example of the wrong thing / right thing so
> I can
> see that the patch was applied correctly?
>
> Tim
Just about any sequence of commands will start
Tim,This patch is for axserver.spad.pamphlet to fix the lastType function whichwasn't doing the right thing.Arthur
--- axserver.spad.pamphlet 2007-12-19 05:04:38.0 -0800
+++ axserver.spad.pamphlet.new 2007-12-19 05:06:23.0 -0800
@@ -149,13 +149,45 @@
lastType():String ==
---
Tim, Waldek,This patch undoes the previous hex(10) patch and implements Waldek'ssolution. I've also included the mathObject2String function translated tolisp for easy testing. I tested it with the test cases in the pamphlet and itworks.Arthur
--- mathml.spad.pamphlet 2007-12-17 09:20:36.0
Oops
--- mathml.spad.pamphlet 2007-12-16 08:16:28.0 -0800
+++ mathml.spad.pamphlet.new 2007-12-17 09:20:36.0 -0800
@@ -100,7 +100,14 @@
12. y:UTS(FLOAT,'z,0) := exp(z)
13. a. c := continuedFraction(314159/10)
-b. c := continuedFraction(314159/10)
+b. c := continu
This just delivers a more appropriate error and makes a couple of small
documentation changes.
Arthur
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
- Original Message -
From: Waldek Hebisch <[EMAIL PROTECTED]>
Date: Sunday, December 16, 2007 11:35 am
Subject: [Axiom-developer] Re: [fricas-devel] mathml hex(10) patch
To: [EMAIL PROTECTED]
Cc: axiom-developer@nongnu.org
> Ralpf,
>
> You wrote:
> > Tim, Waldek,This patch is a band-aid
- Original Message -
From: Waldek Hebisch <[EMAIL PROTECTED]>
Date: Sunday, December 16, 2007 12:11 pm
Subject: [Axiom-developer] Re: [fricas-devel] mathml patch
To: [EMAIL PROTECTED]
Cc: axiom-developer@nongnu.org
>
> > Hi Tim, Waldek,This patch covers a few typos in
> the documentati
Tim,
I don't see this problem, i.e. when I do
m1:=matrix [[1,2,1],[2,1,-2],[1,-2,4]]
eigenvalues(m1)
I get the correct display with the vertical bar.
Are you still getting the wrong display?
Arthur
___
Axiom-developer mailing list
Axiom-developer@non
Tim, Waldek,This patch fixes the problem with derivatives Tim found, e.g.F:=operator Fx:=operator xy:=operator ya:=F(x z,y z,z**2)+x y(z+1)D(a,z)However I've had to abandon differential notation for now, although I'd liketo find some way to use it when appropriate, or perhaps give the user the opti
Tim,
When I execute limit(x*log(x),x=0) I get the correct rendering
leftHandLimit="failed". Are you still seeing the same thing?
Arthur
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-develope
Tim, Waldek,This patch is a band-aid for the hex(10) bug.I think there are some deeper inconsistencies however.Consider the following:(17) -> radix(5/24,39) (17) 0 . 8 4 34 Type: RadixExpansion 39(18) -> radix(5/24,40)
Hi Tim, Waldek,This patch covers a few typos in the documentation and the correction for"continuedFraction(3,repeating [1], repeating [3,6])". Waldek your patchfor this one missed the last "ZAG" in the case of a finite continued fractionand replaced it with an ellipsis. I've added a test to see i
with Firefox although you have to install some extra fonts
to get
it to render properly. There has been some discussion recently about the
STIXfonts on the mozilla mathml mailing list. Possibly in the near
future it
won't be necessary to install extra fonts.
Arthur Ralfs
__
root wrote:
> You let the enemy use your own strength against you. The Axiom front
> end is the same as the Axiom back end. It's all "of a piece" so that
> viewing the documentation and the code are all a single thing. When
> you read the documentation like a book (ala Knuth or Queinnec) you
> lear
M. Edward (Ed) Borasky wrote:
> Arthur Ralfs wrote:
>> M. Edward (Ed) Borasky wrote:
>>> Well ... if you mean "*Red Hat* Linux has won a significant market
>>> share in servers", I agree. However, I don't think as a user that
>>> either Firefox
l be.
>
Do you mean to say that you think IE is better than Firefox? Hard to
imagine.
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
[EMAIL PROTECTED] wrote:
> Arthur,
>
> zerosOf(y**4+1,y)
> definingPolynomial %y1
> 2
>%%var +1
>
> but mathml gives:
> 2
>var +1
>
> somebody ate the %%.
>
> Tim
>
>
> ___
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
[EMAIL PROTECTED] wrote:
> Arthur,
>
> )set out mathml on
> z:=continuedFraction(3,repeating [1], repeating [3,6])
>
> gives the correct answer and then fails with:
>
> >> System error:
> Cannot take first of an empty list
>
> Tim
>
>
Thanks Tim, I'll look into that as soon as I can, which unf
SYSTEM "gcc -c -Wall -DVOL=volatile -fsigned-char -pipe
>>> -I/root/axiom/mnt/fedora5/bin/../h -O3 -fomit-frame-pointer -c
>>> \"/tmp/gazonk7.c\" -o \"/tmp/gazonk7.o\" -w") returned a non-zero value
>>> 0.
>>>
>>> (11) ->
[EMAIL PROTECTED] wrote:
> (Arthur, I should note that axserver can construct an improper reply
> having somewhere in the reply. The second should
> not occur (and does not always happen). I have programmed around it)
>
>
>
>
Tim,
Can you give an example of when that occurs?
Arthur
_
Eitan Gurari wrote:
> > tex4ht to bother with it. All I want to do is test out some latex to
> mathml
> > conversions.
>
> I just compiled the AMS test file into
>
> http://www.cse.ohio-state.edu/~gurari/temp/testmath.xht
> http://www.cse.ohio-state.edu/~gurari/temp/testmath.pdf
>
> u
Martin Rubey wrote:
> Arthur Ralfs <[EMAIL PROTECTED]> writes:
>
>
>> Looking at the home page I saw directions for updating and a link
>> to some precompiled systems but no directions for a general
>> from scratch build.
>>
>
Martin Rubey wrote:
> Arthur Ralfs <[EMAIL PROTECTED]> writes:
>
>
>> The tex4ht package looks like it's too hard to install. I don't
>> run a debian based system. The only way tex4ht would fit
>> with my plan is if it was bundled and configured wit
Martin,
I took a look at the tex4ht package. Maybe I should tell you
what my "agenda" is.
I am motivated to make mathematical content and functionality
as easy as possible to access on the web.
To me the only possibility for doing this is by using a web
browser as the interface.
Philosophicall
es wrote:
> Hi Arthur,
>
> I am getting the following error with revision 34:
>
> Error: mathBox.firstChild.nextSibling has no properties
> Source File:
> http://127.0.0.1:8085/home/alfredo/sandbox/axserver/axserver/axserver.js
> Line: 180
>
> Regards,
>
> A
Alfredo, Tim,
I've posted some changes to axserver on doyen
to test a different method of console interaction. The method
of showing/hiding branches is a little clunky but gives the idea
of what sort of functionality I have in mind. I show borders for
now to make the structure clear. This is mo
Martin Rubey wrote:
> Arthur Ralfs <[EMAIL PROTECTED]> writes:
>
>
>> Sorry, I misunderstood. I thought you meant the sources were on Mathaction.
>>
>
> The sources of my program are on mathaction:
>
> http://wiki.axiom-developer.org/SandBoxHype
root wrote:
> On another subject...
>
>
> For this effort I've been generating the ODEs for Axiom and
> also running the same ODES thru Mathematica, Maple, Maxima,
> and Reduce. Unfortunately not all of these systems can generate
> mathml. Given that you're tightly wired into the mathml work
> do y
[EMAIL PROTECTED] wrote:
> Arthur,
>
> I've added the book to the new hyperdoc. I made two minor modifications.
> I changed the default background color to match the default background
> of the rest of the pages. I added name anchor tags for each chapter
> in the book-contents file. Note that there
Tim,
These patches should make the versions of axserver.spad.pamphlet
and http.lisp on silver the same as what I'm currently working on.
Arthur
--- axserver.spad.pamphlet 2007-10-08 23:28:38.0 -0700
+++ axserver.spad.pamphlet.new 2007-10-10 06:50:31.0 -0700
@@ -33,181 +33,214 @@
root wrote:
>>> Are you able to read from a socket?
>>>
>> I don't understand. Isn't this what we're doing in axserver?
>>
>
> yes, but while i'm able to connect to the socket i'm unable to
> read any data from the socket. i always get "" which causes an
> infinite loop.
>
> Tim
>
>
root wrote:
> Arthur,
>
> Are you able to read from a socket?
>
> Tim
>
>
I don't understand. Isn't this what we're doing in axserver?
Arthur
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom
Alfredo Portes wrote:
> Hi everyone,
>
> I think Arthur was going to be offline for
> a couple days. Can somebody translate
> this line for me:
>
> while (char := STRING(READ_-CHAR_-NO_-HANG(s,NIL$Lisp,'EOF)$Lisp)$Lisp)
> ^= "EOF" repeat
> headers := concat [headers,char]
>
> Better sa
root wrote:
>> One of my longer term interests is more network awareness and parallelism
>> with Axiom. For instance I imagine wanting to run axiom on a powerful
>> server and then connect to it from some other computer. It might just
>> be that I'm running Axiom on my own server and connecting t
root wrote:
> console output
>
> It occurs to me that we could make a page that does not replace
> the current result with the new result but adds the current result
> to the prior results. In this way we have the complete console
> output.
>
> If we have the complete console output it seems that w
Alfredo Portes wrote:
> Arthur,
>
> Is it ok if I separate the javascript and the html from the
> main pamphlet into separate pamphlets, so I just see them
> as the front-end and the spad/lisp as the back-end.
>
> I am planning on having the examples that Tim gave as just
> javascript functions, so
root wrote:
> Arthur,
>
>
>> Should have mentioned I use nxml-mode in emacs to make sure
>> my xml is well formed.
>>
>
> I finally figured it out. Although I'm still struggling with page
> coloring. Coloring the page and fetching it directly as a file gives a
> fully colored page. Fetching
root wrote:
> Thanks. Already found and made them.
> I used double quotes rather than "\ " to delimit the -R arguments
> but the effect is the same.
>
> The most significant problem I'm having is that my browser has
> suddenly decided to start syntax checking my html files. But it
> only does that
root wrote:
> Thanks. Already found and made them.
> I used double quotes rather than "\ " to delimit the -R arguments
> but the effect is the same.
>
> The most significant problem I'm having is that my browser has
> suddenly decided to start syntax checking my html files. But it
> only does that
Alfredo Portes wrote:
> Hi Arthur,
>
> Do you think is possible to put your latest axserver.pamphlet
> as a pamphlet file in the wiki? If you send me the latest version,
> I can do this.
>
> Regards,
>
> Alfredo
>
>
Alfredo,
The wiki won't let me upload files so I've stopped using it for the ti
This is a small patch to make the documentation work properly
in axserver.pamphlet.
Arthur
--- axserver.pamphlet 2007-09-22 09:06:19.0 -0700
+++ axserver.pamphlet.new 2007-09-22 09:10:20.0 -0700
@@ -11,14 +11,13 @@
\eject
\tableofcontents
\eject
-\section{Preface}
\section{Li
This is just the previous example I posted with everything
in one pamphlet file and with the right license. The documentation
is minimal at this point.
Arthur Ralfs
\documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/algebra axserver.spad}
\author{Arthur C. Ralfs
can then be entered via the text box.
Arthur Ralfs
http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd"; [
http://www.w3.org/1998/Math/MathML";>
]>
http://www.w3.org/1999/xhtml"; xmlns:xlink="http://www.w3.org/1999/xlink";>
Axiom Interface
<!--
This softw
sp)$Lisp)$Lisp
I get this:
(1) -> testCommand2()
Loading /home/arthur/axiom/silver/silver-07-08-25/AXSERV.nrlib/code
for package AxiomServer
>> System error:
# is not a string with a fill-pointer.
Can anybody tell me what's going on?
Thanks
Arthur Ralfs
Thanks for the suggestions from Bill and Martin.
I hope to have some time to look at this problem
later today.
Arthur
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
left(
{{Integer()}}
\right)}
\left(
{WRAPPED, \: 1, \: y, \: {2
\left(
{0}
\right)},
\: {1
\left(
{1, \: x, \: {1
\left(
{0}
\right)}}
\right)},
\: {0
\left(
{1, \: x, \: {2
\left(
{0}
\right)}}
\right)}}
\right)
$$
------
My problem is that I don't k
Bill Page wrote:
> Arthur,
>
> Perhaps we can also install this on the Axiom Wiki web server
> so that MathML output can be viewed directly in the Wiki. Last
> time I tried this (with the Reduce MathML interface) I ran into
> problems with forcing the Wiki to generate the correct headers
> for web
wing the
output in Firefox.
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
2}
\leqno(1)
$$
http://www.w3.org/1998/Math/MathML"; mathsize="big"
display="block">
y2+2xy+x2
Type: Polynomial
Integer
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Bill Page wrote:
On January 22, 2007 5:39 PM Arthur Ralfs wrote:
I want to retrieve the command from within spad code,
not from the command line
Thanks
Arthur Ralfs wrote:
Is it possible to retrieve axiom commands?
i.e. if I type in integrate(x**2,x) can I then get
that command back
I want to retrieve the command from within spad code,
not from the command line
Thanks
Arthur Ralfs wrote:
Is it possible to retrieve axiom commands?
i.e. if I type in integrate(x**2,x) can I then get
that command back rather than the output from
the command?
Arthur Ralfs
Is it possible to retrieve axiom commands?
i.e. if I type in integrate(x**2,x) can I then get
that command back rather than the output from
the command?
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org
Below is a package for producing presentation MathML. It's my first attempt
and based on Robert Sutor's TeXFomat domain. It's not finished but I would
particularly appreciate if somebody else would be interested in testing
it and
letting me know what doesn't work.
For now I have three exposed
[EMAIL PROTECTED] wrote:
I can tar it up and email the works to you if you're eager to try it out.
Might take me a day or two to get done.
Please do. I'd like to read your code.
I'm sure I'll find it helpful.
Tim
You can get it mathbrane.ca/axiom/webax-0.0.1.tar
I hope you find it
ted.
My question is what license I should use? My first inclination is to
use the GPL except that axiom is released under the BSD license.
Does it make any difference?
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.
Page.
OK I got the source but when I went to the second wiki link it
redirected to http://wiki.axiom-developer.org/axiom--GUI--1/FrontPage
which was a new page with nothing in it.
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
'm eager to see what's been done already.
Arthur Ralfs
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
80 matches
Mail list logo
