Assumptions/provisos: FriCAS shuld be able to do simplifications based on extra assumptions. |
|
|
|
last edited 9 years ago by test1 |