Re: [fricas-devel] Output Project Proposal

2014-03-23 Thread Waldek Hebisch
Martin Baker wrote: On 20/03/14 08:05, Ralf Hemmecke wrote: OK, I see, you basically want to rename i-output.boot to newoutput.spad and change the syntax from boot to spad. In the case of mathprintWithNumber/algebraFormat I would rather write it by modifying an existing formatter than

Re: [fricas-devel] Output Project Proposal

2014-03-23 Thread Waldek Hebisch
Ralf Hemmecke wrote: Another question for me is the overall picture of i-output.boot. If I understand that correctly, then we have the following. OutputForm is (more or less) a general expression tree that already encodes some visual information like whether something is on top of each

Re: [fricas-devel] Output Project Proposal

2014-03-20 Thread Waldek Hebisch
--047d7bdc98822077b104f5026095 Content-Type: text/plain; charset=ISO-8859-1 I just built FriCAS from the most recent svn trunk on a fresh and up to date OpenSuSE 13.1 x86_64 Linux system. Using SBCL from the repository worked fine. But in fact I did have a couple of unusual problems.

Re: [fricas-devel] Output Project Proposal

2014-03-20 Thread Martin Baker
Waldek, I can start working on a SPAD version of mathprintWithNumber AKA algebraFormat (which will use existing OutputForm/SExpression structure) now if you like. I am reasonably confident that I can have it fully functional (both 1D and 2D) in a few weeks time. After that I could work on

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Ralf Hemmecke
See http://www.texmacs.org/joris/mmxtyping/mmxtyping.pdf I wonder why Joris does not mention Aldor default implementations. #include aldor define Monoid: Category == with { *: (%, %) - %; default square(x: %): % == x * x; } Ralf -- You received this message because you are subscribed to

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Ralf Hemmecke
Excellent. Earlier you wrote that the translation rules are incomplete. Is there a document somewhere that describes what works and what does not? What works now: * powers, fractions (fraction bar), square (and higher) roots * matrices, determinants * indefinite and definite integrals *

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Martin Baker
On 19/03/14 10:09, Ralf Hemmecke wrote: There are some things that would help me. I always have problems doing a full make of FriCAS as you can see here: http://www.euclideanspace.com/maths/standards/program/fricas/compiling/ I did once manage to build it using CLisp but it was problematic.

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Ralf Hemmecke
I think the problem not the FriCAS code but mostly with getting lisp, especially SBCL, installed on my distribution (openSUSE). Also operating system parameters such as: 'virtual memory limit'. :-( Then drop openSUSE, if it makes life complicated. I do prefer using the FriCAS binary then I

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Bill Page
I use SBCL on OpenSuSE 13.1 and I have no problems. If you have questions just ask. On 19 March 2014 11:31, Ralf Hemmecke r...@hemmecke.org wrote: I think the problem not the FriCAS code but mostly with getting lisp, especially SBCL, installed on my distribution (openSUSE). Also operating

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Waldek Hebisch
Martin Baker wrote: Ralf, Waldek, Andrey, Thank you for the useful information, I have added it to the document: http://www.euclideanspace.com/maths/standards/program/mycode/output/ So here is the $64000 question ... take your time ... dramatic pause ... Is this a worthwhile project

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Ralf Hemmecke
I am commited to moving code from Boot to Spad. However, I am worried by big bang, fresh start approach you seem to prefer. Hmmm... I usually go for the rewrite from scratch. ;-) Well, in this case it will basically be one anyway, because it seems that the most important function is mathprint

Re: [fricas-devel] Output Project Proposal

