From 22018836ef3e3dac6609080cb5961a9025109414 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Mon, 14 Aug 2023 16:52:50 +0200 Subject: [PATCH] renamed and unified names of local variables * left_mor/mor_left -> pre_mor * right_mor/mor_right -> post_mor --- CAP/gap/DerivedMethods.gi | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/CAP/gap/DerivedMethods.gi b/CAP/gap/DerivedMethods.gi index 583fb36851..1e04bc0bc0 100644 --- a/CAP/gap/DerivedMethods.gi +++ b/CAP/gap/DerivedMethods.gi @@ -1776,9 +1776,9 @@ AddDerivationToCAP( PostCompose, "PostCompose using PreCompose and swapping arguments", [ [ PreCompose, 1 ] ], - function( cat, right_mor, left_mor ) + function( cat, post_mor, pre_mor ) - return PreCompose( cat, left_mor, right_mor ); + return PreCompose( cat, pre_mor, post_mor ); end ); @@ -1787,9 +1787,9 @@ AddDerivationToCAP( PreCompose, "PreCompose using PostCompose and swapping arguments", [ [ PostCompose, 1 ] ], - function( cat, left_mor, right_mor ) + function( cat, pre_mor, post_mor ) - return PostCompose( cat, right_mor, left_mor ); + return PostCompose( cat, post_mor, pre_mor ); end ); @@ -1798,9 +1798,9 @@ AddDerivationToCAP( PreCompose, "PreCompose by wrapping the arguments in a list", [ [ PreComposeList, 1 ] ], - function( cat, left_mor, right_mor ) + function( cat, pre_mor, post_mor ) - return PreComposeList( cat, [ left_mor, right_mor ] ); + return PreComposeList( cat, [ pre_mor, post_mor ] ); end ); @@ -1820,9 +1820,9 @@ AddDerivationToCAP( PostCompose, "PostCompose by wrapping the arguments in a list", [ [ PostComposeList, 1 ] ], - function( cat, mor_right, mor_left ) + function( cat, post_mor, pre_mor ) - return PostComposeList( cat, [ mor_right, mor_left ] ); + return PostComposeList( cat, [ post_mor, pre_mor ] ); end );