Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread oldk1331
> BTW, what do you think of adding > partialFraction(f:Fraction R) == partialFraction(numer f, factor denom f) > for R:UFD ? It should be R:Join(EuclideanDomain, UniqueFactorizationDomain) -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread oldk1331
> Looks like compiler bug... I'll document it in my bugtracker, and I'll try to solve this one. BTW, what do you think of adding partialFraction(f:Fraction R) == partialFraction(numer f, factor denom f) for R:UFD ? -- You received this message because you are subscribed to the Google

Re: [fricas-devel] jupyter notebook

2016-10-10 Thread Waldek Hebisch
Kurt Pagani wrote: > > Meanwhile I had another idea that looks very promising to me: the few lines > of lisp code below (webserver.lisp) loads the Hunchentoot > webserver into fricas (with or without sman) > which runs > quietly in the background and listening on a

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

2016-10-10 Thread oldk1331
I can live with current situation, or apply this patch on my local machine. > ideally we would do all file access via system interfaces > avoiding Lisp functions. What's your opinion on using a lisp library, like cl-fad? http://weitz.de/cl-fad/ -- You received this message because you are

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

2016-10-10 Thread Waldek Hebisch
oldk1331 wrote: > > > '~' is a shell convention. Our file access functions should > > not prevent accessing file or directiory named '~'. > > Nor should they require some strange quoting (which is > > the case with shell). > > That's an odd choice. I think '~' is part of POSIX standard? Well,

Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread Waldek Hebisch
oldk1331 wrote: > > > The problem here is that to have partial fraction decomposition UP > > must be an EuclideanDomain. This happens if F is a Field, but > > not if F is general EuclideanDomain. > > Yes, that's a stupid mistake. But I wonder why we can compile > the wrong version without

Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread oldk1331
> The problem here is that to have partial fraction decomposition UP > must be an EuclideanDomain. This happens if F is a Field, but > not if F is general EuclideanDomain. Yes, that's a stupid mistake. But I wonder why we can compile the wrong version without mistakes? -- You received this

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

2016-10-10 Thread oldk1331
> '~' is a shell convention. Our file access functions should > not prevent accessing file or directiory named '~'. > Nor should they require some strange quoting (which is > the case with shell). That's an odd choice. I think '~' is part of POSIX standard? Yes, in IO part, lisp and unix don't

Re: [fricas-devel] comments style for mathematical algorithms

2016-10-10 Thread oldk1331
> https://archive.org/details/ComputerAlgebraAndSymbolicComputation That book, actually I have a quote from that: We use a procedure style of programming that corresponds most closely to the programming structures and style of the Maple, Mathematica, and MuPAD systems and, to a lesser degree, to

Re: [fricas-devel] interesting video on the Fortress language

2016-10-10 Thread oldk1331
This is a recent video, so I didn't check for duplicate. Your link is from 8 years ago, that's interesting... > It's a pity that Fortress is no longer actively developed. Or is it? Seems it stoped 5 years ago. Guy Steel says he hopes some of Fortress's good ideas live in other languages in the

Re: [fricas-devel] interesting video on the Fortress language

2016-10-10 Thread Ralf Hemmecke
On 10/10/2016 03:26 PM, oldk1331 wrote: > https://www.youtube.com/watch?v=EZD3Scuv02g > > The talker is Guy Steele, you may know him from > his work on Scheme, Common Lisp, Java. Or from here... http://www.infoq.com/presentations/fortress-steele

Re: [fricas-devel] comments style for mathematical algorithms

2016-10-10 Thread Kurt Pagani
BTW (I've forgotten adding in the last post): Symbolic Integration I: Transcendental Functions Author: Manuel Bronstein https://archive.org/details/springer_10.1007-978-3-662-03386-9 Is this the one you cited? -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] comments style for mathematical algorithms

2016-10-10 Thread Kurt Pagani
> > In general terms, I think it is better if anyone can contribute > > to FriCAS without having access to a technical library. > > Yes, it would be best to have something like an open source > book/encyclopedia for CAS, but I don't think such things > exist. > > You're right, there is not much

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

2016-10-10 Thread Kurt Pagani
I always wondered whether it's a specific SBCL issue. In Cygwin (clisp) there's no problem. On the other hand )lisp (load "~/dir/file") also works with SBCL compiled fricas. BTW )read $HOME/... fails in both. On 10 October 2016 at 04:51, oldk1331 wrote: > SBCL specific bug,

[fricas-devel] [PATCH] fix urls

2016-10-10 Thread Martin Baker
Here is a patch to fix URLs (no code changes): https://github.com/martinbaker/multivector/blob/master/fixUrls.patch This is mostly removing invalid spaces but there are some other changes. The changes affect the following files: src/algebra/alg_top.spad src/algebra/clifford.spad

Re: [fricas-devel] [PATCH] allow "~" in )read )compile for SBCL

2016-10-10 Thread Waldek Hebisch
oldk1331 wrote: > SBCL specific bug, I think? > > "~/tmp/1.input" exists, )read just don't understand "~". > > (1) -> )read ~/tmp/1.input > >The file ~/tmp/1.input is needed but does not exist. > > "probe-file" just works in SBCL, while "sbcl-file-kind" > doesn't recgnoize "~". Maybe

Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread Waldek Hebisch
> > Just like the documentation of PartialFraction said: > "For a general euclidean domain, it is not known how to factor the > denominator." > > I think "partialFraction f == partialFraction(numer f, factor denom f)" > is good enough for "UPOLYC(R:PFECAT)". > > Also the change for intden.spad

[fricas-devel] interesting video on the Fortress language

2016-10-10 Thread oldk1331
https://www.youtube.com/watch?v=EZD3Scuv02g The talker is Guy Steele, you may know him from his work on Scheme, Common Lisp, Java. Fortress in a lot of ways is similar to Spad, has similar things of Spad's Category. Some aspects of Fortress is even more strict than Spad. There's also some

Re: [fricas-devel] partialFraction is awkward

2016-10-10 Thread oldk1331
Just like the documentation of PartialFraction said: "For a general euclidean domain, it is not known how to factor the denominator." I think "partialFraction f == partialFraction(numer f, factor denom f)" is good enough for "UPOLYC(R:PFECAT)". Also the change for intden.spad should be OK: diff

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-10 Thread Ralf Hemmecke
On 10/09/2016 08:40 PM, Kurt Pagani wrote: > I'd prefer the reference to a book or paper as well, because one needs a > context, Isolated excerpts usually are not very helpful./In dubio for both. +1 > / > /@Ralf > / > By the way, http://fricas.github.io/api might need an update ;) Yes, I know.

Re: [fricas-devel] [PATCH] fix and improvements to gpresent.spad

2016-10-10 Thread Martin Baker
On 10/10/16 00:40, Waldek Hebisch wrote: Commited (after edit). OK thanks, I will rename the subgroup functions to quotient. Before I make any changes I will do some reading on Todd-Coxeter algorithm which may take some time. BTW Do you know of any existing code in FriCAS that would help