Re: [Axiom-developer] Design of Semantic Latex

2016-08-27 Thread Richard Fateman
Designation of branch cuts is sometimes denoted by natural language. While the end points are specific -- depend of singularities -- the cuts can be moved for convenience, and this is done often to evaluate contour integrals, for example. Take up a book on complex analysis and see what problems y

Re: [Axiom-developer] Design Thoughts on Semantic Latex (SELATEX)

2016-08-18 Thread Richard Fateman
thanks for all the references :) I'm not sure if I'm going to repeat comments I made already somewhere. First, has Dan Zwillinger weighed in? I think that it would be useful to see what he has done. Next, there are ambiguities among CAS and even within a single CAS. For example, in Macsyma/

Re: [Axiom-developer] Semantic Latex

2016-08-14 Thread Richard Fateman
On 8/14/2016 11:05 AM, James Davenport wrote: Indeed, the semantics of LaTeX is pretty weak. I REALLY wouldn't like to start from there - even (good) MathML-P, with ⁢ etc. is much better. However, LaTeX is what we have, and what we are likely to have in the near future, so we must live with it,

[Axiom-developer] Re: Rule-based integration

2010-07-29 Thread Richard Fateman
TimDaly wrote: ... There has been some initial discussions between myself, Albert Rich, and David Parnas about how to think about this problem. My current thinking involves a tree-structuring of the rule patterns where each node in the tree represents one or more pattern tables and each edge

[Axiom-developer] RE: [Maxima] gcl inlining policy

2007-07-06 Thread Richard Fateman
It seems to me that in-lining a function of any significant length is very likely to be a mistake, though I suppose it depends on the memory cache management. If the in-lining is done to remove consing, then perhaps the solution is to address the consing itself. I don't know the exact circumstanc

[Axiom-developer] RE: [Maxima] 2.7.0 nqthm compile times

2007-06-22 Thread Richard Fateman
The Franz Lisp system (on the VAX) had a file-compiler feature which allowed you to group functions that were (in today's nomenclature) private, and could only be called from functions in that file. It was not possible to redefine such internal functions without recompiling the file. The externa

[Axiom-developer] Re: integration server

2005-11-07 Thread Richard Fateman
I checked the interface. If you do the same as Ron Avitzur, you open a socket and send a string in prefix form, like (integrate (sin x) x) and you get a response like (-1)*cos(x) Even easier would be (* -1 (cos x)) but that is not what Ron wanted. The socket is at tilu/integrateGC2 I could se