Re: [fricas-devel] simplification of factorial expressions
Thanks! Ralf On 5/18/24 20:15, Waldek Hebisch wrote: 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 8765 - 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) -- 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/5f2fd891-01aa-45a1-8019-40dbb269786f%40hemmecke.de.
Re: [fricas-devel] simplification of factorial expressions
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 8765 - 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.