Re: [fricas-devel] on building the book with pdflatex

2024-05-07 Thread Dima Pasechnik
On Tue, May 7, 2024 at 2:56 PM Qian Yun wrote: > > > > On 5/7/24 21:45, Dima Pasechnik wrote: > > On Tue, May 7, 2024 at 12:51 PM Qian Yun wrote: > >> > >> Some decisions need to be made in order to build book with pdflatex. > >> > >> 1. s

Re: [fricas-devel] on building the book with pdflatex

2024-05-07 Thread Dima Pasechnik
On Tue, May 7, 2024 at 12:51 PM Qian Yun wrote: > > Some decisions need to be made in order to build book with pdflatex. > > 1. src/doc/ps/ images. > > These are hyperdoc images. They are in ps format, but actually are > bitmap images. pdflatex can't handle ps format directly, so I > suggest to

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-21 Thread Dima Pasechnik
On Sat, Apr 20, 2024 at 7:45 PM Dima Pasechnik wrote: > > > On Sat, Apr 20, 2024 at 7:31 PM 'Nasser M. Abbasi' via FriCAS - computer > algebra system wrote: > >> Hello Matrin, >> >> Sure, will try your version on a large integration test file and see if &g

Re: [fricas-devel] calling FriCAS functions from Lisp

2024-04-20 Thread Dima Pasechnik
On Saturday, April 20, 2024 at 12:48:43 PM UTC+1 Waldek Hebisch wrote: On Sat, Apr 20, 2024 at 02:47:02AM -0700, Dima Pasechnik wrote: > How does one do this? > (with ECL or SBCL). > > Presumably if one makes a FriCAS fasl library (how?), it should be possible > to call F

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-20 Thread Dima Pasechnik
asser, >> >> could you try the branch at https://github.com/sagemath/sage/pull/37836? >> It should give significant performance gains for your testsuite. >> >> Best wishes, >> >> Martin >> >> On Friday 19 April 2024 at 11:49:49 UTC+2 Dima Pasec

Re: [fricas-devel] calling FriCAS functions from Lisp

2024-04-20 Thread Dima Pasechnik
> Thanks. Yes, please, ASDF/DEFPACKAGE. This would be a step towards a possibility to call SBCL FriCAS from C or Python or others, via https://github.com/quil-lang/sbcl-librarian (something that would speed up interfaces, such as Sage's interface to FriCAS). Dima > - Qian > > On 4/20

[fricas-devel] calling FriCAS functions from Lisp

2024-04-20 Thread Dima Pasechnik
How does one do this? (with ECL or SBCL). Presumably if one makes a FriCAS fasl library (how?), it should be possible to call FriCAS functions from Lisp without going through files or pipes. That's certainly possible (and used in Sage) with Maxima. Thanks Dima -- You received this message

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-18 Thread Dima Pasechnik
On 18 April 2024 21:51:34 BST, 'Martin R' via FriCAS - computer algebra system wrote: >OK, I think I have to give up. The InputForm consists of 23 964 324 >atoms. I guess that there is no sensible way to transmit this, right? In-memory - just how Maxima library interface is operating. No

Re: [fricas-devel] Deprecated operations in scene.spad

2024-04-13 Thread Dima Pasechnik
On 13 April 2024 02:38:34 CEST, Hill Strong wrote: >There is nothing to stop anyone from breaking the requirement of using any >Lisp as the destination for Boot code. I translated one section of Boot >code directly into Icon. Of course there is much in Boot than assumes Lisp >lists. But that

Re: [fricas-devel] problems with installing FriCAS 1.3.10 on MacOS with ECL

2024-03-19 Thread Dima Pasechnik
On Tue, Mar 19, 2024 at 12:51 PM Qian Yun wrote: > > > On 3/19/24 19:17, Dima Pasechnik wrote: > > On Mon, Mar 18, 2024 at 11:38 PM Qian Yun wrote: > > > >> > >> Is there an update for this? > >> > > > > we have, hmm, large intern

Re: [fricas-devel] update autoconf stuff

2024-03-19 Thread Dima Pasechnik
On Mon, Mar 18, 2024 at 11:08 PM Waldek Hebisch wrote: > On Mon, Mar 18, 2024 at 10:39:05PM +0800, Qian Yun wrote: > > I see that "configure" is updated in branch r1.3.10 by > > autoconf 2.71. I suggest we do the same for master branch. > > (Using 2.71 or 2.72 is debatable.) > > Well,

Re: [fricas-devel] problems with installing FriCAS 1.3.10 on MacOS with ECL

2024-03-19 Thread Dima Pasechnik
quite soon, I think. > > - Qian > > On 3/5/24 03:07, Dima Pasechnik wrote: > > On Mon, Mar 4, 2024 at 12:33 AM Qian Yun wrote: > > > >> Hi, > >> > >> Can you confirm that restarting the build fails at different > >> places? > >> &

Re: [fricas-devel] update autoconf stuff

2024-03-18 Thread Dima Pasechnik
On Mon, Mar 18, 2024 at 2:39 PM Qian Yun wrote: > I see that "configure" is updated in branch r1.3.10 by > autoconf 2.71. I suggest we do the same for master branch. > (Using 2.71 or 2.72 is debatable.) > 2.72 is a bugfix release, so it's better to use it > > Also, we can update various

