[package - main-i386-default][math/fricas] Failed for fricas-1.3.7 in build

From: <pkg-fallout_at_FreeBSD.org>
Date: Sat, 16 Jul 2022 01:34:42 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     yuri@FreeBSD.org
Log URL:        http://beefy17.nyi.freebsd.org/data/main-i386-default/p9bf5aa3098d8_scefe58791b/logs/fricas-1.3.7.log
Build URL:      http://beefy17.nyi.freebsd.org/build.html?mastername=main-i386-default&build=p9bf5aa3098d8_scefe58791b
Log:

=>> Building math/fricas
build started at Sat Jul 16 01:32:48 UTC 2022
port directory: /usr/ports/math/fricas
package name: fricas-1.3.7
building for: FreeBSD main-i386-default-job-03 14.0-CURRENT FreeBSD 14.0-CURRENT 1400063 i386
maintained by: yuri@FreeBSD.org
Makefile ident: 
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400063
Jail OSVERSION: 1400063
Job Id: 03

---Begin Environment---
SHELL=/bin/sh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1400063
UNAME_v=FreeBSD 14.0-CURRENT 1400063
UNAME_r=14.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-21-g883afb07
MASTERMNT=/usr/local/poudriere/data/.m/main-i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
---End OPTIONS List---

--MAINTAINER--
yuri@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--
--with-lisp=sbcl --x-libraries=/usr/local/lib --x-includes=/usr/local/include --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/fricas/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/fricas/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/fricas/work/.cache  HOME=/wrkdirs/usr/ports/math/fricas/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/fricas/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/fricas/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh DEFAULT_AUTOCONF=2.71 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/fricas/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/fricas/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/fricas/work/.cache  HOME=/wrkdirs/usr/ports/math/fricas/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/fricas/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/fricas/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DEFAULT_AUTOCONF=2.71 PREFIX=/usr/local  LOCALBASE=/usr/local  CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing  "  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install   -m 555"  BSD_INSTALL_LIB="install   -m 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INS
 TALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
HOST_ARCH="i386-portbld-freebsd14.0" OSREL=14.0 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/fricas"  EXAMPLESDIR="share/examples/fricas"  DATADIR="share/fricas"  WWWDIR="www/fricas"  ETCDIR="etc/fricas"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/fricas DOCSDIR=/usr/local/share/doc/fricas EXAMPLESDIR=/usr/local/share/examples/fricas  WWWDIR=/usr/local/www/fricas ETCDIR=/usr/local/etc/fricas
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=14.0-CURRENT
OSREL=14.0
OSVERSION=1400063
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  524288
stack size              (kbytes, -s)  65536
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  1024
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===>  License BSD3CLAUSE accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   fricas-1.3.7 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.18.3.pkg
[main-i386-default-job-03] Installing pkg-1.18.3...
[main-i386-default-job-03] Extracting pkg-1.18.3: .......... done
===>   fricas-1.3.7 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of fricas-1.3.7
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License BSD3CLAUSE accepted by the user
===> Fetching all distfiles required by fricas-1.3.7 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License BSD3CLAUSE accepted by the user
===> Fetching all distfiles required by fricas-1.3.7 for building
=> SHA256 Checksum OK for fricas-1.3.7-full.tar.bz2.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===>  License BSD3CLAUSE accepted by the user
===> Fetching all distfiles required by fricas-1.3.7 for building
===>  Extracting for fricas-1.3.7
=> SHA256 Checksum OK for fricas-1.3.7-full.tar.bz2.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for fricas-1.3.7
===>  Applying FreeBSD patches for fricas-1.3.7 from /usr/ports/math/fricas/files
===========================================================================
=======================<phase: build-depends  >============================
===>   fricas-1.3.7 depends on executable: sbcl - not found
===>   Installing existing package /packages/All/sbcl-2.2.5,1.pkg
[main-i386-default-job-03] Installing sbcl-2.2.5,1...
[main-i386-default-job-03] `-- Installing cl-asdf-3.3.4.7,2...
[main-i386-default-job-03] `-- Extracting cl-asdf-3.3.4.7,2: ........ done
[main-i386-default-job-03] `-- Installing gmp-6.2.1...
[main-i386-default-job-03] |   `-- Installing indexinfo-0.3.1...
[main-i386-default-job-03] |   `-- Extracting indexinfo-0.3.1: .... done
[main-i386-default-job-03] `-- Extracting gmp-6.2.1: .......... done
[main-i386-default-job-03] `-- Installing mpfr-4.1.0_1...
[main-i386-default-job-03] `-- Extracting mpfr-4.1.0_1: .......... done
[main-i386-default-job-03] Extracting sbcl-2.2.5,1: .......... done
=====
Message from cl-asdf-3.3.4.7,2:
<snip>
; caught STYLE-WARNING:
;   undefined function: BOOT::|isCategoryPackageName|

