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