Re: [fricas-devel] all of a sudden fricas does not longer start: change to MacOS Sonoma 14.3.1

2024-03-08 Thread Dima Pasechnik
Probably an OS upgrade requires a rebuild of sbcl. On 8 March 2024 15:34:02 GMT, "Prof. Dr. Johannes Grabmeier" wrote: >Hi all, > >all of a sudden (I have moved to MacOS version Sonoma 14.3.1) FriCAS does no >longer start: > >/usr/local/bin$ fricas >mmap: Operation not permitted >fatal error

Re: [fricas-devel] arm64 macOS build is available!

2024-03-06 Thread Dima Pasechnik
Dr. Johannes, > >Can you check that the file you downloaded has the following md5sum: >8ead8361582d5ecfde87240e909dcfd2 > >Also I wonder if other people have the same problem... > >- Qian > >On 3/5/24 23:59, Dima Pasechnik wrote: >> On Tue, Mar 5, 2024 at 10:39 AM Qian

Re: [fricas-devel] arm64 macOS build is available!

2024-03-05 Thread Dima Pasechnik
On Tue, Mar 5, 2024 at 10:39 AM Qian Yun wrote: > Thanks for your testing. Although this message is not what I expected: > I was expecting something like "app not signed". > > The only (unlikely) explanation for this is the downloading process > is corrupted. > you can make sure this is not

Re: [fricas-devel] problems with installing FriCAS 1.3.10 on MacOS with ECL

2024-03-04 Thread Dima Pasechnik
e tests. > > > It should also help with https://github.com/sagemath/sage/issues/37511 > > - Best, > - Qian > > On 3/4/24 04:30, Dima Pasechnik wrote: > > In case, I never tried building ECL on M1, I always used the Homebrew's > version. > > > > On 3 March 2024

Re: [fricas-devel] problems with installing FriCAS 1.3.10 on MacOS with ECL

2024-03-03 Thread Dima Pasechnik
In case, I never tried building ECL on M1, I always used the Homebrew's version. On 3 March 2024 09:59:32 GMT, Qian Yun wrote: >Hi Dima, > >For the build on ARM Macs, I uses ECL-23.9.9 from homebrew. > >First time it fails at compiling EVALAB-.fas (same Error code 6). > >Second time it builds

Re: [fricas-devel] Re: Google Gemini response about FriCAS

2024-02-15 Thread Dima Pasechnik
Oh, wow, Bernard Parisse develops FriCAS while taking a break from developing giac... On 15 February 2024 20:44:05 GMT, Ralf Hemmecke wrote: >Hi Tim, > >I didn't know that you forked your own project. ;-) > >Anyway, it is so obvious that Gemini is just uttering something without ever >taking

Re: [fricas-devel] problems with installing FriCAS 1.3.10 on MacOS with ECL

2024-02-12 Thread Dima Pasechnik
We can arrange ssh access to an M1 box. Ping me (and/or William Stein) if you like one. On Mon, Feb 12, 2024 at 6:40 PM Waldek Hebisch wrote: > On Mon, Feb 12, 2024 at 07:02:39AM -0800, 'Martin R' via FriCAS - computer > algebra system wrote: > > Dima reports the following on > >

Re: [fricas-devel] make build with sbcl-2.4.0 work out of box

2024-01-16 Thread Dima Pasechnik
On Tue, Jan 16, 2024 at 12:23 PM Qian Yun wrote: > > With sbcl-2.4.0, we need to use > > ./configure --with-lisp="sbcl --dynamic-space-size 2048" > > which is inconvenient and caused problems/confusion for a few > people already. > > I wonder if there's a way to make "./configure" work

Re: [fricas-devel] GPT4 and computer algebra

2024-01-15 Thread Dima Pasechnik
On Mon, Jan 15, 2024 at 10:45 PM Hill Strong wrote: > > No artificial stupidity (AI) will ever or should ever be considered as [a > trustworthy co-author in mathematical research]. At best, these systems could > be a possibly useful tool in the hands of those who know their subject field. > In

Re: [fricas-devel] FriCAS-1.3.10 on MacBook armv8-5a M2

2024-01-11 Thread Dima Pasechnik
I successfully built fricas 1.3.10 on macOS M1 (aarch64) machine, with ECL 23.9.9 and the dependencies such as libgc and gmp supplied by Homebrew. I've run ./configure --with-lisp=ecl --enable-case-insensitive-file-system-check=no && make && make install I'll try sbcl too, and report. On Thu,

Re: [fricas-devel] FriCAS 1.3.10 is released

2024-01-10 Thread Dima Pasechnik
On Wednesday, January 10, 2024 at 12:40:08 AM UTC oldk1331 wrote: Hi Waldek, I see that you have not pushed 1.3.10 tag to Github and not created release page. there is still an incosistency wrt tags. There is no 1.3.10 tag, only an r1.3.10 branch. I suggest you to cherry-pick this

Re: [fricas-devel] FriCAS 1.3.10 is released

