{"push_id":3162474648,"size":17,"distinct_size":17,"ref":"refs/heads/master","head":"931bb9e8ef40df92b15c4948d27097ea1f63a2d1","before":"42f06ccdbc591603c31de89fd94f6dd130f884a9","commits":[{"sha":"1ca67967e69d2e3c76eecaca03e2d2483a79c9b2","author":{"name":"Fabian Zickgraf","email":"5d374b2423997d561e3c114eaf4ab370fb9f2a87@dashdos.com"},"message":"Fix wrong dual operations in method record","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/1ca67967e69d2e3c76eecaca03e2d2483a79c9b2"},{"sha":"0fd5ccb738c4e9b1ea1b97789d24b3a747547f69","author":{"name":"Fabian Zickgraf","email":"5d374b2423997d561e3c114eaf4ab370fb9f2a87@dashdos.com"},"message":"Fix checks for commutativity","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/0fd5ccb738c4e9b1ea1b97789d24b3a747547f69"},{"sha":"38cb2074be9362da1464f276605c1180199f8efe","author":{"name":"Fabian Zickgraf","email":"5d374b2423997d561e3c114eaf4ab370fb9f2a87@dashdos.com"},"message":"Move some commutativity checks for consistency","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/38cb2074be9362da1464f276605c1180199f8efe"},{"sha":"5d76cdceb8f53520ce0f1ae90af3793c2bb77119","author":{"name":"Mohamed Barakat","email":"d32242801706062bfd87e3362d27c0cb7ee7d6d0@rwth-aachen.de"},"message":"relocated derivations for MorphismFromCoimageToImageWithGivenObjects","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/5d76cdceb8f53520ce0f1ae90af3793c2bb77119"},{"sha":"79be39dbde38629ead86769b82c76348ba2ead07","author":{"name":"Mohamed Barakat","email":"d32242801706062bfd87e3362d27c0cb7ee7d6d0@rwth-aachen.de"},"message":"IsSymmetricClosedMonoidalCategory -> IsRigidSymmetricClosedMonoidalCategory","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/79be39dbde38629ead86769b82c76348ba2ead07"},{"sha":"39ceb3e4edbd6236a410fdee4a0d4dd1cd32747d","author":{"name":"Sebastian Gutsche","email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@mathematik.uni-siegen.de"},"message":"Merge pull request #212 from zickgraf/fix_method_record\n\nFix wrong dual operations in method record","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/39ceb3e4edbd6236a410fdee4a0d4dd1cd32747d"},{"sha":"fd632fea93c0d236a4eb465026b2863caffa9ec6","author":{"name":"Sebastian Gutsche","email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@mathematik.uni-siegen.de"},"message":"Merge pull request #230 from zickgraf/fix_commutativity_checks\n\nFix commutativity checks and make them consistent","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/fd632fea93c0d236a4eb465026b2863caffa9ec6"},{"sha":"c86645764f584065b712785de396ecc74e65de5a","author":{"name":"Sebastian Gutsche","email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@mathematik.uni-siegen.de"},"message":"Merge pull request #231 from mohamed-barakat/IsSymmetricClosedMonoidalCategory\n\nIsRigidSymmetricClosedMonoidalCategory -> IsSymmetricClosedMonoidalCaIsSymmetricClosedMonoidalCategory","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/c86645764f584065b712785de396ecc74e65de5a"},{"sha":"2eaa0aad9605e02666cfd81f7905573402123436","author":{"name":"Sebastian Gutsche","email":"00f95a1efbc7f36ab99fc5d97005fce728d59625@mathematik.uni-siegen.de"},"message":"Merge pull request #232 from mohamed-barakat/MorphismFromCoimageToImageWithGivenObjects\n\nMorphism from coimage to image with given objects","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/2eaa0aad9605e02666cfd81f7905573402123436"},{"sha":"b229bbf2cd19f10fe04e0292b2e639ecf6a0ab8e","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding the methods:\n\nRandomObject, RandomMorphism, RandomMorphismWithFixedSource and RandomMorphismWithFixedRange\n\nto the method record with the documentation and two derivation methods for\nRandomMorphism.","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/b229bbf2cd19f10fe04e0292b2e639ecf6a0ab8e"},{"sha":"9866430914d1930bf4112f585f41a251b864b820","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding the random methods to ModulePresentationsForCAP","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/9866430914d1930bf4112f585f41a251b864b820"},{"sha":"a6fd4900b87e2479f8f7101fb826d5543da72009","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding the random methods to GradedModulePresentationsForCAP (left)","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/a6fd4900b87e2479f8f7101fb826d5543da72009"},{"sha":"488e42f50c99f99514089f9e6710fecb499f609a","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Multiplying with ( -1 ) instead of -One( field ) can cause\n\nerrors whenever one works over graded fields.","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/488e42f50c99f99514089f9e6710fecb499f609a"},{"sha":"2941bf94495d08d38c5aab996341808fa2a4907a","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding the random methods for LinearAlgebraForCAP","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/2941bf94495d08d38c5aab996341808fa2a4907a"},{"sha":"9638c494b2db27d659f751a6d29b0ec690e069ca","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding post_functions for RandomMorphismWithFixedSource/Range","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/9638c494b2db27d659f751a6d29b0ec690e069ca"},{"sha":"e29337a52d6186bafb3420eb30f04f046087745d","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding the random methods to GradedModulePresentationsForCAP (right)","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/e29337a52d6186bafb3420eb30f04f046087745d"},{"sha":"931bb9e8ef40df92b15c4948d27097ea1f63a2d1","author":{"name":"Kamal Saleh","email":"9f6ff7c4674a5faf68b3263dea614e8ab183e56c@yahoo.com"},"message":"Adding LiftAlongMonomorphism & ColiftAlongEpimorphism to\n\nthe category of graded presentations.","distinct":true,"url":"https://api.github.com/repos/kamalsaleh/CAP_project/commits/931bb9e8ef40df92b15c4948d27097ea1f63a2d1"}]}
{"actor":{"display_login":"kamalsaleh"}}