Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Bill Page
Of course axiom-wiki uses the tex output extensively in a manner similar to efricas. On 2014-06-29 6:06 AM, Ralf Hemmecke r...@hemmecke.org wrote: There were several point that made me think. 1) Where is TexFormat actually used? 2) Don't break efricas way of showing rendered latex via

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Bill Page
On 2014-06-29 3:26 PM, Ralf Hemmecke r...@hemmecke.org wrote: For MathAction I hope this will be easy: AFAICS Python code matches generically '\begin{something}...\end{something}' so probably no change will be needed. There is global LaTeX template and we need to use appropriate style

Re: [fricas-devel] Re: [gsync fricas] Fix gcd failure due to bad

2014-06-04 Thread Bill Page
On 4 June 2014 22:15, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: First, ... Second, you have running code. Running it and adding diagnostic printouts may show what happens much faster than static analysis of code. +1 Third, ... Fourth, we have this mailing list and you can ask

Re: [fricas-devel] FriCAS API

2014-05-30 Thread Bill Page
On 30 May 2014 03:35, Ralf Hemmecke r...@hemmecke.org wrote: ... We can have just PositiveInteger as argument type. http://hemmecke.de/fricas/html/PrimeField.html Yes. Its signature is: PrimeField(p : PositiveInteger) : Join(FiniteFieldCategory, FiniteAlgebraicExtensionField(%),

Re: [fricas-devel] FriCAS API

2014-05-29 Thread Bill Page
Yes that seems to work real nice. I like it! Just a few questions/observations that perhaps you have already considered: Maybe a slightly different layout would make the meaning of the link to source code more obvious. There are some red exports such as divide in NonNegativeInteger that have

Re: [fricas-devel] FriCAS API

2014-05-29 Thread Bill Page
On 29 May 2014 18:38, Ralf Hemmecke r...@hemmecke.org wrote: On 05/29/2014 11:29 PM, Bill Page wrote: I guess my first thought when seeing the red color was that something was wrong. Well... I guess, all that is a question of style and some link that explains what certain colors stands

Re: [fricas-devel] FriCAS API

2014-05-29 Thread Bill Page
Oops. On 29 May 2014 20:10, Bill Page bill.p...@newsynthesis.org wrote: ... Of course what we see instead is Complex: (R: CommutativeRing) :ComplexCategory(R) That should have been Complex(R: CommutativeRing) :ComplexCategory(R) that is, without the initial : . This is the same

Re: [fricas-devel] FriCAS API

2014-05-28 Thread Bill Page
I think it looks good Ralf and quite useful. I especially like the point and click navigation. The search on readthedocs seems a little weak. For example search for Lie Algebra finds nothing but a search for Lie finds many results including LieAlgebra. Maybe I just don't know how to use it yet.

Re: [fricas-devel] FriCAS API

2014-05-28 Thread Bill Page
On 28 May 2014 18:42, Ralf Hemmecke r...@hemmecke.org wrote: On 05/29/2014 12:03 AM, Bill Page wrote: I think it looks good Ralf and quite useful. You were just a few minutes too early. I've just had readthedocs build a new version. :) This one now shows FriCAS 1.2.3 and is in style

Re: [fricas-devel] fricas book.dvi

2014-05-18 Thread Bill Page
On 18 May 2014 09:11, Ralf Hemmecke r...@hemmecke.org wrote: ... If someone want's to put texbreak into TeXFormat, fine for me, but I will not be that one, because I think that output for .tex should anyway be small and not cover (waste) several printed pages. It's a task for the author of

Re: [fricas-devel] removal of pamphlet format

2014-05-18 Thread Bill Page
On 18 May 2014 17:43, Ralf Hemmecke r...@hemmecke.org wrote: ... Anyway, I usually introduce rep x == (x@%) pretend Rep per x == (x@Rep) pretend % right at the top of the file, making them global macros for possibly several domains in the file. Well not a real problem, but I'd like to

Re: [fricas-devel] fricas book.dvi

2014-05-17 Thread Bill Page
On 17 May 2014 08:30, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: ... Well operators in OutputForm correspond to exported functions and it is easy to find out relation between functions and operators. In particular ALTSUPERSUB corresponds to 'supersub' and we have: supersub :

Re: [fricas-devel] FriCAS API

