Groups
Groups
Sign in
Groups
Groups
FriCAS - computer algebra system
Conversations
About
Send feedback
Help
Group path
FriCAS - computer algebra system
1–30 of 3460
Mark all as read
Report group
0 selected
Qian Yun
,
Waldek Hebisch
13
8:34 AM
inserting non-algebraic kernels
On 6/27/26 7:42 PM, Waldek Hebisch wrote: > > OK, the specific example do not translate. But
unread,
inserting non-algebraic kernels
On 6/27/26 7:42 PM, Waldek Hebisch wrote: > > OK, the specific example do not translate. But
8:34 AM
Qian Yun
,
Waldek Hebisch
2
6:54 AM
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,
6:54 AM
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
Qian Yun
,
Waldek Hebisch
26
Jun 24
[PATCH] optimize =$EXPR
On Wed, Jun 24, 2026 at 06:07:00PM +0800, Qian Yun wrote: > Any comments on this updated version
unread,
[PATCH] optimize =$EXPR
On Wed, Jun 24, 2026 at 06:07:00PM +0800, Qian Yun wrote: > Any comments on this updated version
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
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
