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
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZkjwNuG7rBFLlJfO%40fricas.org.