2014-05-16 Thread Bill Page
On 16 May 2014 05:42, Martin Baker ax87...@martinb.com wrote: On 16/05/14 10:28, Ralf Hemmecke wrote: I'm not saying that there is an easy way to do any of this. I'm just saying that on my computer and for at least one other person who has reported this issue, on this forum, this is broken.

Re: [fricas-devel] Recent changes

2014-05-16 Thread Bill Page
On 15 May 2014 23:23, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Concerining structure of sources, currently there is a requrement to have ')abbrev' lines at the start of constructor, that is ')abbrev' must be the very first thing, anything before it will be cut off by the 'unpack_file'

Re: [fricas-devel] FriCAS API

2014-05-16 Thread Bill Page
On 2014-05-16 10:51 AM, Martin Baker ax87...@martinb.com wrote: On 16/05/14 13:19, Bill Page wrote: On 16 May 2014 05:42, Martin Baker ax87...@martinb.com wrote: Of course if this bug can be reproduced by someone here than it should be reported. Can you find the user report in the email

Re: [fricas-devel] Recent changes

2014-05-16 Thread Bill Page
as Ralf noted, the grouping into pamphlet files long ago broke part of the AXIOM help system that was intended to point users to the appropriate SPAD source file. On 2014-05-16 11:10 AM, Martin Baker ax87...@martinb.com wrote: On 16/05/14 13:40, Bill Page wrote: I like getting rid of the pamphlet

Re: [fricas-devel] FriCAS API

2014-05-16 Thread Bill Page
On 2014-05-16 12:15 PM, Martin Baker ax87...@martinb.com wrote: On 16/05/14 16:24, Bill Page wrote: Could you give an example of what is not working for you? What do you mean by mouse bit? Of course how useful it is depends on exactly what you want to do, but what it does provide does

Re: [fricas-devel] FriCAS API

2014-05-14 Thread Bill Page
On 2014-05-14 3:23 AM, jiazhaoconga jiazhaoco...@gmail.com wrote: If you talk about modern format: my favorite would be something XML based. There are tools to transform XML and support for publishing, in particular derivatives of docbook. Just a comment: DITA is XML based but different

Re: [fricas-devel] FriCAS API

2014-05-14 Thread Bill Page
On 14 May 2014 04:01, Martin Baker ax87...@martinb.com wrote: My first impression - I think FriCAS does need something like this. I have not come across readthedocs.org or Sphinx before, so I can't comment on the technical details, but if not this system, then something like it is really

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Bill Page
Ralf, Thanks for your efforts on this sort of documentation for FriCAS. I have looked at your readthedocs site but I find I am rather skeptical of any advantage this form of documetation might have over hyperdoc. What is your actual goal in this work? Bill. On 12 May 2014 19:00, Ralf

Re: [fricas-devel] FriCAS API

2014-05-13 Thread Bill Page
On 13 May 2014 15:17, Ralf Hemmecke r...@hemmecke.org wrote: I have looked at your readthedocs site but I find I am rather skeptical of any advantage this form of documetation might have over hyperdoc. Oh. What about full text search? Yes, good. But this searches only the names, right?

Re: [fricas-devel] Interpreter assignment to aggregates.

2014-05-11 Thread Bill Page
Doesn't it make sense to always require a setelt function? On 2014-05-11 4:49 PM, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: What do you think about following code: kn n == r : MATRIX INT := new(n,n,1) for i in 1..n repeat r.i.i := 0 r in particular assignment to 'r.i.i'?

Re: [fricas-devel] Interpreter assignment to aggregates.

2014-05-11 Thread Bill Page
On 2014-05-11 6:22 PM, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: Doesn't it make sense to always require a setelt function? I am not sure what you mean. In r : MATRIX INT := new(3, 3, 1) r.1.1 there is a two-argument setelt function and interpreter effectively

Re: [fricas-devel] Troubles with kernels

2014-05-10 Thread Bill Page
I always use )clear completely. Is there a good reason to provide weaker alternatives such as )clear all ? -- 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

Re: [fricas-devel] High order (generic) functions

2014-04-23 Thread Bill Page
Strictly speaking the following commands to the interpreter plus (f,g) == x+-f(x)+g(x) and double n == n + n do not define functions but rather modes. A mode can stand for many possible functions. On the other hand plus(f:INT-INT,g:INT-INT):INT-INT == (x:INT):INT +- f(x)+g(x)