2024-01-10 Thread Dima Pasechnik
On Wed, Jan 10, 2024 at 2:50 PM oldk1331 wrote: > > Looks like a bash quoting problem. You may need to escape the quotes. I guess it was using pairs of single quotes (') rather than single double quotes (") Otherwise I don't know how to reproduce this error. > > BTW, the default is 1GB. I

Re: [fricas-devel] FriCAS 1.3.10 is released

2024-01-10 Thread Dima Pasechnik
Perhaps something should be put into ~/.sbclrc to set this default bigger? On Wed, Jan 10, 2024 at 2:50 PM oldk1331 wrote: > > Looks like a bash quoting problem. You may need to escape the quotes. > > BTW, the default is 1GB. I usually test with 4GB. Not sure what the minimal > is. > > - Qian >

Re: [fricas-devel] [PATCH] cleanup macos build

2024-01-05 Thread Dima Pasechnik
On Fri, Jan 5, 2024 at 9:33 PM Waldek Hebisch wrote: > > On Fri, Jan 05, 2024 at 08:03:28PM +0800, Qian Yun wrote: > > contrib/macos/mk_app is hopelessly outdated. > > I am not sure what you mean here. Do you mean that it does not > work and fixes are nontrivial? Nowadays a functioning maOS app

Re: [fricas-devel] [PATCH] 'fricas_has_remove_directory', again

2024-01-03 Thread Dima Pasechnik
On 3 January 2024 12:42:23 WET, Waldek Hebisch wrote: >On Wed, Jan 03, 2024 at 07:07:47PM +0800, Qian Yun wrote: >> I suggest to check for symbol instead of "#+" feature testing. >> >> This will allow FFI-free pure-lisp build. > >IMO pure-lisp build is futile. We want to use GMP, blas,

Re: [fricas-devel] [PATCH] 'fricas_has_remove_directory', again

2024-01-03 Thread Dima Pasechnik
I don't see why an embedded ECL-based FriCAS must be pure lisp. ECL has its FFI just fine. In fact, one might consider developing a plain C library allowing calling FriCAS via libecl.so On 3 January 2024 11:07:47 WET, Qian Yun wrote: >I suggest to check for symbol instead of "#+" feature

Re: [fricas-devel] Re: About the license file

2023-12-13 Thread Dima Pasechnik
On Tue, Dec 12, 2023 at 1:58 PM Tim Daly wrote: > > This link raises the issue of developer liability, especially in the E.U. > https://blog.hansenpartnership.com/solving-the-looming-developer-liability-problem/ It's about a UK court case. UK has left EU a while ago :-) And the court case is by

Re: [fricas-devel] About the license file

2023-11-30 Thread Dima Pasechnik
Windows can be told to be case-sensitive in a given folder: https://www.howtogeek.com/354220/how-to-enable-case-sensitive-folders-on-windows-10/ On Thu, Nov 30, 2023 at 4:22 PM Ralf Hemmecke wrote: > > Waldek, > > now that you suggest that LICENSE.AXIOM can be downloaded from github, > I think

Re: [fricas-devel] FriCAS on Android with SBCL (on termux)

2023-11-28 Thread Dima Pasechnik
On 28 November 2023 23:16:02 GMT, Waldek Hebisch wrote: >On Tue, Nov 28, 2023 at 11:20:20PM +0700, Andrey G. Grozin wrote: >> On Sun, 26 Nov 2023, Qian Yun wrote: >> > I can confirm your error. I was building successfully with >> > 1.3.9 tarball. >> Thanks. Indeed, 1.3.9 with your 1-line fix

Re: [fricas-devel] real? sqrt (-sqrt 2)

2023-11-20 Thread Dima Pasechnik
On Mon, Nov 20, 2023 at 12:48 PM Waldek Hebisch wrote: > > On Mon, Nov 20, 2023 at 06:20:45PM +0800, Qian Yun wrote: > > Answer to myself: some real algebraic number need sqrt(-1) to > > represent them (e.g. some root of degree 3 polynomial). > > So RealClosure can't handle them I guess. > > No,

Re: [fricas-devel] Make an Integral Work

2023-10-22 Thread Dima Pasechnik
On Mon, Oct 23, 2023 at 12:35 AM Mild Shock wrote: > > > There is 'romberg' in NumericalQuadrature package. > > Is this something under the heading "FriCAS API"? > > I have no clue how to load a package, and I even > don't understand how I get into a ")" prompt? ")" is not a prompt, it's part

Re: [fricas-devel] FriCAS WWW

2023-09-25 Thread Dima Pasechnik
On Mon, 25 Sept 2023, 00:57 Waldek Hebisch, wrote: > On Sat, Sep 23, 2023 at 02:23:04PM +0200, Ralf Hemmecke wrote: > > Since I currently put up the stuff at fricas.github.io, it actually > needn't > > be me. > > > > On 23.09.23 09:47, Qian Yun wrote: > > > Most importantly, documentation should

Re: [fricas-devel] Output of fricas startup script: version

2023-09-04 Thread Dima Pasechnik
On Mon, 4 Sept 2023, 09:29 Ralf Hemmecke, wrote: > > So, what is the variable in configure.ac to use > > to get the version? > > For FriCAS itself, it is set through AC_INIT. > > https://github.com/fricas/fricas/blob/master/configure.ac#L2 > > AC_INIT([FriCAS], [2023-06-17], >

Re: [fricas-devel] Output of fricas startup script: version

2023-09-04 Thread Dima Pasechnik
On Sat, 2 Sept 2023, 15:11 Waldek Hebisch, wrote: > Dnia Sat, Sep 02, 2023 at 12:39:40AM +0300, Dima Pasechnik napisał(a): > > On Fri, Sep 1, 2023 at 11:51=E2=80=AFPM Ralf Hemmecke > w= > > rote: > > > > > > I'd propose to add the version support via pk

Re: [fricas-devel] Output of fricas startup script: version

2023-09-04 Thread Dima Pasechnik
a file also, why not) > > That way I could use, say, 'fricas -c ')lisp > (lisp-implementation-type)' or other things. This information is > already in the fricas startup script though, it is just an example. > > By the way I attached the primary patch, as an illustration, that just >

