Hi Tunc and welcome to getfem-commit
It looks fine. Just some minor comments:
- The comment lines included in the commit they do not document the code, they actually document your commit. Normally if you want to explain and document why you did the change, you can write this to the commit message below the first line of the message, you don't need to include such comments in the source code.
- When we change a file it is convenient to maintain a homogeneous coding style. For example in the case of your commit it is preferable to avoid spaces before and after +,-,*,/ operators if this is the case in most of the rest of the file.