; in: DEFUN |consDomainName|
;     (BOOT::|isDomainForm| BOOT::|x| BOOT::|e|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|isDomainForm|

;     (BOOT::|isFunctor| BOOT::|op|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|isFunctor|

; in: DEFUN |simplify_self_preds1|
;     (BOOT::|isHasDollarPred| BOOT::|cond|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|isHasDollarPred|

; in: DEFUN |deltaTran|
;     (BOOT::|keyedSystemError| 'BOOT::S2NR0004 (LIST BOOT::|dc|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|keyedSystemError|

; in: DEFUN |NRTencode,encode|
;     (BOOT::|lispize| BOOT::|compForm|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|lispize|

; in: DEFUN |changeDirectoryInSlot1|
;     (BOOT::|listSort| #'BOOT::GLESSEQP (COPY-LIST BOOT::|$lisplibOperationAlist|)
;      #'CADR)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|listSort|

; in: DEFUN |buildFunctor|
;     (BOOT::|makePredicateBitVector|
;      (APPEND (BOOT::ASSOCRIGHT BOOT::|$condAlist|)
;              BOOT::|$NRTslot1PredicateList|)
;      BOOT::|e|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|makePredicateBitVector|

;     (BOOT::|maybe_devaluate| BOOT::|a| BOOT::|c|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|maybe_devaluate|

; in: DEFUN |genDeltaEntry|
;     (BOOT::|member| BOOT::|dc| BOOT::|$functorLocalParameters|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|member|

; in: DEFUN |buildFunctor|
;     (BOOT::|minimalise| BOOT::|ans|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|minimalise|

; in: DEFUN |NRTsetVector4Part1|
;     (BOOT::|mkEvalableCategoryForm| BOOT::|form| BOOT::|e|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|mkEvalableCategoryForm|

; in: DEFUN |genDeltaEntry|
;     (BOOT::|mkList| (BOOT::|consSig| BOOT::|nsig| BOOT::|dc| BOOT::|e|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|mkList|

; in: DEFUN |simplify_self_preds1|
;     (BOOT::|opOf| BOOT::|c1|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|opOf|

; in: DEFUN |optDeltaEntry|
;     (BOOT::|optCallEval| BOOT::|ndc|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|optCallEval|

; in: DEFUN |buildFunctor|
;     (BOOT::|optFunctorPROGN|
;      (APPEND BOOT::|codePart1| (APPEND BOOT::|codePart2| BOOT::|codePart3|)))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|optFunctorPROGN|

; in: DEFUN |NRTsetVector4Part1|
;     (BOOT::|optimize|
;      (BOOT::COPY
;       (BOOT::IFCAR (BOOT::|comp| BOOT::|d| BOOT::|$EmptyMode| BOOT::|e|))))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|optimize|

; in: DEFUN |buildFunctor|
;     (BOOT::|simpBool| BOOT::|cc|)
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|simpBool|

; in: DEFUN |optDeltaEntry|
;     (BOOT::|stackAndThrow|
;      (LIST BOOT::|op| 'BOOT::| can not be properly inline optimized|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|stackAndThrow|

; in: DEFUN |deltaTran|
;     (BOOT::|substitute| 'BOOT::$ BOOT::|dc|
;      (BOOT::|substitute| 'BOOT::$$ 'BOOT::$ BOOT::|sig|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|substitute|

; in: DEFUN |NRTencode,encode|
;     (BOOT::|systemErrorHere| "NRTencode")
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|systemErrorHere|

; in: DEFUN |NRTmakeSlot1Info|
;     (BOOT::|transformOperationAlist|
;      (SUBLIS BOOT::|pairlis| (ELT BOOT::|base_shell| 1)))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|transformOperationAlist|

; in: DEFUN |listOfBoundVars|
;     (BOOT::|union| BOOT::|bfVar#17| (BOOT::|listOfBoundVars| BOOT::|x| BOOT::|e|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|union|

; in: DEFUN |simplify_self_preds1|
;     (BOOT::|userError|
;      (LIST 'BOOT::|simplify_self_preds1: cannot simplify| BOOT::|$op|
;            BOOT::|self_preds|))
; 
; caught STYLE-WARNING:
;   undefined function: BOOT::|userError|
; 
; compilation unit finished
;   Undefined functions:
;     ASSOCRIGHT COPY |DescendCode| GENVAR GETDATABASE GETL GETREFV GLESSEQP |InvestigateConditions| LASSOC MAKE_HASHTABLE MKPF MKQ POSN1 REMDUP SAY SETDIFFERENCE SIZE SUBLISLIS |addToConstructorCache| |assoc| |chaseInferences| |comp| |compCategories| |compOrCroak| |compileTimeBindingOf| |compiledLookup| |constructor?| |devaluate| |error| |eval| |get| |getConstructorSignature| |get_run_time| |insert| |isCategoryForm| |isCategoryPackageName| |isDomainForm| |isFunctor| |isHasDollarPred| |keyedSystemError| |lispize| |listSort| |makePredicateBitVector| |maybe_devaluate| |member| |minimalise| |mkEvalableCategoryForm| |mkList| |opOf| |optCallEval| |optFunctorPROGN| |optimize| |simpBool| |stackAndThrow| |substitute| |systemErrorHere| |transformOperationAlist| |union| |userError|
;   Undefined variables:
;     |$EmptyMode| |$FormalMapVariableList| |$ModeVariableList| |$NRTaddForm| |$NRTbase| |$NRTdeltaLength| |$NRTdeltaList| |$NRTdeltaListComp| |$NRTslot1PredicateList| |$QuickCode| |$SetFunctions| |$addForm| |$bootstrapDomains| |$condAlist| |$devaluateList| |$elt| |$formalArgList| |$functorForm| |$functorLocalParameters| |$functor_cosig1| |$insideCategoryPackageIfTrue| |$killOptimizeIfTrue| |$lastPred| |$lisplibOperationAlist| |$mutableDomain| |$newEnv| |$op| |$optimizableConstructorNames| |$template|
;   caught 69 WARNING conditions
;   caught 69 STYLE-WARNING conditions


; wrote /wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/interp/nruncomp.fasl
; compilation finished in 0:00:00.173
NIL
* echo '(load "makeint.lisp") #-:ecl(BOOT::reclaim)' \
             '#+:ecl(FRICAS-LISP::make-program "/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/interpsys" nil)' \
             '#-:ecl(BOOT::spad-save "/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/interpsys" t)' | \
           DAASE='/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/share' /wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/bootsys
* While evaluating the form starting at line 8, column 0
  of #P"/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/interp/makeint.lisp":

debugger invoked on a SB-INT:SIMPLE-FILE-ERROR in thread
#<THREAD "main thread" RUNNING {5849A001}>:
  Couldn't load "setvars.fasl": file does not exist.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY   ] Retry EVAL of current toplevel form.
  1: [CONTINUE] Ignore error and continue loading file "/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/interp/makeint.lisp".
  2: [ABORT   ] Abort loading file "/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/interp/makeint.lisp".
  3:            Exit debugger, returning to top level.

(LOAD "setvars.fasl" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :DEFAULT)
0] 
T
* ls /wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/interpsys
ls: /wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/interpsys: No such file or directory
gmake[3]: *** [Makefile:331: /wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/build/i386-portbld-freebsd14.0/bin/interpsys] Error 1
gmake[3]: Leaving directory '/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src/interp'
gmake[2]: *** [Makefile:233: all-interpsys] Error 2
gmake[2]: Leaving directory '/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7/src'
gmake[1]: *** [Makefile:250: all-src] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/fricas/work/fricas-1.3.7'
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1

Stop.
make: stopped in /usr/ports/math/fricas