Re: [fricas-devel] FriCAS and TeXmacs update
On Wed, Oct 28, 2020 at 11:56 AM Kostas Oikonomou wrote: > > To answer your questions, I am not a very sophisticated Fricas > user, so I don't write SPAD code. :) Well, you are already using FriCAS so I would say that you are rather sophisticated! The SPAD compiler is frustrating by modern standards but the language itself is quite straightforward, albeit a bit overly pedantic, compared to the interpreter. I think most people could easily learn to program in SPAD from a few basic examples. > But, more importantly, TeXmacs is not really a programmer's editor > like Emacs. It is an editor for scientific (technical) documents. What I had in mind is perhaps little like the literate programming ideal that was promulgated by the original Axiom parent project (and still in use there). I never liked the idea much when it came to maintaining existing Axiom system code but it still makes sense to me in the case of the activity of scientific application programming itself. > (Nevertheless, it knows how to typeset fragments of many > programming languages so they look good when included in > a document. By "programming languages" we also mean > computer algebra systems.) I agree. > So for writing SPAD code I would use Emacs, or some other > IDE, if you prefer. Wel, OK. There are valid arguments however that code and documentation really belong together, especially in the case of research. What I had in mind perhaps could be done in TeXmacs by inventing a new FriCAS session type just for the compiler. The main difference would be that the contents of a SPAD session would be compiled instead of being interpreted. > > With respect to including graphics in a document, there > is a sophisticated interface that handles eps, pdf, png. > You can access it by the button with the picture of a tree > in the second row of the buttons at the top of the window. Hmm, FriCAS does have some preliminary support for the generation of GNUplot input data. I wonder if that could be used together with the GNU plot plugin for TeXmacs - or some other similar graphics plugin? I think Kurt and Ralf are/were thinking of something like this for the FriCAS Jupyter interface. Bill Page. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAC6x94T5mMCHLbJgDpw88N_V5zvteBx3pg7BgE9gndruCoZWZg%40mail.gmail.com.
Re: [fricas-devel] Slight error in the Fricas book
On Wed, Oct 28, 2020 at 10:23:11PM +0100, Ralf Hemmecke wrote: > Oh, right. I first thought that "Domain" never existed, but that > seemingly only applied to the Aldor language. > > The original AXIOM Book be Jenks and Sutor mentions "Type: Domain" as a > result type for "Polynomial Integer" in this place. > > Would have been nice if this were still the case, but obviously, it is > gone from the code. Maybe just from printing it, because I am not aware > of the fact that an actual type "Domain" (which would have to be a > category) ever existed. > > Waldek, do you remember details here? Well, we have this thing called ChangeLog: 2009-12-04 Waldek Hebisch * src/interp/trace.boot, src/interp/i-analy.boot, src/interp/buildom.boot, src/interp/i-coerce.boot, src/interp/parse.boot, src/interp/i-output.boot, src/interp/i-spec2.boot, src/interp/g-cndata.boot, src/interp/setq.lisp, src/interp/i-funsel.boot, src/interp/i-eval.boot, src/interp/br-con.boot, src/interp/i-spec1.boot, src/interp/clammed.boot: Replace 'Domain' by 'Type' and 'Subdomain(Domain)' by 'Category'. And there was discussion in the mailing list. All references type 'Domain' is documentation should be replaced by 'Type'. But 'Domain' is used quite a lot with different meaning so it is hard to search for and some erroneous reference my still remain... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/20201028213740.GA33709%40math.uni.wroc.pl.
Re: [fricas-devel] Slight error in the Fricas book
Oh, right. I first thought that "Domain" never existed, but that seemingly only applied to the Aldor language. The original AXIOM Book be Jenks and Sutor mentions "Type: Domain" as a result type for "Polynomial Integer" in this place. Would have been nice if this were still the case, but obviously, it is gone from the code. Maybe just from printing it, because I am not aware of the fact that an actual type "Domain" (which would have to be a category) ever existed. Waldek, do you remember details here? Ralf On 10/28/20 8:48 PM, Neven Sajko wrote: > Hello Ralf, > > Well, I could just replace "Domain" with "Type" in the appropriate > place, but I'm afraid I am not able to fix the book with an > appropriate clarifying comment, as I don't know anything about the > exact relation between the Fricas type "Type" and Fricas domains, or > the history of the "Domain" type (I guess it was removed from > Fricas?). > > Neven > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/2fc8a23b-8938-61a4-9408-ee948064e061%40hemmecke.org.
Re: [fricas-devel] Slight error in the Fricas book
Hello Ralf, Well, I could just replace "Domain" with "Type" in the appropriate place, but I'm afraid I am not able to fix the book with an appropriate clarifying comment, as I don't know anything about the exact relation between the Fricas type "Type" and Fricas domains, or the history of the "Domain" type (I guess it was removed from Fricas?). Neven -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4MHN28VQV7emDk1q4h%3DwPN_V72dzrcvTH1_ct%3DdeHC55g%40mail.gmail.com.
Re: [fricas-devel] Slight error in the Fricas book
Thanks. That will be fixed in the new release. If you want to see your name in the git log, then provide a patch otherwise I will commit tomorrow. Ralf On 10/28/20 6:39 PM, Neven Sajko wrote: > Hello, > > In https://fricas.github.io/book.pdf on page 79 in section 2.1.1, it > is said that "The result is appropriately stated to be of type > Domain". This refers to entering "Polynomial(Integer)" into the Fricas > interpreter. However the actual type as reported by Fricas is not > "Domain", but rather "Type". This is reflected in both the Fricas > generated entry in the book and the actual and up to date Fricas > interpreter from Git master. > > This does not seem like a big mistake, but it could be confusing and > off-putting to beginners that are only getting introduced to Fricas > with the help of the Fricas book. > > Regards, > Neven Sajko > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/72177a6a-694b-0543-50fa-f518195bff1d%40hemmecke.org.
[fricas-devel] Slight error in the Fricas book
Hello, In https://fricas.github.io/book.pdf on page 79 in section 2.1.1, it is said that "The result is appropriately stated to be of type Domain". This refers to entering "Polynomial(Integer)" into the Fricas interpreter. However the actual type as reported by Fricas is not "Domain", but rather "Type". This is reflected in both the Fricas generated entry in the book and the actual and up to date Fricas interpreter from Git master. This does not seem like a big mistake, but it could be confusing and off-putting to beginners that are only getting introduced to Fricas with the help of the Fricas book. Regards, Neven Sajko -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4Prv0ZsH-Suy9b5anwd-E8Gury1m9fOCBoPF6QbbqYnZQ%40mail.gmail.com.
Re: [fricas-devel] FriCAS and TeXmacs update
Hi Bill, Yes, TeXmacs has made huge progress over the last few years, and is continuing to do so. Just as one example, the Fricas interface typesets the integral on p. 66 of the Fricas book with very nice line breaking. To answer your questions, I am not a very sophisticated Fricas user, so I don't write SPAD code. But, more importantly, TeXmacs is not really a programmer's editor like Emacs. It is an editor for scientific (technical) documents. (Nevertheless, it knows how to typeset fragments of many programming languages so they look good when included in a document. By "programming languages" we also mean computer algebra systems.) So for writing SPAD code I would use Emacs, or some other IDE, if you prefer. With respect to including graphics in a document, there is a sophisticated interface that handles eps, pdf, png. You can access it by the button with the picture of a tree in the second row of the buttons at the top of the window. To understand it in detail, the TeXmacs help system is very good, like that of Emacs. E.g., Help -> Search -> Documentation, and then typing "picture" gives a number of hits, the relevant one being "inserting images". Even better, if you are not adverse to reading manuals, the full TeXmacs manual in PDF is an excellent source: http://www.texmacs.org/tmweb/help/learn.en.html This contains all of the material in the "Help" menu in one document. For images, see sec. 5.2. Kostas On 10/27/20 1:11 PM, Bill Page wrote: Kostas, Thank you for the link to the updated Linux binaries for TeXmacs. After some initial testing I think things seem to have improved significantly since the last time I used TeXmacs and FriCAS together a few years ago. TeXmacs seems more reliable and more responsive than it did back then. I had no problem accessing FriCAS immediately after installing TeXmacs and Greek characters and other special symbols worked as expected. I will probably try using this combination for my next FriCAS project. I have a couple of questions. Do you also use TeXmacs to edit SPAD code? If so, do you have any "best practices" advice about editing, compiling and running custom SPAD code in this environment? Second, is there some way to embed FriCAS-generated graphics/plots into TeXmacs documents? Maybe this is a good time to put a little more emphasis on this alternative user interface for FriCAS. Bill Page. On Mon, Oct 26, 2020 at 6:43 PM Kostas Oikonomou wrote: Thanks to everyone who helped resolve this problem. As an aside, if anyone wants to try the latest TeXmacs, there are *static* binaries for Linux now available, which should make the installation painless: http://www.texmacs.org/tmweb/download/linux.en.html (There seem to be static binaries for MacOS and Windows as well.) Kostas -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/8c8b85b9-965d-526f-a0ac-dbee8707e7c6%40gmail.com.
