Groups
Groups
Sign in
Groups
Groups
FriCAS - computer algebra system
Conversations
About
Send feedback
Help
FriCAS - computer algebra system
1–30 of 3315
Mark all as read
Report group
0 selected
Tim Daly
9:43 AM
Re: Types capturing Definitions
Geoffrey Hinton was asked the question "How can you use AI to generate new knowledge?". I
unread,
Re: Types capturing Definitions
Geoffrey Hinton was asked the question "How can you use AI to generate new knowledge?". I
9:43 AM
Tim Daly
8:46 AM
Types as Definitions
I will be following your work at http://axiommath.ai closely. Since I've been working on Axiom (
unread,
Types as Definitions
I will be following your work at http://axiommath.ai closely. Since I've been working on Axiom (
8:46 AM
Ralf Hemmecke
, …
Peter Broadbery
4
Jan 7
knownInfo (conditionals in categories)
On Tue, 6 Jan 2026 at 16:37, Ralf Hemmecke <ra...@hemmecke.org> wrote: > > Oh, maybe if it
unread,
knownInfo (conditionals in categories)
On Tue, 6 Jan 2026 at 16:37, Ralf Hemmecke <ra...@hemmecke.org> wrote: > > Oh, maybe if it
Jan 7
Waldek Hebisch
, …
Grégory Vanuxem
8
Jan 6
Browser information
On Tue, Jan 06, 2026 at 07:32:28PM +0100, Grégory Vanuxem wrote: > Hello, > > Wow, thanks
unread,
Browser information
On Tue, Jan 06, 2026 at 07:32:28PM +0100, Grégory Vanuxem wrote: > Hello, > > Wow, thanks
Jan 6
Waldek Hebisch
, …
Dima Pasechnik
9
Jan 5
TeX parser
On Mon, Jan 5, 2026 at 5:54 PM 'Ralf Hemmecke' via FriCAS - computer algebra system <
unread,
TeX parser
On Mon, Jan 5, 2026 at 5:54 PM 'Ralf Hemmecke' via FriCAS - computer algebra system <
Jan 5
Grégory Vanuxem
12/29/25
CI: macOS-15 for arm and SBCL 2.6.0 for Windows
Hi, For information, if needed, I switched my Windows CI to use SBCL 2.6.0 and the macOS arm to macos
unread,
CI: macOS-15 for arm and SBCL 2.6.0 for Windows
Hi, For information, if needed, I switched my Windows CI to use SBCL 2.6.0 and the macOS arm to macos
12/29/25
Grégory Vanuxem
,
Waldek Hebisch
3
12/28/25
Multiple test files run into the interpreter
Le dim. 28 déc. 2025 à 18:42, Waldek Hebisch <de...@fricas.org> a écrit : > > On Sun, Dec
unread,
Multiple test files run into the interpreter
Le dim. 28 déc. 2025 à 18:42, Waldek Hebisch <de...@fricas.org> a écrit : > > On Sun, Dec
12/28/25
Qian Yun
, …
Waldek Hebisch
6
12/23/25
fricas/gcl/sage PR#207
On Mon, Dec 22, 2025 at 12:38:01PM -0600, Dima Pasechnik wrote: > On Mon, Dec 22, 2025 at 12:20 PM
unread,
fricas/gcl/sage PR#207
On Mon, Dec 22, 2025 at 12:38:01PM -0600, Dima Pasechnik wrote: > On Mon, Dec 22, 2025 at 12:20 PM
12/23/25
Tim Daly
,
Qian Yun
3
12/22/25
Grokipedia Fricas / Axiom entries
Yes, Jim Griesmer made the first attempt using Fortran. Dick Jenks (and many others) made the second
unread,
Grokipedia Fricas / Axiom entries
Yes, Jim Griesmer made the first attempt using Fortran. Dick Jenks (and many others) made the second
12/22/25
Ralf Hemmecke
,
Waldek Hebisch
3
12/22/25
macro behaviour in compiler and interpreter
On 12/22/25 02:14, Waldek Hebisch wrote: > On Mon, Dec 22, 2025 at 12:38:08AM +0100, 'Ralf
unread,
macro behaviour in compiler and interpreter
On 12/22/25 02:14, Waldek Hebisch wrote: > On Mon, Dec 22, 2025 at 12:38:08AM +0100, 'Ralf
12/22/25
Ralf Hemmecke
,
Waldek Hebisch
7
12/21/25
function depending on domain
On Sun, Dec 21, 2025 at 06:17:21PM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
function depending on domain
On Sun, Dec 21, 2025 at 06:17:21PM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
12/21/25
Ralf Hemmecke
,
Waldek Hebisch
2
12/21/25
listOfTerms vs terms
On Mon, Dec 08, 2025 at 02:00:29AM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
listOfTerms vs terms
On Mon, Dec 08, 2025 at 02:00:29AM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
12/21/25
Sid Andal
, …
Waldek Hebisch
6
12/21/25
Compile error over var name....
On Mon, Dec 08, 2025 at 08:13:49AM -0800, Sid Andal wrote: <snip> > However, the same
unread,
Compile error over var name....
On Mon, Dec 08, 2025 at 08:13:49AM -0800, Sid Andal wrote: <snip> > However, the same
12/21/25
Dima Pasechnik
, …
衷琛鑫
18
12/11/25
finding underlying lisp
I think this issue is maybe relevant to the gcl readline. I just use ``si::readline-off`` and it is
unread,
finding underlying lisp
I think this issue is maybe relevant to the gcl readline. I just use ``si::readline-off`` and it is
12/11/25
Grégory Vanuxem
, …
Waldek Hebisch
9
12/6/25
CL structure in FriCAS - Was [New release]
No response please. Le sam. 6 déc. 2025, 15:48, Grégory Vanuxem <g.va...@gmail.com> a écrit :
unread,
CL structure in FriCAS - Was [New release]
No response please. Le sam. 6 déc. 2025, 15:48, Grégory Vanuxem <g.va...@gmail.com> a écrit :
12/6/25
Grégory Vanuxem
, …
Qian Yun
10
11/27/25
Syntax error?
Hello Ralf, Le mardi 25 novembre 2025 à 18:50:29 UTC+1, Grégory Vanuxem a écrit : Le mar. 25 nov.
unread,
Syntax error?
Hello Ralf, Le mardi 25 novembre 2025 à 18:50:29 UTC+1, Grégory Vanuxem a écrit : Le mar. 25 nov.
11/27/25
Franz Lehner
, …
Waldek Hebisch
4
11/14/25
paradox problem
On Fri, Nov 14, 2025 at 03:54:34PM +0100, Franz Lehner wrote: > On Fri, 14 Nov 2025, 'Ralf
unread,
paradox problem
On Fri, Nov 14, 2025 at 03:54:34PM +0100, Franz Lehner wrote: > On Fri, 14 Nov 2025, 'Ralf
11/14/25
Ralf Hemmecke
,
Waldek Hebisch
3
11/10/25
stirling1(0,0)=1
On Sun, Nov 09, 2025 at 02:40:56PM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
stirling1(0,0)=1
On Sun, Nov 09, 2025 at 02:40:56PM +0100, 'Ralf Hemmecke' via FriCAS - computer algebra
11/10/25
Grégory Vanuxem
,
Waldek Hebisch
3
11/4/25
U64Int and Ring
Hello Waldek, * I finally found some routines that do the overflow checks. At a cost of course. So, I
unread,
U64Int and Ring
Hello Waldek, * I finally found some routines that do the overflow checks. At a cost of course. So, I
11/4/25
Grégory Vanuxem
,
Waldek Hebisch
3
11/2/25
Meaning of \spadignore in database and "i.e."
Oh, ok. That's clear to me now. I can safely remove it from my resulted string. Thanks Waldek. -
unread,
Meaning of \spadignore in database and "i.e."
Oh, ok. That's clear to me now. I can safely remove it from my resulted string. Thanks Waldek. -
11/2/25
Ralf Hemmecke
, …
Grégory Vanuxem
3
10/22/25
functions that return function
Le mer. 22 oct. 2025 à 03:14, Waldek Hebisch <de...@fricas.org> a écrit : > > On Tue, Oct
unread,
functions that return function
Le mer. 22 oct. 2025 à 03:14, Waldek Hebisch <de...@fricas.org> a écrit : > > On Tue, Oct
10/22/25
Qian Yun
10/8/25
improve sman.c: clean_up_old_sockets and check_spad_proc
In src/sman/sman.c, function "clean_up_old_sockets" and "check_spad_proc" looks
unread,
improve sman.c: clean_up_old_sockets and check_spad_proc
In src/sman/sman.c, function "clean_up_old_sockets" and "check_spad_proc" looks
10/8/25
Qian Yun
,
Waldek Hebisch
3
10/7/25
[PATCH] support build FRICASsys as Lisp core image
On 10/8/25 5:27 AM, Waldek Hebisch wrote: > On Mon, Oct 06, 2025 at 08:08:09PM +0800, Qian Yun
unread,
[PATCH] support build FRICASsys as Lisp core image
On 10/8/25 5:27 AM, Waldek Hebisch wrote: > On Mon, Oct 06, 2025 at 08:08:09PM +0800, Qian Yun
10/7/25
Qian Yun
,
Waldek Hebisch
5
10/7/25
another obscure bug with CLISP build
On Tue, Oct 07, 2025 at 03:53:32PM +0800, Qian Yun wrote: > This is a simple workaround for the
unread,
another obscure bug with CLISP build
On Tue, Oct 07, 2025 at 03:53:32PM +0800, Qian Yun wrote: > This is a simple workaround for the
10/7/25
Ralf Hemmecke
10/7/25
wiki.fricas.org is down
The wiki is currently down. Ralf
unread,
wiki.fricas.org is down
The wiki is currently down. Ralf
10/7/25
Qian Yun
,
Waldek Hebisch
2
10/5/25
[PATCH] use :accept-runtime-options in sbcl when possible
On Mon, Oct 06, 2025 at 09:40:18AM +0800, Qian Yun wrote: > In sbcl-2.5.3, bug [1] was fixed. It
unread,
[PATCH] use :accept-runtime-options in sbcl when possible
On Mon, Oct 06, 2025 at 09:40:18AM +0800, Qian Yun wrote: > In sbcl-2.5.3, bug [1] was fixed. It
10/5/25
Grégory Vanuxem
10/3/25
Re: [fricas/fricas] "Won't parse" in HyperDoc when clicking on finiteAggregate in the Aggregate Category page (Issue #203)
I added a comment on the offending commit: https://github.com/fricas/fricas/issues/203#issuecomment-
unread,
Re: [fricas/fricas] "Won't parse" in HyperDoc when clicking on finiteAggregate in the Aggregate Category page (Issue #203)
I added a comment on the offending commit: https://github.com/fricas/fricas/issues/203#issuecomment-
10/3/25
Grégory Vanuxem
2
10/3/25
Issue templates on GitHub repository
My apologies, the principal (only?) advantage of using templates is to give necessary informations
unread,
Issue templates on GitHub repository
My apologies, the principal (only?) advantage of using templates is to give necessary informations
10/3/25
Waldek Hebisch
, …
Grégory Vanuxem
52
9/28/25
Replacing HyperDoc
Hello, Thanks. This is exactly what is needed, I think. But not only for HyperDoc or HTML
unread,
Replacing HyperDoc
Hello, Thanks. This is exactly what is needed, I think. But not only for HyperDoc or HTML
9/28/25
Grégory Vanuxem
,
Waldek Hebisch
2
9/25/25
Using 'mod' as a function parameter in Spad
On Wed, Sep 24, 2025 at 04:34:41AM +0200, Grégory Vanuxem wrote: > Hello, > > A quick note,
unread,
Using 'mod' as a function parameter in Spad
On Wed, Sep 24, 2025 at 04:34:41AM +0200, Grégory Vanuxem wrote: > Hello, > > A quick note,
9/25/25
