Groups
Groups
Sign in
Groups
Groups
FriCAS - computer algebra system
Conversations
About
Send feedback
Help
Group path
FriCAS - computer algebra system
1–30 of 3463
Mark all as read
Report group
0 selected
Tim Daly
,
Qian Yun
5
Jun 28
Test file development
Yes. That's why my version of test suites stores the output of the system in the tests rather
unread,
Test file development
Yes. That's why my version of test suites stores the output of the system in the tests rather
Jun 28
Qian Yun
,
Waldek Hebisch
7
Jun 28
[PATCH] optimize and simplify variables$SMP
On Mon, Jun 29, 2026 at 08:43:54AM +0800, Qian Yun wrote: > On 6/29/26 7:25 AM, Waldek Hebisch
unread,
[PATCH] optimize and simplify variables$SMP
On Mon, Jun 29, 2026 at 08:43:54AM +0800, Qian Yun wrote: > On 6/29/26 7:25 AM, Waldek Hebisch
Jun 28
Qian Yun
,
Waldek Hebisch
2
Jun 28
[PATCH] optimize "*" in SMP
On Mon, Jun 29, 2026 at 07:40:13AM +0800, Qian Yun wrote: > This patch saves allocation when one
unread,
[PATCH] optimize "*" in SMP
On Mon, Jun 29, 2026 at 07:40:13AM +0800, Qian Yun wrote: > This patch saves allocation when one
Jun 28
Qian Yun
,
Waldek Hebisch
33
Jun 28
[PATCH] optimize =$EXPR
On Sun, Jun 28, 2026 at 08:49:44PM +0800, Qian Yun wrote: > On 6/28/26 8:35 PM, Waldek Hebisch
unread,
[PATCH] optimize =$EXPR
On Sun, Jun 28, 2026 at 08:49:44PM +0800, Qian Yun wrote: > On 6/28/26 8:35 PM, Waldek Hebisch
Jun 28
Qian Yun
,
Waldek Hebisch
15
Jun 27
inserting non-algebraic kernels
On 6/28/26 12:34 AM, Waldek Hebisch wrote: >> >> Yes, my idea is to skip linear search
unread,
inserting non-algebraic kernels
On 6/28/26 12:34 AM, Waldek Hebisch wrote: >> >> Yes, my idea is to skip linear search
Jun 27
Qian Yun
,
Waldek Hebisch
2
Jun 27
should SUP INT has OrderedRing?
On Sat, Jun 27, 2026 at 05:26:40PM +0800, Qian Yun wrote: > Currently SUP INT is only Comparable,
unread,
should SUP INT has OrderedRing?
On Sat, Jun 27, 2026 at 05:26:40PM +0800, Qian Yun wrote: > Currently SUP INT is only Comparable,
Jun 27
Qian Yun
,
Waldek Hebisch
15
Jun 26
[PATCH] v4 recycle kernel cache via weak pointer
On 6/26/26 11:50 PM, Waldek Hebisch wrote: > On Fri, Jun 26, 2026 at 10:49:49PM +0800, Qian Yun
unread,
[PATCH] v4 recycle kernel cache via weak pointer
On 6/26/26 11:50 PM, Waldek Hebisch wrote: > On Fri, Jun 26, 2026 at 10:49:49PM +0800, Qian Yun
Jun 26
Ralf Hemmecke
,
Waldek Hebisch
6
Jun 26
bug: ContinuedFraction is no longer working
On Wed, Jun 24, 2026 at 08:21:10PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
unread,
bug: ContinuedFraction is no longer working
On Wed, Jun 24, 2026 at 08:21:10PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra
Jun 26
Grégory Vanuxem
,
Waldek Hebisch
2
Jun 26
Maximal ideal in FriCAS
On Fri, Jun 26, 2026 at 03:57:35PM +0200, Grégory Vanuxem wrote: > Hello, > > There are tons
unread,
Maximal ideal in FriCAS
On Fri, Jun 26, 2026 at 03:57:35PM +0200, Grégory Vanuxem wrote: > Hello, > > There are tons
Jun 26
Qian Yun
, …
Waldek Hebisch
9
Jun 26
recent CAS projects that mentions FriCAS
https://github.com/jingtaozf/axiom Looks like a fork of Axiom assisted by LLM. Hundreds of new
unread,
recent CAS projects that mentions FriCAS
https://github.com/jingtaozf/axiom Looks like a fork of Axiom assisted by LLM. Hundreds of new
Jun 26
Ralf Hemmecke
,
Waldek Hebisch
5
Jun 24
problem with function requirement in domain argument
On 6/24/26 20:19, Waldek Hebisch wrote: > I think that rather ugly hack will work. Namely, AFAIK
unread,
problem with function requirement in domain argument
On 6/24/26 20:19, Waldek Hebisch wrote: > I think that rather ugly hack will work. Namely, AFAIK
Jun 24
Grégory Vanuxem
,
Waldek Hebisch
3
Jun 22
)set output len 246
Thanks for fixing this. I backported as usual to my fork, and looking at it that would have been too
unread,
)set output len 246
Thanks for fixing this. I backported as usual to my fork, and looking at it that would have been too
Jun 22
Qian Yun
,
Tim Daly
2
Jun 22
fricas and lean (theorem prover)
You might want to look at this video https://www.youtube.com/watch?v=bSDkbx5rrpM I suspect it is
unread,
fricas and lean (theorem prover)
You might want to look at this video https://www.youtube.com/watch?v=bSDkbx5rrpM I suspect it is
Jun 22
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