Re: [fricas-devel] Output of fricas startup script: version

2023-09-01 Thread Dima Pasechnik
On Fri, Sep 1, 2023 at 11:51 PM Ralf Hemmecke wrote: > > I'd propose to add the version support via pkg-config. If this is OK, I'd > > provide a PR for this. > > > > pkg-config would output the version in an easily parceable format, so that > > one would not need to call sed to santitize the

Re: [fricas-devel] Output of fricas startup script: version

2023-09-01 Thread Dima Pasechnik
What's important is to provide a painless for the user way to get the version, and possibly more (e.g. the underlying Lisp). That's because what upstreams, such as SageMath, often need to know. I'd propose to add the version support via pkg-config. If this is OK, I'd provide a PR for this.

Re: [fricas-devel] 'make dist'

2023-07-12 Thread Dima Pasechnik
On Tue, Jul 11, 2023 at 10:31 PM Waldek Hebisch wrote: > > I consider removing 'dist' target from the Makefile. For creating > release I use 'src/scripts/mkdist.sh' and it seems that other > folks do not use 'dist' target. 'dist' target contains comparable > number of lines as

Re: [fricas-devel] FriCAS 1.3.9 is released

2023-07-10 Thread Dima Pasechnik
please make sure the tarball in github releases is consistent in this sense, too. On Mon, Jul 10, 2023 at 4:00 PM Waldek Hebisch wrote: > > On Mon, Jul 10, 2023 at 03:24:24PM +0200, Ralf Hemmecke wrote: > > Hi Waldek, > > > > > I am not sure what to do, any way there will be some confusion.

Re: [fricas-devel] FriCAS status

2023-07-01 Thread Dima Pasechnik
On Sat, Jul 1, 2023 at 7:55 PM Waldek Hebisch wrote: > > On Fri, Jun 30, 2023 at 03:03:27PM +0200, Ralf Hemmecke wrote: > > So... download.rst and install.rst and order minor docfixes have to be done. > > Are you working on this? Concerning download.rst, my idea of download > page was to put

Re: [fricas-devel] fricas citation page

2023-06-30 Thread Dima Pasechnik
On Fri, Jun 30, 2023 at 9:36 AM Ralf Hemmecke wrote: > > On 30.06.23 10:27, Dima Pasechnik wrote: > > It needs a version. Chances are that the same computation on different > > versions gives different (hopefully equivalent) results. > > Oh, thank you. At least the year sh

Re: [fricas-devel] fricas citation page

2023-06-30 Thread Dima Pasechnik
It needs a version. Chances are that the same computation on different versions gives different (hopefully equivalent) results. By the way, with releases done on GitHub it is easy to get an official DOI for each release. On Fri, 30 Jun 2023, 09:15 Ralf Hemmecke, wrote: > Does anyone have more

Re: [fricas-devel] FriCAS status

2023-06-26 Thread Dima Pasechnik
On Mon, Jun 26, 2023 at 7:20 AM 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > I setup new VBox with new Linux, and installed sagemath. > > There is an option with sage to ask it to install Fricas if you want > afterwords, and I used that option, it is > > sage -i fricas

Fwd: [fricas-devel] FriCAS status and jFriCAS

2023-06-26 Thread Dima Pasechnik
I've opened an issue to create a configure option for system-wide fricas to be usable with Sage. https://github.com/sagemath/sage/issues/35837 Please post there details on what you do to use Sage with system-wide fricas now - this might help. -- Forwarded message - From: 'Nasser

Re: [fricas-devel] FriCAS status

2023-06-19 Thread Dima Pasechnik
On Mon, Jun 19, 2023 at 3:05 PM Waldek Hebisch wrote: > > On Mon, Jun 19, 2023 at 10:29:44AM +0100, Dima Pasechnik wrote: > > On Mon, Jun 19, 2023 at 8:44 AM Ralf Hemmecke wrote: > > > > > > On 19.06.23 09:22, Grégory Vanuxem wrote: > > > >

Re: [fricas-devel] FriCAS status

2023-06-19 Thread Dima Pasechnik
On Mon, Jun 19, 2023 at 8:44 AM Ralf Hemmecke wrote: > > On 19.06.23 09:22, Grégory Vanuxem wrote: > > I wonder why you're using such an old LISP? > > Waldek wants to make sure that jfricas also works with the sbcl that he > puts into the binary fricas release. In fricas-1.3.8 this was >

Re: [fricas-devel] FriCAS status

2023-06-18 Thread Dima Pasechnik
On Sun, 18 Jun 2023, 17:51 Ralf Hemmecke, wrote: > On 16.06.23 02:14, Waldek Hebisch wrote: > > Well, I wrote "binary". The question is if sbcl version I use for > > creation of binaries has all features needed by jfricas. It should, > > but testing is better than bling faith. > > OK, but

