This fix is a subset of this commit:
https://github.com/GabrielDosReis/open-axiom/commit/c18ddc965ea2ac28a2c32e99dc2ac90c946a7aee
- Qian
diff --git a/src/hyper/extent2.c b/src/hyper/extent2.c
index b0b4443f..524312d0 100644
--- a/src/hyper/extent2.c
+++ b/src/hyper/extent2.c
@@ -554,7 +554,7 @@
This patch changes all remaining "import" to "import from".
The removed lines are mostly "import from Record(...)".
Should we also modify "parse_Import" from "s-parser.boot"
so that it gives error on "import XXX"?
- Qian
--
You received this message because you are subscribed to the Google Gro
On Tue, Apr 09, 2024 at 07:24:55PM +0800, Qian Yun wrote:
> This fix is a subset of this commit:
>
> https://github.com/GabrielDosReis/open-axiom/commit/c18ddc965ea2ac28a2c32e99dc2ac90c946a7aee
Thanks, please commit.
>
> - Qian
>
> diff --git a/src/hyper/extent2.c b/src/hyper/extent2.c
> index
On Tue, Apr 09, 2024 at 08:18:03PM +0800, Qian Yun wrote:
> This patch changes all remaining "import" to "import from".
>
> The removed lines are mostly "import from Record(...)".
>
> Should we also modify "parse_Import" from "s-parser.boot"
> so that it gives error on "import XXX"?
No. 'import
I have no great experience with pattern matching.
While constructing
combineRadicals := rule (_
sqrt(-(x|integer? x and positive? integer x)) *_
sqrt(-(y|integer? y and positive? integer y))_
== -sqrt(x*y);_
sqrt((x|integer? x)) *_
sqrt((y|integer? y and positive? integer y))_
==
Does FriCAS have a function that turns
(-13591409*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29)*sqrt(163)-13591409*sqrt(-1)*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29))/350216620800
into
-13591409*sqrt(10005)*(sqrt(163)+sqrt(-1))/350216620800
i.e. factoring out common integer root expressions?
Ralf
--
You receiv
Hello,
See email object.
I would like to be able to only use HyperDoc when I want, and,
usually, not at startup time. The problem is if I use the ')hd' system
synonym when I close FriCAS, HyperDoc is still in use. I have to
manually close HyperDoc windows after closing FriCAS. So is there a
comma
On Tue, Apr 09, 2024 at 06:03:45PM +0200, Ralf Hemmecke wrote:
> I have no great experience with pattern matching.
>
> While constructing
>
> combineRadicals := rule (_
> sqrt(-(x|integer? x and positive? integer x)) *_
> sqrt(-(y|integer? y and positive? integer y))_
> == -sqrt(x*y);_
>
On Tue, Apr 09, 2024 at 06:42:10PM +0200, Ralf Hemmecke wrote:
> Does FriCAS have a function that turns
>
>
> (-13591409*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29)*sqrt(163)-13591409*sqrt(-1)*sqrt(3)*sqrt(5)*sqrt(23)*sqrt(29))/350216620800
>
> into
>
> -13591409*sqrt(10005)*(sqrt(163)+sqrt(-1))/35021662
When I start HyperDoc with ')hd', it automatically closes when
I quit FriCAS with ')q'.
- Qian
On 4/10/24 00:42, Grégory Vanuxem wrote:
Hello,
See email object.
I would like to be able to only use HyperDoc when I want, and,
usually, not at startup time. The problem is if I use the ')hd' syste
I can not reproduce that. Even with a freshly cloned Official FriCAS
on a pure Linux partition. That's very strange, you probably have a
setting that I don't know. Thanks anyway.
Le mer. 10 avr. 2024 à 01:48, Qian Yun a écrit :
>
> When I start HyperDoc with ')hd', it automatically closes when
>
On Wed, Apr 10, 2024 at 04:00:31AM +0200, Grégory Vanuxem wrote:
> I can not reproduce that. Even with a freshly cloned Official FriCAS
> on a pure Linux partition. That's very strange, you probably have a
> setting that I don't know. Thanks anyway.
I see the same as you. HyperDoc should quit, bu
Below is mostly "thinking loudly":
I am now reworking "database" handling. Currently a category may
have default domain. There is code to compute it: if there is only
one domain of given category and the domain has the same argument
list as the category, then this domain is the defult domain for
I found problem integrating many problems using sagemath calling Fricas to
do the integration when using exponential integral function. These are
problems from Rubi test files.
It works OK with other CAS systems supported by sagemath (Maxima and GIAC)
but sagemath 10.3 does not seem to correctl
On Tue, Apr 09, 2024 at 08:24:35PM -0700, 'Nasser M. Abbasi' via FriCAS -
computer algebra system wrote:
> I found problem integrating many problems using sagemath calling Fricas to
> do the integration when using exponential integral function. These are
> problems from Rubi test files.
>
> It
15 matches
Mail list logo
