Groups
Groups
Sign in
Groups
Groups
FriCAS - computer algebra system
Conversations
About
Send feedback
Help
Group path
FriCAS - computer algebra system
1–30 of 3454
Mark all as read
Report group
0 selected
Qian Yun
, …
Waldek Hebisch
7
Jun 21
recent CAS projects that mentions FriCAS
On Sun, Jun 21, 2026 at 09:39:11PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
recent CAS projects that mentions FriCAS
On Sun, Jun 21, 2026 at 09:39:11PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
Jun 21
Qian Yun
Jun 21
fricas and lean (theorem prover)
https://github.com/DustinTheismann/omniforge/pull/2 This seems to be an interesting project, that
unread,
fricas and lean (theorem prover)
https://github.com/DustinTheismann/omniforge/pull/2 This seems to be an interesting project, that
Jun 21
Qian Yun
,
Waldek Hebisch
24
Jun 20
[PATCH] optimize =$EXPR
Some updates: The following 'smaller?' change causes some test result to change differently
unread,
[PATCH] optimize =$EXPR
Some updates: The following 'smaller?' change causes some test result to change differently
Jun 20
Qian Yun
, …
Waldek Hebisch
6
Jun 18
ill formed expression?
On Thu, Jun 18, 2026 at 07:12:21AM +0800, Qian Yun wrote: > Thanks for the nice explanation. >
unread,
ill formed expression?
On Thu, Jun 18, 2026 at 07:12:21AM +0800, Qian Yun wrote: > Thanks for the nice explanation. >
Jun 18
Qian Yun
,
Waldek Hebisch
16
Jun 17
regressions
Thanks, I tested it in https://github.com/oldk1331/fricas, now it passes for CCL on windows, as well
unread,
regressions
Thanks, I tested it in https://github.com/oldk1331/fricas, now it passes for CCL on windows, as well
Jun 17
Qian Yun
,
Waldek Hebisch
3
Jun 12
[PATCH] fix 'algreduc' in Expression
On 6/12/26 7:48 PM, Waldek Hebisch wrote: > On Fri, Jun 12, 2026 at 05:30:09PM +0800, Qian Yun
unread,
[PATCH] fix 'algreduc' in Expression
On 6/12/26 7:48 PM, Waldek Hebisch wrote: > On Fri, Jun 12, 2026 at 05:30:09PM +0800, Qian Yun
Jun 12
Qian Yun
,
Waldek Hebisch
4
Jun 10
[PATCH] remove duplicated functions from EFUPXS
On Thu, Jun 11, 2026 at 07:16:46AM +0800, Qian Yun wrote: > On 6/11/26 5:27 AM, Waldek Hebisch
unread,
[PATCH] remove duplicated functions from EFUPXS
On Thu, Jun 11, 2026 at 07:16:46AM +0800, Qian Yun wrote: > On 6/11/26 5:27 AM, Waldek Hebisch
Jun 10
Yanshu Wang
, …
Qian Yun
37
Jun 8
An Experimental Port of FriCAS to WebAssembly
> Third, since it is web interface, I think writing a WEB version of hyperdoc interface might be
unread,
An Experimental Port of FriCAS to WebAssembly
> Third, since it is web interface, I think writing a WEB version of hyperdoc interface might be
Jun 8
Grégory Vanuxem
, …
Qian Yun
9
Jun 7
Numerical solution of complexSolve (decimal digits displayed)
My point is, for this specific "complexSolve" function, say user requests 10 digits
unread,
Numerical solution of complexSolve (decimal digits displayed)
My point is, for this specific "complexSolve" function, say user requests 10 digits
Jun 7
Waldek Hebisch
Jun 7
A little statistic
As of today we have 54336 lines in Makefile.in, Boot and Lisp files in src/interp. For comparison, it
unread,
A little statistic
As of today we have 54336 lines in Makefile.in, Boot and Lisp files in src/interp. For comparison, it
Jun 7
Grégory Vanuxem
Jun 7
Sorry
https://youtu.be/QYVc4v1gfgg?is=QqTYyk854NVCx_WH
unread,
Sorry
https://youtu.be/QYVc4v1gfgg?is=QqTYyk854NVCx_WH
Jun 7
Qian Yun
,
Waldek Hebisch
4
Jun 6
[PATCH] fix ')history )file'
On Sat, Jun 06, 2026 at 09:10:57PM +0800, Qian Yun wrote: > On 6/6/26 8:47 PM, Waldek Hebisch
unread,
[PATCH] fix ')history )file'
On Sat, Jun 06, 2026 at 09:10:57PM +0800, Qian Yun wrote: > On 6/6/26 8:47 PM, Waldek Hebisch
Jun 6
Qian Yun
,
Waldek Hebisch
13
Jun 5
regression? in cda8948b
On 6/5/26 9:58 PM, Waldek Hebisch wrote: > > Yes. I have noticed that there is another problem:
unread,
regression? in cda8948b
On 6/5/26 9:58 PM, Waldek Hebisch wrote: > > Yes. I have noticed that there is another problem:
Jun 5
Tim Daly
,
Hill Strong
2
Jun 4
Leiden Declaration on Artificial Intelligence and Mathematics
Good morning Tim, Thank you for providing a copy of this document. Much as it highlights various
unread,
Leiden Declaration on Artificial Intelligence and Mathematics
Good morning Tim, Thank you for providing a copy of this document. Much as it highlights various
Jun 4
Waldek Hebisch
, …
Qian Yun
10
Jun 4
New HyperDoc
On 6/5/26 4:35 AM, Waldek Hebisch wrote: > On Tue, Jun 02, 2026 at 11:48:06PM +0200, Waldek
unread,
New HyperDoc
On 6/5/26 4:35 AM, Waldek Hebisch wrote: > On Tue, Jun 02, 2026 at 11:48:06PM +0200, Waldek
Jun 4
Kurt Pagani
, …
Waldek Hebisch
8
Jun 4
Division by zero error in certain sums
On 04/06/2026 02:30, Waldek Hebisch wrote: ... > > But there is another possible trouble:
unread,
Division by zero error in certain sums
On 04/06/2026 02:30, Waldek Hebisch wrote: ... > > But there is another possible trouble:
Jun 4
Ralf Hemmecke
, …
Waldek Hebisch
3
Jun 2
ioHook
On Tue, Jun 02, 2026 at 04:52:23PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
ioHook
On Tue, Jun 02, 2026 at 04:52:23PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
Jun 2
Qian Yun
, …
Grégory Vanuxem
5
Jun 2
[PATCH] doc and typo fixes
About some comments removal, maybe this is kept for historical reasons, but that could also be
unread,
[PATCH] doc and typo fixes
About some comments removal, maybe this is kept for historical reasons, but that could also be
Jun 2
Grégory Vanuxem
,
Waldek Hebisch
5
Jun 2
Defined by
Thanks! This is approximately what I was looking for. That suits my need. Greg Le mardi 26 mai 2026 à
unread,
Defined by
Thanks! This is approximately what I was looking for. That suits my need. Greg Le mardi 26 mai 2026 à
Jun 2
Grégory Vanuxem
,
Waldek Hebisch
3
Jun 2
[PATCH] more verbose error message in parseAndEvalString* (server.boot)
Hello, Yes, I also think so. That would be good from my point of view, actual code is lacunar. Greg
unread,
[PATCH] more verbose error message in parseAndEvalString* (server.boot)
Hello, Yes, I also think so. That would be good from my point of view, actual code is lacunar. Greg
Jun 2
Qian Yun
,
Waldek Hebisch
2
Jun 1
include src/doc/foreword.tex in reference book?
On Thu, May 28, 2026 at 08:21:08PM +0800, Qian Yun wrote: > I think the foreword is very well
unread,
include src/doc/foreword.tex in reference book?
On Thu, May 28, 2026 at 08:21:08PM +0800, Qian Yun wrote: > I think the foreword is very well
Jun 1
Qian Yun
,
Waldek Hebisch
2
Jun 1
[PATCH] fix regression in 87515e1d
On Mon, Jun 01, 2026 at 05:59:31PM +0800, Qian Yun wrote: > You can trigger the error when trying
unread,
[PATCH] fix regression in 87515e1d
On Mon, Jun 01, 2026 at 05:59:31PM +0800, Qian Yun wrote: > You can trigger the error when trying
Jun 1
Qian Yun
,
Waldek Hebisch
2
May 30
[PATCH] fix powmod(0,0,3) in INT and SINT
On Sat, May 30, 2026 at 02:13:03PM +0800, Qian Yun wrote: > This will make "0^0 mod 3"
unread,
[PATCH] fix powmod(0,0,3) in INT and SINT
On Sat, May 30, 2026 at 02:13:03PM +0800, Qian Yun wrote: > This will make "0^0 mod 3"
May 30
Qian Yun
May 29
regression in commit 22d288a9
The changes to "TAKE": TAKE(n, l) == n >= 0 => [x for x in l for i in 1..n] - DROP(#l
unread,
regression in commit 22d288a9
The changes to "TAKE": TAKE(n, l) == n >= 0 => [x for x in l for i in 1..n] - DROP(#l
May 29
Waldek Hebisch
,
Qian Yun
5
May 29
State and direction of browser changes
Corner case: (3) -> search_documentation "" >> Error detected within library code:
unread,
State and direction of browser changes
Corner case: (3) -> search_documentation "" >> Error detected within library code:
May 29
Ralf Hemmecke
, …
Kurt Pagani
7
May 29
doc-build fails
On 5/29/26 11:47, Kurt Pagani wrote: > Did you check the permissions of 'tmp' and of the
unread,
doc-build fails
On 5/29/26 11:47, Kurt Pagani wrote: > Did you check the permissions of 'tmp' and of the
May 29
Tim Daly
May 29
Your historical roots are disappearing...
There is a company that was recently started https://axiommath.ai They are using my common law
unread,
Your historical roots are disappearing...
There is a company that was recently started https://axiommath.ai They are using my common law
May 29
Tim Daly
, …
Grégory Vanuxem
14
May 28
Long term goals: For your amusement :-)
Hello Tim, > I had advocated developing an MCP (Model Context Protocol) server > to give LLMs
unread,
Long term goals: For your amusement :-)
Hello Tim, > I had advocated developing an MCP (Model Context Protocol) server > to give LLMs
May 28
Grégory Vanuxem
,
Waldek Hebisch
5
May 28
Invalid use of underscores in pattern: search_constructors (search_operation)
Hello, That works very nicely! Compiling, first, match.spad, and patching BRINFO.spad though I obtain
unread,
Invalid use of underscores in pattern: search_constructors (search_operation)
Hello, That works very nicely! Compiling, first, match.spad, and patching BRINFO.spad though I obtain
May 28
Qian Yun
,
Waldek Hebisch
5
May 26
[PATCH] misc fixes
On Tue, May 26, 2026 at 03:38:45AM +0200, Waldek Hebisch wrote: > On Mon, May 25, 2026 at 08:11:
unread,
[PATCH] misc fixes
On Tue, May 26, 2026 at 03:38:45AM +0200, Waldek Hebisch wrote: > On Mon, May 25, 2026 at 08:11:
May 26