Re: [fricas-devel] run external command and capture output without temporary files

2023-04-16 Thread Dima Pasechnik
On Sun, Apr 16, 2023 at 12:28 PM Ralf Hemmecke wrote: > > On 16.04.23 12:18, Dima Pasechnik wrote: > >> I generic interface is anyway never needed. I guess also Sage just picks > >> out a couple of useful features from other systems > > > no, not really. E.g. with

Re: [fricas-devel] run external command and capture output without temporary files

2023-04-16 Thread Dima Pasechnik
On Sat, 15 Apr 2023, 15:39 Ralf Hemmecke, wrote: > On 15.04.23 13:04, Dima Pasechnik wrote: > > A proper interface to FriCAS in Sage ought to be like the one we have for > > Maxima - via embedded libECL, where Maxima is loaded as an precompiled > Lisp > > code. > >

Re: [fricas-devel] run external command and capture output without temporary files

2023-04-15 Thread Dima Pasechnik
A proper interface to FriCAS in Sage ought to be like the one we have for Maxima - via embedded libECL, where Maxima is loaded as an precompiled Lisp code. There is no overhead and flakiness associated with files or pipes, all the communication is in memory. See

Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

2023-03-29 Thread Dima Pasechnik
On Wed, 29 Mar 2023, 10:01 Валерий Заподовников, wrote: > "armv9-a" That is not what M2 is. It is only ARMv8.5-A (actually ARMv8.6 > just without SM4). Indeed, see https://reviews.llvm.org/D134351 > > "(thanks Apple for stealing the name)" They did not steal anything, llvm > has permissive

Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

2023-03-28 Thread Dima Pasechnik
have Command Line Tools installed, and also your version of XCode might be not up to date. My advice would be to rectify these. HTH Dima > > Am 27.03.23 um 14:43 schrieb Dima Pasechnik: > > On Mon, 27 Mar 2023, 11:42 Prof. Dr. Johannes Grabmeier, < > johan...@grabmeier.net> wrot

Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

2023-03-27 Thread Dima Pasechnik
On Mon, 27 Mar 2023, 11:42 Prof. Dr. Johannes Grabmeier, < johan...@grabmeier.net> wrote: > High, > > that was a very useful remark, how could one have the idea that default of > gcc is x86_64 on an arm64 machine. It was also hard to find out that my > version is > > armv8.5-a > > normally

Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

2023-03-25 Thread Dima Pasechnik
We are able to build Fricas with ECL supplied by macOS Homebrew on an M1 machine, native arm64, no x86_64 stuff involved. It's Fricas 1.3.8 patched with ECL-specific patches (SageMath patches, see https://github.com/sagemath/sage/tree/develop/build/pkgs/fricas/patches) discussed in

Re: [fricas-devel] broken FriCAS 1.3.8 install with ecl on Fedora 34

2023-01-25 Thread Dima Pasechnik
xplicitly put "rm -f" everywhere) in FriCAS don't use "rm" without "-f". (there is at least one such place in configure.ac - but it doesn't look like the one that caused all this havoc) Cheers Dima On Wed, Jan 25, 2023 at 7:17 PM Waldek Hebisch wrote: > > On Wed

[fricas-devel] broken FriCAS 1.3.8 install with ecl on Fedora 34

2023-01-25 Thread Dima Pasechnik
basically, no floating point support, no polynomials - due to fas files SMP.fas and FLOAT.fas absent. Indeed, there is no FLOAT.fas: $ ls /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLO*.fas /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOATCP.fas

Re: [fricas-devel] Linear output representation of polynomials

2022-12-27 Thread Dima Pasechnik
As far as I know, an up to date Flint supports multivariate polynomial rings, so this should go much faster if you just create one ring. (assuming it is already used in Nemo). On Tue, 27 Dec 2022, 10:38 Grégory Vanuxem, wrote: > Le lun. 26 déc. 2022 à 23:54, Grégory Vanuxem a > écrit : > >

Re: [fricas-devel] Re: FriCas

2022-09-27 Thread Dima Pasechnik
On Tue, 27 Sep 2022, 04:49 Andrey G. Grozin, wrote: > On Mon, 26 Sep 2022, Dima Pasechnik wrote: > > brew install ecl > > ./configure --with-lisp=ecl > > make > Why ecl? It is very slow. sbcl is much faster. > we use ecl in Sage - because it can produce dynamic li

Re: [fricas-devel] Re: FriCas

2022-09-26 Thread Dima Pasechnik
On Mon, Sep 26, 2022 at 10:55 PM Dima Pasechnik wrote: > > > > On Mon, 26 Sep 2022, 22:27 Ralf Hemmecke, wrote: >> >> http://fricas.github.io/install.html > > > that's a seriously Debian/Ubuntu-centric guide. > > On macOS one ought to recommend ins

Re: [fricas-devel] Re: FriCas

2022-09-26 Thread Dima Pasechnik
On Mon, 26 Sep 2022, 22:27 Ralf Hemmecke, wrote: > http://fricas.github.io/install.html that's a seriously Debian/Ubuntu-centric guide. On macOS one ought to recommend installing Homebrew and necessary pre-reqs. Once Homebrew is installed, you'd need to run something like brew install ecl

