AC-FOVE: global sum out

* CFOVE: added comment to correct something
* StdParfactor: removed unused method
* Factor: correction on multiplication methods
* Sets: build set using collection
* FactorTest: added test of multiplication by 1
* GlobalSumOut: global sum out implementation
* MacroOperationTest: added tests for global sum out