[fricas-devel] FricasUG metapatch: palindromes and eirule

[Riccardo GUIDA]

Mainly for Ralf...

--------------------------
https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2410
REPLACE:
(s.i = s.j) and palAux?(s,i+1,i-1)
BY:
(s.i = s.j) and palAux?(s,i+1,j-1)
MOTIVATION:
IIUC, presently the function palAux? declare palindromes aggregates having equal first and last element.
This results in an wrong stream FricasUG sec 6.20, pag 218, (9)
The nine-th term
1111111111^2 = 1234567900987654321
is NOT palindrome and false would have been expected.

--------------------------
https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2735
REPLACE:
\spadcommand{eirule integral(sin u + exp u/u, u) \free{eirule}}
BY eg:
\spadcommand{eirule integral((sin u + exp u)/u, u) \free{eirule}}
MOTIVATION:
The current example does not test the ?y pattern in FricasUG sec 6.21, pag 223, (17) as anticipated in the text.

[Ralf Hemmecke]

Post by Riccardo GUIDA
--------------------------
https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2410
(s.i = s.j) and palAux?(s,i+1,i-1)
(s.i = s.j) and palAux?(s,i+1,j-1)
IIUC, presently the function palAux? declare palindromes aggregates
having equal first and last element.
This results in an wrong stream FricasUG sec 6.20, pag 218, (9)
The nine-th term
1111111111^2 = 1234567900987654321
is NOT palindrome and false would have been expected.

Good catch!

Post by Riccardo GUIDA
--------------------------
https://github.com/fricas/fricas/blob/master/src/doc/htex/ug06.htex#L2735
\spadcommand{eirule integral(sin u + exp u/u, u) \free{eirule}}
\spadcommand{eirule integral((sin u + exp u)/u, u) \free{eirule}}
The current example does not test the ?y pattern in FricasUG sec 6.21,
pag 223, (17) as anticipated in the text.

Right. Parentheses make sense here.

Thanks.
Ralf