2014-03-19 Thread Bill Page
I just built FriCAS from the most recent svn trunk on a fresh and up to date OpenSuSE 13.1 x86_64 Linux system. Using SBCL from the repository worked fine. But in fact I did have a couple of unusual problems. 1) Default locale on this system is en_US.UTF-8. This caused a problem with building

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Ralf Hemmecke
On 03/18/2014 03:40 AM, Andrey G. Grozin wrote: For example, TeXmacs can be an improved replacement for HyperDoc, with a modern and intuitive interface (HyperDoc definitely looks and feels old-fashioned). This can be achieved by doing only a moderate amount of work. I'd be interested to learn

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Andrey G. Grozin
On Tue, 18 Mar 2014, Ralf Hemmecke wrote: I'd be interested to learn how difficult it would be to translate the .htex format (for example, https://github.com/hemmecke/fricas-svn/blob/master/src/doc/htex/FRAC.htex) into a texmacs file. No file translation needed. .htex files are nearly tex, with

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Bill Page
On 17 March 2014 22:40, Andrey G. Grozin a.g.gro...@inp.nsk.su wrote: On Mon, 17 Mar 2014, Ralf Hemmecke wrote: As far as I know TeXmacs can embed FriCAS in its documents and when one calls fricas from TeXmacs, then fricas outputs in texmacs format and texmacs does the formatting. Yes,

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Martin Baker
Ralf, Waldek, Andrey, Thank you for the useful information, I have added it to the document: http://www.euclideanspace.com/maths/standards/program/mycode/output/ So here is the $64000 question ... take your time ... dramatic pause ... Is this a worthwhile project and would you like me to work

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Ralf Hemmecke
On 03/18/2014 03:40 PM, Bill Page wrote: Yes, TeXmacs can embed FriCAS commands and display FriCAS output. But unless I am mistaken still FriCAS generates LaTeX in the usual way and that is interpreted by TeXmacs. Bill, you are a bit behind the current state of FriCAS.

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Andrey G. Grozin
On Tue, 18 Mar 2014, Bill Page wrote: Yes, TeXmacs can embed FriCAS commands and display FriCAS output. But unless I am mistaken still FriCAS generates LaTeX in the usual way and that is interpreted by TeXmacs. This is the same way that TeXmacs works with Maxima. TeXmacs however does have a

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Bill Page
Ah right, I must be getting old or else I was mostly elsewhere in 2011 ... I forgot all about the great work done by Alexander D. Solovets! On 18 March 2014 11:40, Ralf Hemmecke r...@hemmecke.org wrote: On 03/18/2014 03:40 PM, Bill Page wrote: Yes, TeXmacs can embed FriCAS commands and display

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Bill Page
On 18 March 2014 12:36, Andrey G. Grozin a.g.gro...@inp.nsk.su wrote: On Tue, 18 Mar 2014, Bill Page wrote: Yes, TeXmacs can embed FriCAS commands and display FriCAS output. But unless I am mistaken still FriCAS generates LaTeX in the usual way and that is interpreted by TeXmacs. ... This

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Andrey G. Grozin
On Tue, 18 Mar 2014, Bill Page wrote: Excellent. Earlier you wrote that the translation rules are incomplete. Is there a document somewhere that describes what works and what does not? What works now: * powers, fractions (fraction bar), square (and higher) roots * matrices, determinants *

[fricas-devel] Output Project Proposal

2014-03-17 Thread Martin Baker
I have put a proposal for a project to change how FriCAS formats output here: http://www.euclideanspace.com/maths/standards/program/mycode/output/ I've just realised my use of the word 'project' could be confusing here, I should stress that this has nothing to do with any GSoC projects,

Re: [fricas-devel] Output Project Proposal

2014-03-17 Thread Ralf Hemmecke
http://www.euclideanspace.com/maths/standards/program/mycode/output/ You ask there whether the texmacs format is used. As far as I know TeXmacs can embed FriCAS in its documents and when one calls fricas from TeXmacs, then fricas outputs in texmacs format and texmacs does the formatting. It is

Re: [fricas-devel] Output Project Proposal

2014-03-17 Thread Martin Baker
On 17/03/14 14:08, Ralf Hemmecke wrote: http://www.euclideanspace.com/maths/standards/program/mycode/output/ You ask there whether the texmacs format is used. As far as I know TeXmacs can embed FriCAS in its documents and when one calls fricas from TeXmacs, then fricas outputs in texmacs

Re: [fricas-devel] Output Project Proposal

2014-03-17 Thread Waldek Hebisch
Martin Baker wrote: I have put a proposal for a project to change how FriCAS formats output here: http://www.euclideanspace.com/maths/standards/program/mycode/output/ I've just realised my use of the word 'project' could be confusing here, I should stress that this has nothing to do

Re: [fricas-devel] Output Project Proposal

2014-03-17 Thread Andrey G. Grozin
On Mon, 17 Mar 2014, Ralf Hemmecke wrote: As far as I know TeXmacs can embed FriCAS in its documents and when one calls fricas from TeXmacs, then fricas outputs in texmacs format and texmacs does the formatting. TeXmacs can be used as a GUI front end for FriCAS, maxima, reduce, sympy, sage,