Re: [fricas-devel] High order (generic) functions

2014-04-23 Thread Bill Page
On 23 April 2014 09:59, jiazhaoconga jiazhaoco...@gmail.com wrote: On Wed, Apr 23, 2014 at 9:54 PM, Bill Page bill.p...@newsynthesis.org wrote: Strictly speaking the following commands to the interpreter plus (f,g) == x+-f(x)+g(x) and double n == n + n do not define functions

Re: [fricas-devel] fricas book.dvi

2014-04-22 Thread Bill Page
as less desirable than breaks outside delimiters. Most of the time a break will not be taken within delimiters until the alternatives have been exhausted. On 21 April 2014 16:42, Ralf Hemmecke r...@hemmecke.org wrote: On 04/21/2014 09:12 PM, Bill Page wrote: ... Can you give an example

[fricas-devel] (HyperDoc) Keyword not currently supported: verb While parsing T105

2014-04-19 Thread Bill Page
I just built FriCAS from the most recent source (Sat Apr 19 ) If I browse for TEX in hyperdoc I get the following message: wspage@suse:~/Desktop fricas Checking for foreign routines AXIOM=/usr/local/lib/fricas/target/x86_64-suse-linux

Re: [fricas-devel] texbreak

2014-04-14 Thread Bill Page
It is still in use on axiom-wiki . As I recall I made only minor changes in the calling method to suit the the Python environment. On 2014-04-13 7:11 PM, Ralf Hemmecke r...@hemmecke.org wrote: I've tried texbreak from NAGcdrom without success. I had to change recognition of \[ .. \] to

Re: [fricas-devel] fricas book.dvi

2014-04-13 Thread Bill Page
If the intention is to produce a FriCAS specific equivalent to the Axiom book then I think that much of the preface needs to be re-written. It is almost a bit embarrassing to read it with just the word Axiom replaced with FriCAS. On 2014-04-13 9:58 AM, Ralf Hemmecke r...@hemmecke.org wrote: New

Re: [fricas-devel] ioHook for display

2014-04-08 Thread Bill Page
I wonder if this is also related to the problem that I reported with display of SPAD compiler output, ie. )compile command in TeXmacs. TeXmacs has a problem with synchronizing and identifying the compiler output. On 8 April 2014 20:14, Ralf Hemmecke r...@hemmecke.org wrote: I've added two

Re: [fricas-devel] gen-cpl.fasl written into source directory

