Revision history [back]
 | 1 | initial version |
Well...
sage: (LHS(n,k)-RHS(n,k)).simplify_factorial().canonicalize_radical()
0
is a big fat red hint...
| | 2 | No.2 Revision |
Well...
sage: (LHS(n,k)-RHS(n,k)).simplify_factorial().canonicalize_radical()
0
is a big fat red hint...
EDIT : The big fat red hint is that canonicalize_radical transforms an "horrible`expression to someting more palatable...
