New release

[Waldek Hebisch]

I plan a new release around end of May. We have a long list of
old unfixed bugs. Also, a few new developements are not quite
finished yet. But there is long time from previous release
and we have accumulated several fixes, so it is better to do
a release. I will try to include whatever gets finished on
time.

--
Waldek Hebisch

[Ralf Hemmecke]

Sorry, I was a busy with other things.

What about the string join addition?

Are you satisfied with this? See attachment or here

https://github.com/fricas/fricas/pull/196/commits/e7bf0ff005cf0c25fdcdede8dd5e8de9ec04fdf0

I have modified according to your comments.

Does anyone have suggestions for improvements of the content of
the src/doc/sphinx/source/*.rst files. I will adapt to the recent change
of Makefile concerning the docbuild. Anything else?

* Are there more things to be added to
https://fricas.github.io/citation.html ?

* Does anyone have new suggestions for examples of how to use
FriCAS. New tutorials?

* Are there people who develop add-ons that we can point to from
fricas.github.io? I think, the development of jlfricas
(by Gregory Vanuxem) would be a good example.
I currently also develop QEta that I would like to point to from the
FriCAS homepage. More suggestions?

Ralf

[Martin Baker]

On 17/05/2025 17:36, 'Ralf Hemmecke' via FriCAS - computer algebra

system wrote:
> * Are there more things to be added to
>   https://fricas.github.io/citation.html ?
>
> * Does anyone have new suggestions for examples of how to use
>   FriCAS. New tutorials?
>
> * Are there people who develop add-ons that we can point to from
>   fricas.github.io? I think, the development of jlfricas
>   (by Gregory Vanuxem) would be a good example.
>   I currently also develop QEta that I would like to point to from the
>   FriCAS homepage. More suggestions?

Hi Ralf,

Just to extend the scope of your questions a bit:

I think it would be useful if github.io had some help for when people
can't work out the reason for error and warning messages. When I get
stuck and ask here or work it out by trial-and-error I try to write it
here as a reminder:
https://www.euclideanspace.com/prog/scratchpad/spad/debug/index.htm
I am sure you could do it better than me if you did something like that
on github.io.

I do have more views about FriCAS documentation but it seems to be a
contentious subject so I'll leave it at that.

Keep up the good work with https://fricas.github.io/

Martin

[Waldek Hebisch]

On Sat, May 17, 2025 at 06:36:23PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote:
> Sorry, I was a busy with other things.
>
> What about the string join addition?
>
> Are you satisfied with this? See attachment or here
>
> https://github.com/fricas/fricas/pull/196/commits/e7bf0ff005cf0c25fdcdede8dd5e8de9ec04fdf0

Good, please commit.

--
Waldek Hebisch

[Qian Yun]

Hi Waldek,

Would you like to include this patch from
https://github.com/fricas/fricas/pull/193 by fahasch?

https://patch-diff.githubusercontent.com/raw/fricas/fricas/pull/193.patch

Also, what's your opinion on my patch titled
"[PATCH] make )savesystem work with frames"
sent on March 7th?

- Qian

[Grégory Vanuxem]

Hello Martin, *,

Very interesting your debug Spad page, I did not know. And if you permit me, some notes:

In section "Error messages" the text should read "messages" and not "massages" :)

And maybe for debugging a section on ")set message bottom on" could be of interest:

(1) -> x:=x::UP('x,INT)

   (1)  x
                                                                         Type: UnivariatePolynomial(x,Integer)
(2) -> )set message bottom on
(2) -> 3+x^2+7*x^11

 Function Selection for ^
      Arguments: (UP(x,INT), PI)
   -> no appropriate ^ found in PositiveInteger
   -> no appropriate ^ found in Integer

 [1]  signature:   (UP(x,INT), PI) -> UP(x,INT)
      implemented: slot   (PositiveInteger) from UP(x,INT)


 Function Selection for +
      Arguments: (PI, UP(x,INT))
   -> no appropriate + found in PositiveInteger
   -> no appropriate + found in UnivariatePolynomial(x,Integer)
   -> no appropriate + found in Integer
   -> no appropriate + found in PositiveInteger
   -> no appropriate + found in Integer

 [1]  signature:   (UP(x,INT), UP(x,INT)) -> UP(x,INT)
      implemented: slot     from UP(x,INT)


 Function Selection for ^
      Arguments: (UP(x,INT), PI)

 [1]  signature:   (UP(x,INT), PI) -> UP(x,INT)
      implemented: slot   (PositiveInteger) from UP(x,INT)


 Function Selection for *
      Arguments: (UP(x,INT), UP(x,INT))

 [1]  signature:   (UP(x,INT), UP(x,INT)) -> UP(x,INT)
      implemented: slot     from UP(x,INT)


 Function Selection for +
      Arguments: (UP(x,INT), UP(x,INT))

 [1]  signature:   (UP(x,INT), UP(x,INT)) -> UP(x,INT)
      implemented: slot     from UP(x,INT)


           11    2
   (2)  7 x   + x  + 3
                                                                         Type: UnivariatePolynomial(x,Integer)
(3) ->

That helps me a lot sometimes to see some improbable coercions for example.

But frankly a link, at least, could be a good add to  fricas.github.io I think, error messages are often cryptic for a new user/developer  (and even experienced ones).

Regards,

- Greg

PS / Bookmarked

--
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/627d0838-59b8-4e2f-93d8-e40a8fd1817b%40martinb.com.

[Martin Baker]

On 23/05/2025 14:06, Grégory Vanuxem wrote:
> But frankly a link, at least, could be a good add to fricas.github.io

> <http://fricas.github.io/> I think, error messages are often cryptic for

> a new user/developer  (and even experienced ones).

Hi Greg,

Thank you, this looks useful, I have added it to the page. If any one
finds anything else I would be happy to add it to the page.

I know the page is a very messy, when I am debugging code and I find the
cause, I am usually in a rush to move on to the next step but I try to
add some reminder to the page to help me next time the bug happens.

I would be happy for the information to be used in any way that would
help other debug their code. However I quite understand why others would
not want to take on the task of getting this page into shape or keeping
it updated.

Martin

[Waldek Hebisch]

On Fri, May 23, 2025 at 10:26:39AM +0200, Qian Yun wrote:
> Hi Waldek,
>
> Would you like to include this patch from
> https://github.com/fricas/fricas/pull/193 by fahasch?
>
> https://patch-diff.githubusercontent.com/raw/fricas/fricas/pull/193.patch

Yes.

> Also, what's your opinion on my patch titled
> "[PATCH] make )savesystem work with frames"
> sent on March 7th?

Looks reasonable. I did not test it and it is not clear to me
that it will work as expected in all corner cases. But if
you feel that such thing is needed, then go on.

--
Waldek Hebisch

[Qian Yun]

On 5/24/25 3:46 PM, Waldek Hebisch wrote:
> On Fri, May 23, 2025 at 10:26:39AM +0200, Qian Yun wrote:
>> Hi Waldek,
>>
>> Would you like to include this patch from
>> https://github.com/fricas/fricas/pull/193 by fahasch?
>>
>> https://patch-diff.githubusercontent.com/raw/fricas/fricas/pull/193.patch
>
> Yes.

I've committed this one.

>> Also, what's your opinion on my patch titled
>> "[PATCH] make )savesystem work with frames"
>> sent on March 7th?
>
> Looks reasonable. I did not test it and it is not clear to me
> that it will work as expected in all corner cases. But if
> you feel that such thing is needed, then go on.
>

I'll commit this one later, giving it more thoughts.

- Qian

[Grégory Vanuxem]

Hi Ralf, *

Le sam. 17 mai 2025 à 18:36, 'Ralf Hemmecke' via FriCAS - computer
algebra system <fricas...@googlegroups.com> a écrit :

>
> Sorry, I was a busy with other things.
>
> What about the string join addition?
>
> Are you satisfied with this? See attachment or here
>
> https://github.com/fricas/fricas/pull/196/commits/e7bf0ff005cf0c25fdcdede8dd5e8de9ec04fdf0
>
> I have modified according to your comments.
>
> Does anyone have suggestions for improvements of the content of
> the src/doc/sphinx/source/*.rst files. I will adapt to the recent change
> of Makefile concerning the docbuild. Anything else?
>
> * Are there more things to be added to
> https://fricas.github.io/citation.html ?
>
> * Does anyone have new suggestions for examples of how to use
> FriCAS. New tutorials?
>
> * Are there people who develop add-ons that we can point to from
> fricas.github.io? I think, the development of jlfricas
> (by Gregory Vanuxem) would be a good example.
> I currently also develop QEta that I would like to point to from the
> FriCAS homepage. More suggestions?

It's nice to read this, thanks you very much. But jlFriCAS is very
experimental for me and lacks a lot of routines that are implemented
in FriCAS but no in other softwares sometimes. Coding interfaces is
never simple. More Spad code is needed. Furthermore, there are bad
memory interactions, particularly with SBCL, for some domains. Julia
MathLink is the major example and more with its interactions with
HyperDoc. But in principle, if you omit MathLink, it becomes more and
more stable. I just need to complete missing FriCAS function (declared
at Category level). For some it's not easy.

To resume, more domains/package are added that can help a lot (a
pseudo very general FFI), but it's still at an experimental stage in
some specific area.

Regards,

- Greg

>
> Ralf
>
> On 5/17/25 13:28, Waldek Hebisch wrote:
> > I plan a new release around end of May. We have a long list of
> > old unfixed bugs. Also, a few new developements are not quite
> > finished yet. But there is long time from previous release
> > and we have accumulated several fixes, so it is better to do
> > a release. I will try to include whatever gets finished on
> > time.
> >
>

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.

> To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/1b177e8d-f4ab-4bfc-82d5-218fc58309be%40hemmecke.org.

[Grégory Vanuxem]

I have finished my Nemo
https://nemocas.github.io/Nemo.jl/latest/algebraic/ algebraic numbers
implementation, more are to be done about pure SUP and other areas
related.

My major problem is (a "Bill Page's problem") the (universal)
polynomial object in FriCAS, S(M)UP or POLY(*).
https://nemocas.github.io/AbstractAlgebra.jl/stable/univpolynomial/

Interesting thing from my point of view, categories in FriCAS are
infested of SingletonAsOrderedSet. I do not understand. It's me I
know.

Just a thought.

- Greg

[Ralf Hemmecke]

Hi Greg,

can you be a bit more precise. What is the problem or what is your wish?
S(M)UP or POLY cannot be a problem. They work nicely in FriCAS.

Ralf