Re: [fricas-devel] Re: FriCas

2022-09-26 Thread Dima Pasechnik
using > the PackageManager GAP package. These will be installed in the user's ~/.gap > directory.'' then installing FriCAS standalone might be the easiest way out. As soon as FriCAS can be found in PATH, it can be used from Sage. > > On Monday, September 26, 2022 at 12:16:47 PM UTC+2

Re: [fricas-devel] Re: FriCas

2022-09-26 Thread Dima Pasechnik
On Mon, Sep 26, 2022 at 11:14 AM 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > If you downloaded sagemath source tar file, you can just do, after extracting > it > > ./configure --enable-fricas > make > make install > > Since sagemath does not automatically build fricas (it

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-24 Thread Dima Pasechnik
On Tuesday, 23 August 2022 at 17:07:37 UTC+2 Dima Pasechnik wrote: >> >> Behind the scene, Sage uses pynac (a clone of ginac) for its handling of >> symbolics. Implicit roots are supported. Docs say: >> >> >> >> "By default, all the roots are req

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

2022-08-23 Thread Dima Pasechnik
Behind the scene, Sage uses pynac (a clone of ginac) for its handling of symbolics. Implicit roots are supported. Docs say: "By default, all the roots are required to be explicit rather than implicit. To get implicit roots, pass explicit_solutions=False to .roots() -- I am not

Re: [fricas-devel] GitHub access

2022-08-04 Thread Dima Pasechnik
On Thu, Aug 4, 2022 at 8:04 PM Ralf Hemmecke wrote: > > Hi Waldek, > > The following is similar to what Qian suggested, but using ssh. > > Create an ssh key and upload the ~/.ssh/github.pub to your github account. > >ssh-keygen -t ecdsa -f $HOME/.ssh/github -C YOURNAME@github IMHO the today

Re: [fricas-devel] GitHub access

2022-07-26 Thread Dima Pasechnik
> > On Tue, Jul 26, 2022 at 12:54:33AM +0200, Dima Pasechnik wrote: > >> > >> Do you mean to say that you cannot have ssh authentication with > >> GitHub's git server? > >> (well, yes, if you don't have a GitHub account then you can't upload > >> an

Re: [fricas-devel] GitHub access

2022-07-26 Thread Dima Pasechnik
On Tue, Jul 26, 2022 at 1:42 AM Waldek Hebisch wrote: > > On Tue, Jul 26, 2022 at 12:54:33AM +0200, Dima Pasechnik wrote: > > On Mon, Jul 25, 2022 at 8:34 PM Waldek Hebisch > > wrote: > > > > > > On Sat, Jul 23, 2022 at 04:02:42PM +0200, Dima Pasechnik wrote

Re: [fricas-devel] About GitHub issues (not always showing email replies)

2022-07-25 Thread Dima Pasechnik
On Mon, Jul 25, 2022 at 8:34 PM Waldek Hebisch wrote: > > On Sat, Jul 23, 2022 at 04:02:42PM +0200, Dima Pasechnik wrote: > > On Sat, 23 Jul 2022, 15:46 Waldek Hebisch, > > wrote: > > > > > I must admit that my prefered information flow would be > > >

Re: [fricas-devel] About GitHub issues (not always showing email replies)

2022-07-23 Thread Dima Pasechnik
On Sat, 23 Jul 2022, 15:46 Waldek Hebisch, wrote: > On Sat, Jul 23, 2022 at 09:17:06AM +0800, Qian Yun wrote: > > There were several times that GitHub does not display email replies > > from Waldek. This is already causing headaches for me and I think > > this situation is bad for the

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Dima Pasechnik
On Sat, 23 Jul 2022, 14:46 Waldek Hebisch, wrote: > On Sat, Jul 23, 2022 at 12:51:41PM +0800, Qian Yun wrote: > > There are patches for GCL and ECL recently, and I wonder > > if there are more coming? > > Currently no. The patches fix things that I know about > and know how to fix. > > > I

Re: [fricas-devel] GCL and ECL build status regarding to recent patches

2022-07-23 Thread Dima Pasechnik
On Sat, Jul 23, 2022 at 6:52 AM Qian Yun wrote: > > There are patches for GCL and ECL recently, and I wonder > if there are more coming? > > I didn't take a deeper look into the failures, but this is > build status from my side: > > GCL-2.6.13_pre fails to build on Linux with git HEAD. > > ECL

Re: [fricas-devel] Is there a time frame for the next version of Fricas?

2022-05-13 Thread Dima Pasechnik
On Fri, May 13, 2022 at 9:18 PM Ralf Hemmecke wrote: > > On 13.05.22 09:06, Qian Yun wrote: > > > Also, IIRC, the Sage compiles FriCAS with ecl instead of sbcl. > > Well, Sage seems to be smart. I have installed sage via apt-get in > ubuntu 18.04 and no sage package for fricas is installed. > >

Re: [fricas-devel] Creation of FriCAS binary distribution

2022-05-06 Thread Dima Pasechnik
On Fri, May 6, 2022 at 3:22 PM Waldek Hebisch wrote: > > On Fri, May 06, 2022 at 03:16:32PM +0200, Ralf Hemmecke wrote: > > Dear Waldek, > > > > is there any description (or better even: a script) of how to create exactly > > the binary distribution > > > >

Re: [fricas-devel] future community collaboration tool (deprecating fricas-devel maillist)

2022-04-25 Thread Dima Pasechnik
On Mon, Apr 25, 2022 at 7:04 PM Bill Page wrote: > > On Sun, 24 Apr 2022 at 23:48, Qian Yun wrote: > > > > Hello everyone on fricas-devel: > > > > You may have noticed that Waldek has not posted on fricas-devel > > for a while now. He has replied to GitHub issues in the mean > > time however. >

Re: [fricas-devel] future community collaboration tool (deprecating fricas-devel maillist)

2022-04-25 Thread Dima Pasechnik
On Mon, 25 Apr 2022, 04:48 Qian Yun, wrote: > Hello everyone on fricas-devel: > > You may have noticed that Waldek has not posted on fricas-devel > for a while now. He has replied to GitHub issues in the mean > time however. > > So I asked him privately via email, and he replied that he can't >

Re: [fricas-devel] hyperdoc fonts

2022-04-22 Thread Dima Pasechnik
On Fri, 22 Apr 2022, 17:28 Ralf Hemmecke, wrote: > In Xubuntu 22.04 I see > > (HyperDoc) Cannot load font > -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using defaul. > > Any hint of what debian package I should install? > xfonts-100dpi-transcoded or xfonts-100dpi > > Ralf > > --

Re: [fricas-devel] cause of faster Fricas 1.3.7 compared to 1.3.6 using integrate command.

2021-07-08 Thread Dima Pasechnik
On Thu, Jul 8, 2021 at 6:06 AM 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more than > twice as fast in the independent CAS integration test than integrate in 1.3.6 > (via sagemath 9.0), all on the same

Re: [fricas-devel] FriCAS banner

2021-04-30 Thread Dima Pasechnik
Imagine you just want the result of the computation by a fricas script. Then you'll want to suppress the banner. On Fri, 30 Apr 2021, 15:06 Ralf Hemmecke, wrote: > On 30.04.21 15:32, Grégory Vanuxem wrote: > > A quick question, is there a way to suppress the banner at startup? > > Looking at >

Re: [fricas-devel] INSTALL

2021-04-19 Thread Dima Pasechnik
there is https://github.com/fricas/fricas/pull/45 - not sure whether this is what one discusses here. Needless to say, 99% of people would read INSTALL in the browser, keeping it plaintext in 2021 is out of touch with the reality. On Mon, Apr 19, 2021 at 7:33 AM Ralf Hemmecke wrote: > > >

Re: [fricas-devel] Airy, Bessel and hypergeometric functions

2021-04-13 Thread Dima Pasechnik
On Tue, Apr 13, 2021 at 6:36 PM Tobias Neumann wrote: >> >> There is Closure CL, AFAIK it works fine. I do not know how >> many FriCAS users buid it on top of Closure CL, but it is >> quite good Lisp implementation. One higlight is precise >> garbage collector: with sbcl (and probably ecl too) it

Re: [fricas-devel] Re: HyperDoc and API

2021-03-24 Thread Dima Pasechnik
On Wed, Mar 24, 2021 at 9:50 AM Ralf Hemmecke wrote: > > Tobias sent a link via IRC. Seems that MathJax3 will bring quite some > progress. > > https://www.intmath.com/cg5/katex-mathjax-comparison.php?processor=MathJax3 it looks as if katex loads faster, but runs slower MathJax can be installed

Re: [fricas-devel] Re: HyperDoc and API

2021-03-24 Thread Dima Pasechnik
On Wed, Mar 24, 2021 at 4:14 AM Kurt Pagani wrote: > > I'm gatecrashing the party as I have unfortunately missed most of the latest > conversation. I had a discussion with Ralf recently and we agree that the > current X11 graphics ought to be enough for illustrative purposes (it also > works >

Re: [fricas-devel] Re: HyperDoc and API

2021-03-23 Thread Dima Pasechnik
On Mon, Mar 22, 2021 at 11:12 PM Waldek Hebisch wrote: > > On Mon, Mar 22, 2021 at 09:56:27PM +, Dima Pasechnik wrote: > > On Mon, Mar 22, 2021 at 9:43 PM Waldek Hebisch > > wrote: > > > > > > On Mon, Mar 22, 2021 at 10:03:09PM +0100, Ralf Hemmecke wrote:

Re: [fricas-devel] Re: HyperDoc and API

2021-03-22 Thread Dima Pasechnik
On Mon, Mar 22, 2021 at 9:43 PM Waldek Hebisch wrote: > > On Mon, Mar 22, 2021 at 10:03:09PM +0100, Ralf Hemmecke wrote: > > > Our graphics routines can create Postscript. > > > > I actually thought so, but never looked deeper to find out how this can > > be done. > > Click PS button in graphics

Re: [fricas-devel] Re: changes to allow macOS packaging work again

2021-03-19 Thread Dima Pasechnik
wow, https://www.xquartz.org/ just had a (pre)release, first in 5 years. I thought it is just gone. On Fri, 19 Mar 2021, 14:37 Waldek Hebisch, wrote: > On Fri, Mar 19, 2021 at 02:22:10PM +0000, Dima Pasechnik wrote: > > On Fri, Mar 19, 2021 at 2:21 PM Waldek Hebisch

Re: [fricas-devel] Re: changes to allow macOS packaging work again

2021-03-19 Thread Dima Pasechnik
On Fri, Mar 19, 2021 at 2:21 PM Waldek Hebisch wrote: > > On Fri, Mar 19, 2021 at 07:12:58PM +0800, Qian Yun wrote: > > This is all the changes I need in order to get a working > > macOS dmg package. > > Just asking: apparently you replace "xterm" by "Terminal.app", > what is the reason? macOS

Re: [fricas-devel] A radical idea for a (future) FriCAS GUI

2021-03-19 Thread Dima Pasechnik
On Fri, Mar 19, 2021 at 11:02 AM Qian Yun wrote: > > Recently there is news about the release of Flutter 2.0, and Ubuntu > using it to build the future Ubuntu installer. > > I'm a little interested in it and take a deeper look. > > Short introduction, "Flutter is Google’s UI toolkit for building

Re: [fricas-devel] Re: INSTALL.CYGWIN

2021-03-10 Thread Dima Pasechnik
On Thu, 11 Mar 2021, 03:16 Qian Yun, wrote: > Thanks for everyone's reply, I'll give Cygwin another try. > > I don't have much experience of Common Lisp on Windows, so > please correct me if I'm wrong or missed something. > > Current status: > > Clisp : can't save core with ":executable t".

Re: [fricas-devel] INSTALL.CYGWIN

2021-03-10 Thread Dima Pasechnik
On Wed, Mar 10, 2021 at 4:09 PM Qian Yun wrote: > > I was trying to make INSTALL.CYGWIN up to date. > > One serious problem occurs: > > The cygwin version of clisp contains a patch from March 2015 > that says "Don't allow saving executable memory images on Cygwin". > > Don't know why cygwin

Re: [fricas-devel] Symbolics.jl "A Modern Computer Algebra System for a Modern Language"

2021-03-08 Thread Dima Pasechnik
On Mon, Mar 8, 2021 at 8:40 PM Neven Sajko wrote: > > Regarding arrays and lists in Julia: the Array type is like C arrays in that > it is backed by contiguous storage in memory, and like std::vector from C++ > in that it can be dynamically resized. > > Linked lists, on the other hand, are

Re: [fricas-devel] Symbolics.jl "A Modern Computer Algebra System for a Modern Language"

2021-03-06 Thread Dima Pasechnik
On Sun, Mar 7, 2021 at 5:20 AM Qian Yun wrote: > > I saw this post [1] reaches #1 at hackernews [2], so I take a deeper look. > > Disclaimer: I didn't run the code, but I read all the docs, which > is very short, and grep through some of the source code. A much more serious Julia-based CAS

Re: [fricas-devel] [windows] no sman on msys2/mingw64

2021-03-04 Thread Dima Pasechnik
On Thu, Mar 4, 2021 at 4:26 PM Qian Yun wrote: > > Wait a second, there are numerous packages on msys2/mingw64 > that uses fork and pty, how does that happen? Could you point at any such package, with an URL? you probably mix it up with cygwin (which does support fork() etc) > > On 3/4/21 11:51

Re: [fricas-devel] autoconf and AM_MAINTAINER_MODE

2021-03-04 Thread Dima Pasechnik
What is your reason for not using AM_MAINTAINER_MODE macro? all the reasoning against it is hopelessly outdated, and just irregular for projects using git. On Thu, 4 Mar 2021, 15:45 Ralf Hemmecke, wrote: > I actually never saw this, but anyhow. > > I would actually like that generated files

Re: [fricas-devel] [windows] about obey.bat

2021-03-04 Thread Dima Pasechnik
On Thu, Mar 4, 2021 at 10:37 AM Qian Yun wrote: > > I don't know the history of obey.bat, or if it ever worked. > > My current hack is: > > #+:win32 (sb-ext::process-exit-code > - (sb-ext::run-program (make-absolute-filename "/lib/obey.bat") > -(list S) :input

Re: [fricas-devel] slow factorization in finite field

2021-02-22 Thread Dima Pasechnik
On Mon, Feb 22, 2021 at 1:00 PM Grégory Vanuxem wrote: > > Hi Waldek, all, > > If that matters, I know that Victor Shoup maintains a set of > benchmarks that compares NTL vs Flint. He even spotted a recently > introduced bug in Flint via his set (fixed since). If you want here is > a link of some

Re: [fricas-devel] CI failure, missing src/input/fftst.input

2021-02-02 Thread Dima Pasechnik
On Tue, Feb 2, 2021 at 12:24 AM Waldek Hebisch wrote: > > On Fri, Jan 29, 2021 at 07:03:35PM +0800, oldk1331 wrote: > > Hi Waldek, > > > > The reason that your commit didn't trigger CI is that, you didn't verify > > your github's linked email. > > > > If you are doing this for privacy or other

Re: [fricas-devel] the issue of %iint generated by Fricas

2021-01-09 Thread Dima Pasechnik
we can fix Sage interface only if we know what %iint stands for. Is it a kind of polylogarithm? On Sat, Jan 9, 2021 at 10:22 AM oldk1331 wrote: > > Hi, my thoughts are: > > 1. Maybe Sage should be able to automatically escape '%' in its 'latex' > command. > > When using FriCAS to generate latex,

  1   2   >