Package Details: fricas 1.3.7-1

Git Clone URL: (read-only, click to copy)
Package Base: fricas
Description: An advanced computer algebra system
Upstream URL:
Licenses: custom
Submitter: serkho
Maintainer: serkho
Last Packager: serkho
Votes: 12
Popularity: 0.000000
First Submitted: 2013-06-30 07:19 (UTC)
Last Updated: 2021-06-30 18:38 (UTC)

Latest Comments

amca01 commented on 2021-12-05 06:49 (UTC)

@serkho Thank you - and for your packaging of FriCAS. I ended up doing exactly that: using git to create a local repository, compiling with makepkg and then installing with pacman -U. All good and I didn't need any of the helpers at all. (Now I have to work out how to provide fonts for HyperDoc; the fonts it wants don't seem to be available to it, and the default fonts are too tiny on my screen to be usable. And I'll also look into jfricas and hunchentoot (SBCL webserver) for use with Jupyter.)

serkho commented on 2021-12-05 06:20 (UTC)

@amca01 I just downloaded the latest snapshot and built it with makepkg successfully. So I guess it has something to do with trizen. Looking into its readme I can see it has a --debug flag which might help you to debug the issue.

amca01 commented on 2021-12-05 02:12 (UTC)

@neven Many thanks for your reply, and for the heads-up about mentioning AUR helpers. I didn't realize that issue (about potential infinite numbers of helpers, and hence impolite to mention which one) and in my innocence I imagined that it may have been helpful. But in respect of my particular issue, I can see now that the helper is, or should be, irrelevant. Anyway, I'll take your expert advice, with again many thanks.

neven commented on 2021-12-04 15:02 (UTC)

@amca01 Your best option is to troubleshoot. This means you should use the AUR without a helper (i.e. just run makepkg). I guess your issue is caused by an AUR helper bug, so this may even fix it for you. BTW, consider that the amount of AUR helpers is potentially unlimited, so mentioning which AUR helper you use is in fact impolite when reporting a bug or asking for assistance. What helper one uses is really noise at best, at worst it could be interpreted as demanding other people to try out your random helper.

amca01 commented on 2021-12-03 08:51 (UTC)

I've tried downloading and installing FriCAS using trizen as my AUR helper; all went well until after some minutes of work it stopped with

:: Unable to find a built tarball for fricas.

What's my best option here? (I know I could download and compile FriCAS from its source code, but that seems like overkill.) I know this is a very niche package, and if this is a case of my working it out for myself, I'll understand. But as always, advice is very welcome.

serkho commented on 2019-06-08 05:34 (UTC)

@neven, thanks. I've updated the package, let's see how it works

neven commented on 2019-06-08 01:27 (UTC)

My suggestion to set memory limits so as to be effectively unlimited was not good.

This seems to work correctly instead: in the "build" bash function in the PKGBUILD:

./configure --prefix=/usr '--with-lisp=sbcl --control-stack-size 512 --dynamic-space-size 6000'

neven commented on 2019-06-07 23:35 (UTC)

I have been playing around with Fricas and one thing that is bothering me is SBCL memory usage limits. I often run out of stack or heap space, which is enforced by SBCL and causes the Fricas command in execution to fail with some ugly warnings.

It would be optimal if the limits could be set at run time (if any SBCL devs read this: USE GETRLIMIT, so I could set limits myself with ulimit), but I suspect that is not possible.

In view of that, could you configure SBCL to increase the stack and heap limits to a large value to make it effectively unlimited, or just set it to 8 GB? The relevant SBCL options seem to be --dynamic-space-size and --control-stack-size .

serkho commented on 2017-09-30 15:55 (UTC)

@bertalanp99 Looks like a temporary outage on SF side, working ok now. Can you give it a try again?

bertalanp99 commented on 2017-09-28 21:09 (UTC)

Downloading copyright.txt fails, can't install :/

The_Keeper commented on 2016-03-06 04:10 (UTC)

I'll mark it out-of-date. September 25, 2015 -- FriCAS 1.2.7 released

taifunbrowser commented on 2016-02-08 21:26 (UTC)

Seems to out-of-memory on build for me? Heap exhausted during garbage collection: 0 bytes available, 16 requested. Total bytes allocated = 1072754400 Dynamic-space-size bytes = 1073741824 fatal error encountered in SBCL pid 27525(tid 140737353762560): Heap exhausted, game over.

serkho commented on 2014-01-25 07:18 (UTC)

Apparently SBCL needs it. I removed the execstack flag from an SBCL-compiled binary and it stopped working.

oriba commented on 2014-01-21 22:29 (UTC)

...but "executable stack" looks like a security hole. I think, this is something, which the developers should address.

serkho commented on 2014-01-21 16:29 (UTC)

Warnings about missing lisp and interpsys are caused by shebang in .fasl files. It does not affect the functionality.

serkho commented on 2014-01-20 05:43 (UTC)

Thanks for the report. namcap errors have been fixed and I will look what can be done for its warnings. BTW there was no need to flag the package as out of date: I am subscribed on all comments and the version was 1.2.2 already :) Thanks anyway.

oriba commented on 2014-01-18 00:23 (UTC)

namcap gives the following output: fricas E: Missing custom license directory (usr/share/licenses/fricas) fricas W: ELF file ('usr/lib/fricas/target/x86_64-unknown-linux/bin/AXIOMsys') has executable stack. fricas W: Referenced library 'lisp' is an uninstalled dependency fricas W: Referenced library 'interpsys' is an uninstalled dependency fricas E: Dependency libxpm detected and not included (libraries ['usr/lib/'] needed in files ['usr/lib/fricas/target/x86_64-unknown-linux/bin/htadd', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/ex2ht', 'usr/lib/fricas/target/x86_64-unknown-linux/bin/hypertex', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/spadbuf', 'usr/lib/fricas/target/x86_64-unknown-linux/bin/viewAlone', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/hthits', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/view2D', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/viewman', 'usr/lib/fricas/target/x86_64-unknown-linux/lib/view3D']) fricas E: Dependency gawk detected and not included (programs ['gawk'] needed in scripts ['usr/lib/fricas/target/x86_64-unknown-linux/lib/presea'])

oriba commented on 2014-01-18 00:05 (UTC)

September 28, 2013 -- FriCAS 1.2.2 released