Groups
Groups
Sign in
Groups
Groups
FriCAS - computer algebra system
Conversations
About
Send feedback
Help
Group path
FriCAS - computer algebra system
1–30 of 3473
Mark all as read
Report group
0 selected
Qian Yun
5:10 AM
caching mechanism in solveLinearPolynomialEquation
In function 'solveLinearPolynomialEquation' in integer.spad, gaussian.spad and ffcat.spad,
unread,
caching mechanism in solveLinearPolynomialEquation
In function 'solveLinearPolynomialEquation' in integer.spad, gaussian.spad and ffcat.spad,
5:10 AM
Ralf Hemmecke
, …
Qian Yun
40
Jul 10
AInterval
1. src/algebra/exposed.lsp is not updated accordingly. 2. The axioms for OrderedMonoid should be
unread,
AInterval
1. src/algebra/exposed.lsp is not updated accordingly. 2. The axioms for OrderedMonoid should be
Jul 10
Waldek Hebisch
, …
Tim Daly
13
Jul 10
Wikipedia page
The concept of Open Source wasn't really a problem before companies like Microsoft got in the
unread,
Wikipedia page
The concept of Open Source wasn't really a problem before companies like Microsoft got in the
Jul 10
Qian Yun
,
Waldek Hebisch
2
Jul 10
[PATCH] change "smaller?" in EXPR
On Fri, Jul 10, 2026 at 11:09:44AM +0800, Qian Yun wrote: > I decided to put the comparison logic
unread,
[PATCH] change "smaller?" in EXPR
On Fri, Jul 10, 2026 at 11:09:44AM +0800, Qian Yun wrote: > I decided to put the comparison logic
Jul 10
Waldek Hebisch
, …
Kurt Pagani
24
Jul 10
Bessel functions again
On 10/07/2026 16:59, Dima Pasechnik wrote: > On Fri, Jul 10, 2026 at 8:27 AM Kurt Pagani <
unread,
Bessel functions again
On 10/07/2026 16:59, Dima Pasechnik wrote: > On Fri, Jul 10, 2026 at 8:27 AM Kurt Pagani <
Jul 10
Tim Daly
Jul 10
Trager's Symbolic Integration
This is an interesting paper from Mathematica. Trager's Algorithm For Integration Of Algebraic
unread,
Trager's Symbolic Integration
This is an interesting paper from Mathematica. Trager's Algorithm For Integration Of Algebraic
Jul 10
Qian Yun
,
Waldek Hebisch
8
Jul 9
[PATCH] changes to "smaller?" in Fraction
On 7/10/26 8:11 AM, Waldek Hebisch wrote: > worse performance. Third option allows current and
unread,
[PATCH] changes to "smaller?" in Fraction
On 7/10/26 8:11 AM, Waldek Hebisch wrote: > worse performance. Third option allows current and
Jul 9
Qian Yun
,
Waldek Hebisch
5
Jul 8
numeric complex sqrt
On 7/8/26 9:28 PM, Waldek Hebisch wrote: > On Wed, Jul 08, 2026 at 07:42:29PM +0800, Qian Yun
unread,
numeric complex sqrt
On 7/8/26 9:28 PM, Waldek Hebisch wrote: > On Wed, Jul 08, 2026 at 07:42:29PM +0800, Qian Yun
Jul 8
Grégory Vanuxem
, …
Waldek Hebisch
6
Jul 6
RFC: Maximal ideal in FriCAS
Hi, Le ven. 3 juil. 2026 à 20:28, Waldek Hebisch <de...@fricas.org> a écrit : On Fri, Jul 03,
unread,
RFC: Maximal ideal in FriCAS
Hi, Le ven. 3 juil. 2026 à 20:28, Waldek Hebisch <de...@fricas.org> a écrit : On Fri, Jul 03,
Jul 6
Grégory Vanuxem
2
Jul 4
foo.out (removing)
I mean 'make clean' or 'make distclean' after a 'make check', the file foo.
unread,
foo.out (removing)
I mean 'make clean' or 'make distclean' after a 'make check', the file foo.
Jul 4
Grégory Vanuxem
,
Waldek Hebisch
3
Jul 2
Maximal ideal in FriCAS
Hello Waldek, Le ven. 26 juin 2026 à 16:58, Waldek Hebisch <de...@fricas.org> a écrit : >
unread,
Maximal ideal in FriCAS
Hello Waldek, Le ven. 26 juin 2026 à 16:58, Waldek Hebisch <de...@fricas.org> a écrit : >
Jul 2
Qian Yun
,
Waldek Hebisch
9
Jul 2
[PATCH] add merge_unique for List
On Thu, Jul 02, 2026 at 11:49:03AM +0800, Qian Yun wrote: > Oops, missed the part for LSAGG. >
unread,
[PATCH] add merge_unique for List
On Thu, Jul 02, 2026 at 11:49:03AM +0800, Qian Yun wrote: > Oops, missed the part for LSAGG. >
Jul 2
Qian Yun
,
Waldek Hebisch
2
Jun 30
about "make all" test in src/input and hypertex input files
On Tue, Jun 30, 2026 at 06:13:10PM +0800, Qian Yun wrote: > Hi Waldek, how do you compare the
unread,
about "make all" test in src/input and hypertex input files
On Tue, Jun 30, 2026 at 06:13:10PM +0800, Qian Yun wrote: > Hi Waldek, how do you compare the
Jun 30
Qian Yun
,
Waldek Hebisch
10
Jun 30
[PATCH] optimize "*" in SMP
On Tue, Jun 30, 2026 at 09:44:16AM +0800, Qian Yun wrote: > It exposes a bug in interpreter
unread,
[PATCH] optimize "*" in SMP
On Tue, Jun 30, 2026 at 09:44:16AM +0800, Qian Yun wrote: > It exposes a bug in interpreter
Jun 30
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
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
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
