CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

Add switch to distinguish wrapped derivations from primitive operations

Open mohamed-barakat opened this issue 3 years ago • 1 comments

As discussed with Fabian I suggest having a switch to distinguish between wrapped derivations and wrapped primitive operations. This switch should then be used in InfoStringOfInstalledOperationsOfCategory (and maybe at some other places to discuss).

Background: The category constructor Opposite currently wraps all installed methods (primitive and derived) and it looks for the user as if all methods are now primitive.

mohamed-barakat avatar Sep 30 '22 09:09 mohamed-barakat

The hard part is finding a good name for the switch. What about IsPropagatedDerivation?

zickgraf avatar Sep 30 '22 12:09 zickgraf