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
Le dim. 18 mai 2025 à 11:47, Martin Baker <ax87...@martinb.com> a écrit :
> 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
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/fricas-devel/627d0838-59b8-4e2f-93d8-e40a8fd1817b%40martinb.com
> .
>
--
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+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYakHmcu_Fqk4Pj7DVpmhcPsh0xDuQ3MLmF%2B5Y7hJL4pA%40mail.gmail.com.
