simplification of factorial expressions

[Ralf Hemmecke]

Does FriCAS have some routine for simplifying such factorial expressions?

(-n^3-3*n^2-3*n-1)*n!^3*(3*n)!*(6*n+6)!+(1728*n^3+2592*n^2+1104*n+120)*(n+1)!^3*(3*n+3)!*(6*n)!

Thanks,
Ralf

[Waldek Hebisch]

On Sat, May 18, 2024 at 08:00:05PM +0200, Ralf Hemmecke wrote:
> Does FriCAS have some routine for simplifying such factorial expressions?
>
> (-n^3-3*n^2-3*n-1)*n!^3*(3*n)!*(6*n+6)!+(1728*n^3+2592*n^2+1104*n+120)*(n+1)!^3*(3*n+3)!*(6*n)!

ff1 := (-n^3-3*n^2-3*n-1)*factorial(n)^3*factorial(3*n)*factorial(6*n+6)
ff2 := (1728*n^3+2592*n^2+1104*n+120)*factorial(n + 1)^3*factorial(3*n+3)*factorial(6*n)

3) -> normalize(ff1 - ff2)

(3)
9 8 7 6 5
- 93312 n - 606528 n - 1713312 n - 2751408 n - 2756880 n
+
4 3 2
- 1778112 n - 733248 n - 184752 n - 25488 n - 1440
*
3
n! (3 n)!(6 n)!
Type: Expression(Integer)

--
Waldek Hebisch

[Ralf Hemmecke]

Thanks!

Ralf