2014-04-07 Thread Bill Page
On 7 April 2014 09:25, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Thanks for noticing this. The problem is due to how ')read' behaves: it creates '.fasl' file parallel to the source file. In this case we could avoid creating '.fasl' (the code is run-once, so compilation is not

Re: [fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS

2014-04-07 Thread Bill Page
On 7 April 2014 09:58, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: Why did you choose List SingleInteger as the return type of uentries? it seems a little none standard. I see that ucodeToString has Integer - String and ord$Character returns Integer and char has Integer

Re: [fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS

2014-04-06 Thread Bill Page
On 6 April 2014 18:54, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: I have now added 'uentries' to String. With it 'utf2cork' should look like: utf2cork(s : String) : String == concat [cork(c) for c in uentries s] 'cork' should now take SingleInteger argument, and the table

[fricas-devel] gen-cpl.fasl written into source directory

2014-04-06 Thread Bill Page
It seems that the following commit is causing a generated file to be written into the source tree although I am building out of source. https://github.com/hemmecke/fricas-svn/commit/7a9326fb3c15b7918c2acf3b5b4078114a0a89a6 Generate command.list git-svn-id:

Re: [fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS

2014-04-06 Thread Bill Page
/18c1c8f5993b04a971cdcf2ecdc939421771502f for an update of the contrib/texmacs directory with modifications to fricas-input.scm. On 6 April 2014 23:34, Bill Page bill.p...@newsynthesis.org wrote: On 6 April 2014 18:54, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: I have now added 'uentries' to String

Re: [fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS

2014-04-05 Thread Bill Page
On 4 April 2014 23:25, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: In any case I now have a patch to the texmacs package in FriCAS that does the utf-8 to Cork conversion. I have attached a draft FriCAS patch, the modified fricas-input plugin and an example document (also

Re: [fricas-devel] Fonts in HyperDoc

2014-04-04 Thread Bill Page
wspage@suse:~ xlsfonts -fn -adobe-courier-medium-r-* | wc -l 240 wspage@suse:~ xlsfonts -fn -adobe-courier-medium-r-* | grep '\-\-18\-' -adobe-courier-medium-r-normal--18-180-75-75-m-110-iso10646-1 -adobe-courier-medium-r-normal--18-180-75-75-m-110-iso10646-1

Re: [fricas-devel] asq

2014-04-04 Thread Bill Page
On 4 April 2014 17:40, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: ... This is what I tried: wspage@suse:~/fricas-build $AXIOM/bin/asq -all INTEGER Not found! asq needs either abbreviation or a constructor. asq is case sensitive. Try $AXIOM/bin/asq -all Integer

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-03 Thread Bill Page
On 3 April 2014 04:31, Ralf Hemmecke r...@hemmecke.org wrote: On 04/03/2014 09:33 AM, Martin Baker wrote: ... I think it needs something very very simple which requires no new learning, i.e. it can be done with a WYSIWYG editor. Then document standards need to be enforced. Looks like you

Re: [fricas-devel] Short term plans

2014-04-03 Thread Bill Page
On 3 April 2014 22:17, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: ATM I have no plans to do it, but relatively easy task is to produce static web version of Browser info. Note that this make sense only as an automatic procedure, because any one time convertion will soner or later get out

Re: [fricas-devel] $saturn

2014-04-02 Thread Bill Page
On 2 April 2014 09:15, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: ... Concerning keeping it: Saturn code caused little trouble, so to the moment keeping it less effort than removing it. Also, it could be good starting point for rich interface. Texmacs folks prefered Scheme for

Re: [fricas-devel] $saturn

2014-04-02 Thread Bill Page
On 2 April 2014 09:15, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: ... Texmacs folks prefered Scheme for cominitaction, but according to what Andrey Grozin wrote we could also use tex/latex. Given that retargeting Saturn code to talk to Texmacs makes sense and probably would require less

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-02 Thread Bill Page
On 2014-04-02 7:08 PM, Ralf Hemmecke r...@hemmecke.org wrote: ... that the over all design of HyperDoc kind of sucks. Well, yes, but unless we have something better... Just complaining doesn't help. Everyone is invited to improve or replace HyperDoc by something more modern. I was not so

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-01 Thread Bill Page
==--){a[$$2]=1}else{if($$1 in a){print}}}'\ | sort -k2 $@ Scanning the pamphlet files seems a bit risky to me. On 1 April 2014 16:38, Ralf Hemmecke r...@hemmecke.org wrote: On 03/28/2014 11:33 PM, Bill Page wrote: When I make a small change to some src/algebra/xxx.spad.pamphlet file

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-01 Thread Bill Page
Scanning pamphlet files means that one has to be careful to avoid writting anything in the non-code sections or in inert code sections that too closely resembles )abrev ... This seems like an unnecessary arbitrary restriction on the contents of .spad.pamphlet files. Given the current build

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-01 Thread Bill Page
: Bill Page write: Scanning pamphlet files means that one has to be careful to avoid writting anything in the non-code sections or in inert code sections that too closely resembles )abrev ... This seems like an unnecessary arbitrary restriction on the contents of .spad.pamphlet files

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-01 Thread Bill Page
On 1 April 2014 21:17, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: ... In FriCAS you are not supposed to mix documentation and code. If your documentation is usable from HyperDoc then it should go into src/doc/ht or src/doc/htex. Otherwise doc is a good place. IME trying to mix

Re: [fricas-devel] changing algebra without revuilding the ht stuff

2014-04-01 Thread Bill Page
Of course it is not really my intention to rebuild hyperdoc each time I make a small change to a source file. I would like to be able to just make a change to a spad(.pamphlet) file and type make/make install. But if it is necessary for the integrity of the system to rebuild some part of

Re: [fricas-devel] Fwd: Adding TeXmacs symbols to FriCAS math-mode input

2014-03-28 Thread Bill Page
On 27 March 2014 21:21, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: On 24 March 2014 21:33, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: ... The only way I can see to prevent that is to actually re-code the TeXmacs symbols into utf-8 characters (where

Re: [fricas-devel] Fwd: Adding TeXmacs symbols to FriCAS math-mode input

2014-03-28 Thread Bill Page
On 27 March 2014 19:44, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: Type: String (11) - some other (11) some other scheme: (with mode math (concat some other

[fricas-devel] changing algebra without revuilding the ht stuff

2014-03-28 Thread Bill Page
When I make a small change to some src/algebra/xxx.spad.pamphlet file and re-run 'make' it does re-compile the pamphlet but then it spends a lot more time re-creating the .ht files for hypertex. Is there some easy way to avoid that and only rebuild the hyperdoc stuff when I am finished? -- You

[fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS math-mode input

2014-03-28 Thread Bill Page
Thu, 27 Mar 2014 08:42:08 -0400, Bill Page bill.p...@newsynthesis.org a écrit : Most of the doc is in Help - Interfacing. Yes. :( Unfortunately unicode does not seem to be mentioned anywhere there. Actually, charset is a confusing thing into TeXmacs (due to Cork which is almost

[fricas-devel] Re: [Texmacs-dev] Adding TeXmacs symbols to FriCAS math-mode input

2014-03-26 Thread Bill Page
On 26 March 2014 06:08, François Poulain fpoul...@metrodore.fr wrote: Hi Bill, Le Mon, 24 Mar 2014 11:40:06 -0400, Bill Page bill.p...@newsynthesis.org a écrit : The following patch is based on similar coding in mupad-input.scm It encodes all TeXmacs symbols as FriCAS identifiers

Re: [fricas-devel] Fwd: Adding TeXmacs symbols to FriCAS math-mode input

2014-03-25 Thread Bill Page
On 24 March 2014 21:33, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: Here is a patch to the FriCAS plugin that I just submitted to TeXmacs. I have also attached a patch to the texmacs output formatter for FriCAS to render the TeXmacs symbol mapsto for the FriCAS +- arrow

Re: [fricas-devel] Fwd: Adding TeXmacs symbols to FriCAS math-mode input

2014-03-25 Thread Bill Page
(11) - some other (11) some other scheme: (with mode math (concat some other) ) Type: String (12) - I think we can do that better. On 25 March 2014 10:06, Bill Page bill.p...@newsynthesis.org wrote: ... The output (see

[fricas-devel] Fwd: Adding TeXmacs symbols to FriCAS math-mode input

2014-03-24 Thread Bill Page
relegate some preliminary FriCAS technicalities to a kind of appendix. But of course for the proper execution of the worksheet from the beginning it is necessary that these commands get re-executed in the proper order. How could this be handled in a TeXmacs-based FriCAS interface? Regards, Bill Page

Re: [fricas-devel] sort and en_US.UTF-8

2014-03-22 Thread Bill Page
Probably this script should be using the .spad files that are already untangled into the src/algebra directory - not the pamphlet files themselves. BTW, the use of double dollar signs like $$a is a standard escape idiom for referring to a shell variable inside a make script. On 22 March 2014

Re: [fricas-devel] sort and en_US.UTF-8

2014-03-22 Thread Bill Page
Well I should have said shell or awk variable, the same thing applies. In this case $$a refers to the variable 'a' inside awk. $$a is used instead of judy $a in case there happens to be another variable called 'a' somewhere else in the make script itself. On 22 March 2014 14:26, Ralf Hemmecke

Re: [fricas-devel] sort and en_US.UTF-8

2014-03-20 Thread Bill Page
Yes, LC_COLLATE=C also works. I used LC_ALL=C because that was the only options discussed in sort --help and man. You can test this by extracting some bits of code from src/doc/Makefile.in: wspage@linux-24ag:~/fricas export EXAMPLES='ALIST ARRAY1 ARRAY2 BBTREE BINARY BOP BSTREE CARD CARTEN

[fricas-devel] mathemagix

2014-03-20 Thread Bill Page
On 18 March 2014 22:32, Andrey G. Grozin a.g.gro...@inp.nsk.su wrote: By the way, mathemagix is quite similar to Axiom in its main ideas - domains, etc. Categories also? How much of Axiom could be ported to mathemagix? What would be required in order to attempt this? Yes, see

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 Bill Page
a more general solution. Voila. FriCAS on OpenSuSE. Bill Page. On 19 March 2014 13:03, Martin Baker ax87...@martinb.com wrote: On 19/03/14 16:33, Bill Page wrote: I use SBCL on OpenSuSE 13.1 and I have no problems. If you have questions just ask. I must admit that it was a few releases ago

[fricas-devel] trivial patch for a (mostly)harmless error message

2014-03-19 Thread Bill Page
wspage@linux-24ag:~/fricas svn diff Index: src/algebra/array2.spad.pamphlet === --- src/algebra/array2.spad.pamphlet(revision 1692) +++ src/algebra/array2.spad.pamphlet(working copy) @@ -185,7 +185,7 @@ ++ of equal size

Re: [fricas-devel] Output Project Proposal

2014-03-18 Thread Bill Page
project was concerned exactly with these same user interface issues - more than 10 years ago. Regards, 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

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

Re: [fricas-devel] Parsing FriCAS/Axiom code

2014-03-15 Thread Bill Page
that the resulting Julia code could be called from within FriCAS. Bill Page. On 15 March 2014 12:49, Francesco Bonazzi franz.bona...@gmail.com wrote: Hi there! I have been looking at the FriCAS and OpenAxiom code recently, to determine whether it is possible to translate the code into Julia programming

Re: [fricas-devel] Parsing FriCAS/Axiom code

2014-03-15 Thread Bill Page
On 15 March 2014 23:09, jiazhaoconga jiazhaoco...@gmail.com wrote: https://groups.google.com/forum/#!topic/julia-dev/NTfS9fJuIcE Thanks for the link. I found it almost kind of funny to read it. We definitely need to talk more ... :) -- You received this message because you are subscribed to

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Bill Page
On 11 March 2014 05:46, Krystian Bacławski krystian.baclaw...@gmail.com wrote: On Mon, Mar 10, 2014 at 9:51 PM, Bill Page bill.p...@newsynthesis.org wrote: Are there other systems similar in some way to FriCAS that already use LLVM? I have no knowledge about any CAS using LLVM. However

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-10 Thread Bill Page
Are there other systems similar in some way to FriCAS that already use LLVM? On 10 March 2014 15:43, Krystian Bacławski krystian.baclaw...@gmail.com wrote: On Sun, Mar 9, 2014 at 3:27 PM, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: LLVM potentially has advantages like generating code to

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-08 Thread Bill Page
is incorporated into FriCAS how would that impact the possible use of Aldor? Finally, are you thinking of any improvements to the SPAD language itself? Regards, Bill Page. -- You received this message because you are subscribed to the Google Groups FriCAS - computer algebra system group. To unsubscribe from

Re: [fricas-devel] Tutorial by Christophe Conil and Quentin Carpent

2014-03-03 Thread Bill Page
Try: http://web.archive.org/web/20091025085024/http://la.riverotte.free.fr/axiom/ seems to be the most recent archived version. Maybe these files should be stored on the AxiomWiki somewhere? On 3 March 2014 06:42, Ralf Hemmecke r...@hemmecke.org wrote: Does someone know what happened to the

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
Ralf, Gene, Are you aware that you can view old versions and revisions of pages on the wiki? Click on the pull down list under last edited. E.g. http://axiom-wiki.newsynthesis.org/ProgrammingSPAD/diff?rev=17 Does that help? On 20 February 2014 13:39, Eugene Surowitz su...@attglobal.net

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
...@hemmecke.org wrote: On 02/20/2014 08:42 PM, Bill Page wrote: http://axiom-wiki.newsynthesis.org/ProgrammingSPAD/diff?rev=17 Thanks, Bill. That is exactly what I used to find out about the changes of Eugene. It's only that I don't quite like the pamphlet syntax. I would rather like to use

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
Yes, please do that. :) On 20 February 2014 16:56, Ralf Hemmecke r...@hemmecke.org wrote: It should be quite easy (well, not to difficult) to do the same thing but supporting RestructuredText encoding for the HTML part. Well, I don't think, I can do this and I believe I rather like to setup

Re: [fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-09 Thread Bill Page
Thanks Ralf, it seems that you are getting close to a solution to this problem. But my question remains: Why is there a difference between compiling a SPAD file with some name and an Aldor file with some other name? In SPAD the name of the library has no relation to the name of the source file

Re: [fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-09 Thread Bill Page
On 9 February 2014 09:21, Ralf Hemmecke r...@hemmecke.org wrote: Thanks Ralf, it seems that you are getting close to a solution to this problem. No. I have no idea which code generates the respective lines and how I can fix this. But my question remains: Why is there a difference between

Re: [fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-09 Thread Bill Page
On 2014-02-09 10:16 AM, Ralf Hemmecke r...@hemmecke.org wrote: Also I think that in SPAD it is possible to compile more that one category/domain in the same source file, each into separate libraries. How could we do that with Aldor in FriCAS? Why would you need that? Hmmm... for

[fricas-devel] Re: Aldor in FriCAS (temporarily solved)

2014-02-09 Thread Bill Page
Thank you Ralf I do appreciate your work on this. It has been something that has been bugging me for a few years now :) http://lists.gnu.org/archive/html/axiom-developer/2005-09/msg00159.html In the above message Peter mentions that he suspects set-file-getter and other things in daase.lisp but

[fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-08 Thread Bill Page
On 7 February 2014 22:59, Waldek Hebisch hebi...@math.uni.wroc.pl wrote: Bill Page wrote: ... I do now dimly recall that in Axiom Aldor source file names were expected to be lowercase but I think FriCAS could do a little better here at either removing this restriction or informing the user

[fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-07 Thread Bill Page
to be lowercase but I think FriCAS could do a little better here at either removing this restriction or informing the user. Thanks again. Cheers, Bill Page. On 6 February 2014 16:35, Ralf Hemmecke r...@hemmecke.org wrote: Thanks Bill for reporting this bug and thanks to Peter to point me

[fricas-devel] Re: [aldor-devel] Aldor in FriCAS

2014-02-06 Thread Bill Page
On 6 February 2014 08:06, Ralf Hemmecke r...@hemmecke.org wrote: Unfortunately, it's not quite clear where to fix the rename in the aldor part. I thought it would be in axextend.as, but seemingly there is no such reference to setelt. Presumably 'setelt' is generated by Aldor when compiling :=

[fricas-devel] Aldor in FriCAS

2014-02-05 Thread Bill Page
I just compiled the most recent Aldor from git trunk and then the most recent FriCAS source with the --enable-aldor option. Everything seemed to go OK but I am no longer able to compile a simple Aldor example that I am quite sure used to work. As I recall I last successfully compiled this example

Re: [fricas-devel] AxiomWiki page has clipped images

2013-10-29 Thread Bill Page
Fixed - or at least work-round - a bug in tabular formatting on the wiki. Sorry it took so long. Thanks. On 27 April 2013 11:41, Eugene Surowitz su...@attglobal.net wrote: Bill, I noticed on the AxiomWiki/LaTex page http://axiom-wiki.newsynthesis.org/LaTeX has clipped images as a

Re: [fricas-devel] Aldor: (Warning) Could not use archive file `libaxiom.al'.

2013-09-30 Thread Bill Page
/SandBoxLorentzTransformations But I think that is progress. :) Regards, 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

Re: [fricas-devel] Aldor: (Warning) Could not use archive file `libaxiom.al'.

2013-09-21 Thread Bill Page
hebi...@math.uni.wroc.pl wrote: Bill Page wrote: When compiling for example: http://axiom-wiki.newsynthesis.org/SandBoxLorentzTransformations I get the subject message and others such as Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/mink1

[fricas-devel] Aldor: (Warning) Could not use archive file `libaxiom.al'.

2013-09-20 Thread Bill Page
for identifier `Boolean'. ... -- Is there a known problem with Aldor and the FriCAS interface on axiom-wiki? Should I try to fix it? What is the status of the FriCAS and the free version of Aldor? Do we want to update axiom-wiki to the most recent versions? Regards, Bill Page. -- You received

[fricas-devel] Re: [sage-devel] Ubuntu/Debian packages

2013-07-25 Thread Bill Page
support enabled? Regards, Bill Page. On 25 July 2013 13:56, William Stein wst...@gmail.com wrote: On Thu, Jul 25, 2013 at 10:39 AM, Ralf Hemmecke hemme...@gmail.com wrote: http://codemirror.net/mode/clike/index.html Ah, on can enter code there! I hadn't realized that at first. But no. None

Re: [fricas-devel] Impact of Aldor release in FriCAS

2013-07-22 Thread Bill Page
What browser? Works fine for me using FireFox v. 22 on both Windows 7 and SuSE Linux 11sp2. On 22 July 2013 11:13, Eugene Surowitz su...@attglobal.net wrote: For what it is worth, I have no problem pulling up either list on my PC or my Ipad. Cheers, Gene On 7/21/2013 4:16 PM, Waldek

Re: [fricas-devel] Matrix manipulations.

2013-07-05 Thread Bill Page
On 5 July 2013 11:14, Ralf Hemmecke r...@hemmecke.org wrote: Maybe one can also consider something like m(3..5, 2..6) for selecting rows 3,4,5 and columns 2,3,4,5,6 out of a bigger matrix. Or maybe even m(1..n by 2, 1..n). +1 And somehow I have the impression it can be useful to

Re: [fricas-devel] Linear solvers

2013-05-05 Thread Bill Page
On 2013-05-05 7:07 AM, Ralf Hemmecke r...@hemmecke.org wrote: I was told there are no legal issues anymore releasing the Aldor compiler. Does that mean that Aldor is no longer restricted by the original license? If so, what are we waiting for? -- You received this message because you are

Re: [fricas-devel] Windows binary

2013-04-28 Thread Bill Page
Ralf Hemmecke wrote: Why do I need a C compiler to run the fricas binary? Are you saying there is some compilation involved? In Math:clisp Why clisp and not sbcl? Don't you need a C compiler to generate code when Lisp is compiled, e.g. when functions are compiled by

Re: [fricas-devel] Re: icons

2013-04-28 Thread Bill Page
to PanAxiom, but something better is needed. I greatly appreciate the changes that you made to the wiki today. I think it looks good! Thanks. Bill Page. -- You received this message because you are subscribed to the Google Groups FriCAS - computer algebra system group. To unsubscribe from

Re: [fricas-devel] Re: trademarks

2013-04-25 Thread Bill Page
2013 09:36, Ralf Hemmecke r...@hemmecke.org wrote: having a nice logo for fricas would be great. My idea was very similar to second proposal by Bill Page. Hmm, yes, that number 2 from http://axiom-wiki.newsynthesis.org/FriCASIcon was also my first thought, but in some sense it's a bit boring

Re: [fricas-devel] Re: icons

2013-04-25 Thread Bill Page
I think Gene has a good point also indirectly observed by Gaby: Most of the proposals so far may not represent the actual intention of the web site - even if FriCAS is the project which is hosting the site. In the past when trying to refer to any of the original Axiom project, FriCAS or OpenAxiom

[fricas-devel] FriCAS wiki icon contest

2013-04-23 Thread Bill Page
http://axiom-wiki.newsynthesis.org/FriCASIcon On 23 April 2013 16:41, Ralf Hemmecke r...@hemmecke.org wrote: Also, I think it would be reasonable to change name to FriCAS Wiki and change logo (currently all pages show Axiom logo). Was that a call to proposals for a FriCAS logo? ;-)

Re: [Axiom-developer] [fricas-devel] Re: trademarks

2013-04-22 Thread Bill Page
On 22 April 2013 13:42, u1204 d...@axiom-developer.org wrote: Already understood and I had already mirrored my comments to the FriCAS-devel list; just forgot to include OpenAxiom. The issue is deeper though: An inspection of only the src/interp source files reveals numerous references to

Re: [Axiom-developer] [fricas-devel] Re: trademarks

2013-04-22 Thread Bill Page
I am sorry, but changing variable names inside source code because of a project fork seems incorrect to me. I think it would be both wrong and even more confusing if FriCAS and OpenAxiom tried to give the impression that they had no relation to each other and no relation at all to the original

Re: [d...@axiom-developer.org: Re: [Axiom-developer] [fricas-devel] Re: trademarks]

2013-04-22 Thread Bill Page
As far as I know no one is blocked from any lists. It seems that Tim just prefers not to subscribe. On 22 April 2013 19:52, Eugene Surowitz su...@attglobal.net wrote: Certainly. I am unhappy to see the notion of anyone being blocked from any of the lists. I have maintained a common mail

<    1   2   3   4   5   6   7   8   9   10   >